-
359Freewill and omniscience: a reply to GarrettAnalysis 73 (3): 488-488. 2013.Brian Garrett (Analysis (2012), 293–5) comments on McCall's paper (Analysis (2011), 501–6). McCall had claimed that since the truth of true empirical propositions supervenes on, and depends upon, empirical fact, what God knows and does not know also depends upon being, i.e. upon facts. Consequently God's foreknowing what I freely decide to do depends upon what I freely do. Garrett objects that the dependence of truth on being seems to play no essential role in McCall's argument. McCall replies t…Read more
-
65A Model of the Universe: Space-Time, Probability, and DecisionClarendon Press. 1994.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.
-
355The determinists have run out of luck—for a good reasonPhilosophy 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
-
284Indeterminist free willPhilosophy 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
-
57Atwell R. Turquette. A method for constructing implication logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 267–278Journal of Symbolic Logic 33 (2): 308-309. 1968.
-
88P. T. Geach. Aristotle on conjunctive propositions. Ratio , vol. 5 no. 1 , pp. 33–45Journal of Symbolic Logic 38 (4): 661-662. 1973.
-
141Jean-Louis Gardies. La logique du temps. Collection SUP. Presses Universitaires de France, Paris1975, 160 ppJournal of Symbolic Logic 42 (3): 430-432. 1977.
-
201Model of the UniverseOxford 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.
-
80Note on “The Art of Time Travel: An Insoluble Problem Solved”Manuscrito 40 (1): 279-280. 2017.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.
-
6The Determinists Have Run Out of Luck---For a Good ReasonPhilosophy and Phenomenological Research 77 (3): 745-748. 2008.
-
137Axiomatic quantum theoryJournal 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
-
83Past, Present and Future. By Arthur Prior. Oxford: Clarendon Press, 1967. Pp. x, 217. $6.35Dialogue 6 (4): 618-621. 1968.
-
4753D/4D equivalence, the twins paradox and absolute timeAnalysis 63 (2). 2002.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
-
65A simple decision procedure for one-variable implicational/negation formulae in intuitionist logicNotre Dame Journal of Formal Logic 3 (2): 120-122. 1962.
Montréal, Quebec, Canada
Areas of Interest
| Metaphysics |
| Philosophy of Action |
| Logic and Philosophy of Logic |