A standard method for refuting a set of claims is to show that it implies a contradiction. Stephen Clark questions this method on the grounds that the Law of Non-Contradiction, together with the other fundamental laws of logic do not accord with everyday reality. He accounts for vagueness by suggesting that, for any vague predicate 'F', an ordinary object is typically to some extent both F and not-F, and that objects do not change abruptly from being F (...) to being not-F. I challenge Clark's 'deconstruction' of logic, and show that, in characterizing vagueness and dealing with the associated Sorites paradox, we can accommodate his observation that change from being F to being not-F is ineradically continuous without tampering with any fundamental logical laws. (shrink)

Emily Elizabeth Constance Jones was an English logician and contemporary of Bertrand Russell, as well as Mistress of Girton College, Cambridge. In this book, originally published in 1911, she argues for the existence of another fundamental law of thought to join the Law of Contradiction and the Law of Excluded Middle: the Law of Significant Assertion. This book will be of value to anyone with an interest in logic or in Jones' work.

This book offers a comprehensive account of logic that addresses fundamental issues concerning the nature and foundations of the discipline. The authors claim that these foundations can not only be established without the need for strong metaphysical assumptions, but also without hypostasizing logical forms as specific entities. They present a systematic argument that the primary subject matter of logic is our linguistic interaction rather than our private reasoning and it is thus misleading to see logic as (...) revealing "the laws of thought". In this sense, fundamental logical laws are implicit to our "language games" and are thus more similar to social norms than to the laws of nature. Peregrin and Svoboda also show that logical theories, despite the fact that they rely on rules implicit to our actual linguistic practice, firm up these rules and make them explicit. By carefully scrutinizing the project of logical analysis, the authors demonstrate that logical rules can be best seen as products of the so called reflective equilibrium. They suggest that we can profit from viewing languages as "inferential landscapes" and logicians as "geographers" who map them and try to pave safe routes through them. This book is an essential resource for scholars and researchers engaged with the foundations of logical theories and the philosophy of language. (shrink)

