-
204The 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
-
16
-
126Indeterminist 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
-
27Indeterminist Free WillPhilosophy 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
-
13Atwell R. Turquette. A method for constructing implication logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 267–278 (review)Journal of Symbolic Logic 33 (2): 308-309. 1968.
-
26P. T. Geach. Aristotle on conjunctive propositions. Ratio , vol. 5 no. 1 , pp. 33–45Journal of Symbolic Logic 38 (4): 661-662. 1973.
-
44A. N. Prior. Recent advances in tense logic. Basic issues in the philosophy of time, edited by Eugene Freeman and Wilfrid Sellars, Open Court, LaSalle, Ill., 1971, pp. 1–15. , pp. 325–339.) (review)Journal of Symbolic Logic 40 (1): 99. 1975.
-
12Jean-Louis Gardies. La logique du temps. Collection SUP. Presses Universitaires de France, Paris1975, 160 pp (review)Journal of Symbolic Logic 42 (3): 430-432. 1977.
-
114Model 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.
-
18Note on “The Art of Time Travel: An Insoluble Problem Solved”Manuscrito 40 (1): 279-280. 2017.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.
-
6The Determinists Have Run Out of Luck---For a Good ReasonPhilosophy and Phenomenological Research 77 (3): 745-748. 2008.
-
53Axiomatic 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
-
10Review: Richard Sharvy, Eugene Freeman, Wilfrid Sellars, Things (review)Journal of Symbolic Logic 40 (1): 100-101. 1975.
-
22Past, Present and Future. By Arthur Prior. Oxford: Clarendon Press, 1967. Pp. x, 217. $6.35Dialogue 6 (4): 618-621. 1968.
-
2843D/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
Montréal, Quebec, Canada
Areas of Interest
Metaphysics |
Philosophy of Action |
Logic and Philosophy of Logic |