If there is a second dimension of time – a so-called ‘hypertime’ – is it logically possible for the past to change? Some have said yes; others have said no. I say yes provided that one has the appropriate ontological view of hypertime. So far, the ontology of hypertime has seldom been discussed. As such, this paper not only defends the logical possibility of a changing past, but aims to start a discussion on what ontological commitments are required to make (...) sense of a changing past. (shrink)

Language & Logic -- Glossary -- Aristotle's syllogisms -- Russell's paradox & Frege's logicism -- profile: Aristotle -- Russell's theory of description -- Frege's puzzle -- Gödel's theorem -- Epimenides' liar paradox -- Eubulides' heap -- Science & Epistemology -- Glossary -- I think therefore I am -- Gettier's counter example -- profile: Karl Popper -- The brain in a vat -- Hume's problem of induction -- Goodman's gruesome riddle -- Popper's conjectures & refutations -- Kuhn's scientific revolutions -- (...) Mind & Metaphysics -- Glossary -- Descartes mind-body problem -- Brentano's intentionality -- Fodor's language of thought -- Parfit's persons -- profile: René Descartes -- Chalmer's zombies -- Zeno's paradoxes -- Kant's left hand -- Theseus' ship -- Laplace's demon, determinism, & free will -- Ryle's ghost in the machine -- Ethics & Political Philosophy -- Glossary -- Aristotle's ethics -- States of nature and the social contract -- Kant's categorical imperative -- profile: Immanuel Kant -- Mill's utilitarianism -- Marx's historical materialism -- The trolley problem -- Religion -- Glossary -- Aquinas' five ways -- Anselm's ontological argument -- profile: Thomas Aquinas -- Epicurus' riddle -- Paley's watchmaker -- Pascal's wager -- Hume against miracles -- Grand Moments -- Glossary -- Socrates' method -- Plato's cave -- Aristotle's four causes -- Lucretius' atomism -- profile: Ludwig Wittgenstein -- Berkeley's idealism -- Kant's synthetic a priori -- Hegel's dialectic -- James' pragmatism -- Moore's common sense -- Wittgenstein's picture theory of language -- Continental Philosophy -- Glossary -- Nietzsche's Superman -- profile: Friedrich Nietzsche -- Derrida's deconstruction -- Heidegger's nothing -- Sartre's bad faith. (shrink)

Law's article begins by restating the classical ANT position that objects do not exist `in themselves' but are the effect of a performative stabilization of relational networks. In addition, these material enactments inevitably have a spatial dimension; they simultaneously establish spatial conditions for objectual identity, continuity, and difference. Space must not be reified as a natural, pre-existing container of the social and the material, but is itself a performance. Moreover, there are multiple forms of spatiality beyond the Euclidean space of (...) regions, and objects may exist and achieve homeomorphism within several different spatial systems. Technologies such as the Zimbabwe Bush Pump present a fluid object which is able to exist and cohere without the presence of fixed boundaries or the permanence of a particular functional definition. The network logic, however, which gravitates towards stability and functionality, tends to exclude and silence this spatial Other. An alternative political ontology is needed which goes beyond the reification of network space in order to give voice to the fluid objects which escape its unidimensional functionality. (shrink)

This chapter looks at a range of objections to theism that one might class as “logical.” Some of these objections aim to show that theism involves an internal logical contradiction. Others aim to show that theism is at least logically incompatible with other beliefs to which the theist is also typically committed. Also included are objections grounded in the thought that theism is nonsensical or meaningless. The chapter provides both an overview of this broad terrain, including a map of possible (...) responses to different kinds of objection, and then a number of examples. (shrink)

This chapter contains sections titled: The Logical Problem of Evil The Evidential Problem of Evil The Evil God Hypothesis and the Problem of Good Reverse Theodicies Notes.

Medvedev's intermediate logic (MV) can be defined by means of Kripke semantics as the family of Kripke frames given by finite Boolean algebras without units as partially ordered sets. The aim of this paper is to present a proof of the theorem: For every set of connectives such that the-fragment ofMV equals the fragment of intuitionistic logic. The final part of the paper brings the negative solution to the problem set forth by T. Hosoi and H. Ono, namely: (...) is an intermediate logic based on the axiom (abc) (ab)(a c) separable? (shrink)