Self-taught mathematician and father of Boolean algebra, George Boole (1815-1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of (...) expression, but as a system one can use to understand the human mind. In the first 12 chapters, he sets down the rules necessary to represent logic in this unique way. Then he analyses a variety of arguments and propositions of various writers from Aristotle to Spinoza. One of history's most insightful mathematicians, Boole is compelling reading for today's student of intellectual history and the science of the mind. (shrink)

Just recently I read carefully the article by Comrades Lin Mingjun et al., "The law of sufficient reason is not a fundamental law of formal logic," and the article of Comrade Li Xiankun, "The place and function of the law of sufficient reason in formal logic." The present article contains some of our disagreements with the above two articles.

Our concept of the universe and the material world is foundational for our thinking and our moral lives. In an earlier contribution to the URAM project I presented what I called 'the ultimate organizational principle' of the universe. In that article (Grandpierre 2000, pp. 12-35) I took as an adversary the wide-spread system of thinking which I called 'materialism'. According to those who espouse this way of thinking, the universe consists of inanimate units or sets of material such as atoms (...) or elementary particles. Against this point of view on reality, I argued that it is 'logic', which exists in our inner world as a function of our mind, that is the universal organizing power of the universe. The present contribution builds upon this insight. Then I focussed on rationality; now I am interested in the responsibility that is the driving force behind our effort to find coherence and ultimate perspectives in our cosmos. It is shown that biology fundamentally differs from physics. Biology has its own fundamental principle, which is formulated for the first time in history in a scientific manner by Ervin Bauer. This fundamental principle is the cosmic life principle. I show that if one considers the physical laws as corresponding to reality, as in scientific realism, than physicalism becomes fundamentally spiritual because the physical laws are not material. I point out that the physical laws originate from the fundamental principle of physics which is the least action principle. I show that the fundamental principle of physics can be considered as the "instinct of atoms". Our research has found deep and meaningful connections between the basic principle of physics and the ultimate principles of the universe: matter, life and reason. Therefore, the principle of least action is not necessarily an expression of sterile inanimateness. On the contrary, the principle of physics is related to the life principle of the universe, to the world of instincts behind the atomic world, in which the principles of physics, biology, and psychology arise from the same ultimate principle. Our research sheds new light to the sciences of physics, biology, and psychology in close relation to the basic principles. These ultimate principles have a primary importance in our understanding of the nature of Man and the Universe, together with the relations between Man and Nature, Man and the Universe. The results offer new foundations for our understanding our own role in the Earth, in the Nature and in the Universe. Even the apparently inanimate world of physics shows itself to be animate on long timescales and having a kind of pre- human consciousness in its basic organisation. This hypothesis offers a way to understand when and how the biological laws may direct physical laws, and, moreover, offers a new perspective to study and understand under which conditions can self-consciousness govern the laws of biology and physics. This point of view offers living beings and humans the possibility of strengthening our natural identity, and recognising the wide perspective arising from having access to the deepest ranges of our own human resources and realising the task for which human and individual life has been created. (shrink)

This doctoral dissertation investigates the notion of physical necessity. Specifically, it studies whether it is possible to account for non-accidental regularities without the standard assumption of a pre-existent set of governing laws. Thus, it takes side with the so called deflationist accounts of laws of nature, like the humean or the antirealist. The specific aim is to complement such accounts by providing a missing explanation of the appearance of physical necessity. In order to provide an explanation, I recur (...) to fields that have not been appealed to so far in discussions about the metaphysics of laws. Namely, I recur to complex systems’ theory, and to the foundations of statistical mechanics. The explanation proposed is inspired by how complex systems’ theory has elucidated the way patterns emerge, and by the probabilistic explanations of the 2nd law of thermodynamics. More specifically, this thesis studies how some constraints that make no direct reference to the dynamics can be a sufficient condition for obtaining in the long run, with high probability, stable regular behavior. I hope to show how certain metaphysical accounts of laws might benefit from the insights achieved in these other fields. According to the proposal studied in this thesis, some regularities are not accidental not in virtue of an underlying physical necessity. The non-accidental character of certain regular behavior is only due to its overwhelming stability. Thus, from this point of view the goal becomes to explain the stability of temporal patterns without assuming a set of pre-existent guiding laws. It is argued that the stability can be the result of a process of convergence to simpler and stable regularities from a more complex lower level. According to this project, if successful, there would be no need to postulate a (mysterious) intermediate category between logical necessity and pure contingency. Similarly, there would be no need to postulate a (mysterious) set of pre-existent governing laws. Part I of the thesis motivates part II, mostly by arguing why further explanation of the notions of physical necessity and governing laws should be welcomed (chapter 1), and by studying the plausibility of a lawless fundamental level (chapters 2 and 3). Given so, part II develops the explanation of formation of simpler and stable behavior from a more complex underlying level. (shrink)

A common response to those who question the Law of Non-Contradiction is that it is impossible to debate such a fundamental law of logic. The reasons for this response vary, but what seems to underlie them is the thought that there is a minimal set of logical resources without which rational debate is impossible. This chapter argues that this response is misguided. First, it defends non-apriorism in logic: the view that logic is in the same epistemic (...) boat as other scientific theories. It then offers an account of logical theory change in terms of this epistemology. The LNC is discussed in terms of this account of logical theory change, and it is shown that rational debate over this law can, and does, proceed. Finally, arguments for and against the LNC are discussed, and how and where non-a priori considerations arise in these arguments are illustrated. (shrink)

There are two ways interpreters have tended to understand the nature of the laws of Kant’s pure general logic. On the first, these laws are unconditional norms for how we ought to think, and will govern anything that counts as thinking. On the second, these laws are formal criteria for being a thought, and violating them makes a putative thought not a thought. These traditions are in tension, in so far as the first depends on the (...) possibility of thoughts that violate these laws, and the second makes violation impossible. In this essay I develop an interpretation of Kant’s pure general logic that overcomes this tension. It accounts for the possibility of logical mistakes, as the first tradition does, while still establishing the absolute impossibility of logical aliens, as the second tradition does. I then argue that the formalist insight that illogical exercises of the understanding are not alternative ways coherent thoughts could have been, but are mere confusions, is fundamental for achieving a proper understanding of the absolute normativity of the laws of pure general logic. (shrink)

This groundbreaking work on logic by the brilliant 19th-century English mathematician George Boole remains influential to this day. Boole's major contribution was to demonstrate conclusively that the symbolic expressions of algebra could be adapted to convey the fundamental principles and operations of logic, which hitherto had been expressed only in words. Boole was thus the founder of today's science of symbolic logic. Summing up his innovative approach, Boole stated, "We ought no longer to associate Logic (...) and Metaphysics, but Logic and Mathematics." As the great English logician Augustus De Morgan later put it, in praise of Boole, his genius consisted in showing that "the symbolic processes of algebra, invented as tools of numerical calculation, should be competent to express every act of thought, and to furnish the grammar and dictionary of an all-containing system of logic." The Laws of Thought lays out this new system in detail and also explores a "calculus of probability." The story of Boole's life is as impressive as his work. Besides rudimentary lessons from his father and a few years at local schools, Boole was largely self-taught. Revealing his aptitude for many subjects at an early age, he began his career already at age 16 as a teacher at a village school. In his leisure time he tackled the daunting works of Newton, Laplace, and Lagrange on physics and mathematics. By the age of twenty-four he was submitting original papers to the Cambridge Mathematical Journal and at age twenty-nine he won a medal from the Royal Society for his contributions to mathematical analysis. He continued to so impress his contemporaries that five years later he was appointed professor of mathematics at Queens College, Cork in Ireland, even though he had no university degree. At his untimely death of forty-nine, Boole could never have guessed that his new symbolic logic would become essential in the next century for telephone switching and the design of computers. For this practical reason, as well as the sheer intellectual importance of his accomplishment, The Laws of Thought merits our attention today. (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.

Gödel appears to have believed strongly that the human mind cannot be explained in terms of any kind of computational physics, but he remained cautious in formulating this belief as a rigorous consequence of his incompleteness theorems. In this chapter, I discuss a modification of standard Gödel-type logical arguments, these appearing to strengthen Gödel’s conclusions, and attempt to provide a persuasive case in support of his standpoint that the actions of the mind must transcend computation. It appears that Gödel did (...) not consider the possibility that the laws of physics might themselves involve noncomputational procedures; accordingly, he found himself driven to the conclusion that mentality must lie beyond the actions of the physical brain. My own arguments, on the other hand, are from the scientific standpoint that the mind is a product of the brain’s physical activity. Accordingly, there must be something in the physical actions of the world that itself transcends computation. We do not appear to find such noncomputational action in the known laws of physics, however, so we must seek it in currently undiscovered laws going beyond presently accepted physical theory. I argue that the only plausibly relevant gap in current understanding lies in a fundamental incompleteness in quantum theory, which reveals itself only with significant mass displacements between quantum states (“Schrödinger’s cats”). I contend that the need for new physics enters when gravitational effects just begin to play a role. In a scheme developed jointly with Stuart Hameroff, this has direct relevance within neuronal microtubules, and I describe this (still speculative) scheme in the following. (shrink)

A brief historical comment on scientific knowledge as Socratic ignorance -- Some critical comments on the text of this book, particularly on the theory of truth Exposition [1933] -- Problem of Induction (Experience and Hypothesis) -- Two Fundamental Problems of the Theory of Knowledge -- Formulation of the Problem -- The problem of induction and the problem of demarcation -- Deductivtsm and Inductivism -- Comments on how the solutions are reached and preliminary presentation of the solutions -- Rationalism and (...) empiricism-deductivism and inductivism -- The possibility of a deductivist psychology of knowledge -- The Problem of Induction -- The infinite regression (Hume's argument) --The inductivist positions -- The Normal-Statement Positions -- The normal-statement positions: naive inductivism, strict positivism and apriorism -- Critique of strict positivism - twofold transcendence of natural laws -- The transcendental method - presentation of apriorism -- Critique of apriorism -- Kant and Fries -- Supplement to the critique of apriorism. (Psychologism and transcendentalism in Kant and Fries.-On the question of the empirical basis.) -- Probability Positions -- The probability positions - subjective belief in probability -- Statements about the objective probability of events -- Probability as an objective degree of validity of universal empirical statements -- One way of more closely defining the concept of the probability of a hypothesis (primary and secondary probability of hypotheses). The concept of simplicity -- The concept of the corroboration of a hypothesis - positivist, pragmatist and probabilistic interpretations of the concept of corroboration -- The infinite regression of probability statements -- Pseudo-Statement Positions -- The pseudo-statement positions: new formulation of the problem -- Natural laws as "instructions for the formation of statements" -- "True - false" or "useful - useless"? Consistent pragmatism --Difficulties of consistent pragmatism -- Tool and schema as purely pragmatic constructs -- Natural laws as propositional functions -- Conventionalism -- The pseudo-statement positions will temporarily be put away: conventionalism -- The three interpretations of axiomatic systems. (The circle of problems surrounding conventionalism) -- Conventionalist implicit and explicit definitions Propositional function and propositional equation -- Conventionalist propositional equations as tautological general implications -- Can axiomatic-deductive systems also be understood as consequence classes of pure propositional functions (of pseudo-statements)? -- The coordinative definitions of empiricism: synthetic general implications -- Conventionalist and empiricist interpretations, illustrated by the example of applied geometry -- Strictly Universal Statements and Singular Statements -- Implication and general implication -- General implication and the distinction between strictly universal and singular statements -- Universal concept and individual concept-class and element -- Strictly universal statements-the problem of induction and the problem of universals -- Comments on the problem of universals -- Back to the Pseudo-Statement Positions -- Return to the discussion of the pseudo-statement positions -- Symmetry or asymmetry in the evaluation of natural laws? -- The negative evaluation of universal statements. Critique of the strictly symmetrical interpretation of pseudo-statements -- An infinite regression of pseudo-statements -- An apriorist pseudo-statement position -- Interpretation of the critique up to this point; comments on the unity of theory and practice -- A last chance for the pseudo-statement positions -- Pseudo-Statement Positions and the Concept of Meaning -- The concept of meaning and logical positivism -- The concept of meaning and the demarcation problem-the fundamental thesis of inductivism -- Critique of the inductivist dogma of meaning -- Fully decidable and partially decidable empirical statements-the antinomy of the knowability of the world. (Conclusion of the critique of the pseudo-statement positions.) -- The dialectical and the transcendental corroboration of the solution -- Is the problem of induction solved? (shrink)

Autonomy is the central idea of modern practical philosophy. Understood as self-legislation, autonomy seems to require that the validity of norms depends on recognition, namely, that their addressees, being autonomous agents, recognise these norms to be valid. But how can one be bound by norms whose validity depends on their being recognised as valid by their addressees? The questions of how autonomous morality and, on this basis, the authoritative character of law can be understood, present persistent puzzles that have been (...) widely discussed, but still await a satisfactory solution. This book presents an analysis of the idea of autonomy as self-legislation and its consequences for law and morality. It links the idea of autonomy with the idea of the balancing of normative arguments, develops a notion of normative arguments as distinct from normative judgements and statements and explains claims to correctness and objectivity that are found in normative discourse. Thus, a 'logic of autonomy' emerges, and it is pervasive in normative reasoning. It connects theses regarding the logic of norms, the structure of balancing, human and fundamental rights, legal validity, legal interpretation, and the relations among legal systems, offering a theory of central elements of normative argumentation, a theory that is undergirded by the mutual relations that exist between and among its parts as well as through the relations that it bears to other theories. Moreover, it offers an alternative to Kantian notions of autonomy and provides solutions to problems that other theories have failed to master. (shrink)

This groundbreaking work on logic by the brilliant 19th-century English mathematician George Boole remains influential to this day. Boole's major contribution was to demonstrate conclusively that the symbolic expressions of algebra could be adapted to convey the fundamental principles and operations of logic, which hitherto had been expressed only in words. Boole was thus the founder of today's science of symbolic logic. Summing up his innovative approach, Boole stated, "We ought no longer to associate Logic (...) and Metaphysics, but Logic and Mathematics." As the great English logician Augustus De Morgan later put it, in praise of Boole, his genius consisted in showing that "the symbolic processes of algebra, invented as tools of numerical calculation, should be competent to express every act of thought, and to furnish the grammar and dictionary of an all-containing system of logic." The Laws of Thought lays out this new system in detail and also explores a "calculus of probability." The story of Boole's life is as impressive as his work. Besides rudimentary lessons from his father and a few years at local schools, Boole was largely self-taught. Revealing his aptitude for many subjects at an early age, he began his career already at age 16 as a teacher at a village school. In his leisure time he tackled the daunting works of Newton, Laplace, and Lagrange on physics and mathematics. By the age of twenty-four he was submitting original papers to the Cambridge Mathematical Journal and at age twenty-nine he won a medal from the Royal Society for his contributions to mathematical analysis. He continued to so impress his contemporaries that five years later he was appointed professor of mathematics at Queens College, Cork in Ireland, even though he had no university degree. At his untimely death of forty-nine, Boole could never have guessed that his new symbolic logic would become essential in the next century for telephone switching and the design of computers. For this practical reason, as well as the sheer intellectual importance of his accomplishment, The Laws of Thought merits our attention today. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the (...) logic of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

Herman Dooyeweerd’s classical characterization of the meaning-kernel of the economic modality runs as follows: the sparing or frugal mode of administering scarce goods, implying an alternative choice of their destination with regard to the satisfaction of different human needs. My first aim in this paper is to show that Dooyeweerd’s characterization of the meaning-kernel of the economic modality naturally leads to neoclassical economic theory. In order to do this, I will provide an argument that, departing from Dooyeweerd’s definition of the (...) meaning-kernel of the economic modality, concludes in a logical reconstruction of (the static case of) neoclassical economic theory (from now on denoted as NET). The fundamental law of this theory will turn out to be thus, naturally, a formulation of the fundamental modal law of economics. The second aim of the paper is epistemological since it discusses the methodological problem of the empirical claim of the theory. It is my hope that this discussion will clarify the limits of NET and provide a reply to the objections raised against it by Reformed scholars like Goudzwaard (1980). (shrink)

The question of whether there are laws in ecology is important for a number of reasons. If, as some have suggested, there are no ecological laws, this would seem to distinguish ecology from other branches of science, such as physics. It could also make a difference to the methodology of ecology. If there are no laws to be discovered, ecologists would seem to be in the business of merely supplying a suite of useful models. These models would (...) need to be assessed for their empirical adequacy but not for their ability to capture fundamental truths, or the like. If, on the other hand, ecology does have laws, this prompts further questions about what these laws are and why even the best candidates for ecological laws fall short of what might be expected of laws. (shrink)

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)

The question of whether the Pyrrhonist adheres to certain logical principles, criteria of justification, and inference rules is of central importance for the study of Pyrrhonism. Its significance lies in that, whereas the Pyrrhonist describes his philosophical stance and argues against the Dogmatists by means of what may be considered a rational discourse, adherence to any such principles, criteria, and rules does not seem compatible with the radical character of his skepticism. Hence, if the Pyrrhonist does endorse them, one must (...) conclude that he is inconsistent in his outlook. Despite its import, the question under consideration has not received, in the vast literature on Pyrrhonism of the past three decades, all the attention it deserves. In the present paper, I do not propose to provide a full examination of the Pyrrhonist’s attitude towards rationality, but to focus on the question of whether he endorses the law of non-contradiction (LNC). However, I will also briefly tackle the question of the Pyrrhonist’s outlook on both the canons of rational justification at work in the so-called Five Modes of Agrippa and the logical rules of inference. In addition, given that the LNC is deemed a fundamental principle of rationality, determining the Pyrrhonist’s attitude towards it will allow us to understand his general attitude towards rationality. (shrink)

This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik (1893 and 1903), with introduction and annotation. As the culmination of his ground-breaking work in the philosophy of logic and mathematics, Frege here tried to show how the fundamental laws of arithmetic could be derived from purely logical principles.

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)

