•  204
    The determinists have run out of luck—for a good reason
    with E. J. Lowe
    Philosophy and Phenomenological Research 77 (3): 745-748. 2008.
    In his paper ‘‘Bad luck once again’’ Neil Levy attacks our proof of the consistency of libertarianism by reiterating a time-worn compatibilist complaint.1 This is, that what is not determined must be due to chance. If A has a choice of X or Y, neither X nor Y being causally determined, then if A chooses X it can only be by chance, never for a reason. The only ‘‘reason’’ that could explain the choice of X over Y would have to be a causally sufficient reason, which would rule out A’s having a genuin…Read more
  •  94
    Connexive implication
    Journal of Symbolic Logic 31 (3): 415-433. 1966.
  •  16
    La Logique du Temps
    Journal of Symbolic Logic 42 (3): 430-432. 1977.
  •  126
    Indeterminist free will
    with E. J. Lowe
    Philosophy and Phenomenological Research 70 (3). 2005.
    The aim of the paper is to prove the consistency of libertarianism. We examine the example of Jane, who deliberates at length over whether to vacation in Colorado (C) or Hawaii (H), weighing the costs and benefits, consulting travel brochures, etc. Underlying phenomenological deliberation is an indeterministic neural process in which nonactual motor neural states n(C) and n(H) corresponding to alternatives C and H remain physically possible up until the moment of decision. The neurophysiological…Read more
  •  27
    Indeterminist Free Will
    with E. J. Lowe
    Philosophy and Phenomenological Research 70 (3): 681-690. 2007.
    The aim of the paper is to prove the consistency of libertarianism. We examine the example of Jane, who deliberates at length over whether to vacation in Colorado (C) or Hawaii (H), weighing the costs and benefits, consulting travel brochures, etc. Underlying phenomenological deliberation is an indeterministic neural process in which nonactual motor neural states n(C) and n(H) corresponding to alternatives C and H remain physically possible up until the moment of decision. The neurophysiological…Read more
  •  15
    The Ontology of Time (review)
    Philosophy and Phenomenological Research 76 (1): 225-228. 2008.
  •  8
    Logical Works
    Journal of Symbolic Logic 48 (3): 873-874. 1983.
  •  3
    Fate, Logic and Time (review)
    Journal of Philosophy 65 (22): 742-746. 1968.
  •  114
    Model of the Universe
    Oxford University Press UK. 1996.
    Storrs McCall presents an original philosophical theory of the nature of the universe based on a striking new model of its space- time structure. He shows how his model illuminates a broad range of subjects, including causation, probability, quantum mechanics, identity, and free will, and argues that the fact that the model throws light on such a large number of problems constitutes strong evidence that the universe is as the model portrays it.
  •  18
    ABSTRACT In their contribution to the first part of this special issue Craig Bourn and Emily Caddick Bourne claim to have solved a puzzle I put forward in my ‘An Insoluble Problem’. Here I argue that their attempt fails.
  • Polish Logic 1920-1939
    Revue Philosophique de la France Et de l'Etranger 160 495-495. 1970.
  •  9
    Pure Three-Valued Łukasiewiczian Implication
    with R. K. Meyer
    Journal of Symbolic Logic 33 (1): 133-134. 1968.
  •  17
    God's lottery
    with Alonso Church
    Analysis 49 (4): 223. 1989.
  •  6
    The Determinists Have Run Out of Luck---For a Good Reason
    with E. Lowe
    Philosophy and Phenomenological Research 77 (3): 745-748. 2008.
  •  53
    Axiomatic quantum theory
    Journal of Philosophical Logic 30 (5): 465-477. 2001.
    The basis of a rigorous formal axiomatization of quantum mechanics is constructed, built upon Dirac's bra-ket notation. The system is three-sorted, with separate variables for scalars, vectors and operators. First-order quantification over all three types of variable is permitted. Economy in the axioms is effected by, e.g., assigning a single logical function * to transform (i) a scalar into its complex conjugate, (ii) a ket vector into a bra and a bra into a ket, (iii) an operator into its adjo…Read more
  •  10
    Review: Richard Sharvy, Eugene Freeman, Wilfrid Sellars, Things (review)
    Journal of Symbolic Logic 40 (1): 100-101. 1975.
  •  24
    Aristotle's Modal Syllogisms
    with Ruth Barcan Marcus
    Philosophical Review 74 (4): 539. 1965.
  • If, Since And Because
    Logique Et Analyse 26 (September): 309-322. 1983.
  •  284
    The thesis of 3D/4D equivalence states that every three-dimensional description of the world is translatable without remainder into a four-dimensional description, and vice versa. In representing an object in 3D or in 4D terms we are giving alternative descriptions of one and the same thing, and debates over whether the ontology of the physical world is "really" 3D or 4D are pointless. The twins paradox is shown to rest, in relativistic 4D geometry, on a reversed law of triangle inequality. But …Read more
  •  65
    Time, tense, and reference
    Philosophia 32 (1-4): 423-433. 2005.
  •  232
    Connexive class logic
    Journal of Symbolic Logic 32 (1): 83-90. 1967.
  •  1
    A Model of the Universe
    Philosophical Quarterly 47 (186): 113-115. 1994.