Search results for 'J. Y. Halpern' (try it on Scholar)

1000+ found
Order:
  1.  18
    J. Y. Halpern (2005). Causes and Explanations: A Structural-Model Approach. Part II: Explanations. British Journal for the Philosophy of Science 56 (4):889-911.
    We propose new definitions of (causal) explanation, using structural equations to model counterfactuals. The definition is based on the notion of actual cause, as defined and motivated in a companion article. Essentially, an explanation is a fact that is not known for certain but, if found to be true, would constitute an actual cause of the fact to be explained, regardless of the agent's initial uncertainty. We show that the definition handles well a number of problematic examples from the literature.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  2. R. Fagin, J. Y. Halpern, Y. Moses & Vardi M. Y. (1995). Reasoning About Knowledge. MIT Press.
     
    Export citation  
     
    My bibliography   4 citations  
  3.  26
    J. Y. Halpern (2000). Probability and Conditionals: Belief Revision and Rational Decision. Philosophical Review 109 (2):277-281.
  4.  1
    J. Y. Halpern & B. M. Kapron (1994). Zero-One Laws for Modal Logic (Vol 69, Pg 157, 1994). Annals of Pure and Applied Logic 121 (2-3):281-283.
    We show that a 0–1 law holds for propositional modal logic, both for structure validity and frame validity. In the case of structure validity, the result follows easily from the well-known 0–1 law for first-order logic. However, our proof gives considerably more information. It leads to an elegant axiomatization for almost-sure structure validity and to sharper complexity bounds. Since frame validity can be reduced to a Π11 formula, the 0–1 law for frame validity helps delineate when 0–1 laws exist for (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5. J. Y. Halpern, B. M. Kapron, V. S. Harizanov, U. Kohlenbach, P. Oliva, F. Lucas, B. Luttik, P. Matet & M. Pourmahdian (2003). Belegradek, O., Verbovskiy, V. And Wagner, FO, Coset. Annals of Pure and Applied Logic 121:287.
     
    Export citation  
     
    My bibliography  
  6. Adam J. Grove, Joseph Y. Halpern & Daphne Koller (1996). Asymptotic Conditional Probabilities: The Non-Unary Case. Journal of Symbolic Logic 61 (1):250-276.
    Motivated by problems that arise in computing degrees of belief, we consider the problem of computing asymptotic conditional probabilities for first-order sentences. Given first-order sentences φ and θ, we consider the structures with domain {1,..., N} that satisfy θ, and compute the fraction of them in which φ is true. We then consider what happens to this fraction as N gets large. This extends the work on 0-1 laws that considers the limiting probability of first-order sentences, by considering asymptotic conditional (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  9
    J. D. Halpern (1986). Review: J. A. Robinson, Logic: Form and Function. The Mechanization of Deductive Reasoning. [REVIEW] Journal of Symbolic Logic 51 (1):227-229.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. J. Halpern (1914). Despinoza in neuer Beleuchtung. Analyse des Werkes: Stanislaus von Dunin-Borkowski S. J. Der junge De Spinoza. Leben und Werdegang im Lichte der Weltphilosophie, 1910. [REVIEW] Archiv für Geschichte der Philosophie 27:45.
    Translate
     
     
    Export citation  
     
    My bibliography  
  9. J. D. Halpern (1986). Robinson J. A.. Logic: Form and Function. The Mechanization of Deductive Reasoning. Artificial Intelligence Series. North-Holland, New York 1979, Vi + 312 Pp. [REVIEW] Journal of Symbolic Logic 51 (1):227-229.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Joseph Y. Halpern & Riccardo Pucella (2007). Characterizing and Reasoning About Probabilistic and Non-Probabilistic Expectation. J. Acm 54 (3):15.
    Translate
     
     
    Export citation  
     
    My bibliography  
  11.  1
    William J. Rapaport (1988). Rivières Jim Des and Levesque Hector J.. The Consistency of Syntactical Treatments of Knowledge. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 115–130. [REVIEW] Journal of Symbolic Logic 53 (2):665-666.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  1
    William J. Rapaport (1988). Rosenschein Stanley J. And Kaelbling Leslie Pack. The Synthesis of Digital Machines with Provable Epistemic Properties. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 83–98. [REVIEW] Journal of Symbolic Logic 53 (2):664.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  22
    J. J. (1965). La Critica de la Abstracción y la Theoria Del Mundo En Berkeley. Review of Metaphysics 18 (4):777-777.
  14.  1
    L. J. (1969). Cristianismo y política. Un memorándum y una carta. Convivium 29:99-121.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. H. J. (2003). Probability in Classical Statistical Mechanics - Y.M. Guttmann, the Concept of Probability in Statistical Physics, Cambridge University Press, Cambridge, 1999, XI + 267pp., £35.00, $54.95 Hardback, ISBN 0-521-62128-. [REVIEW] Studies in History and Philosophy of Science Part B 34 (1):143-150.
     
    Export citation  
     
    My bibliography  
  16.  2
    William J. Rapaport (1988). Review: Joseph Y. Halpern, Reasoning About Knowledge: An Overview. [REVIEW] Journal of Symbolic Logic 53 (2):660-661.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  2
    William J. Rapaport (1988). Asher Nicholas M. And Kamp Johan A. W.. The Knower's Paradox and Representational Theories of Attitudes. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 131–147. [REVIEW] Journal of Symbolic Logic 53 (2):666.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  2
    William J. Rapaport (1988). Megiddo Nimrod and Wigderson Avi. On Play by Means of Computing Machines . Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 259–274.Gaifman Haim. A Theory of Higher Order Probabilities. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 275–292.Micali Silvio. Knowledge and Efficient Computation. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 353–362. [REVIEW] Journal of Symbolic Logic 53 (2):669-670.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  2
    William J. Rapaport (1988). Vardi Moshe Y.. On Epistemic Logic and Logical Omniscience. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 293–305. [REVIEW] Journal of Symbolic Logic 53 (2):668.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  1
    William J. Rapaport (1988). Dwork Cynthia and Moses Yoram. Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 149–169. [REVIEW] Journal of Symbolic Logic 53 (2):666.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  1
    William J. Rapaport (1988). Fagin Ronald and Vardi Moshe Y.. Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 187–206. [REVIEW] Journal of Symbolic Logic 53 (2):667.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  1
    William J. Rapaport (1988). Geissler Christophe and Konolige Kurt. A Resolution Method for Quantified Modal Logics of Knowledge and Belief. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 309–324. [REVIEW] Journal of Symbolic Logic 53 (2):668.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  1
    William J. Rapaport (1988). Hintikka Jaakko. Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 63–80. [REVIEW] Journal of Symbolic Logic 53 (2):663-664.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  1
    William J. Rapaport (1988). Halpern Joseph Y.. Reasoning About Knowledge: An Overview. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 1–17. [REVIEW] Journal of Symbolic Logic 53 (2):660-661.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  1
    William J. Rapaport (1988). Konolige Kurt. What Awareness Isn't: A Sentential View of Implicit and Explicit Belief. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 241–250. [REVIEW] Journal of Symbolic Logic 53 (2):667-668.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  1
    William J. Rapaport (1988). Landman Fred. Pegs and Alecs. An Abridged Version of LIII 656. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 45–61. [REVIEW] Journal of Symbolic Logic 53 (2):662-663.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  1
    William J. Rapaport (1988). Lakemeyer Gerhard. Steps Towards a First-Order Logic of Explicit and Implicit Belief. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 325–340. [REVIEW] Journal of Symbolic Logic 53 (2):668.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  1
    William J. Rapaport (1988). Ladner Richard E. And Reif John H.. The Logic of Distributed Protocols . Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 207–222. [REVIEW] Journal of Symbolic Logic 53 (2):667.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  1
    William J. Rapaport (1988). Martins João P. And Shapiro Stuart C.. Theoretical Foundations for Belief Revision. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 383–398. [REVIEW] Journal of Symbolic Logic 53 (2):669.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  1
    William J. Rapaport (1988). Morgenstern Leora. A First Order Theory of Planning, Knowledge, and Action. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 99–114. [REVIEW] Journal of Symbolic Logic 53 (2):664-665.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  1
    William J. Rapaport (1988). Plotkin Gordon and Stirling Colin. A Framework for Intuitionistic Modal Logics. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 399–406. [REVIEW] Journal of Symbolic Logic 53 (2):669.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  1
    William J. Rapaport (1988). Smith Brian Cantwell. Varieties of Self-Reference. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 19–43. [REVIEW] Journal of Symbolic Logic 53 (2):661-662.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  1
    William J. Rapaport (1988). Smullyan Raymond M.. Logicians Who Reason About Themselves. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 341–352. [REVIEW] Journal of Symbolic Logic 53 (2):668-669.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    William J. Rapaport (1988). Thomason Richmond H.. Paradoxes and Semantic Representation. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 225–239. [REVIEW] Journal of Symbolic Logic 53 (2):667.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  2
    Germán Darío Vélez López (2015). Facticidad, apropiación y destino. Infancia de J. M. Coetzee bajo la mirada de la analítica existencial heideggeriana. Logos: Revista de Lingüística, Filosofía y Literatura 25 (2):114-124.
    El propósito del presente artículo es proponer un diálogo entre la novela autobiográfica Infancia del autor sudafricano J. M. Coetzee, y la transformación existencial del ser-ahí heideggeriano, tal como esta es analizada e interpretada en Ser y tiempo. El camino que seguiremos consistirá en desarrollar un procedimiento hermenéutico de carácter especular, mediante el cual podamos articular el sentido de la obra literaria con el relato formal, ontológico, de la existencia del Dasein en Ser y tiempo de Heidegger. A través de (...)
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. J. Ruíz Díaz (1987). Muga, J. y Cabada, M. (editores): Antropología filosófica. Planteamientos. Diálogo Filosófico 7:105-108.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  37. J. C. Gregory (1924). GREIG, J. Y. T. -The Psychology of Laughter and Comedy. [REVIEW] Mind 33:97.
     
    Export citation  
     
    My bibliography  
  38. José Manuel Correoso Rodenas (2016). De Maistre, J., y Guerrero Alonso, M. L. . . Consideraciones sobre Francia . Madrid, MD: Escolar y Mayo. 200 pp. Las Torres de Lucca, Revista Internacional de Filosofía Política 5 (8):283-286.
    A lo largo de la historia, el devenir de los acontecimientos ha hecho que determinados autores, que quizá en su época gozaron de fama y popularidad, hayan caído en el olvido o hayan sido forzados al ostracismo. Un caso clásico sería el del poeta y narrador estadounidense William Gilmore Simms quien, antes de la Guerra de Secesión, disfrutó de los laureles de la fama y la admiración de sus contemporáneos. Sin embargo, su apoyo a la causa confederada ha hecho de (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  39. Paul Weirich (2004). Joseph Y. Halpern, Reasoning About Uncertainty Reviewed By. Philosophy in Review 24 (5):333-336.
    This book review describes and evaluates Joseph Halpern's ideas about reasoning, in particular, reasoning involving conditions.
     
    Export citation  
     
    My bibliography  
  40. Paul Weirich (2004). Joseph Y. Halpern, Reasoning About Uncertainty. [REVIEW] Philosophy in Review 24:333-336.
    Reviews Joseph Halpern's book with special attention to his points about conditionals.
    No categories
     
    Export citation  
     
    My bibliography  
  41.  38
    Francesco De Nigris (2012). La razón vital de J. Ortega y Gasset y la analítica existencial de M. Heidegger / J. Ortega y Gasset's Vital Reason and M. Heidegger's Existential Analytic. Ideas Y Valores 61 (148):115-129.
    En los reproches que José Ortega y Gasset le hace a Martin Heidegger sobre el problema del ser, al afirmar que este no puede ser un ciego punto de partida, una creencia, se evidencia la distancia entre dos perspectivas unidas por el horizonte real que pretenden explorar: la vida humana. Sin embargo,..
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  42.  10
    José María Atencia (2003). Razón, intuición y experiencia de la vida: Coincidencias y divergencias entre H. Bergson y J. Ortega y Gasset. Logos 36 (1):67-98.
    SPANISH: En este trabajo se emprende una comparación de algunos elementos centrales de las filosofías de H. Bergson y J. Ortega y Gasset. Tras analizar sus coincidencias y divergencias estableceremos su común pertenencia a una línea de desarrollo de la metafísica europea que arranca de la crítica al kantismo. ENGLISH: In this paper a comparison of some central elements of the philosophies of H.Bergson and J. Ortega and Gasset is tried. After analyzing their coincidences and divergences we will establish their (...)
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  43.  5
    José Luis López de Lizaga (2009). Ética del discurso y realismo moral. El debate entre J. Habermas y C. Lafont. Logos: Anales Del Seminario de Metafísica 41 (2):65-85.
    Este artículo examina el reciente debate entre J. Habermas y C. Lafont sobre la ética del discurso. Se intenta mostrar que la propuesta de Lafont de interpretar la ética del discurso como una versión del realismo moral se enfrenta a problemas difíciles de resolver dentro del marco teórico de la ética discursiva. El artículo examina en primer lugar cómo la posición de Lafont extiende al terreno de la razón práctica varias objeciones importantes contra la teoría consensual de la verdad. A (...)
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  44.  89
    Lloyd Humberstone (2008). Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau). Theoria 71 (3):241-262.
    We discuss aspects of the logic of negation bearing on an issue raised by Jean-Yves Béziau, recalled in §1. Contrary- and subcontrary-forming operators are introduced in §2, which examines some of their logical behaviour, leading on naturally to a consideration in §3 of dual intuitionistic negation (as well as implication), and some further operators related to intuitionistic negation. In §4, a historical explanation is suggested as to why some of these negation-related connectives have attracted more attention than others. The remaining (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45.  71
    Jack Reynolds (2007). Park, J. Y., ED., Buddhisms and Deconstructions Lanham, Maryland: Rowman and Littlefield, 2006, 290+ XXII Pp., IBSN: 0742534189, Pb. [REVIEW] Sophia 46 (2):211-213.
    Jack Reynolds has written Merleau-Ponty and Derrida, coedited Understanding Derrida, taught at the Central Institute of Higher Tibetan Studies, and shaken hands with HHDL. He remains in the realm of samsara.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  46.  7
    Francisco Peña Fernández (1999). Queiroz, José J. Y otros, interfaces do sagrado. Em véspera de milénio; Costa Brito, énio José dá Y Silva gorghulho, Gilberto, religiao ano 2000. [REVIEW] 'Ilu. Revista de Ciencias de Las Religiones 4:422.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  47.  6
    Erik Meganck (2009). J.-Y. Lacoste, La phénoménalité de Dieu. Tijdschrift Voor Filosofie 71 (3):647-648.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  48.  5
    David Pincus (1974). Review: J. D. Halpern, H. Lauchli, A Partition Theorem; J. D. Halpern, A. Levy, The Boolean Prime Ideal Theorem Does Not Imply the Axiom of Choice. [REVIEW] Journal of Symbolic Logic 39 (1):181-182.
  49.  14
    P. Marshall (1999). Review. Hygin. Fables. J-Y Boriaud [Ed]. The Classical Review 49 (2):410-412.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  14
    D. H. Berry (1995). J.-Y. Maleuvre: La Mort de Virgile D'Après Horace Et Ovide. (Textes Et Images de ĿAntiquité, 3.) Pp. Viii+274+Iii. Paris: Jean Touzot, 1993. Paper, 360FF. [REVIEW] The Classical Review 45 (01):164-.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000