Herman Dooyeweerd’s classical characterization of the meaning-kernel of the economic modality runs as follows:the sparing or frugal mode of administering scarce goods, implying an alternative choice of their destination with regard to thesatisfaction of different human needs.My first aim in this paper is to show that Dooyeweerd’s characterization of the meaning-kernel of the economic modality naturallyleads to neoclassical economic theory. In order to do this, I will provide an argument that, departing from Dooyeweerd’s definitionof the meaning-kernel of the economic modality, (...) concludes in a logical reconstruction of neoclassical economictheory . The fundamental law of this theory will turn out to be thus, naturally, a formulation of thefundamental modal law of economics. The second aim of the paper is epistemological since it discusses the methodological problem of the empirical claim of the theory. It is my hope that this discussion will clarify the limits of NET and provide a reply to the objections raised against it by Reformed scholars like Goudzwaard. (shrink)

Brian Loar believes he has refuted all those antiphysicalist arguments that take as their point of departure observations about what is or isn't conceivable. I argue that there remains an important, popular and plausible-looking form of conceivability argument that Loar has entirely overlooked. Though he may not have realized it, Saul Kripke presents, or comes close to presenting, two fundamentally different forms of conceivability argument. I distinguish the two arguments and point out that while Loar has succeeded in refuting one (...) of Kripke's arguments he has not refuted the other. Loar is mistaken: physicalism still faces an apparently insurmountable conceptual obstacle. (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)