▽Model Theory ●10/17 03:58 First published Sat Nov 10, 2001; substantive revision Fri Oct 16, 2020 6. Model theory as a source of philosophical questions [The] concrete examples produced in the present paper will have shown that contemporary symbolic logic can produce useful tools –though by no means omnipotent ones – for the development of actual mathematics, more particularly for the development of algebra and
▽Samuel Clarke ●09/25 08:29 The middle years of his career mark his greatest philosophical contributions, beginning with the Boyle lectures (delivered 1704 and 1705). The first, an attempt to prove the existence of God, along with all divine attributes, was published as A Demonstration of the Being and Attributes of God (1705) and the second, a continuation intended to establish all fundamental moral truths and most religiou
▽Intertheory Relations in Physics ●08/01 01:48 –––, 1993, “Quantum chaos and semiclassical mechanics”, in PSA 1992 (Volume 2), Philosophy of Science Association, pp. 50–65. –––, 2002, The Devil in the Details:Asymptotic Reasoning in Explanation, Reduction, and Emergence, New York: Oxford University Press. Belot, Gordon, 2005, “Whose Devil? Which Details?,” Philosophy of Science,
▽Time Machines ●06/13 09:50 First published Thu Nov 25, 2004; substantive revision Fri Jun 12, 2020 A theorem due to Krasnikov (2002, 2003 [Other Internet Resources],2014a) might seem to demonstrate that no relativistic spacetime can count as embodying a Thornian time machine so understood. Following Krasnikov, let us say that a spacetime condition ￥(C￥)is local just in case, for any open covering ￥(￥{V_{￥alpha}￥}￥) of an ar
▽Quantum Entanglement and Information ●06/01 11:35 While classical information can be copied or cloned, the quantum ‘no cloning’ theorem (Dieks, 1982; Wootters and Zurek,1982) asserts the impossibility of cloning an unknown quantum state.To see why, consider how we might construct a classical copying device. A NOT gate is a device that takes a bit as input and produces as output either a 1 if the input is 0, or a 0 if the input is 1. I
