The Semantic Theory of Truth The semantic theory of truth (STT, hereafter) was developed by Alfred Tarski in the 1930s. The theory has two separate, although interconnected, aspects. First, it is a formal mathematical theory of truth as a central concept of model theory, one of the most important branches of mathematical logic. Second, it is also a philosophical doctrine which elaborates the notion of

Sablé, Madeleine de Souvré, Marquise De (1598—1678) A prominent salonnière in seventeenth-century Paris, Madame de Sablé has long occupied the background of early modern French philosophy. She has survived in intellectual history as the patron of La Rochefoucauld, as the hostess of a theological salon, and as the correspondent of Blaise Pascal and Antoine Arnauld. These ancillary roles have obscured her original contributions to moral

Bertrand Russell: Metaphysics Metaphysics is not a school or tradition but rather a sub-discipline within philosophy, as are ethics, logic and epistemology. Like many philosophical terms, “metaphysics” can be understood in a variety of ways, so any discussion of Bertrand Russell’s metaphysics must select from among the various possible ways of understanding the notion, for example, as the study of being qua being, the study

Anaxarchus (c. 380—c. 320 B.C.E.) As a follower of Democritus, Anaxarchus developed the skeptical tendencies within Democritus’ thought. Although our information on him is extremely sketchy, he is a pivotal figure connecting the atomism of Democritus to the skepticism of Pyrrho, if ancient philosophical genealogies can be trusted. He allegedly abolished the criterion of truth by likening our experiences to those of dreamers and madmen.

Natural Deduction Natural Deduction (ND) is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and proposed as an alternative to Hilbert-style axiomatic systems. Gentzen introduced a

Legal Hermeneutics The question of how best to determine the meaning of a given text (legal or otherwise) has always been the chief concern of the general field of inquiry known as hermeneutics. Legal hermeneutics is rooted in philosophical hermeneutics and takes as its subject matter the nature of legal meaning. Legal hermeneutics asks the following sorts of questions: How do we come to decide