Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Key Terms in Logic Continuum Key Terms in Philosophy The Key Terms series offers undergraduate students clear, concise and accessible introductions to core topics. Each book includes a comprehensive overview of the key terms, concepts, thinkers and texts in the area covered and ends with a guide to further resources. Available now Key Terms in Philosophy of Mind, Pete Mandik Key Terms in Philosophy of Religion, Raymond VanArragon Key Terms in Philosophy forthcoming from Continuum Aesthetics, Brent Kalar Ethics, Oskari Kuusela Political Philosophy, Jethro Butler Key Terms in Logic Edited by Federica Russo and Jon Williamson . without prior permission in writing from the publishers. Russo. NY www. p. Chennai.K dc Typeset by Newgen Imaging Systems Pvt Ltd. I. including photocopying. Title. Williamson.continuumbooks. Federica. India Printed and bound in India by Replika Press Pvt Ltd . electronic or mechanical. ISBN HB PB Library of Congress CataloguinginPublication Data Key terms in logic / edited by Federica Russo and Jon Williamson. ISBN . cm. BC. or any information storage or retrieval system. Includes index. No part of this publication may be reproduced or transmitted in any form or by any means. Jon. III. II. Logic. recording. British Library CataloguinginPublication Data A catalogue record for this book is available from the British Library.com Federica Russo.Continuum International Publishing Group The Tower Building Maiden Lane York Road Suite London SE NX New York. Jon Williamson and Contributors All rights reserved. Contents List of Contributors List of Symbols Introduction Key Terms Key Thinkers Key Texts Textbooks Key Texts Classics Index vii xiv . This page intentionally left blank . University of Alberta bimboualberta.ac. Florida Institute of Technology aberdeinfit.asmusgmail. the University of Melbourne conrad. Swarthmore College abakerswarthmore. VA robertarpgmail.il Katalin Bimb KB Department of Philosophy.edu Robert Arp RA OntoReason. University of Haifa berberresearch.ac. Anthropology and Social Inquiry. McLean. University of York mabyork.List of Contributors Andrew Aberdein AA Department of Humanities and Communication.com Alan Baker ABa Department of Philosophy.edu Michael Beaney MB Department of Philosophy.ca .uk Natan Berber NB Department of Philosophy.com Conrad Asmus CA The School of Philosophy.haifa. edu. University of Nottingham ben. University of ParisEst and Institut Jean Nicod jeanmariechevalieryahoo.com Kevin S. France ecassangmail.l. University of Bologna g. University of Sierra Leone josephusbrimahyahoo. the University of the West Indies. Hong Kong Baptist University kccheunghkbu.fr Benjamin Curtis BC Department of Philosophy.viii Francesca Boccuni FB Department of Philosophy.hk JeanMarie Chevalier JMC Department of Philosophy.com Elodie Cassan EC CERPHI.edu . Fourah Bay College.curtisgmail.com Gustavo Cevolani GC Department of Philosophy.com Josephus Brimah JB Department of Philosophy.uk Alan Brown ABr Independent scholar entropyhush.com Leo K. Eastern Washington University kdeckermail.cevolanigmail. University of Padua francesca. Cheung LC Department of Religion and Philosophy. C.boccunitiscali.ewu. Barbados edbrandongmail.co. Decker KD Department of Philosophy.it List of Contributors Ed Brandon EB The Open Campus. uk Norma B.com Jonathan Gillard JG School of Mathematics.List of Contributors Lieven Decock LD Faculty of Philosophy. California University of Pennsylvania craig.d. University of Toronto benoithvgmail. Stanford University marcello. De Florio CDF Department of Philosophy.dibellogmail.com Henri Galinon HG IHPST CNRS / Universit de Paris / ENS henri. Vrije Universiteit Amsterdam LB.uk Donald Gillies DG Department of Science and Technology Studies.ac.goldsteinkent.com ix .vu.galinongmail. University of Kent l.unc. Universit cattolica di Milano cirodefloriohotmail. University College London donald.ac.ac.nl Ciro L.com Craig Fox CF Department of Philosophy. Cardiff University gillardjwcardiff. National University of Cordoba ngoetheffyh.foxgmail.ar Laurence Goldstein LG Department of Philosophy. Goethe NBG School of Philosophy.uk Benoit HardyValle BHV Department of Philosophy.edu.Decockph.com Marcello Di Bello MDB Department of Philosophy.gilliesucl. London School of Economics and Political Science C. Santa Barbara holmespstat.unibe.ac.hudrygmail. University of Tartu jl. Universtt Bern dale. University of Rostock ludger.ch Mark Jago MJ Philosophy Department.com List of Contributors Conrad Heilmann CH Department of Philosophy.jagoscmp.com Dale Jacquette DJ Institute of Philosophy.x Nigel Hee NH Department of Philosophy. University of Glasgow nigelheegmail. Holmes DH Department of Statistics and Applied Probability.edu JeanLouis Hudry JLH Department of Philosophy.ucsb.edu.edu Amanda Hicks AH Department of Philosophy.de . Auburn University hettcmrauburn.jansenunirostock.Heilmannlse.mq. Logic and Scientific Method. Macquarie University Mark.au Ludger Jansen LJ Institute of Philosophy.uk Matthew Hettche MH Philosophy Department.edu Dawn E.jacquettephilo. University of California. University at Buffalo ahicksbuffalo. edu Casey McGinnis CMG Department of Philosophy. University of Quebec in Montreal and Paris I neil. Hamilton College rmarcushamilton. University of Minnesota Stephen McLeod SML Department of Philosophy. Mills APM Department of Religion and Philosophy.ac. Poincar.edu Amirouche Moktefi AM IRIST. University of Sheffield J.ac.uk xi . Charles Sturt University moluckcsu.Murzisheffield. NancyUniversit amirouche.au Russell Marcus RM Department of Philosophy.kennedygmail. Otterbein College AMillsotterbein.ustrasbg.fr Matteo Morganti MMo Zukunftskolleg and Department of Philosophy.edu.List of Contributors Neil Kennedy NK Department of Philosophy.patrick.moktefigersulp.uk Andrew P. University of Konstanz Matteo. Universit de Strasbourg LHSP Archives H.Morgantiunikonstanz. University of Liverpool Stephen.com Morgan Luck ML School of Humanities and Social Science.Mcleodliverpool.de Julien Murzi JM Philosophy Department. xii Mauro Murzi MMu Member of the Societ Filosofica Italiana murzimyahoo. University of Groningen j.edu Marco Sgarbi MS Dipartimento di Filosofia.uk Fabien Schang FS LHSP Henri Poincar. Schulz AWS Department of Philosophy.com Dan OBrien DOB Research Fellow.com Richard Pettigrew RP Department of Philosophy.Pettigrewbristol.w. Oxford Brookes University danobihotmail.fr Armin W. Logic. Universit di Verona marco.ac.sgarbilettere.nl Constantine Sandis CS Philosophy.fabienvoila.univr. London School of Economics and Political Science awschulzwisc.com JanWillem Romeijn JWR Philosophy.ac.it . Nancy Technische Universitt Dresden. University of Bristol Richard.romeijnrug. Institut fr Philosophie schang.uk List of Contributors Francesca Poggiolesi FP Center for Logic and Philosophy of Science CLFW. and Scientific Method. Oxford Brookes University amp New York University in London csandisbrookes. Vrije Universiteit Brussel and Logic Group of the University of Florence poggiolesigmail. uwa. Andrews Apostolos Syropoulos AS Independent scholar asyropoulosgmail.edu.nl Mark van Atten MVA IHPST CNRS / Universit de Paris / ENS Mark.eu xiii Zach Weber ZW Sydney Centre for the Foundations of Science. School of Philosophical and Historical Inquiry. Universiteit van Amsterdam S.vanAttenunivparis. University of St. Lund University frank.se . University of Sydney School of Philosophy and Social Inquiry. Singapore Management University johnwilliamssmu. University of Western Australia slaterbhcyllene.au John N.zenkerfil.Uckelmanuva.au Rachel Sterken RS Arch. Language amp Computation.edu.lu.weberusyd.edu. Uckelman SU Institute for Logic.L.List of Contributors Hartley Slater HS Philosophy.fr Koen Vervloesem KV Independent scholar koenvervloesem. Williams JW School of Social Sciences.sg Frank Zenker FZ Department of Philosophy and Cognitive Science. University of Melbourne zach.com Sara L. C not P P it is not the case The moon is not that P made of blue cheese If P then Q P implies Q PQ If the moon is made of blue cheese. R Propositional letters / variables Propositions / wffs / statements Negation pronounce the letter pronounce the letter P The moon is made of blue cheese Any proposition F. B. c. pigs can fly PQ The moon is made of blue cheese if and only if pigs can fly Implication / material conditional Double implication / biconditional P if and only if Q . A.e. i. Abbreviation of well Wellformed formed formula. formula any string of symbols within the vocabulary of a language L that obeys the rules syntax of L iff Abbreviation of if and only if If and only if PQ The moon is made of blue cheese if and only if pigs can fly P. y. Q.List of Symbols Symbol wff Description How to Read it Example It is sunny in English A B in set theory P Q in propositional logic etc. At least one element of the domain is made of blue cheese It is possible that P In some possible world it is true that P P It is possible that the moon is made of blue cheese Modal operator of possibility Modal operator of necessity It is necessary P that P It is necessary that In every possible the moon is made of world it is true blue cheese that P Continued . . y Individual variables pronounce the letter pronounce the letter pronounce the letter pronounce the letters a. G Fa Individual constants Predicate symbols quot Universal quantifier For all x Existential quantifier There exists an x xFx such that . b. .List of Symbols Conjunction P and Q xv PQ The moon is made of blue cheese and pigs can fly PQ The moon is made of blue cheese or pigs can fly x Any element of a set the domain a The moon Is made of blue cheese Fa The moon is made of blue cheese quotxFx All elements of the domain are made of blue cheese Disjunction P or Q x. c F. Q. Therefore.xvi Symbol Description Logical equivalence How to Read it P is logically equivalent to Q List of Symbols Example PP P The proposition that the moon is made of blue cheese is logically equivalent to the proposition that the moon is made of blue cheese and the moon is made of blue cheese PQ The moon is made of blue cheese. pigs can fly P Q That pigs can fly is a syntactic consequence of the moon being made of blue cheese P l Q The moon being made of blue cheese logically implies that pigs can fly ab Jons age is greater than or equal to Federicas age ab Jons age is less than or equal to Federicas age Therefore P. Therefore. l Semantic entailment P logically relation implies Q Greater than or equal to a is greater or equal to b Less than or equal to a is less than or equal to b . Syntactic consequence relation Q is a syntactic consequence of P. . and Set A has as A n N n elements the the set A has as elements x of B elements all the that have the natural numbers less property f than or equal to The universe of discourse Empty set aA element a belongs to the set A aA element a does not belong to the set A AB A intersected with B AB A united with B AB A is a proper subset of B or A is included in B The set of all the elements under consideration Any set that has no elements in it aA Jon belongs to the set of philosophers of the University of Kent aA Federica does not belong the set of secretaries of the University of Kent If A . and B . . b. A x B fx Representation of a set xvii Set A has as A . . then A B If A . c. or proper subset .List of Symbols A a. A has as elements . . and B . then A B . the set elements a. The set A of logicians is a proper subset of the set B of philosophers at the University of Kent Continued U The universe / domain of discourse The empty set Relation of membership Negated relation of membership Intersection Union Inclusion. . c. . b. . . xviii Symbol Description Inclusion. or is identical to B List of Symbols Example The set A of logicians at the University of Kent is a subset of the set B of the philosophers at the University of Kent. or subsubset How to Read it AB A is a subset of B or A is a proper subset of. supposing that all the logicians are philosophers E head at a coin toss P E E pick a heart card from a deck of cards F a heart card has already been taken from the same deck P EF / P E Probability of E The probability of E The probability of E given F P EF Probability of E conditional on F P EF P E F P F . logic studies consequence and this is enough . inductive consequence and providing practical methods for answering questions about these consequence relationships e. logics in particular inductive logics are sometimes justified by appealing to pragmatic goals such as the goal of minimizing loss and it is clear that the relationship between logic and decisionmaking is rather subtle. as well as those in other disciplines such as computing. concerned with asking when statements are consistent and when they are inconsistent. Important goals of logic include characterizing interesting consequence relationships e.g. logics are occasionally applied to tasks that do not obviously concern reasoning. While it certainly teaches us a lot about how we can and ought to reason. Logic can be thought of in a variety of ways. deductive consequence. But logic is more often conceived of as the study of consequence what follows from what.g.. such as to the modelling of hardware in computer science. mathematics. semantic trees and proof are three ways of determining whether a conclusion follows from given premisses in deductive logic. On the other hand. Thus deductive logic studies valid consequence situations in which the truth of the premisses of an argument forces the truth of its conclusion while inductive logic studies plausible or probable consequence situations in which the premisses render the conclusion more probable or sufficiently probable. truth tables. It is sometimes viewed as the study of consistency. Logic is sometimes held to be the theory of reasoning. and so some philosophers view logic and reasoning as somewhat different..Introduction This volume sets out to provide a reference for students starting out in philosophy. Logic is often also distinguished from decisionmaking logic is thought to be about theoretical relationships between statements while decisionmaking is apparently guided by pragmatic considerations such as the utilities or values attached to actions. psychology and law in which logic features prominently. There is no need to decide these subtle questions in order to study and enjoy logic at the very least. Introduction to make logic crucial to philosophy and to other disciplines concerned with cogent argument. But bewildering terminology can delay the study and enjoyment of logic it is hoped that this volume will help the reader to understand some of the key jargon. The volume is organized in three parts Key Terms, Key Thinkers and Key Texts divided into Textbooks and Classics. Entries are arranged alphabetically in each part and a list of symbols used in the book is in the front of the volume. The volume is a collaborative effort, with entries provided by a multitude of authors. Each entry is initialled and the authors are listed in the front of the volume. We are very grateful to the authors for all the hard work they have put into the volume and for contributing many of the entries to The Reasoner www.thereasoner.org. We are particularly grateful to Amirouche Moktefi, Francesca Boccuni, Ed Brandon and Laurence Goldstein for many suggestions of improvements to the text. Key Terms A Priori / A Posteriori. A proposition is knowable a priori if one can know that it is true without appeal to experience. In order to know that bachelors are unmarried men I do not have to interview various bachelors I just have to understand the terms bachelor and unmarried man. In contrast, a proposition is knowable a posteriori if it can be known on the basis of experience. That sugar is sweet is knowable a posteriori because I can come to know this by tasting it. See also ANALYTICSYNTHETIC NECESSITY KRIPKE, SAUL MILL, JOHN STUART. DOB Abduction. Abduction is a nonmonotonic pattern of reasoning involved both in hypothesis formulation and explanation. While deduction determines necessary consequences and induction determines probable ones, abductive reasoning determines which plausible hypothesis would make sense of an already observed consequence. Abduction is also referred to as inference to the best explanation, that is, concluding that one explanation is true from the fact that it provides a better explanation than any other. Although it is defeasible compelling but not deductively valid, abduction has an important role in scientific discovery and artificial intelligence. See also ANALOGY BELIEF REVISION CONDITION, NECESSARY AND SUFFICIENT CONSEQUENT DEDUCTION INDUCTION PROBABILITY INFERENCE TO THE BEST EXPLANATION LOGIC, NONMONOTONIC SOUNDNESS. BHV Absorption. See INFERENCE, RULES OF. Abstraction. Traditionally, abstraction indicates a process of derivation of a universal from the particulars that fall under it. In second and higher order logics, abstraction is expressed by the Axiom of Comprehension Rx Rxj, which states the existence of a property or class P for every formula j of the language. The principle of Conversion y x.Rxyj y/x, where x.Px might be read as the property P , is also an abstraction principle according to Analogy which every individual y falls under the property P if and only if y satisfies j. Set theory displays a similar axiom, ax xaj, which says that there is a set a of all x such that j holds. See also AXIOM CLASSES PROPERTY SET THEORY TYPE THEORY. FB Analogy. An analogy is a logical function and a reasoning process. As a logical function, analogy is a relation between two ordered pairs in A is to B as C is to D, the particular elements are different but the functional relation is identical. As a reasoning process, an analogy is a structurepreserving mapping between two conceptual domains a source and a target, the first one being familiar, the second unfamiliar. Properties of items in the source domain are applied to items in the target domain. Analogy is thought to be important in abduction. See also ABDUCTION DOMAIN INFERENCE INFERENCE TO THE BEST EXPLANATION INDUCTION LOGIC, NONMONOTONIC LOGICAL FUNCTION. BHV Addition. See INFERENCE, RULES OF. AGM. AGM is the paradigmatic approach to belief revision named after C.E. Alchourrn, P. Grdenfors, D. Makinson . On the logic of theory change partial meet contraction and revision functions. Journal of Symbolic Logic, . AGM axiomatically models the change of a fully believed, consistent and deductively closed set of sentences aka theory, K, in response to new information, p, which is inconsistent with the set. An entrenchment order, , specifies which sentences are to be retracted from the belief set when an inconsistency is found. See also BELIEF REVISION LOGIC, DYNAMIC LOGIC, NONMONOTONIC SET SET THEORY THEORY. FZ Analytic / Synthetic. Analytic propositions are true by definition their truth follows from the meanings of the terms used to express such propositions. Thus Pain hurts is analytic. The truth of synthetic propositions, however, depends on more than the meanings of their constituent terms. That Henry is fat does not follow from merely the meaning of Henry, is and fat this is therefore a synthetic truth. Note that the analytic / synthetic distinction differs from that concerning the a priori / a posteriori the former distinction is semantic concerning meaning, whereas the latter is epistemological concerning the acquisition of knowledge. Much philosophy has focused standing as mutually exclusive and mutually exhaustive alternatives. DEDUCTION. See also CONTRADICTION. in the works of twentieth century analytic philosophers. thereby giving rise to a contradiction or paradox. Ill eat. CF Antinomy. the antecedent is lamb is prepared tonight. QUINE. WILLARD VAN ORMAN. for example. paradoxes of infinity and paradoxes involving partwhole relationships. In deductive arguments. A pair of contradictory propositions. RUSSELL. MH Argument. More recently. Paradigmatic examples appear in law and jurisprudence. There are two major categories of arguments. such as Fichte and Hegel. See also CONDITIONAL. CONSEQUENT. MATERIAL IMPLICATION. DOB A PRIORI / Antecedent. however. QUINE. of which exactly one is the conclusion and the rest are premisses. the term antinomy is more narrowly applied to problems of logic and mathematics including. Consider If lamb is prepared tonight. where two legal judgments. antinomy receives perhaps its most extensive development in the critical works of Kant. One of two logical parts of a conditional statement. In the Critique of Pure Reason. WILLARD VAN ORMAN. the dialectical opposition between the thesis and antithesis of these antinomies results from reasons attempt to transcend the limits of possible experience. In inductive arguments. An argument is a connected series of propositions. Ramsey and Quine. See also A POSTERIORI. or probability. According to Kant. Kant outlines four cosmological antinomies that deal with the structure of the universe or worldwhole. each of which can be demonstrated using a valid deductive proof. such as Russell. VALIDITY. also develop the term in a philosophical sense. In evaluating arguments. of the conclusion. LOGICISM. often preceded by if. are both justified by the same law or set of laws. BERTRAND. As a philosophical term. but not limited to. we may examine both the truth of the premisses and the ways in which the premisses work together to establish the truth or likelihood of the . PARADOXES. Other German Idealists. causality and the existence of God. the premisses are intended to raise the likelihood. Whatever plays this logical role is the antecedent. the premisses are intended to force the truth of the conclusion. NECESSITY.Argument on whether there are any synthetic a priori propositions. or steps on the way from premisses to the conclusion. the divisibility of matter. famous as the first study of formal logic. Aristotle introduces enthymemes. artificial intelligence and law. It is often taken to coincide with or subsume informal logic and critical thinking. INDUCTION. advocates a normative ideal for critical discussion. to characterize plausible nondeductive inferences. PROBABILITY. PREMISS. Argumentation Theory conclusion. some artificial intelligence research connects argumentation to formal accounts of defeasible reasoning. PROPOSITION. until the increasingly successful mathematical approach eclipsed all others. The data or grounds provide qualified support for the claim in accordance with a warrant. latterly oversimplified as syllogisms with missing premisses. the latter question is the focus of logicians. actually pays greater attention to informal reasoning. SOUNDNESS. Paris Presses Universitaires de France and Stephen Toulmins The Uses Of Argument . the influential programme of Amsterdam communication theorists Frans van Eemeren and Rob Grootendorst. Notably. Toulmins influence was greatest outside philosophy. DEDUCTION. These may be seen as reinventing Aristotles topoi. Argumentation schemes are important to the longstanding problem of characterizing informal fallacies. Fallacies may be understood as pathological . encompassing communication theory. and recent work is strongly interdisciplinary. which may in turn be supported by backing or admit exceptions or rebuttals. particularly those aspects which resist deductive formalization. APM Argumentation Theory. which linked the premisses to the conclusion in his enthymemes. Logic retained this broader scope into the early twentieth century. Much recent attention has focused on argumentation schemes stereotypical patterns of plausible reasoning. Toulmins major contribution was the layout which analyses arguments into six components. See also CONCLUSION. The modern revival of argumentation theory began with two works Chaim Perelman and Lucie OlbrechtsTytecas La Nouvelle Rhtorique . Argumentation theory is the study of argument. Both emphasize jurisprudential over mathematical approaches to reasoning. Cambridge Cambridge University Press. This is characterized by Ten Commandments rules claimed to be necessary for a reasonable outcome in a disagreement. For instance. Conversely. such as nonmonotonic logic. Aristotles Organon. VALIDITY. pragmadialectics. FALLACY. however. AA Assumption. Derivationally. logical axioms are the fundamental propositions that display the logical content of a theory for instance. A proposition which is taken for granted in a proof. Epistemically. LOGIC. ORGANON. See also EXCLUDED MIDDLE. the Principle of the Excluded Middle. An axiom is a proposition which is considered fundamental.Axiom instances of plausible but not invariably sound schemes. FB . PROPOSITION. See also CONTRADICTION. a contradiction can be inferred from an unproven assumption. Such a proof is called a proof by contradiction. for instance. PROOF. This programme has been developed at length by the logician Douglas Walton. NONMONOTONIC. axioms are considered as selfevident truths. See also ARGUMENT. this proves that the assumption is false. Nonlogical axioms are the basic propositions that concern the substantive content of a theory in usual axiomatic theories for arithmetic. SYLLOGISM. KV Axiom. If. THEOREM. they are essential in that all the theorems of a theory can be derived from them. PRINCIPLE OF. PROPOSITION. The truth of the assumption may be ascertained in a separate proof. HYPOTHESIS. the axiom that states that is the successor of no number is a nonlogical axiom. In axiomatic theories. Let A and B be events.. The converse Barcan formula states that nothing goes out of existence. LOGIC. the Barcan formula states that nothing comes into existence when moving from a possible world to an alternative world. Through and . KV Bayes Theorem. POSSIBLE WORLD. See also DOMAIN. Suppose PA . Important areas that Bayesianism has been applied to include the philosophy of science. and PAB. See also BAYESIANISM. is . EXISTENTIAL QUANTIFIER. statistics. QUANTIFIER. as follows PBA PBPAB/PA./. Barcan Formulae Barcan Formulae. The posterior probability of B is the prior probability of B times an updating factor PAB/PA. Bayes theorem allows us to calculate the probability of B given A the probability that x is pregnant given that t is positive assuming the probabilities of A. conditional on the newly acquired fact. states xFx x Fx. PB . then PBA PBPAB/PA . PROBABILITY. first studied by Ruth Barcan Marcus. The Barcan formula. The converse Barcan formula is x Fx xFx. NK Bayesianism. MODAL. for example. suppose A is the event x tested positive on pregnancy test t and B is the event x is pregnant. Taken together. degrees of belief are rationally revised according to Bayes theorem they are conditionalized an agents beliefs after she has learned something new should be equal to her old beliefs. then there exists an x for which its possible that F holds. INTERPRETATION OF. PROBABILITY. or in words If its possible that there exists an x for which F holds. Bayesians seek to develop a formal apparatus that sharpens various complex debates. or in words If there exists an x for which its possible that F holds. B and A given B. Bayesianism has mostly been used to explain when a theory is empirically confirmed this is said to happen when the evidence leads scientists to . and thereby makes them theoretically tractable. A viewpoint originating in the work of Thomas Bayes but mostly developed in the twentieth century stressing the usefulness of probabilistic reasoning in settling many debates in philosophy and in the sciences. . the probability of testing positive if pregnant.. it is possible that there exists an x for which F holds. logic and cognitive science.. It is often characterized by a commitment to two theses probabilities represent rational degrees of belief.. Intuitively speaking. In the philosophy of science. they say that the domain of quantification stays fixed in all possible worlds. Secondly. AWS Belief Revision. JEFFREY. some argue that it gets many important facts wrong that numerous instances of scientific confirmation. LOGIC. The latter option is revision. Bayesianism is currently the dominant theory of confirmation in the philosophy of science. In a broad sense. Expansion is the addition of a new belief to the agents current set of beliefs. For belief change comes in three forms expansion.Belief Revision rationally increase their degree of belief in the theory being true. First. See also BAYES THEOREM. PROBABILISTIC. INTERPRETATION OF. some of the entailing beliefs must be removed as well. not with beliefs rational or otherwise. is the removal of existing beliefs from the agents set of beliefs. revision takes place when the addition of a new belief to the agents set of beliefs would cause the resulting set to be inconsistent. Other applications of the account comprise improvements in the testing of statistical hypotheses. and also of considerable importance in many other areas of science. While expansion can be formalized by simple settheoretic union. The difficulty with contraction is that if a belief is removed and if the removed belief is entailed by other beliefs. some critics are worried about the key role that beliefs play in the theory they think that science and logic are concerned with objective relationships among facts and propositions. RICHARD. PROBABILITY. the account is not without its critics. contraction and revision in the narrow sense. though. in a narrow sense. it is a specific type of belief change. Contraction. BAYES. PROBABILITY. Finally. extensions of traditional logic into the realm of beliefs and models of actual thought processes. belief revision is synonymous with belief change. PROPOSITION. or accept it and accordingly adjust the resulting belief set such that inconsistencies are avoided. agents can either reject the new belief. THOMAS. . Despite these worries. contraction and revision are harder to formalize. To illustrate. suppose a child holds the following beliefs All bigsized animals living in the water are fish. However. To preserve consistency. instead. hypothesis testing and ordinary thought do not seem to be captured well by Bayesian models. Fish are not mammals. The difficulty with revision is to find a way of preserving consistency. the task of giving up is nontrivial. The child trusts the teacher. so the child must remove at least one of them. one strategy is to define rationality postulates with which any rational agent is thought to comply. suppose the teacher tells the child Whales are mammals. The biconditional symbol is one of the sixteen truthfunctional connectives in classical propositional logic. Journal of Philosophical Logic. A B is true whenever A and B have the same truthvalue. and . A and B are equivalent whenever they have the same truthvalue under every interpretation. The first instance of this strategy is encompassed by what are called the AGM postulates. While seeing a whale living in the ocean. semantics and completeness results is provided. the teacher tells the child that is unwarranted. and . but as seen for contraction. In order to provide a general procedure for revision or contraction. so she accepts . Later in school. . Therefore. Deciding which belief to remove and designing a general procedure to do so is a nontrivial question. The biconditional can also be defined as the conjunction of two conditionals A B can be defined as A B B A. Two subsequent contributions are worth mentioning Grove . which however conflicts with . As the teacher is a reliable source. The biconditional should be distinguished from equivalence equivalence is a valid biconditional. DYNAMIC. MDB and RS Biconditional. But follows from . true under every interpretation of its components. . in which belief revision is linked to counterfactual reasoning. See also AGM. and Segerberg . Given the childs beliefs consisting of . in which a logic for belief revision with proofsystem. and constitute the childs belief set. the child concludes Biconditional Whales are bigsized animals living in the water. Beliefs . . So the child must give up . LOGIC. Notre Dame Journal of Formal Logic. hence by and Whales are not mammals. A similar problem arises for revision. Two modellings for theory change. For any variables A and B. Irrevocable belief revision in dynamic doxastic logic. IMPLICATION. the child must remove from her set of beliefs. that is. The Prime Minister of the USA is wise and those propositions for which confirming or refuting evidence is in principle unavailable. MATERIAL EQUIVALENCE. for example. we obtain the following truthtable A B AB AB A From these. NECESSARY AND SUFFICIENT. material implication and exclusive OR. Other examples of binary relations are taller than and greater than. for example. some claim the existence of a third truthvalue and so deny bivalence. now dead. These correspond to . See also BOOLEAN. and two binary operators. Sophie was charitable said of a person. logical OR and AND. or True or False. PRINCIPLE OF. Binary can refer to a twoplace relation between two individuals loves in John loves Mary is a binary relation between John and Mary. NH Bivalence. such as Boolean equality. In its basics. we can derive other operations. . APM Boolean. Applying these operators to the possible values of A and B. or a variable which takes one of two values such as or . Candidate propositions that may have this third value are those whose singular terms fail to refer. INTUITIONISM. VARIABLE. EXCLUDED MIDDLE. He devised a binary system known as Boolean logic whose elements are assigned one of two possible values either or . TRUTHVALUE. Though widely accepted. and . logical NOT. See also BROUWERS PROGRAMME. See also CONDITION. FS Binary. Boolean logic uses one unary operator.Boolean The same distinction obtains between the conditional and logical implication. who never encountered a situation that required her to manifest either her charity or her miserliness. The principle of bivalence claims that every proposition has exactly one of two possible truthvalues true or false. George Boole reinterpreted categorical propositions as relations between classes. BOOLE. GEORGE. LOGIC. Boolean logic is used in computer programming. See also BINARY. aims to provide a philosophical foundation for pure mathematics. PROPOSITIONAL. Every Boolean term expressions built up using variables. respectively. Being a twovalued logic. mathematical logic. Boolean logic is also reflexive A A. Brouwer introduced objects and principles of reasoning about them that are not acceptable in classical mathematics. CATEGORICAL PROPOSITION. which he called Intuitionism. including but not limited to the laws of associativity. TRUTHFUNCTIONAL. COMPLETENESS. transitive A B C A C. This is because propositional logic is interpreted truthfunctionally. and with every new construction not only our mathematical knowledge. LOGICAL OPERATOR. which he all considered to be forms of applied mathematics. but the mathematical universe itself grows. NH Brouwers Programme. CLASSES. Boolean equality Material implication Exclusive OR A B A B A B A B Brouwers Programme A B A B A B Boolean logic bears many similarities to propositional logic. commutativity. For example. logic and the study of languages and formal systems. absorption. For example. various parts of classical mathematics cannot be reconstructed intuitionistically. Brouwers programme. The material out of which these constructions are made is abstracted from the intuition of the flow of time in consciousness. SOUNDNESS. set theory and statistics. and become true and false. TRUTHTABLE. where lines of code are broken down into binary operations. Intuitionism rejects Cantorian set theory and the universal validity . Conversely. among other fields and areas. Brouwer sharply distinguished Intuitionism from psychology. Accordingly. distributivity. As it turns out. symmetrical A B B A and substitutive if A B C then A D B C D. Boolean logic is both sound and complete. The idea is that mathematics is first of all the activity of making exact constructions in the mind. there is no mathematical reality outside the mind. the constants and and the basic operators has a corresponding propositional formula Boolean variables become propositional variables. idempotency and being finitely axiomatizable. the Boolean logic lends itself perfectly to computer programmers coding in assembly language or other lowlevel languages. See also EXCLUDED MIDDLE. FOUNDATIONS OF MATHEMATICS. Brouwer used these to develop a constructive theory of the continuum that does not let it fall apart into atoms. as a settheoretical analysis does. but introduces choice sequences. INTUITIONISM. HILBERTS PROGRAMME. MVA . PRINCIPLE OF.Brouwers Programme of the Principle of the Excluded Middle. RUSSELLS PROGRAMME. In semantics. quality is one of the most general features of the world. SET. LOGIC PROGRAMMING. FB Closed World Assumption. FB Categorical Proposition. and only if. it has transfinite cardinality. are called proper classes. See also PREDICATE. Category. PEIRCE. when it has infinitely many elements. if and only if their elements can be paired off together. the closed world assumption gives an approximate answer to a question. ARISTOTLE. A class is the collection of all things that have a certain property. The assumption that what is not known to be true is false. See also CLASSES. coherence is synonymous with consistency. Aristotle found ten categories. This definition is an alternative to the correspondence definition. This answer can be wrong because not all information is taken into account. plurality and totality. Hence. KV Coherence. an apple can be red or green. In logic. which was first stated by . JMC Classes. With incomplete information. SET THEORY. Consider the property red the collection of all red things is a class. like the class of all sets. that is. a. In a knowledge base this assumption is correct when the database is complete. so that to this extent they are similar to sets. The Principle of Extensionality states that two classes b and g have the same cardinality if. CHARLES SANDERS. but his method has been said to be more grammatical than logical. Cardinality Cardinality. or at least of our conceptualization of the world. See also ASSUMPTION. The cardinality of a class is the number of its elements. See PROPOSITION. some and all indicate that the three categories of quantity are unity. See also PROPERTY. The closed world assumption is used in commercial SQL and XML databases and in logic programming. Some classes may be themselves members of classes. coherence is exploited in order to provide a definition of truth. A class has finite cardinality when the number of its elements is a natural number. Discovering categories should indeed be a concern of the logical analysis of judgments for example. Classes which cannot be members of other classes. what is common to the two predicates red and green is their being a quality. ORGANON. there is a bijection between them. For instance. A category is a most general kind of predicate. FB Completeness. PROPOSITION. whereas the most efficient way to describe a disordered string such as may be to write down the entire string. Complexity. One implication of the KC measure is that random strings have the highest complexity. if and only if betting according to these degrees of belief does not open the bettor up to the possibility of loss whatever the outcome. PREDICATE. A function is computable when it is calculable in a definite i. measures the complexity of propositions in predicate logic based on the number of alternating blocks of quantifiers occurring in the proposition. The bestestablished of this class of definitions is Kolmogorov complexity KC. and applied to strings in some specified formal language. Within a coherence truththeory. They are also incompressible in the sense that there is no way of providing a specification of a random string that is shorter than the string itself. PROBABILITY. QUANTIFIER. TRUTH. algorithmic way in a finite number of steps. Computable functions have been defined . Several precise definitions have been proposed in order to explicate this somewhat vague notion. a proposition j is true if and only if it is consistent with a given set G of propositions. A set is computable when its characteristic function the function f such that fx when x belongs to the set is computable. sometimes known as quantifier complexity. See also CONSISTENCY. See THEOREMS. In Bayesian probability theory.. that is. an assignment of degrees of belief is said to be coherent if and only if it is not susceptible to Dutch book. ARISTOTLE. ABa Computability. that is.Computability Aristotle and developed by Tarski.e. Gdel. if no contradiction can be derived in case we add j to G. Kleene and Turing. The KC of a string of binary digits is measured by the length of its shortest description. TARSKI. it must be relativized to a particular formal language of description. To make the KC measure precise. There is no single. ALFRED. INTERPRETATION OF. Of those most relevant to logic are definitions of algorithmic complexity arising from information theory. but rather a cluster of related notions covering both epistemological and ontological aspects of complexity. A quite separate notion of complexity in logic. See also LOGIC. SET. as a result of the works of Church. Thus the string can be fully described as repetitions of . PROPOSITION. agreed upon definition of what it is to be complex. If x is a beagle. VALIDITY. This something else is then a sufficient condition for E. which are physical realizations of a universal Turing machine. Necessary and sufficient conditions can clarify the relationships between events or properties. then x is a dog. This something else is then a necessary condition for E. KURT. Necessary and Sufficient. TURING MACHINE. CANTOR. Conclusion in terms of recursive functions. TURING. Turing machines. All these definitions turned out to be exactly coextensive. when it is a recursive function. but the conclusion of one argument can be a premiss in another. winning the lottery. ALONZO. constructed a noncomputable set of natural numbers by means of a diagonal argument similar to those previously employed by Cantor and Gdel. Construe event very broadly buying groceries. something else always occurs. then E happens. APM Condition. answering in the negative the decision problem for predicate logic posed by Hilbert. MMu Conclusion. Suppose that whenever something else happens. equivalently. E. DEDUCTION. and Lambda calculus. Every argument has only one conclusion. Say E is being fluent in German. In a valid deductive argument. Recognizing these equivalences. Say E is being a dog. In this way Turing proved the existence of clearly defined noncomputable functions. DAVID. Then one S might be being a beagle. the thesis. A consequence of the ChurchTuring thesis is that computable functions are those functions calculable by computers. There is a strong connection between computability and decidability A theory is decidable when the set of its valid formulae is computable. One cannot be . Let us call an event we are interested in. the ChurchTuring thesis states that a function is computable when it is calculable by a Turing machine or. See also ARGUMENT. PREDICATE. or facts. The conclusion of an argument is the proposition which is supposed to be supported by the arguments premisses. RECURSION. One N might be having learned German. INDUCTION. ALAN. GEORG. Now suppose that whenever E happens. living abroad etc. The ChurchTuring thesis offers a rigorous explanation of computable functions. SET. Call this condition S. HILBERT. In Turing. which is generally accepted. See also DECIDABILITY. LOGIC. Call this N. We symbolize this relationship as SE. the truth of the conclusion is forced by the truth of the premisses. PREMISS. CHURCH. GDEL. can be neither proved nor refuted because it is an explication of an informal notion. For example. is used for deriving a conjunction. written PQ. Having a ticket and picking the right numbers HP is necessary. See also ANTECEDENT. however. however. Q. as well as sufficient.Connectives fluent in German without having learned it. When a conjecture has been proven. P and Q are called conjuncts. above. CF Conditional. and amp. is not sufficient. While driving my car. Each on its own. PQ. See also CONNECTIVES. a rule of inference of the form P. Conjunction is truthfunctional PQ takes the value true if and only if both conjuncts are true. Connectives are used to combine . The various logical symbols employed to represent conjunction as a connective include the following. If you have a lottery ticket and you have picked the winning numbers. See IMPLICATION. If we take E to be your winning. KV Conjunction. Conditions neednt be classified only in one way. for winning the lottery. A mathematical statement which is considered likely to be true. it is promoted to the status of a theorem. CONJUNCTION. the conjecture is merely a false conjecture. Consider winning the lottery. A conjunction is a compound statement of the form P and Q. Conjecture. then you will win the lottery. such as Old films are good. CONSEQUENT. but has resisted all attempts to prove or disprove it formally. TRUTHTABLE. then we see that having a ticket H and picking the winning numbers P together form a sufficient condition for E. CONDITIONAL. . . Conjunction introduction. It is sunny P and the children are outdoors Q. then x learned it. JB Connectives. When a counterexample has been found. Here. THEOREM. If E is Im driving my car then having fuel in it and its engine working FW is a necessary condition for E EFW. I know it has fuel in it and that its engine works. A basic logical unit is the complete sentence without logical complexity. The two conditions are jointly sufficient HPE. each conjunct can be taken individually as a necessary condition of E EF and EW. If x is fluent in German. See also COUNTEREXAMPLE. We usually form the conjunction of two statements by inserting the word and between them. We might symbolize this relationship as EN. And is a place connective. We may also say that a set of sentences is semantically consistent if. These complex statements are then capable of combination by connectives as well. CONJUNCTION. MATERIAL. One of the two logical parts of a conditional statement. Neither nor is another that is. and not. A set of sentences is said to be semantically consistent if. however. See also BICONDITIONAL. . it is called a place connective. Whatever plays this logical role is the consequent. then . We can classify connectives by the number of holes they have to be filled. . DISJUNCTION. Consider If you laugh. . CONDITIONAL. See also ANTECEDENT. The standard five connectives are not. As a matter of fact. and only if. often preceded by a then. Consider the place connective Although it is false that . . This is a connective. and. . or. . there is no sentence j such that both j and j are derivable from . but its not one thats very common. Consequent these basic logical units to produce logically complex statements. every firstorder logical system augmented by Peano axioms for arithmetic cannot prove its own consistency. The result of filling in the blanks with complete sentences simple or complex is always a more complex complete sentence. then Ill scream. and if and only if. which we may symbolize as A A. . Two connectives appear in and if . CF Consequent. and only if. There are many other connectives. there is no sentence j such that both j and j are logical consequences of . NEGATION. This result is known as Gdels second incompleteness . Kurt Gdel showed that the system Russell and Whitehead proposed in Principia Mathematica for the derivation of mathematics on a purely logical basis cannot prove its own consistency. if . it has a model. . The consequent here is Ill scream because the consequence of you laughing is that I will scream if the conditional is true. Not It is not the case that has one hole. Note that there are no restrictions on which sentences one may use to fill in the blanks. CF Consistency. IMPLICATION. In . Thus we can build if old films arent good then Ill eat my hat. then . CONDITIONAL. which is if and only if there is an interpretation of that makes every element of true. and only if. A set of sentences is said to be syntactically consistent if. GDEL. for instance My shirt is red and my shirt is not red. The symbol for the contradiction is . A statement which can be inferred immediately from a previously proven theorem with little or no additional derivation. Cantor showed that the set of real numbers is not countable. necessarily false. it is logically necessary that it is false. CANTOR.e. See also SET THEORY. where the diamond signifies is contingent and the box signifies necessarily. A sentence of the form y y is a contradiction.Counterexample theorem. AH Counterexample. equivalently. A set A is countable if each object in A can be assigned a unique natural number. FB Constructive Dilemma. this amounts to demonstrating . RULES OF. KURT. A corollary can be accompanied by a proof if the derivation needs some insight. For example. if the author considers the derivation selfevident. INTERPRETATION. Contingent. A formula j is contingent if and only if it is neither necessary i.. Practically. the premises taken together imply the conclusion. This condition can be written . An invalid argument admits of a counterexample. necessarily true. Corollary. FB Contraposition. A sentence j is a contradiction if and only if it is logically impossible that it is true or. MODEL. KV Countable. the set of even numbers is both infinite and countable. SENTENCE.. no interpretation of j can be given such that it is a model of j. See SQUARE OF OPPOSITION. In other words.e. SET. BERTRAND. In a deductive argument that is valid. FS Contradiction. RUSSELL. LOGICAL CONSEQUENCE. See also NECESSITY. See also INTERPRETATION. SENTENCES. See also CONSISTENCY. nor impossible i. Such a set can be either finite or infinite. the proof is left to the reader. PRINCIPIA MATHEMATICA. The Principle of NonContradiction states that the proposition expressed by the sentence j cannot be true and false at the same time. See also PROOF. MODEL. GEORG. A counterexample is an interpretation of the terms in the argument that suffices to show that the inference from the premises taken together to the conclusion fails. See INFERENCE. THEOREM. INVALIDITY. IMPLICATION. Counterfactual that the premisses of the argument can each be true while the conclusion is false. Consider the following argument. CF wrote this argument. therefore. is valid. There is no counterexample. INFERENCE. then electricity was used. COUNTERFACTUAL. but that someone else wrote . That this situation is logically possible shows that the argument is invalid. Suppose that electricity was used. . If CF wrote this argument. and we can show this with a counterexample. CF wrote this argument. Now consider If CF wrote this argument. If we assume the premisses to be true. INTERPRETATION. CF Counterfactual. then electricity was used. electricity was used. My supposed situation constitutes a counterexample. electricity was used. See IMPLICATION. therefore. is invalid. See also ARGUMENT. This would show that I can make the arguments premisses true while its conclusion is false. then we cannot make the conclusion false. VALIDITY. differs from with respect to logical form. Decidability De Morgan, Laws of. This law, first stated by Ockham but socalled after Augustus de Morgan, allows one to replace one expression by another. It entails two logical rules which form part of standard propositional logic. The first rule states that pq is logically equivalent to p v q. The second states that p v q is equivalent to p q. In plain English, these rules state that the negation of a conjunction implies, and is implied by, the disjunction of the negated conjuncts and the negation of a disjunction implies, and is implied by, the conjunction of the negated disjuncts. See also DE MORGAN, AUGUSTUS. JB De Re / De Dicto. The de re / de dicto distinction appears most frequently in discussions of modal logic and propositional attitude ascriptions, where statements exhibit an ambiguity between a de re reading and de dicto reading. Interpreted de re, modal claims ascribe modal properties to things res while interpreted de dicto, such claims hold that it is sentences dicta that are necessarily or possibly true. Consider, for instance, The number of continents is necessarily odd. Taken de re, this claim ascribes the property necessary oddness to the number the number which is in fact the number of the continents. Taken de dicto, this claim asserts that the sentence There is an odd number of continents is necessarily true. The de re reading is plausible how could not be odd, but, given that it is possible there were only continents, the de dicto reading is false. Propositional attitude ascriptions also exhibit a de re / de dicto ambiguity. Read de re, the sentence Ben believes someone is a spy claims that Ben suspects a particular person say, his friend Sophie of being a spy, while interpreted de dicto, it claims merely that Ben believes there are spies. See also LOGIC, MODAL NECESSITY SCOPE. APM Decidability. A formal system T that is, a system that consists of a formalized language, a set of axioms and a set of inference rules is decidable when the set of its valid formulae those sentences that are true in all possible interpretations is computable that is, T is decidable when there exists an algorithm that decides, for every formula of T, whether the formula is valid. Computability theory states that T is decidable when the set of its valid formulae is recursive computable by a Turing machine. Wellknown decidable logical theories are propositional logic, in which truthtables provide an algorithm to decide the validity of every formula, Deduction and firstorder monadic predicate logic, which deals with predicates with only one argument. Other decidable theories are the theory of real closed fields, elementary Euclidean geometry, and the fragment of Peano arithmetic without multiplication. Hilbert, who believed that mathematics is decidable, considered the problem of finding a decision algorithm for firstorder predicate logic the socalled decision problem as the main problem of mathematical logic. The decision problem was solved by Church and Turing independently in . They proved that firstorder predicate logic is not decidable. In this case, there exists an algorithm such that, for every formula A, if A is valid then the algorithm will find a proof of A however, if A is not valid, there is no algorithm that will always find a counterexample to A. In other words, there exists a Turing machine such that, if one gives a valid formula A as input, the Turing machine will halt outputting a proof of A but there are infinitely many nonvalid formulae B such that, if one gives B as input, the Turing machine will never halt. This result can be stated in another equivalent way The set of valid formulae is recursively enumerable while the set of satisfiable formulae is not recursively enumerable. See also AXIOM COMPLETENESS COMPUTABILITY FORMAL SYSTEM LOGIC, PREDICATE LOGIC, PROPOSITIONAL RECURSION TRUTHTABLE TURING MACHINE VALIDITY CHURCH, ALONZO HILBERT, DAVID TURING, ALAN. MMu Deduction. Deduction can be characterized as necessary inference. It is widely, though not universally, accepted that deduction is a transition from at least one premises to a conclusion, such that it is impossible for the former to be jointly true and the conclusion false. Note that false premisses can lead in a deductively valid way to a true conclusion, for example, Napoleon was Indian All Indians are conquerors Napoleon was a conqueror constituting an unsound argument. Validity of deductive arguments is widely taken to depend exclusively on logical relations between sentences, rather than substantive relations between the contents they express. Importantly, the content of the conclusion of a deductively valid argument is uninformative relative to the content of the premiseset. In a deductive argument, one cannot i increase the informational content of the conclusion above that of the premiseset nor ii decrease said content by adding more restrictive premisses If A implies B, then A C still implies B monotony nor iii order premisses according to their contents importance Should premisses believed to be true deductively imply a false conclusion, then logically each premise Disjunction is equally revisable nor iv validate premisses by means of a true conclusion which is deductively implied. See also ARGUMENT CONCLUSION FALLACY INDUCTION INFERENCE, RULES OF LOGIC, NONMONOTONIC PREMISS SOUNDNESS SYLLOGISM TAUTOLOGY VALIDITY. FZ Definite Description. A definite description is an expression that can be used to pick out exactly one thing. The current president of France is a definite description that picks out one unique individual. Definite descriptions often employ the definite article the. Bertrand Russell gave an analysis of the truth of definite descriptions something must exist that has the described characteristics, and it must be the only thing having those characteristics. The current president of France is not bald is true when there is a current president of France whos not bald, and no one else is the current president of France. See also IDENTITY QUANTIFIER. CF Dilemma. Situation in which one of two propositions must be true, each of which yields a typically unattractive consequence. Generalizes to tri, tetra, polylemma. Formally A B, A C, B C C. The conditional premisses are called the horns of the dilemma. Escaping between the horns amounts to denying the disjunction by showing a third alternative that does not yield the undesired consequence. Taking it by the horns amounts to denying at least one of the conditionals. In contrast to a false dilemma fallacy, neither strategy will succeed in the case of a sound dilemma. See also DISJUNCTION FALLACY INFERENCE, RULES OF PROPOSITION. FZ Disjunction. Disjunction is a compound statement of the form of P or Q, written P Q. Each component of such a statement is a disjunct. Disjunction is used both in the exclusive and inclusive sense. When we say P or Q, we often mean the same as exactly one of P and Q. This truthfunction is commonly called exclusive disjunction. On the other hand, P or Q can mean either or both of both P and Q this is inclusive disjunction . Inclusive disjunction takes the value False if both disjuncts are false, and otherwise takes the value True. This distinction can be captured by a truthtable. The symbol , now called the wedge or vel, is often employed to represent this truthfunction. See also INFERENCE, RULES OF TRUTHTABLE. JB See INFERENCE. KV Disjunctive Syllogism. the only permitted propositional operators in the normal form are and. the domain is the class of entities the variables of the theory take as values. NORMAL FORM. Each logical formula has a disjunctive normal form. Each conjunction in the disjunctive normal form contains only atomic propositions or their negations. See also CLASSES. DISJUNCTION. A standardized representation of a logical formula. Domain. INTERPRETATION. RULES OF. FB Double Negation. An example of a logical formula in disjunctive normal form is AB AC. The domain of discourse is the class of entities a theory speaks of. See also CONJUNCTION. VARIABLE. As a consequence. See CONNECTIVES. expressed as a disjunction of conjunctions. SET. PROPOSITION. . In logical theories. The domain of a function is the set of the entities the function takes as arguments. Disjunctive Normal Form Disjunctive Normal Form. or and not. VENN DIAGRAMS. The other principles are the principles of identity and that of noncontradiction. Euler diagrams represent categorical propositions as pairs of circles. Figure No A are B. The principle states that the disjunction of any statement with its negation is always true for any proposition P. overlooking anticipations by Leibniz and others. Euler Diagrams. overlapping partially. Figure Some A are B. See also PROPOSITION.Excluded Middle Entailment. Figure All A are B. Figure Some A are not B. Three circle Euler diagrams evaluate syllogisms. Petersburg LAcadmie Impriale des Sciences. Venn diagrams. The principle of excluded middle is one of the defining properties of classical systems of logic. wholly or not at all. AA Excluded Middle. . but clumsily compared with their offspring. and is part of the rules of thought in Aristotles Metaphysics. Leonhard Euler popularized them in Lettres une princesse dAllemagne vol. either . See DEDUCTION. LOGICAL CONSEQUENCE. St. Principle of. . Existential Instantiation. PREDICATE. FB . JB Existential Generalization. written PP. a rotated letter E. This principle should not be confused with the principle of bivalence. See also DOMAIN. See also BIVALENCE. LOGICAL OPERATOR. PROPERTY. a metalogical principle which states that there are two and only two truthvalues. For example. A logical operator in predicate logic expressing that a property or relation holds for at least one element of the domain. EXISTENTIAL INSTANTIATION. P can only have one of these truthvalues. See also INTERPRETATION. EXISTENTIAL GENERALIZATION. An extension is the set of all things that have a given property the extension of the property R is the set of all individuals that have R. the formula x x gt asserts the existence of some value x greater than . and that. SET. KV Extension. For example. Existential Quantifier. It also indicates the semantic value of a given expression under a given interpretation. See QUANTIFICATION RULES. either there is a tree over feet tall or it is not the case that there is a tree over feet tall must be true. See QUANTIFICATION RULES. for any proposition P. LOGIC. Existential Generalization P or notP. The existential quantifier is denoted by the symbol . SEMANTICS. true and false. Example Fighting kangaroos can be fun. an opponent should not be bullied into accepting anything.Fallacy Fallacy. We commit the fallacy of Equivocation when one or more of the words used in the argument is ambiguous. not so much because public opinion is frequently mistaken. leaving ourselves open to being interpreted in more than one way. or causes. There are many types of argumentative misconduct and. as because citing the widely held opinion in favour of a view does not amount to supplying a solid argument showing that view to be true. This fallacy occurs when one of the reasons given in the course of an . the earlier accounts for. For example. Argumentative error that arises from a confusing of such interpretations is known as the fallacy of Amphiboly. many types of fallacy. A fallacy is an argument which. There are rules for the proper conduct of an argument. in which reasons are advanced. though plausible. But it does not follow that employing educational psychologists was responsible for this rise. the rate of teenage drug abuse and crime rose. To break this rule by insinuating some kind of a threat into ones argument is to commit the fallacy Argumentum ad Baculum an appeal to force. Appeal to an authority especially when that authority is not an authority on the matter under discussion is the fallacy Argumentum ad Verecundiam. Petitio Principii also known as Begging the Question or Circular Argumentation. It is a fallacy to think that if one event occurs after another. Sometimes a sentence can be susceptible of two or more interpretations not because any of the words in it are ambiguous but because it may be parsed in two or more ways. An obvious rule of argumentative conduct is that we should express ourselves in such a way that we are not likely to be misunderstood. after schools started employing educational psychologists. Some fallacies arise when premisses that might seem to be relevant or adequate to establishing the conclusion are in fact irrelevant or inadequate Post Hoc Ergo Propter Hoc After this. Appealing to popular opinion Argumentum ad Populum is fallacious. To commit a fallacy is to perpetrate accidentally or deliberately a subtle violation of one or other of those rules. therefore on account of this. Argument is here used in the broad sense of a contribution to a dialogue. is defective. the later. Another rule for good argument is that the premisses should be relevant to establishing the conclusion. It may be true that. correspondingly. Denying the Antecedent. . Straw Man. Fallacy argument is identical to. To beg the question is to argue for a particular answer in a way that presupposes the truth of that answer. Suppose the bus company wants to raise its fares by . That John Stuart Mill and Bertrand Russell profited greatly from a private education does not imply that all children would benefit from being educated at home. but it is not the premisses could be true while the conclusion is false. In this fallacy your argument is relevant to establishing a conclusion subtly different from the conclusion you are purporting to establish. the very conclusion one is trying to draw. Logicians study fallacies of which the above is but a small sample because it is useful to identify and categorize the ways in which we ought not to reason. for example It is best to have government by the people because democracy is the best form of government. It may be true. This is a formal fallacy any argument of the same form If A then B. or just a linguistic variant on. Note that there is a widespread but mistaken tendency to think that to beg the question means to raise the question. The simplest example of this is when premise and conclusion are equivalent. Hasty Generalization. Another formal fallacy is Affirming the Consequent If A then B. he will die within three years. Therefore he will not die within three years. one of your own contrivance. B. a straw man. Therefore NotB is fallacious. NotA. But it would be fallacious to conclude that pornography does not harm women. That will hit you badly in the pocket. Therefore A. The mistake of drawing a general conclusion from a small number of possibly atypical instances. This might seem to be a valid argument. So we dont know whether pornography does harm to women. But much more complicated cases are usual. Beavis does not continue to smoke. for example. The fallacy of arguing from the fact that we dont know whether something is true to the conclusion that it is false. Argumentum ad Ignorantiam. But neither the bus company nor anyone else is proposing a increase in the general cost of living. and you write a long letter to the company arguing that a increase in the cost of living would be economically ruinous. So your letter is aiming at the wrong target. Consider If Beavis continues to smoke. that none of the research that has been done on the subject of pornography has established that it does harm to women. ARGUMENTATION. LG Forcing.Formal System and the classification of fallacies is usually in terms of the type of logical error they exhibit. Cantors Continuum Hypothesis. Kurt Gdel showed that it was impossible to disprove the Continuum Hypothesis. introduced in . when reasoning about factual matters. classify fallacies according to their psychological roots. Cohens method of forcing is a powerful problemsolving tool in many areas of mathematics including set theory. TRUTH. A formal system consists of a formal language together with a proof procedure. which specify how we may combine these symbols to produce wellformed formulae or wffs of the language. amp. CONSEQUENT. For example Alphabet L . where statements that are declared true initially must continue to remain true as the settheoretic model is built. In Paul Cohen extended this result by proving that both the Continuum Hypothesis and the Axiom of Choice are undecidable in ZermeloFraenkel set theory. CONCLUSION. Revealing the ways we go wrong is very revealing of the kind of animal we are. MILL. BERTRAND. and a set of grammatical rules. psychological experiments have shown that. PROOF. It should be possible to find deep evolutionary explanations for the various sorts of argumentative errors we are prone to commit. In . THEORY OF. perhaps more fruitfully. DH Formal System. called forcing. ARGUMENT. PREMISS. which we call its alphabet. In his excellent compendium of fallacies How to Win Every Argument Continuum. A formal language has two parts a collection of symbols. RUSSELL. JOHN STUART. Cohens proofs relied on a technique he invented. It has the added effect of making the accuser seem both erudite and authoritative. . See also ANTECEDENT. Madsen Pirie recommends arming oneself with the impressive Latin names of fallacies before doing argumentative battle When an opponent is accused of perpetrating something with a Latin name it sounds as if he is suffering from a rare tropical disease. humans are subject to diverse biases and misconceptions. See also AXIOM. However. proposes that there is no set whose size is between that of the integers and that of the real numbers. We could. VALIDITY. in advancing their thesis of logicism. Following that revolution in logic at the turn of the twentieth century. numbers and functions. See also INFERENCE. has the formal job of providing and describing the objects of mathematics. then amp is a wff where is a string of symbols from L. GR. Sometimes the best or only way of picking out T is by specifying two things a set of wffs called axioms that belong to T. Foundations is itself a branch of mathematics. and the philosophical job of explaining mathematics proof. For example Axioms A ampamp Rules of inference RI From amp. A and RI constitute a formal system. What is the nature and meaning of mathematics. . GR If is a wff. Together L. RP Foundations of Mathematics. And foundations is a branch of philosophy. but usually do not exhaust it. Given a formal language. and how do these relate to its practice The joint technical and philosophical investigation of these questions is now known as foundations of mathematics. and a set of rules called rules of inference by which all the wffs in T may be derived from the axioms. pioneered some very general tools and provided a strong early map of the conceptual landscape for others to follow. Together. Modern foundational studies can be traced to Frege and Russell. Suppose T is such a collection. Foundations of Mathematics Grammatical rules GR is a wff. such as sets. who. a set of axioms and a set of rules of inference constitute a proof procedure. where numbers. PROOF. AXIOM. because proof and truth are core concepts for rational inquiry and argument. truth and the relations between the two. because it formally studies subjects like proof and truth by proving theorems about them. then. sometimes we wish to pick out a collection of its wffs. derive where is a wff. Foundations. foundational studies have been associated with set theory. announced in . complete for any sentence A.Foundations of Mathematics functions and their properties are built up step by step from a few basic axioms about collections. either A is provable or A is provable. A crisis. triggered by the appearance of various paradoxes threatening the consistency of logic itself. For a foundation to provide the objects of mathematics usually means to prove that there are such objects. then called incommensurable magnitudes. The most ambitious attempts to provide a foundation were Russell and Whiteheads Principia Mathematica published in three hefty volumes from to . Another crisis in the foundations is said to have occurred in ancient Greece. clearly illuminates the meanings and uses of core mathematical concepts. PRINCIPIA MATHEMATICA. at that time no provisions were yet in place for quantities not representable by wholenumber ratios. it has been known that not all the criteria are cotenable for branches of mathematics at or above the level of arithmetic. the theory would in effect be a universal mathematical truth machine. and categorical the theory has only one model. LOGICISM. BERTAND. FORMAL SYSTEM. SET THEORY. but following Gdels theorem in . An ideal such system would produce a theory to meet the criteria of Hilberts programme of being consistent for no sentence A is A A provable. by contrast. FREGE. See also AXIOM. HILBERTS PROGRAMME. Foundational studies matured during a crisis. Following Hilbert. If all this could be done. in the sense of proving that there is a natural number successor for every natural number. The most well known of these was Russells paradox. ZW . a foundation of mathematics is often expected to be a formal system. capable of mechanically producing all and only the theorems of mathematics. In Hilbert succeeded in carrying out his programme with geometry. up to isomorphism. A secure foundation. upon the discovery of irrational numbers. RUSSELL. is characterized by basic elements being not clearly defined or adequately understood. GOTTLOB. and Bourbakis Elments de mathmatique. in the style of Euclid. then. viewed mathematics purely as a meaningless formal system and so the task was to find such a system within which all. Arguments start from hypotheses. using what Hilbert referred to as finitary methods. true mathematical statements could be derived. from propositions. and only. In addition. following Gdels proofs. IMPLICATION. Journal of Philosophical Logic. INTUITIONISM. However. one hypothesis will be refuted through the derivation of an absurd. See INFERENCE. Hilberts programme. . Hilberts programme was one of the three major responses to the foundational crisis in mathematics of the early twentieth century. LOGICISM. On an alleged refutation of Hilberts programme using Gdels first incompleteness theorem. clearly false or even impossible conclusion. . . Hilbert was unwilling to accept Cantors view whereby infinite sets were treated as completed objects or entities in their own right and so he used the term finitary to refer to methods that did not depend on the existence of these infinite totalities. In contrast to Russells logicism and Brouwers intuitionism. DH Hypothesis. for example Solomon Feferman. See also AXIOM. some deductive systems allow the introduction of arbitrary wellformed formulae as hypotheses. a proof of the consistency of this axiomatization of mathematics is required. Hilberts programme Hilberts programme. some researchers. have continued to work on a modified formalism. For a philosophical discussion of these issues See Detlefsen. Analogously. be they true or false. This was the downfall of Hilberts programme since. which have been influential in proof theory. See also ARGUMENT. Michael. RULES OF. also called formalism. PROPOSITION. that is. FORMAL SYSTEM. then such and such. that are in that context assumed for the sake of argument without further proof. CONCLUSION. it was generally accepted that no finitary consistency proof of arithmetic can be given. PROOF. In an indirect proof. Reasoning from hypotheses can establish conditional or hypothetical conclusions of the form If the hypotheses are true. LJ Hypothetical Syllogism. known as Relativized Hilbert programmes. This view was developed in the twentieth century by Hilbert and Bernays and by Quine. and this determines its unique identity. a tiny particular regarding their shapes. in asserting that x and y are the same. . Implication can also be thought of as a connective or logical function. Leibniz took for granted that different things exist at different places and contended that there must be some additional intrinsic difference e. and the latter expression means that the symbols x and y refer to the same thing.g. GOTTFRIED WILHELM. However.Implication Identity. In reaction to certain thoughtexperimental and actual counterexamples. some Quinean insights have been revived very recently with a view to formulating an even weaker version of the principle. a weaker form of the principle. the principle states that if two entities have all the same properties. an answer to the question The same what must also be specified. moreover. so that each thing differs from every other with respect to at least one property. See also AXIOM. this principle is not an axiom of logic and is in fact quite controversial. WILLARD VAN ORMAN.y is usually substituted with xy. The Identity of the Indiscernibles is the principle. then . is commonly assumed. Identity is typically regarded as a primitive. MMo Implication. . PROPERTY. LEIBNIZ.g. Unlike the closely related principle of the Indiscernibility of the Identicals. A binary relation that holds between sentences or propositions and corresponds to the English expression if . LEIBNIZ. See also LOGIC. it is sometimes held that identity must be relative to some concept. MMo Identity of the Indiscernibles. making a difference in location sufficient for nonidentity. according to which there cannot be two things identical in every respect. . based on relations rather than monadic properties. . first explicitly formulated by Leibniz. they are in fact the same entity. then . LOGIC. Leibniz contended that it is derivative on the qualities of things. QUINE. Identity is the unique relation in which each thing stands to itself. To say that implies is to make the conditional claim that if is or were true. and is consequently called absolute identity. According to some e. INDISCERNIBILITY OF THE IDENTICALS. . PREDICATE. Geach there is only relative identity. While identity as defined above is not relative to anything. PROPERTY. the notation Rx. When the generic relation symbol of predicate logic R is used to express the twoplace identity relation. GOTTFRIED WILHELM. Nowadays. two leaves found in different parts of a garden must also differ with respect to at least one other property for instance. That is. Differently put. To see the difference between indicative and subjunctive implication. IMPLICATION. IMPLICATION. FORMAL SYSTEM. See also IMPLICATION. then someone else did indicative. in fact. IMPLICATION. MATERIAL. PROPOSITION. indicative conditionals are truthfunctional. See also ANTECEDENT. were true. contrast the following conditional statements i If Shakespeare did not write Hamlet. See also IMPLICATION. TRUTHFUNCTIONAL. It is logically equivalent to X Y. true. Indicative. then . contrary to fact. Its truthvalue is false when X is true and Y is false. SUBJUNCTIVE. that from and one may infer . To say that counterfactually implies is to say that if. A necessary but not sufficient condition for such a connectives expressing implication is that it satisfy modus ponens. . then would be true. probably true. In formal systems. . CMG Implication. A type of implication corresponding to the English expression if . to say that Alice stubs her toe causally implies Alice feels pain is to say that if Alice stubs her toe then this will cause her to feel pain. IMPLICATION. Material. For example. and thus can be formalized using material implication. SUBJUNCTIVE. See also ANTECEDENT. CMG Implication. CMG Implication. . then someone else would have subjunctive. SUBJUNCTIVE. An important feature of causal implication is that it is not truthfunctional. IMPLICATION. probably false. LOGICAL FUNCTION. then Y in natural language. INDICATIVE. Counterfactual. MATERIAL. CMG Implication. Causal. BINARY. written as X Y. Arguably. true. . then is. TRUTHFUNCTIONAL. Causal is or would be true. that is. A type of subjunctive implication in which the antecedent is presupposed to be false. in fact. and true otherwise. SUBJUNCTIVE. CONSEQUENT. To say that indicatively implies is to say that if is. IMPLICATION. X is called the antecedent of the implication and Y the consequent. when used in what linguists call the indicative mood. which is commonly read as if X. A binary logical operator. A type of implication. ii If Shakespeare had not written Hamlet. IMPLICATION. CONNECTIVES. implication is typically symbolized using or . Implication. . IMPLICATION. then is or would be true because is true. MODUS PONENS. An example of a counterfactual statement is If Hitler had been killed in the early s. World War II would not have occurred. if is or were true. To say that causally implies is to say that is causally sufficient for that is. PARADOX. Moreover. but there is an important difference the antecedent of a subjunctive conditional need not be presupposed to be false. .g. Subjunctive The if X. CMG . See also ANTECEDENT. even an absurdity. in other expressions in natural language people do recognize that anything follows from a false antecedent. An example of a subjunctive conditional is If Alice were to win the lottery. IMPLICATION. . LOGIC. To say that strictly implies is to say that. CAUSAL. Strict. NECESSITY. Any material implication with a false antecedent is true. as a matter of necessity. then life exists on other planets. LOGICAL OPERATOR. then life exists on earth. allows one to avoid certain alleged paradoxes. then is true. Alice may indeed win the lottery. KV Implication. e. then would be true. IMPLICATION. . Both these sentences are true under material implication. CONSEQUENT. which violates our intuitions of the meaning of if . she would be ecstatic. Interpreting certain ifthen statements in terms of strict implication. then Y reading is not completely correct a more exact translation in natural language would be it is false that X is true when Y is false. IMPLICATION. when used in what linguists call the subjunctive mood. However. Instead of asserting the falsehood of Jones winning the election. CONSEQUENT. In alethic modal logic the claim that strictly implies can be expressed as . for example. anything follows. A type of implication that asserts a necessary connection between the antecedent and consequent. . then . For example. TRUTHFUNCTIONAL.Implication. COUNTERFACTUAL. rather than the weaker material implication. CONTINGENT. To say that subjunctively implies is to say that if were true. IMPLICATION. Subjunctive implication is sometimes equated with counterfactual implication. See also ANTECEDENT. a contingently false statement like Snow is black materially implies. any material implication with a true consequent is true. IMPLICATION. Subjunctive. . . if is true. but does not strictly imply. then . . MATERIAL. for example If the moon is made of green cheese. MODAL. A nontruthfunctional variety of implication corresponding to the English expression If . we say that if the antecedent holds. . CMG Implication. If life exists on other planets. . for example when we say If Jones wins the election this time. IMPLICATION. INDICATIVE. See also ANTECEDENT. then Im the Pope. BINARY. Contrast this with indicative implication. ber formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme. Informally. . See also THEOREMS. . K. Giornale di Mathematiche. IDENTITY OF THE INDISCERNIBLES. HG Indiscernibility of Identicals. reasons to believe her conclusions. .J. Assume that Lois is unaware that mildmannered Clark is actually flying superhero Superman. there are some troublesome consequences of this principle. P. . it is the claim that if. somehow not a genuine property. Neither option is free from problems of its own. Jane is identical to Nancy. If we accept that principle we must say either that Lois believes Clark can fly something she will deny or claim that a property like being thought by Lois to be able to fly is. say. Proceedings of the National Academy of Sciences of the United States of America. A sentence A is independent of a set of sentences if and only if each of A and notA is consistent with . Even so. I. Induction is the form of reasoning where a thinkers premisses provide her with good. . E. The independence of the continuum hypothesis. Cohen. This seems obvious if Jane and Nancy are not two different people but one person who goes by two names then it seems impossible for Jane to have a property Nancy lacks. Saggio di interpretazione della geometria noneuclidea. LEIBNIZ. K. The indiscernibility of identicals is formally rendered thus xyxy Fx Fy. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Independence results have been important in the history of logic and mathematics. . APM Induction. Monatshefte fr Mathematik und Physik. GOTTFRIED WILHELM. Princeton University Press. Here is one. the property being thought by Lois to be able to fly. Independence Independence. But this contradicts the principle of the indiscernibility of identicals. For every consistent and recursively enumerable and sufficiently rich theory. The Axiom of Choice and the Continuum Hypothesis are independent of ZermeloFrankel set theory Gdel. Euclids fifth postulate is independent of absolute geometry Beltrami. perhaps because it concerns the propositional attitudes. Accordingly. See also IDENTITY. . there is a statement in its language which is independent of it Gdel. viz. . It seems to follow that Superman has a property that Clark lacks. PROPERTY. yet not conclusive. then whatever is true of Jane is true of Nancy and viceversa. Lois believes and will assert that Superman can fly but Clark cannot. but this conclusion does not necessarily follow from the limited evidence that I have. RULES OF. An inference is an action of drawing a conclusion from a set of premisses.Inference to the Best Explanation Having tasted lots of lemons I conclude that all lemons are bitter. A claim is made about all lemons from my experience of only some lemons. the premisses could be true and the conclusion false. in which the truth of an hypothesis is inferred on the grounds that it provides the best explanation of the relevant evidence. See also INDUCTION. HG Inference to the Best Explanation. INDUCTIVE. PREMISS. I have more reason to think that all lemons are bitter than if I taste only ten. There is also a probabilistic form of this kind of inference from the premise that of opened oysters have contained pearls. LOGIC. A method of reasoning. From the fact that all the peas I have seen have been green. DOB Inference. data or evidence. DOB Induction by Enumeration. the conclusion is drawn that all Fs are G. From the premise that all observed Fs have been G. also known as abduction. Validity in this case reduces to the ordinary notion of logical consequence which has been the primary business of logic since its inception. Induction leads to conclusions that are likely to be true. LOGICAL CONSEQUENCE. the special case of deductive inference is well understood. all bitter. the conclusion is drawn that of all oysters contain pearls. INDUCTIVE. LOGIC. INFERENCE. In general. Induction used to refer only to induction by enumeration. rather than to ones that are certainly true. On the other hand we still lack a satisfying account of the validity of even more widespread inferences. Induction can therefore involve arguments of different strengths if I taste a million lemons. not probable. I infer that all peas are green. Induction by enumeration is the simplest form of inductive reasoning. VALIDITY. See also INDUCTION. especially inductive inferences. Such reasoning is contrasted with deduction this involves the drawing of conclusions that must be true if the premisses are true. While we have no general theory of what sets of premisses count as a justification for a conclusion. inference . See also DEDUCTION. A good or valid inference is such that its premisses justify its conclusion. or that are probably true. I have good reason to think this. deductive conclusions are certain. INDUCTION BY ENUMERATION. Such reasoning aims to extend our knowledge the content of inductive conclusions goes beyond the content of the relevant premisses. but the term now covers a wider range of nondeductive inferences. typically modus ponens. Gerhard Gentzens natural deduction presentations are comprised solely of inference rules.e. ABa Inference. there are reasons for thinking that IBE may also play a role in the formal sciences. Logical proofs are comprised of inference steps. fruitfulness. Gentzens version of natural deduction provides each connective with introduction and elimination rules. Inference rules should be sound in the sense that they must not license invalid inferences. FALLACY. Most modern textbook accounts of proof are descended from Gentzens work. Globally. Locally. permitting the derivation of a proposition containing the connective from other propositions in which the . INDUCTION. Criticisms of IBE come in both local and global varieties. when it comes to choosing axioms. nondeductive method. hitherto undiscovered explanation of the given evidence. However. Inference to the best explanation IBE is an ampliative i. There is also the practical issue of determining criteria for the comparison of different explanations. See also ABDUCTION. All proof systems include at least one inference rule. AXIOM. There has been a tendency to see IBE as a distinctive feature of the empirical sciences. perhaps borrowing from more general criteria of theory choice such as simplicity.. which must conform to prevailing rules of inference. Hilbertstyle presentations contain only one rule. expressive power and so on. each rule specifies the logical form of the propositions from which a proposition of a given form may be derived. some philosophers have questioned the grounds for taking explanatoriness as a guide to truth in the first place. In cases where a is not only the best explanation of b but a also entails b then IBE is formally equivalent to the logical fallacy of affirming the consequent. Natural deduction is socalled because it mimics the informal reasoning of practicing mathematicians. Typically. proof systems are also expected to be complete permitting the derivation of all valid inferences. Rules of. supplemented by axioms. IBE does not license inferring a merely on the basis of the fact that a entails b. However. respectively. Where possible. such inferences are always defeasible because one can never be sure that all potential explanations have been found and hence that there is not some better. something axiomatic systems fail to do. Thus a rationale for favouring one particular set of axioms may be that it provides the best explanation of the core results in the theory under scrutiny. including both logic and mathematics. However. That is. and viceversa. infer the consequent. infer a conditional with the same antecedent and the conjunction of antecedent and consequent as consequent. . New York Macmillan. Modus tollens From a conditional and the negation of its consequent. . nd edition. includes the following rules Modus ponens From a conditional and its antecedent. Hypothetical syllogism From two conditionals. such that the consequent of the former is the antecedent of the latter. Not all systems employ these intelim rules exclusively. That is.Inference connective need not appear. . infer a conditional having the antecedent of the former and the consequent of the latter. infer the other disjunct. Introduction to Logic. Constructive dilemma From the conjunction of two conditionals and the disjunction of their antecedents. That is. The influential presentation of Irving Copi . infer the disjunction of their consequents. infer the negation of the antecedent. That is. . Absorption From a conditional. That is. . . Disjunctive syllogism From a disjunction and the negation of one of the disjuncts. That is. . Copis conjunction and simplification are Gentzens intelim rules for and. FB Interpretation. SOUNDNESS. which refer back to the derivation of premisses. The intension of a property. AA Intension. a concept or a term P is the set of the features that an object has to have in order to characterize P. This makes his system incomplete. Natural deduction may be extended to predicate and modal logic by providing inference rules for quantifiers and modal operators. As their Latin names suggest. for example. Addition From a proposition. the intension of red is the set of the properties that characterize redness. See also AXIOM. Intension Simplification From a conjunction. In particular. SET. That is. many of Copis rules predate natural deduction several are from the Stoics. CONNECTIVES. QUANTIFICATION RULES. In the propositional calculus an interpretation is an assignment of truthvalues to the atomic sentences of the language. but some rules for the other connectives deviate from that plan. It may be extended to all the sentences of the language through the truthtables of the connectives. CARNAP. That is. such as implication introduction. Conjunction From two propositions. See also PROPERTY. In the predicate logic an interpretation is an assignment of meaning from the variables and predicates of the language to the domain of discourse. infer its disjunction with any proposition. a problem he remedies with a Rule of Replacement permitting substitution of propositions by their logical equivalents. like being a colour or having a certain wavelength. infer one of its conjuncts. That is. RUDOLF. PROOF THEORY. Copi thereby avoids rules. an interpretation of firstorder predicate logic . infer their conjunction. VALIDITY. See also CONNECTIVES. MEANING. since for all we know. J. BROUWERS PROGRAMME. For the propositional case a proof of a conjunction A B is given by presenting a proof of A and a proof of B. A structural flaw in the reasoning of a deductive argument. Brouwer. VARIABLE. for every statement. but not classical. logic. The Law of Excluded Middle fails. LOGIC. in stark contrast with the realist view that the truth of a mathematical statement consists in its correspondence with an independent mathematical reality. to the intuition of what once was and of what now is corresponds the intuition of the number .Invalidity consists of a domain of individuals and a function f of assignment. See also BIVALENCE. E. To say that an argument is invalid is to say that its . The socalled BrouwerHeytingKolmogorov BHK clauses for the logical constants provide an informal characterization of the intuitionist notion of proof. The notion of a proof for atomic statements is taken as basic. The BHK semantics validates intuitionistic. Brouwer grounded the existence of the natural numbers in our intuition of the movement of time to the intuition of what once was corresponds the number . PREDICATE. mathematics is a creation of the mind only mathematical objects that can actually be constructed can be said to exist. Intuitionism is a school in the philosophy of mathematics founded by the Dutch mathematician L. it is not the case that. EXCLUDED MIDDLE. PRINCIPLE OF. TRUTHVALUE. TRUTHTABLE. PROPOSITIONAL CALCULUS. which correlates the individuals of the domain with firstorder constants and classes of individuals to predicates. it does not follow that A itself has a proof. there is no proof of where is a necessarily false proposition. and so on. PREDICATE. The truth of a mathematical statement is itself equated with the actual existence of a proof. JM Invalidity. PROOF THEORY. FB Intuitionism. for example . LUITZEN EGBERTUS JAN. a proof of A B is a construction that allow us to convert any proof of A into a proof of B. BROUWER. Invalid means not valid. Other notable casualties include Classical Reduction and Double Negation Elimination from the fact that A has no proof. either it or its negation has a proof. and the proofconditions of complex statements are defined in terms of the proofconditions of their constituents. CONNECTIVES. a proof of A B is given by presenting either a proof of A or a proof of B. According to Brouwer. DOMAIN. B therefore A. This means its possible to make the premises true and the conclusion false. LOGIC. invalid arguments can still be worthwhile from an inductive point of view the premises might still provide some support for the conclusion. Inductive arguments can be strong even while the possibility of making the premises true and conclusion false remains. Invalidity conclusion does not follow logically from its premises. Though invalidity is typically undesirable. See also ARGUMENT. CONJUNCTION. CF . Its premisses can be true while the conclusion is false. Consider AB. INDUCTION. COUNTEREXAMPLE. Invalid arguments allow counterexamples. so it is an invalid argument. VALIDITY. He described basic deductively valid forms of argument. we are interested in whether the premisses of such an argument support the truth of its conclusion. we say that the argument is deductively valid. it is not the case that A. God is not good. it is only inductively valid. Aristotle inaugurated the study of deductive logic when he noticed that different arguments sometimes share the same form. regardless of what A and B are. if deductive logic explores the deductive validity of an argument by asking whether it is of a deductively valid form. Therefore. you do not have measles. We might write this shared form as follows If A. the following argument shares the same form as the argument above If God were good. If the truth of its premisses guarantees the truth of its conclusion. he was wrong for two reasons There are deductively valid arguments that do not have the sort of form with which Aristotle deals. there would be no pain. the third expresses its conclusion. The first two sentences of this argument express its premisses. An argument consists of a set of premisses together with a conclusion. then B. Therefore. and Aristotle thought he had completed it.Logic Logic. For instance. You do not have a rash. whats more. So. we study arguments. and regardless of whether or not they are in fact true. If it provides a weaker support. There is pain. can we enumerate all the deductively valid arguments by enumerating all the deductively valid forms This is the project of deductive logic. and claimed that every deductively valid argument is made up of instances of these basic forms strung together. they might all be deductively valid in virtue of sharing this form. Therefore. In logic. . every argument that shares this form will be deductively valid. you would have a rash. For instance If you had measles. and. It is not the case that B. Unfortunately. In logic. Clearly. GOTTLOB. LOGICAL FORM VALIDITY. mirrored by the two ways in which logic and games connect Logic in Games. There are close connections between the role of reasoning in game theory and logical reasoning. and. there are valid arguments that cannot be written as a string of Aristotles basic forms. Deductive logic had to wait until to solve . Furthermore. the most prominent being dynamic epistemic logic which builds on modal logic. GDEL. Many different sorts of argument forms have been identified for instance. RP Logic and Games. Games are situations of strategic interaction. Research in this area strives after analogues to Freges and Gdels results about deductive logic. that is. . those studied in secondorder. KURT. Different modal logics have been developed to formally model such problems. Logic and Games Among those arguments whose form is of that sort. Logic helps to understand games by clarifying their logical structure. in inductive logic we seek arguments whose premisses provide a weaker sort of support to their conclusion. has been the concern of logic throughout the twentieth century. ARISTOTLE. Epistemic game theory studies the role of players beliefs and knowledge in games. Gottlob Frege stated a recipe by which to produce deductively valid argument forms of the sort that Aristotle had considered. how the players reason about their opponents and what types of inferences they can use. within the study of a particular sort of argument form. in his doctoral dissertation. situations in which each player has adopted as a strategy a best response to his opponents. Kurt Gdel showed that all deductively valid argument forms of that sort are generated by following this recipe. for example counterfactuals. and until to know it had been solved. Game theory is an applied mathematical theory that studies strategies of players in such settings. modal and deontic logic. In his Begriffsschrift. FREGE. See also ARGUMENT. Springer. different notions of validity have been considered as already mentioned. Standard game theory identifies equilibria. epistemic logic and AGM belief revision to provide a logic of change of information and knowledge van Ditmarsch et al. Dynamic Epistemic Logic. However. Logic can also improve game theorys analysis of the role of beliefs and knowledge in the players reasoning. Logic vs Linguistics Games in Logic. Logicians use socalled evaluation games to determine truthvalues of sentences in game semantics. In such evaluation games, a semantic tree is interpreted as a dynamic game with perfect information between a verifier and a falsifier. A formula is true if and only if the verifier has a winning strategy. Games are also used in proof theory and modeltheoretic games are employed in the foundations of mathematics, for example, in forcing Hodges, Wilfrid. . Logic and Games, The Stanford Encyclopedia of Philosophy. Springer. See also AGM FORCING FOUNDATIONS OF MATHEMATICS LOGIC LOGIC, EPISTEMIC LOGIC, NORMALMODAL PROOF THEORY SEMANTIC TREE. CH Logic Programming. A style of programming based on firstorder logic, generally used for artificial intelligence and computational linguistics. The bestknown logic programming language is Prolog. A logic program consists of a database of clauses, which can be facts or rules. An example of a fact is Socrates is human, which can be written in Prolog as human Socrates. An example of a rule is All humans are mortal, which becomes mortalX humanX. in Prolog. After supplying the logic programming system with a database, the user asks the system to prove a goal, for example mortal Socrates, in Prolog. The system then attempts to prove the goal by resolution and recursively breaking it down into subgoals and trying to prove them until it reaches facts in the database. A fact is a goal without subgoals, so it is always true. Prolog combines this recursive way of proving the goal with backtracking if it can prove the first subgoal and then cannot prove the other subgoals based on the solution of the first subgoal, the system backtracks and tries the next possible solution to the first subgoal. Backtracking terminates when there are no more solutions of the first subgoal. A clause can contain variables such as X in our example. In the resolution step, this variable can take the value of the logical constant it is matched to, such as Socrates. Logic programming has also been extended with higher order programming features derived from higher order logic, such as predicate variables appearing in quantifications. See also CLOSED WORLD ASSUMPTION LOGIC NEGATION AS FAILURE RESOLUTION. KV Logic vs Linguistics. Linguistics often incorporates logic to explain natural language understanding, but logic is independent, and sometimes at odds with, natural language data. Consider S no one loves no one. This can mean everyone is a lover, x yLxy, but linguists observe that speakers Logic, Algebraic dont interpret S as everyone is loved no one no one loves, y xLxy, which is an equally possible logical interpretation. Further, speakers detect scope differences between everyone loves someone, y xLyx, and someone say, Ervin, everyone loves, x yLyx, but detect no scope dominance in Ss easiest reading, no one is a lover, even though logic assigns a dominant quantifier in its representation. Branching quantifiers address this issue. See also SCOPE. ABr Logic, Algebraic. Symbolic logic was invented as an algebra by George Boole. An algebra is a set closed under some finitary operations. The set of wellformed formulae of a propositional logic comprises its word algebra. The Lindenbaum algebra of a logic is the quotient of the word algebra by a congruence relation, which is defined by mutual provability between formulae. For example, A B and B A are two formulae that are equivalent, and they can replace each other in any formula, hence they are elements of the same equivalence class in the Lindenbaum algebra. The algebra of classical logic is a Boolean algebra, whereas nonclassical logics algebraize into a Heyting algebra, a De Morgan monoid, a residuated monoid, various modal algebras, a BCI algebra, a Kleene algebra etc. The prototypical Boolean algebras are power sets with intersection, union and complementation. The Lindenbaum algebra facilitates the definition of various semantics e.g. relational, operational and algebraic semantics, and sometimes it allows results from universal algebra to be applied. Quantification may be treated algebraically too, for example, classical predicate logic can be dealt with using Tarskis cylindric algebras or Halmos polyadic algebras. The algebraic approach straightforwardly generalizes into a category theoretic view of logics. See also INTUITIONISM LOGIC, PREDICATE LOGIC, PROPOSITIONAL LOGIC, RELEVANT SEMANTICS BOOLE, GEORGE DE MORGAN, AUGUSTUS LINDENBAUM, ADOLF. KB Logic, Deontic. Deontic logic concerns obligation and permissibility. By adapting the modal logic K, we obtain D, an elementary standard deontic logic, as follows. Replace Ks necessity operator with O interpreted as It is obligatory that . . . and its possibility operator with P interpreted as It is permissible that . . . . To the thus amended K axioms, add axiom D j j, which expresses the ethical principle that whatever is obligatory is permissible. See also AXIOM LOGIC, NORMALMODAL LOGICAL OPERATOR NECESSITY. SML Logic, Epistemic Logic, Doxastic. Doxastic logic, beginning with Hintikkas Knowledge and Belief. An Introduction to the Logic of the Two Notions . Cornell University Press, studies relations between propositions about what we believe. Using a as a proper name like Ann, for if as opposed to material implication, propositional variables such as p, q and B to represent the twoplace relation, . . . believes that . . . . Ann believes that it is raining. is formalized Bap. Uncontroversial is, Bap amp q Bap amp Baq. Controversial, even for ideally rational believers, are socalled BB principles Bap BaBap and conversely. See also LOGIC, EPISTEMIC LOGIC, NORMALMODAL MATERIAL EQUIVALENCE PROPOSITION PROPOSITIONAL VARIABLE. JW Logic, Dynamic. Dynamic logic is a branch of nonclassical logic which includes dynamic versions of propositional, modal, and predicate logics. Each state is a classical model with a static assignment of truthvalues to propositions or objects to sets. Dynamic logics can express the change of these assignments that occurs while moving between states. They are used for modelling phenomena such as action, knowledge, and belief change van Ditmarsch et al. . Dynamic Epistemic Logic, Springer, and computer programmes Fischer et al. . Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, .. See also AGM LOGIC, DEONTIC LOGIC, DOXASTIC LOGIC, EPISTEMIC LOGIC, NORMALMODAL LOGIC, PROPOSITIONAL LOGIC, PREDICATE SET TRUTHVALUE. SU Logic, Epistemic. Epistemic logic is the branch of modal logic concerned with knowledge and belief. Given this translation. Adding the requirement that an agents beliefs be consistent corresponds to adding the condition D f f. . Epistemic logic assumes agents are logically omniscient. and a knows that . . Some higher order conditions are often required of knowledge first. The property that distinguishes knowledge from belief is usually taken to be truth. as epistemic propositional attitudes. these assumptions correspond to the conditions Nec If f is a logical truth then and K f y f y. . Formally. which corresponds to the condition T f f. in a formal modal logic. . all that is known is true. that is. . Logic. The underlining idea of epistemic logic is to use the box modality to translate. then the intuitive interpretation of the expression A is a believes / knows that the sky is blue. Epistemic Let a be an arbitrary agent. f which make epistemic logic at least a minimal modal logic K. . that is. one can then characterize various conceptions of belief / knowledge by specifying the modal principles that satisfies. one may want everything that is known to be known to be known f f. If A is the proposition that the sky is blue. this means that they know all logical truths and they know the logical consequences of what they know. attitudes such as a believes that . stating that everything that is known is not known to be false. she is not absolutely old but old to a degree.. see D. assume that Tp and Tq denote the truthvalue of the corresponding propositions. who is years old. For example. we could say that Mary. NK Logic. for all the agent knows. Fuzzy. Fuzziness is a special form of vagueness which is based on the idea that some element belongs to a set with some degree. when someone is years old. a fuzzy proposition may assume a truthvalue which is an element of the unit interval i. which is usually a real number between zero and one. The logic of questions. An epistemic interpretation of the Kripke semantics for these modal logics can also be given. POSSIBLE WORLD.. Possible worlds are viewed as epistemic or conceivable alternatives. fuzzy propositions are not just either true or false. GC Logic. Given a question Q. properties etc. . Vagueness concerns cases where it is not possible to provide absolute characterizations for objects. from the agents perspective or. and the accessibility relation between worlds is understood as follows v is accessible from w if.. that all that is unknown be known to be such f f. for instance. Then the following equations define the truthvalues of the basic logical operations. Erotetic. A set having this property is called a fuzzy set and the accompanying logic is called fuzzy logic. v cant be distinguished from w. Fuzzy logic is an infinitevalued logic. PREDICATE. Assume that p and q are two fuzzy propositions.. Also. in Gabbay and Guenthner eds. since the unit interval contains an infinite number of elements. In the simplest case. See also LOGIC. . erotetic logic studies. what is a presupposition of Q and when Q implies another question Q. when a proposition answers Q.Logic. Handbook of Philosophical Logic. Fuzzy and second. The most prominent axiomatizations of knowledge are S KT and S KT. For a survey. is old to a degree which is equal to . For example. NORMALMODAL. Harrah.e. Kluwer. Erotetic logic is the logic of questions and answers. Since elements belong to some degree to a fuzzy set. of the set of all real numbers that belong to . LOGIC. See also LOGIC. EPISTEMIC. And some draw particular conclusions from particular cases from the premise that this ice cube is cold. This way. Inductive logic takes various forms. Conversely. we cannot even say that our inductive conclusions are probably true. In the previous equations. Inductive inferences are contingent. It is quite possible to replace these operators with others that are called tnorms and tconorms. that is. Inference to the best explanation and analogy are commonly used forms of inductive inference. even though it has no logical justification. David Hume argued that inductive inference is not valid. Tq Logic. and the simplest characterization of what these have in common is that they involve inference that is not deductive. I draw the conclusion that all emeralds are green. respectively. and that there is no reason at all to think the conclusions of such arguments are true. Tp Tp Tpq max Tp. Inductive. one can define other logical operators. Similarly. SET. Tq. There is no deductive reason to . the conclusions of inductive arguments do not necessarily follow from the premisses. PROPOSITION. the conclusions are plausible given the premisses. fuzzy logic has been used in industrial applications and even in spacecraft landingsite selection on planets. there is no guarantee that true premisses lead to true inductive conclusions. Rather. For example. AS Logic. one can define a class of logics. Tq Tpq min Tp. it is concluded that the one over there is also cold. Some inductive inferences draw general conclusions from particular cases from the premise that all emeralds in my experience have been green. we have used the operators max and min to define the corresponding logical operators. and this one. Inductive Fuzzy implication is defined by using the formula pq as follows Tpq max Tp. Hume claimed that inductive inference is just something that creatures like us find it natural to do. Fuzzy logic has been extensively used in computer systems that model and/or simulate reallife systems. See also LOGIC. and this one. some draw particular conclusions from general claims from the premise that all previous raindrops were wet. the conclusion is drawn that the next raindrop will be wet. MULTIVALUED. Karl Popper accepted that induction is not justified but argued that this is not important because in both everyday reasoning and science we use a form of deductive reasoning instead. it turns out that inductive inference is reliable it leads to true conclusions and thus. Should A and BC be valid the argument with the single premise A and B and conclusion C A and B can be . that my limited experience of Fs is likely to lead to true conclusions concerning all Fs. Linear think that inductive inference is valid no guarantee that inductive conclusions follow from their premises and so the only way to justify induction is nondeductively or inductively. several attempts have been made to justify induction. that if any form of reasoning can identify regularities in nature. INDUCTION BY ENUMERATION. BA is not thus linear logic is a substructural logic. INFERENCE TO THE BEST EXPLANATION. again. Linear. Linear logic tracks the number of times a formula is used in an argument each premise must be used exactly once. But what reason have I to think that this is true My experience may have been a good guide so far. but to think that it will continue to be so would be to assume that induction is valid. In contrast. Linear logic is a resource conscious logic. DEDUCTION. DOB Logic. Suppose that A. See INTUITIONISM. See also ANALOGY. Linear logic aims to neither lose nor add information in the transition from premisses to conclusion. It has been argued that inductive inference is by definition rational and thus justified. and this begs the question against the Humean sceptic. Induction depends on the assumption that I have experienced a representative sample of reality. and thus inductive inference is pragmatically justified. There is. Various responses have been offered to the Problem of Induction. A. Suppose that AC is a valid argument.Logic. no consensus on whether any of these strategies are successful. but this would be to reason in a circle. Intuitionistic. however. AB is a valid argument. it also considers in what manner information is extracted from a formula. such reasoning is justified. Linear logic does not only consider how many times a formula is used. induction can. and. Logic. it doesnt follow that AB is. In classical and intuitionistic logic a premise can be used any number of times linear logic doesnt assume this. even though an argument cannot be provided to justify induction. While the argument AA is valid. so the argument seems good. Multivalued logics generalize classical logic by admitting of more than the usual two truthvalues. for all interpretations. If AC is valid then so is A amp BC. However. if the premisses have designated truthvalues. HG Logic. Multivalued.e.. LOGIC. but not both in a single use of A amp B. LOGICAL CONSEQUENCE. CA Logic. but to extend it by exposing the structure within these logics. A performs the same role with the conclusions of arguments as A does for premisses. then must be a logical consequence of . FUZZY. Notice that a mere difference in the set of designated values makes for very different logics. BC is comma separates the premisses of the argument. There are also two different disjunctions. as shown by a comparison between for example LP two designated values and a paraconsistent logic and K one designated value and not paraconsistent. usual examples ranging from three Kleenes K or Priests LP to a continuum of values Fuzzy logic. therefore. Linear logic does not attempt to replace classical and intuitionistic logic. The exponentials can be used to give a structured translation of classical and intuitionistic logic into linear logic. LOGIC. The formula A contains the information A does but can be used as many times as one likes. See also LOGIC. PREMISS. The argument A BC is valid if and only if A. that B is true. SUBSTRUCTURAL. but unlike the first conjunction. Linear logic has two conjunctions The information A and the information B can be extracted from the conjunction A amp B. The conjunction A B justifies A and justifies B. In classical logic. Adding additional premisses to the argument. The operators and called exponentials are used to reintroduce the propositions of classical and intuitionistic logic. . this occurs in a single use of the conjunction. RELEVANT. . PARACONSISTENT. INTUITIONISTIC. Some truthvalues are distinguished as designated and used to extend the notion of logical consequence A is a logical consequence of if and only if. See also ARGUMENT. the conclusion of a valid argument must be true if all of the premisses are. namely. so has the conclusion. there is more information that can be extracted from A and B. CONNECTIVES. In this way A acts like A does in other logics. LOGIC. VALIDITY. will never cause a valid argument to become invalid if is a logical consequence of a set of premisses and results from adding extra premisses to i. MODEL. Logic. Nonmonotonic. LOGIC. Multivalued used once to conclude A and then A can be used to conclude C. by allowing conclusions to follow from a set of premisses even if those premisses do not guarantee the truth of the conclusion. the corresponding default assumption may not be used. the assumption that the information we have is all the relevant information. By way of example. the police might draw the conclusion that Smith is the culprit. that one there is white and so on. in light of new evidence. Nonmonotonic too. The initial conclusion. so the conclusion is not guaranteed to be true. If the librarys catalogue says that the library does contain that book. however. withdraw that tentative conclusion. for example. Many of the daytoday inferences we make. Defeasible reasoning also arises when we use the closed world assumption. But for any book not mentioned by the catalogue. for after the addition of the extra premise this swan isnt white. Nonmonotonic logics try to capture patterns of defeasible inference such as these. based on the premisses this swan here is white.Logic. withdraw the conclusion. But the catalogue might be incomplete. we would be able to do very little practical reasoning at all. each saying that the library doesnt contain a particular book. These examples of defeasible reasoning highlight just how common nonmonotonic inference is. one concludes that the library does not have a copy. was drawn nonmonotonically. but later. Typically. there are many possible nonmonotonic consequence relations. As there are many possible ways of doing this. a nonmonotonic consequence relation is defined in terms of the classical consequence relation plus a number of additional default assumptions or rules. we can think of the closed world assumption as a set of default assumptions. The initial conclusions drawn in these cases are defeasible they may later be shown to be false. This property is known as monotonicity and any notion of logical consequence with this feature is said to be a monotonic consequence relation. that is. based on the evidence available at the time. the corresponding assumption may be used . If a library catalogue does not contain a record for Key Terms in Logic. In a similar way. on seeing a black swan. the argument no longer supports the conclusion. which are allowed to generate extra consequences provided that those consequences are consistent with the premisses. One might initially conclude that all swans are white but then. If we were banned from drawing defeasible conclusions. Making the closed world assumption is nevertheless often valuable it excuses us from an exhaustive search of the librarys shelves. are not monotonic. iii if L j then L j closure under necessitation.false V j.true . See also ABDUCTION. MODUS PONENS. ii if L j and L j f. See also AXIOM.g. TAUTOLOGY. It is possible to provide more powerful logical systems allowing quantification on higher order variables. In a normal modal logic. iv L j f j f axiom K. V can relate each sentence to either true. this principle does not hold and so paraconsistent logics are contradiction tolerant. Firstorder predicate calculus admits quantification on first order variables interpreted on a domain of individuals. NormalModal. CDF Logic. then L f closure under modus ponens. PREDICATE. The system K the weakest normal modal logic and its extensions e. Although there are different approaches to paraconsistent logic. one of the most popular makes use of a valuation relation V between sentences and truthvalues. In classical logic. the latter system. LOGIC. L. for any sentences j and y whatsoever. THEOREM. if interpreted through standard semantics. In paraconsistent logic. S and S constitute the normal modal logics. SET THEORY. D. sets of sets of individuals and so on or on properties intensionally defined. or to false. Paraconsistent. T. LOGICAL CONSEQUENCE. or as the principle of explosion. See also LOGIC.true iff V j. MJ Logic. V evaluates logically complex sentences as follows V j. has remarkable expressive power. By norder logic. both true and false. we mean a formal system in which it is possible to quantify on norder variables. NOrder and the conclusion that the book isnt in the library may be drawn. CLOSED WORLD ASSUMPTION. This principle is often known as ex contradictione sequitur quodlibet from a contradiction. PROPOSITIONAL. These are usually interpreted on sets sets of individuals. It can be proven that every norder n gt logic can be reduced to secondorder logic. SML Logic. or to both an alternative is to introduce a third truthvalue. VALIDITY. LOGICAL CONSEQUENCE. NOrder. everything follows. Logic. by contrast. INDUCTION. rather than the usual valuation function. i every tautology of propositional logic is Lvalid. B. every sentence is entailed by a contradiction j and j together entail y.false iff V j. that is. TRUTHVALUE. But modus ponens is not valid in LP.true and V y.false and so on for the other connectives. Socrates is mortal.true V jy. LOGIC. Predicate logic is the formal calculus that extends propositional logic by representing the internal structure of what in propositional logic appear as basic elements. for both j and j y can be true while y is not true. is false and. LP. There are both practical and philosophical motivations for paraconsistent logic. See also CONTRADICTION. They cite the liar sentence. As dialethists do not want to say that a true contradiction entails everything. Predicate V jy. MULTIVALUED.false and V y. nothing forces us to believe that C is the case. of propositions. but only that we sometimes need to draw sensible conclusions from inconsistent data. C This is invalid given A and B. this sentence is not true which. PARADOX. Upon translation into propositional logic. this yields A B Therefore. A practical application is reasoning with inconsistent information.false iff V j. RELEVANT. believe that there are true contradictions and so are known as dialethists. MJ Logic. is true and so looks to be a true contradiction. if true. the validities of LP true under every such V are exactly the classical tautologies. if false.Logic. Consider the following valid argument All men are mortal.true iff V j. we need to be able to talk about individuals and their properties. Using paraconsistent logic does not force one to admit that contradictions could be true. which is what predicate logic does. This approach gives Asenjos Logic of Paradox. Predicate. they adopt a paraconsistent logic. Surprisingly. LOGIC. . To express the above inference. Therefore. Socrates is a man. for example automated reasoning in large databases. Some philosophers. including Richard Sylvan and Graham Priest. in particular. Predicate In addition to the logical symbols of propositional logic . denoting individuals. . b expresses the fact that individuals a and b in that order stand in relation R. . . A sentence in a predicate language is satisfiable if there exists an interpretation that makes it true those sentences . The identity relation may or may not appear as a primitive in a predicate calculus. however. y. the above inference can be formalized as. are an essential feature of predicate logic they are the constructs that allow one to express information about the elements in the domain on the basis of their characteristics. So formalized. . . . . . M the property of being mortal and s stands for Socrates. universal generalization. Quantifiers specify the range of individuals which individual variables refer to. . and quantifiers. predicate logic usually refers to firstorder logic. and the universal quantifier All . . Pc says that individual c has property P. . Quantifiers. existential instantiation and existential generalization. over firstorder properties since properties can be defined by pointing to the sets of entities sharing a certain feature. Logic. . Predicate logic adds to the inference rules of propositional logic four new ones universal instantiation. . and Ra. Ms where H denotes the property of being a man. Secondorder logic quantifies over sets of individuals. predicates and relations mean in that domain constitutes an interpretation. In informal usage. . Getting back to predicate logic as a system of deduction. The two essential quantifiers there are others are the existential quantifier there is one . sets of sets of sets of individuals and so on. xHxMx Hs Therefore. . the inference can indeed be shown to be valid by employing the inference rules of predicate logic. for instance. Since one can similarly quantify over sets of sets of individuals. . . that is. predicate logic makes use of variables x. The definition of the domain and of what the extralogical symbols constants. and constants a. properties and relation symbols P. b. there can be predicate logics of any order. Firstorder logic has individuals as the entities that are quantified over. . R. THEOREMS. GDEL. B entails A or neither entails the other. Importantly. Hs. RUSSELL. the proposition All cars are either red or green might be seen to partially support the proposition that Your car is red. SOUNDNESS. QUANTIFIER. These are Gdels celebrated incompleteness theorems . ii for any formal theory T including basic arithmetical truths and also certain truths about formal provability. See also ARGUMENT. However. T includes a statement of its own consistency if and only if T is inconsistent that is. Ms has no model. PROPERTY. consistency is the property of having a model. VALIDITY. is asserted by the soundness theorem. INFERENCE. VARIABLE. any theory capable of expressing elementary arithmetic cannot be both consistent and complete. even though it does not strictly entail it. in our example. ALFRED NORTH. a model for a set of sentences in a firstorder language is an interpretation that makes all those sentences true. EXISTENTIAL QUANTIFIER. BERTRAND. UNIVERSAL QUANTIFIER. that only logically valid statements can be proven in firstorder logic. the set of sentences xHxMx. Probabilistic true in every interpretation of the language are logical truths. MODEL. Gdel. MMo Logic. It is easy to see that. LOGIC. The converse fact that firstorder predicate calculus is sound. an arithmetical statement that is true but not provable in the theory can be constructed. In propositional logic. For example. Probabilistic. they thought that a set of propositions can also give partial support to another proposition. This establishes a correspondence between semantic truth and syntactic provability in firstorder logic. however.Logic. An extension of propositional logic that allows for probabilistic entailment among propositions. various thinkers notably Keynes and Carnap considered this too limited. firstorder predicate logic is complete and sound. consequently. Gdels completeness theorem says that the inference rules of firstorder predicate calculus are complete in the sense that no additional inference rule is required to prove all the logically valid wellformed formulae of the language. logical relations are an either/or affair for two propositions A and B. Russell and Whitehead showed that predicate logic is sufficient for providing logical demonstrations of simple arithmetical truths. WHITEHEAD. INTERPRETATION. . and deductive validity the property of being such that the set constituted by the premisses and the negation of the consequence has no model. KURT. PROPOSITIONAL. demonstrated that i for any consistent formal theory that proves basic arithmetical truths. either A entails B. Probabilistic logic attempts to make this more precise. that is. DOMAIN. and A and B entailing A B to be derivable from the fact that. if we know that pA B/ and pB/. Probabilistic It does this by interpreting the probability axioms that is. probabilistic logic also has available all the relations of partial entailment represented by probabilities between and . See also LOGIC. The most wellknown of these concerns the fact that it is not clear how to determine the exact degree to which our background knowledge entails some proposition. according to this principle. In this way.T. pA/ expresses the fact that our background knowledge entails A to degree /. these attempts have not been successful as yet mainly because it is not clear when. if. our background knowledge is to be used instead for example. two propositions are similarly structured. the probability of A given B is /. PROPOSITION. the major benefit of this approach would be that it can capture all that propositional logic can capture and some more besides. probabilistic logic would be in a great position to fruitfully extend propositional logic. A entailing B turns out to be equivalent to pAB. the reach of traditional logic can be considerably widened. PROPOSITIONAL. exactly. This is because it is possible to fully represent propositional logic in a probabilistic framework the standard logical relations are just limiting cases of probabilistic relations see e. If no specific entailing proposition is specified. For example. similarly structured propositions ought to be given the same probability.. we can infer using standard probabilistic reasoning that pAB/. If successful. the approach also faces some difficulties. AWS . probabilistic logic makes clear that B must entail A to degree / if our background knowledge entails A B to degree / and B to degree /. if pA and pB.g. RUDOLF. In other words. it must also be the case that pA B. If this difficulty could be dealt with. Logic. E. For example. Attempts have been made to use the Principle of Indifference to achieve this. that all probabilities take on values between and as describing degrees of entailment between various sets of propositions. So. it turned out that pAB/ i. Cambridge University Press. However. the mathematical statements defining what a probability function is e. On top of this. PROBABILITY. though. Probability Theory The Logic of Science. for two propositions A and B. LOGIC. Jaynes. CARNAP. then that can be interpreted as expressing the fact that proposition B partially entails A to degree /.e.g. Unfortunately. . though. therefore Peter is not employed does not depend on the meaning of the words Peter. A proof of a formula F from the set S of premisses is a succession of formulae such that every formula is an axiom. false and indeterminate. or. In classical propositional logic there are only two truthvalues. One can substitute these words with. thus notA. . . Every propositional variable is a formula called an atomic formula. C. or is derivable from previous formulae by an inference rule. The logical form of this argument is if A then B. If A and B are formulae then A. Parentheses are frequently omitted when ambiguity is easily avoidable. or. notB. Sentences are represented in propositional logic by strings of symbols called formulae. . Intuitionistic propositional logic rejects both the law of the excluded middle and the law of double negation. . they respectively abbreviate notA. John. true and false. not. the words or. employed and earn. for example true. or is in the set S. . Even in classical propositional logic there are different ways for formulating axioms and rules or inference. then. then. A B. or even an infinite number of truthvalues. The letters A and B stand for sentences and are called propositional variables. Multivalued logic recognizes more than two truthvalues.Logic. Propositional logic deals with arguments whose validity depends only on the meaning of such words as and. A B and A B are formulae. and. Peter does not earn. There are several versions of propositional logic. A and B and if A then B. A or B. . Propositional variables are the letters A. if. Propositional logic makes use of axioms and inference rules in order to deduce consequences from axioms or from previously deduced statements. Propositional. and two laws hold the law of the excluded middle A A and the law of double negation A A. which differ in axioms and inference rules. Propositional Logic. For example the validity of the argument if Peter is employed then Peter earns. . The definition of a formula is given in two steps . although it recognizes only the two truthvalues true and false. French and sing. . connectives are the symbol not. if . Propositional variables. respectively. B. and the resulting argument is still valid. connectives and auxiliary symbols such as parentheses are the basic elements of the language of propositional logic. and and not are called logical connectives. PROPOSITIONAL VARIABLE. Quantum logics are logical systems inspired by quantum mechanics. CONNECTIVES. . . it is possible to define other connectives. Starting from the four connectives not. VALIDITY. RULES OF. INFERENCE. every connective is definable using and only one of the other three connectives. for every formula F. DECIDABILITY. Quantum Connectives are truthfunctional. By definition. Annals of Mathematics. LOGIC. if . and. known as a Hilbert space. Every connective is definable using only the four connectives . by definition. Formulae that are false for every truthvalue assignment are called contradictions. independently of the meaning of A and B. For example. They exploited a similarity between the standard mathematical presentation of quantum mechanics and the structure of propositional logic. and there exists a method that determines. whether F is a tautology decidability of propositional logic. Several quite different approaches have been proposed. or. Thus we say that classical propositional logic is functionally complete. observations performed on a quantummechanical system correspond to subspaces of a certain sort of vector space. Examples of tautologies of classical propositional logic are A A. The logic of quantum mechanics. then. If a formula F is a tautology then F is provable completeness of propositional logic. that is the truthvalue of every formula is a function of the truthvalue of the constituent formulae. and if S entails F then there exists a proof of F from the premisses in S. A formula is called a tautology when it is true for every truthvalue assignment to its atomic formula. to A B B A. TRUTHTABLES. Formulae that are neither tautologies nor contradictions are called contingent. In fact. AXIOM. the formula A B is false only when A and B are both false. . Logic. PROOFTHEORY. PREDICATE. INTUITIONISM. but the earliest and best known is that of Garrett Birkhoff and John von Neumann . MEANING. Other important properties concerning classical propositional logic are the following If a formula F is provable then F is a tautology soundness of propositional logic. SOUNDNESS. . . See also ARGUMENT. There is an interesting relation between entailment and proof If a formula F is provable from a set S of formulae then S entails F. Various . MMu Logic. the connective if and only if can be defined so that the formula A B is equivalent. In the former. a set S of formulae entails a formula F when F is true whenever all formulae in S are true. Quantum. For example. A A and A A. . This preserves a wellknown idiosyncrasy of quantum mechanics that the position and momentum of a particle may not be simultaneously measured. from . and from . CONNECTIVES. Crucially. Relevant operations on these subspaces are more or less analogous to the connectives and. although he subsequently recanted. for there is no way in which the premise can be true but the conclusion false. In classical logic. IMPLICATION. Both positions were strenuously defended by Hilary Putnam . each of which corresponds to an impossible observation. Is logic empirical. one may infer . the inference from logic is useful to either the moon is made of green cheese or it isnt is valid. or and not. it is nondistributive ABC ABAC in all practical cases.Logic. See also LOGIC. one may infer y f. AA Logic. Some of the operations depend on concepts alien to orthodox logic. But there is something suspect about calling such inferences acceptable. Implication may be introduced by definition. ALGEBRAIC. such as orthogonality. Matter and Method. Birkhoff and von Neumann did not suggest that quantum logic should replace classical logic. reprinted in his Mathematics. Quantum logic differs in various respects from classical logic. y y and . But if and are utterly irrelevant to one another. More philosophically modest research continues. and one of some finite range of positions. one may infer f y . Cambridge Cambridge University Press. the following inferences are all valid in classical logic from . for the premise is utterly irrelevant to the conclusion. Relevant. . Relevant logics also known as relevance logics are a group of logics which do not allow irrelevant conclusions to be drawn from a set of premisses. If we let and be any two sentences. or that momentum and the second position. For a particle could have a known momentum. but in quantum logic the distributive law could not be used to infer that it must have that momentum and the first position. Each classically valid inference from to . nor that it resolves the anomalies of quantum mechanics. or any other such combination. we feel reluctant to call these inferences acceptable. and quantifiers by analogy with conjunction and disjunction. which may throw doubt on whether the resultant system truly is a logic. Note for exchange to be worth considering . because B does not appear in the premisses and A does not appear in the conclusion. See also LOGIC. The axiom performs a similar role to the structural rule exchange or permutation if . A C the formula p q p . A. Substructural. The latter type of axioms and rules are called structural axioms and rules. f y defined as . The formula p q p is not a theorem of any relevant logic. the axiom A B A B which can be used to introduce conjunctions and those which manipulate the formulae and arguments in other ways. B cannot be a set of assumptions. PARADOX. With the standard rule for introducing and the structural rule weakening also called thinning if C is valid then so is . A. rather it informs us that the order in which antecedents appear is not important. B C is a valid argument then so is . LOGIC. Given this principle. A logic is substructural if it does not validate all the structural rules and axioms of classical logic. Substructural can be rewritten as a valid material implication. There are those that introduce and eliminate connectives e. PROPOSITIONAL VARIABLE. This rule ensures that the order of premisses does not matter for validity. Viewing logics as combining core rules for connectives and additional structural rules is a powerful approach to a wide range of logics. Rules and axioms of logics can be divided roughly into two different types. therefore. then using the material conditional. the classically valid inference from A A to B is not valid in relevant logic. Note that this variablesharing condition does not rule out the inference from A to B A. Relevant logic should not. NORMALMODAL. B. in this entry collections of assumptions will be assumed to be sequences rather than sets. SUBSTRUCTURAL. Most relevant logics insist that an inference is valid only if the premisses and the conclusion have at least one propositional variable in common. A C. PARACONSISTENT. The axiom A B C B A C does not introduce or remove connectives. or from A to A B and so it is a necessary but not a sufficient condition for an entailment to be acceptable in relevant logic. MJ Logic. These paradoxes of material implication highlight the difficulty in translating if . Logic. be thought of as an attempt to give a definition of relevance. LOGIC. .g. . Logic, Temporal can be proved. Relevant logics, thus, reject the weakening rule making them substructural logics. The substructural logic BCK as well as some relevant logics and linear logic rejects the rule of contraction if , A, A C is valid, then so is , A C. Lambek calculus is used in mathematical linguistics and category theory. The premisses of an argument are thought of as grammatical phrases of a language. Placing a noun phrase after a verb phrase is not the same as placing a verb phrase before a noun phrase thus, the rule exchange as well as weakening and contraction is dropped in Lambek calculus. See also ARGUMENT ASSUMPTION AXIOM CONNECTIVES LOGIC, RELEVANT LOGIC, LINEAR PREMISS VALIDITY. CA Logic, Temporal. Temporal logic aims to formalize temporal discourse and to model various conceptions of the nature of time e.g. as linear, as branching, as having a beginning, as having no beginning. Susan Haack . Philosophy of Logics. Cambridge Cambridge University Press, distinguishes between two main approaches to temporal logic. On one, adopted by A.N. Prior . Time and Modality. Oxford Oxford University Press, tensed language is considered primitive. Temporal operators are employed, the syntactic functioning of which is analogous to that of the necessity and possibility operators of modal logic. Common temporal operators, with their interpretations, are F It will be the case that . . . , P It was the case that . . . , G It will always be the case that . . . , H It has always been the case that . . . . As an example of a temporal sentence, take Mary visited Santiago. Assign the sentence Mary is visiting Santiago to the propositional variable A. We can then translate Mary visited Santiago as PA It was the case that Mary is visiting Santiago. For introductory material on this approach, see James W. Garson, . Modal Logic for Philosophers. Cambridge Cambridge University Press, , , . On the other approach, associated with W.V.O. Quine, tensed language is considered dispensable. Temporality is dealt with by quantifying over times and using the primitive predicate lt interpreted as . . . is earlier than . . . . The approach is based on predicate logic, not modal logic. Where t is a variable ranging over times, we can translate Mary visited Santiago as tt lt now Vmst There is a time, t, earlier than now and Mary is visiting Santiago at t. See also LOGIC LOGICAL OPERATOR NECESSITY QUANTIFICATION WILLARD VAN ORMAN. Logical Consequence LOGIC, NORMALMODAL LOGIC, PREDICATE VARIABLE PRIOR, ARTHUR NORMAN QUINE, SML Logical Consequence. A sentence A is a logical consequence of a set of premisses if, whenever the premisses are true, the conclusion A is true. Consider the following example of a logically valid argument All men are mortal. Socrates is a man. Therefore Socrates is mortal. That the conclusion is a logical consequence of the premisses can be understood as follows whenever we substitute nonlogical terms of our language e.g. men, man for nonlogical terms of the appropriate grammatical category e.g. goats, goat in the argument, if the resulting premisses are true, the resulting conclusion will also be. The intuition is that a logically valid argument is one which is valid or truth preserving only in virtue of the logical form of its constituents, that is, in our example, in virtue of being of the form All X are Y a is X Therefore a is Y But logical consequence defined substitutionally as above would depend on what nonlogical terms are actually available for substitution in our language. We can improve on this by moving to the following definition A is a logical consequence of the set of sentences if, however we interpret the nonlogical terms occurring in A and if the sentences in are true under this interpretation, then so is A. We say that we have interpreted a nonlogical term when we have assigned an appropriate extension to it, be there or not a nonlogical term actually having this semantic value in our language. A last generalization yields the standard modeltheoretic account of logical consequence A is a logical consequence of if and only if every model of is a model of A. Since a model is defined as a nonempty set domain together with an interpretation of the nonlogical terms over that domain, when checking if A logically follows from we now must verify that A is true when is under all interpretations of their nonlogical terms and for all Logical Form nonempty domains. See also MODELTHEORY. HG COMPLETENESS INFERENCE INFERENCE, RULES OF MODEL Logical Equivalence. A relation between logical forms. Logically equivalent forms are in some sense the same. They are in that their truthvalues are the same in every interpretation thus they represent different ways of expressing a particular truthfunction. Since we cannot make one form true and the other false simultaneously, logically equivalent forms are said to imply each other. A A is logically equivalent to A A but not to A A. If one form is equivalent to a second and that second to a third, then the first is equivalent to the third. See also IMPLICATION INFERENCE LOGICAL FORM TRUTHVALUE. CF Logical Form. The logical form of a proposition is its internal structure. In particular, the logical form captures both the grammatical structure of a proposition and the logical relations among its components. Consider the following sentence If every French person is European, then every Parisian is European. If propositional calculus were to be used to formalize that sentence and we used the two propositional variables P and Q respectively to stand for the enclosed sentences within the main one, this would run as follows if P, then Q. But in the main sentence there seems to be more than just that. As a matter of fact, the propositional calculus does not capture many features of natural language it can only capture the logical relations between propositions as a whole, so that it fails to mirror their internal structure. Aristotelian analysis, though more elaborate than propositional calculus, can also translate a relatively narrow range of cases. The sentence above is easily translated into Aristotelian terms as if every F is G, then every H is G. In order to see the limits of Aristotelian analysis, consider first the following example is bigger than . As Aristotelian analysis exploits no relational predicates, the latter sentence is to be translated as follows a is F. Second, Aristotelian analysis cannot account for quantification which is not in the subject position. Consider in fact the following example some people love some pop singer. Aristotelian analysis forces us to treat love some pop singer as a whole without recognizing the quantification within the predicate, so that the sentence should be translated as follows some A is F, which is clearly not what the example says. . there are individual variables x. The set a is said to be the domain of the function and b is said to be its range. A unary logical operator takes a single sentence as its argument. predicate constants F. DISJUNCTION. but considered arithmetic to be analytic and thus reducible to logic. disjunction and material implication. FREGE. See also BINARY. Examples are conjunction. MATERIAL IMPLICATION. which vary over a domain of individuals. BEGRIFFSSCHRIFT. is reducible to logic. which returns true when the argument is false and vice versa. Logical Function The flaw of Aristotelian logic is that it analyses propositions through the grammatical distinction between subject and predicate. H. SYLLOGISM. GOTTLOB. QUANTIFICATION. CONJUNCTION. where. is constituted by synthetic a priori statements. that a substantial portion of mathematics. besides the usual truthfunctional connectives of propositional logic. influenced by a more stringent criticism of Kantian synthetic a priori . See also ARGUMENT. Frege agreed with Kant on the synthetic nature of geometry. The system of logic he proposed in his Begriffsschrift is basically firstorder predicate logic. A logical function is a relation that associates every element x of a set a to one. Russell and Carnap. element y of a set b. . Gottlob Frege came up with a different analysis. and existential and universal quantification. and only one. Twovalued logic has unary logical operators and binary ones. An example is negation. PREDICATE. LOGIC. In digital electronic circuits. which accounts both for relational predication and quantification within grammatical predicates. PROPOSITION. logical operators are implemented as logic gates. FB Logical Function. KV Logicism. PROPOSITIONAL CALCULUS. SET. See also DOMAIN. . An operation on one or more sentences. FB Logical Operator. . Logicism originated with Freges criticism of the Kantian thesis that mathematics. including at least arithmetic. NEGATION. and for the logical form of propositions. TRUTHVALUE. G. the logical analysis of argumentfunction. SENTENCE. . . advocated by Frege and supported among others by Russell and Carnap. A binary logical operator takes two sentences as its arguments. Logicism is the philosophical view. that stand for properties. including geometry and arithmetic. z. VARIABLE. The truthvalue of the resultant sentence depends on the truthvalues of the sentences the logical operator is applied to. y. TRUTHFUNCTIONAL. Such an approach relies on a nave notion of class. RUSSELL. GIUSEPPE. every natural number has the property P if the following two conditions hold i the number zero has the property P. Russell devised type theory in order to overcome these paradoxes. extended the programme of logicism to the whole of mathematics. See THEOREMS. RUDOLF. CARNAP. DAVID. In order to show that every true arithmetic statement can be logically proved. it is enough to consider the programme of reducing arithmetic to logic. ii a consistency proof for Peano arithmetic requires methods that are stronger than the axiom of induction itself thus the logical validity of the axiom of induction cannot be based on a consistency proof for Peano arithmetic. Logicism had to perform two main tasks i to define every arithmetic concept using only logical means. See also ANALYTIC / SYNTHETIC. HILBERT. TYPE THEORY. including geometry. The fallacy of this line of thought emerged with Gdels incompleteness theorems. which revealed that i Peano arithmetic is incomplete therefore there are true arithmetic statements that cannot be logically proved. It was hoped that a consistency proof for Peano arithmetic would show the logical validity of the axiom of induction. MATHEMATICAL INDUCTION. logicism tried to reduce Peano arithmetic to logic. A PRIORI / A POSTERIORI. . PARADOX. which turned out to be afflicted by paradoxes. In order to understand the difficulties faced by logicism. CONSISTENCY. if n has the property P then also n has the property P. An example of the first task is Russells definition of natural number as the class of all classes that have the same number of elements. given a generic property P. GDEL. FREGE. ii for every natural number n. which affirms the existence of an infinite number of individuals the universe could be finite with a finite number of objects. MMu LwenheimSkolem. PEANO. GOTTLOB. KURT. two classes have the same number of elements when there is a onetoone correspondence between their elements. but the logical validity of the axioms of type theory was far from evident. BERTRAND. The second task encountered even more difficulties. it affirms that.LwenheimSkolem and by Hilberts axiomatization of geometry. ii to show that every arithmetic true statement can be logically proved. there is no logical basis for the axiom of infinity. The main problem concerned the axiom of induction. For example. in modern terminology. one uses this assumption to prove the statement for nm. logicians distinguish two different semantic notions. HYPOTHESIS. if a is false then b is false. that is. A proof by mathematical induction is done in two steps the base case and the inductive step. it still holds for m. material equivalence symbols a b is a ary sentential operator that holds if and only if its operands a and b have the same truthvalue if a is true then b is true. the expressions Thales and the first philosopher have different intensions but the same extension. namely a b a b b a. In the inductive step. A proof method that is typically used to prove a given statement for all natural numbers. Given an expression E of a language L. respectively called. Thales of Miletus. extension and intension. PROOF. that is. true under every interpretation of its components. Traditionally. its extension is the thing designated by E. one proves that the statement holds for the first natural number n. nm. Also known as biconditional. Mathematical induction works because if one can prove a statement for n and one can prove that the statement holds for a value m. The resulting proof is equivalent to an infinite number of proofs. each proving the statement for another natural number. See also ASSUMPTION. KV Meaning. connotationdenotation and SinnBedeutung distinction the last two German terms are due to Frege. whereas its intension is the way in which E designates that thing. then it also holds for the next one. The systematic study of meaning is the object of semantics. for all natural numbers. See also BICONDITIONAL. then this process can go on indefinitely. FS Mathematical Induction. In the inductive step one proves that if the statement holds for a natural number nm. There exist variants of mathematical induction. Starting at least from the Stoics. the simplest of which starts with another value than in the base case. For instance. In the base case. that is. A linguistic expression says something about the world by virtue of its meaning. A distinction is to be made between material and formal or logical equivalence the latter means that the corresponding material equivalence is logically true. Material Equivalence Material Equivalence. The assumption in the inductive step that the statement holds for nm is called the induction hypothesis. The biconditionality of material equivalence means that it proceeds as a twofold conditional. the terms property or concept . The intensionextension distinction is also known as the sensereference. See also DEFINITE DESCRIPTION. There are infinitely many formal languages. It has to be stressed that for every formal language there is a corresponding metalanguage. so that there is also an infinite hierarchy of metalanguages for every order. SEMANTICS. on pain of contradiction. PROPOSITION. GC Metalanguage. The intension of E is identified with the function that assigns to each possible world the extension of E in that world. its extension is an individual. Just as . it has the same extension in every possible world. GOTTLOB. its extension is a truthvalue true or false. For instance. An example of an object language is the language of firstorder predicate logic. the class of philosophers in that world. these latters metalanguages are of type . Building on Tarskis modeltheoretic definition of truth. for example. but it cant ascribe properties to itself. Hintikka and Montague defines the extension and the intension of E as follows. In order to do that. and so on for every number n. we have to shift to the metalanguage of firstorder predicate logic. from the most basic. if E is a predicate. the concept of philosopher the intension of the predicate philosopher is construed as the function that picks out from each possible world the extension of philosopher that is. the firstorder proposition Fa may be true. namely the object language. This latter language ascribes properties to individuals. secondorder predicate logic and so forth. if E is a sentence. Thus. like proper names but contrary to definite descriptions. POSSIBLE WORLD. the semantical approach developed by Carnap. INTENSION. E is a rigid designator if. to higher order predicate logics. PROPERTY. firstorder predicate logic. The requirement of the sharp distinction between a language and its metalanguage was first pointed out by Alfred Tarski in he showed that a firstorder predicate logic cant express its own truth predicate. MODEL THEORY. the intension of a predicate like philosopher and of a declarative sentence like Thales is a philosopher. its extension is a class of individuals. their respective metalanguages are of type . TRUTH. those of propositional logic. namely propositional logic. arranged in a hierarchy of languages distinct from one another according to the order of their predicates.Metalanguage and proposition designate. A metalanguage is a language which expresses the properties of another language. These languages are of type . FREGE. but we cant assert this fact within firstorder logic in order to express the proposition Fa is true we have to resort to firstorder logics metalanguage. If E is a name or a definite description. for instance. respectively. Proof theory studies the rules guiding inferences within the system. Model for every language of order n. and nplace relations are taken as sets of ordered ntuples within the domain. Then we provide rules governing the assignments of truthvalues to complex expressions on the basis of assignments of truthvalues to their component parts. We specify a domain of interpretation for the variables of the system. PREDICATE. Model theory is a mathematical approach to semantics. in particular to the assignment of truthvalues to the statements of a theory. An existentially quantified sentence is true in a model if there is an object in the domain of interpretation with the properties mentioned in the sentence. . Model Theory. Nonstandard models. All communication involves the production and interpretation of statements. The semantics for the propositional calculus are easily given without model theory. it is natural to use the domain of natural numbers to model the Peano Axioms. See INTERPRETATION. and propositional variables can be replaced by propositions or sentences. See also CONTRADICTION. Models of physical theories naturally take the physical world as their domains. Predicates are normally interpreted as sets of objects in the domain. and to use sets to model the axioms of set theory. The study of the statements of a formal system is called metatheory. using unintended domains of quantification. there is a metalanguage of type n. A model is an interpretation of a system on which its theorems are true. ALFRED. A formal system consists of a language vocabulary and formation rules as well as axioms and rules for generating theorems. Truthtables suffice to interpret the connectives. We assign particular objects to the constants. are available. PROPOSITIONAL. Semantics studies the interpretations of statements. The next step in constructing a model is to assign elements of the domain to symbols of the system. TARSKI. the first step in model theory is to specify an interpretation of each symbol of the system. For example. FB Model. Metatheory may be divided into proof theory and model theory. LOGIC. Given a formal system. The semantics for predicate logic normally proceeds using set theory. there is a metalanguage. for every language of type n. LOGIC. A statement is taken to be possible if there is an accessible possible world in which the statement is true. MODEL. PROOF THEORY. and an accessibility relation among them. developed in large part by Alfred Tarski and Abraham Robinson in the midtwentieth century. PEANO. . has become a standard tool for studying set theory and algebraic structures. See INFERENCE. TRUTHVALUE. In a Kripke model. ALFRED. THORALF. we start with a set of ordinary models. Model theory is responsible for the socalled Skolem paradox. one for each possible world. INTERPRETATION. Model theory. See also COMPLETENESS. SKOLEN. one of its earliest results.Modus Tollens A universally quantified expression is true if the properties mentioned hold of every object in the domain. TARSKI. Kripke models provide possibleworlds semantics. SOUNDNESS. POSSIBLE WORLD. PROPOSITIONAL CALCULUS. SET THEORY. A statement is taken to be necessary if it is true in all possible worlds. RULES OF. RULES OF. Modus Tollens. For modal logics. See INFERENCE. DAVID. and that the axiom of choice itself is independent of the other axioms of ZF. METALANGUAGE. GIUSEPPE. FORMAL SYSTEM. Major results of model theory include Paul Cohens proof that the continuum hypothesis is independent of the axioms of ZermeloFraenkel ZF set theory including the axiom of choice. HILBERT. RM Modus Ponens. Necessity Necessity. Possibility is the dual of necessity to be possible is to be true at some possible world. as a general rule. Most exploit rigid designators. Necessity is usually said to apply to statements or propositions. followed by a symbol. Negation is a truthfunctional operator. then p is false. The predominant modal logic for necessity is S. Hence. more controversial. Although necessity and the a priori have been traditionally conceived as being intimately related. but this is only known a posteriori. whereas the a priori involves strictly epistemological ones something is a priori if and only if it can be known independently of experience. has to be true. Kripkean understanding of necessity strongly insists on the distinction between the two necessity involves ontological or metaphysical matters only. such as Kripkes example of The standard meter measures one meter. or. the prevalent. when p has to be proved. Examples of a priori statements that are not necessary contingent a priori are harder to come by and. NK Negation. something may be necessary without being a priori. LOGIC. The rule of . necessarily. The proper name standard meter denotes the same platinum rod in every possible world even though the accidental features of this rod may vary from one world to another. See also ANALYTIC / SYNTHETIC. It denies the truthvalue of the proposition it is applied to if p is true. the axioms of modal logic have a natural necessity reading. If from p a contradiction is derived. Two rules of natural deduction are associated with negation. necessity and the a priori do not always coincide. for a proposition. is true at/in all possible worlds. A necessary proposition cannot fail to be true. POSSIBLE WORLD. by reductio then p is indeed proved. p or p q. for example axiom T is usually interpreted as meaning that the actual world is possible. in the language of possible worlds. The rule of reductio ad absurdum allows one to assume p. or a set of symbols. or . and vice versa. As such. Identity statements are typical examples of the necessary a posteriori water is HO. RIGID DESIGNATOR. and vice versa. A PRIORI / A POSTERIORI. NORMALMODAL. in this modern reading. for example. Therefore the standard meter does not necessarily measure one meter. However. modern. Modal logic was initially developed to formally characterize necessity. it is argued that knowledge of the fact that the standard meter measures one meter is a priori. It is expressed by each of the symbols . The corresponding inference rule from A derive A is nonclassical. what is not known to be true is false. NEGATION. NONMONOTONIC. RESOLUTION. NONMONOTONIC. This inference rule is nonmonotonic that is. then A is derived instead. but a metatheoretic statement. In logic programming. . KV NP Complete. INFERENCE. See also CLOSED WORLD ASSUMPTION. A normal form of a mathematical object is a standard representation of this object. the addition of new premisses may lead one to retract old conclusions. In other words. since its premise is not a formula of the language. LOGIC. Negation as Failure. TRUTHFUNCTIONAL. See also PROPOSITION.NP Complete double negation allows one to derive p from p. the logical formula ACABBC is equivalent to its disjunctive normal form ABAC. Normal Form. LOGIC PROGRAMMING. a negation operator is often implemented as negation as failure if the program fails to derive A. See LOGIC. RULE OF. See also DISJUNCTIVE NORMAL FORM. TRUTHVALUE. FB DOUBLE NEGATION. See COMPLEXITY. For example. thus. falsity is identified with nonprovability. Every object has exactly one normal form and two objects with the same normal form are equivalent. Underlying this idea is the closed world assumption the programme assumes that it knows all that there is to know. GC Nonmonotonic. where it serves as a basis for the improvement of classification. events. Domain ontologies benefit from research in formal ontology. as opposed to philosophical ontology. The term ontology derives from the Greek ontos being or what exists and logos rational account or knowledge. ONTOLOGY FORMAL. A branch of Western philosophy having its origins in ancient Greece in the work of philosophers such as Parmenides. intelligence analysis. ONTOLOGY PHILOSOPHICAL. A representation of the things that exist within a particular domain of reality such as medicine. ecology or law. properties. structured vocabulary to annotate data in order to make it more easily searchable by human beings and processable by computers. processes and relations in every area of reality. Roman Ingarden. LOGIC. Ontology Domain Ontology Domain. Formal ontology draws heavily from the logic and methodology of philosophical ontology. information organization and automatic reasoning. and determining what relationships hold within and among the different categories in the domain ontology. This philosophical sense of the term is what Jacob Lorhard had in mind . See also DOMAIN. discerning what kinds of entities fall within each of these categories of objects. ontology is synonymous with metaphysics as classically conceived. The Gene Ontology Project is an example of a domain ontology that attempts to provide a taxonomy and controlled vocabulary for genes and gene products. management science and in other scientific fields. ONTOLOGY DOMAIN. From the philosophical perspective. Barry Smith and Patrick Hayes. This communication is accomplished by at least the adoption of a set of basic categories of objects. A domain ontology provides a controlled. formal ontology is increasingly being applied in bioinformatics. RA Ontology Philosophical. geography. which has all of reality as its subject matter. See also DOMAIN. A discipline which assists in making possible communication between and among domain ontologies by providing a common language and common formal framework for reasoning. Plato and Aristotle. Philosophical ontology is concerned with the study of what is. ONTOLOGY PHILOSOPHICAL. CATEGORY. Heraclitus. of the kinds and structures of objects. Through the work of thinkers such as Edmund Husserl. RA Ontology Formal. which assists in making possible communication between and among ontologies by providing a common language and common formal framework for reasoning. ONTOLOGY DOMAIN. See also CATEGORIES. and this is also why Baileys Oxford English Dictionary defined ontology as an Account of being in the Abstract.Ontology Philosophical when he coined the term ontology ontologia around . ARISTOTLE. ONTOLOGY FORMAL. RA . This is the reason why the study of paradoxes is so important.V. so it is very alarming that we should be led astray in this way. Well. it is a nonselfmembered class. and we have to confront the real possibility that some of our deepest beliefs or most fundamental principles of inference are wrong. we conclude that he shaves himself if and only if he does not. perhaps. So the class of horses does not contain itself as a member. Paradox Paradox. namely to reject the assumption that there can be a village containing one adult male barber who shaves all and only those adult male villagers who do not shave themselves. yet no such easy solution seems available for it. but will also account for how we were taken in by it. it does not contain classes and so does not contain the class of horses. to a conclusion that is contradictory or in some other way unacceptable. the reasoning is utterly simple. via apparently acceptable steps of inference. Here is W. x. the class of all things that are not horses does contain itself as a member. all those who dont shave themselves get shaved by the sole barber in the village. Typically. but Russells paradox has a structure similar to The Barber. By contrast. Some philosophers hold that there is an easy solution to this paradox. Yet the assumption that he shaves himself leads to the conclusion that he does not for his job is to shave only those who do not shave themselves. if and only if x does not shave himself. For it has been agreed that the barber shaves any villager. Some shave themselves. A satisfactory solution will not only expose the basic error afflicting a given paradox. Now consider the Russell Class R that contains all and only the . Quines lovely formulation of The Barber of Alcala paradox Logicians tell of a village barber who shaves all those villagers and only those who do not shave themselves. A paradox is a piece of reasoning that leads from apparently true premisses. in particular. hence when we let x be the barber. The class of horses contains only horses as its members. himself an adult male needing to be shaved. and the assumption that he does not shave himself leads to the conclusion that he does shave himself because its his job to shave precisely those who do not shave themselves. The assumptions here are There is a village where shaving is de rigueur for adult males. The question of the barbers own toilet holds a certain fascination for the logical mind. the tortoise has then moved a little bit ahead to a new point. of course. one version of which takes as its starting point the statement If this statement is true. is true.Paradox nonselfmembered classes. So it must be true. that R does not exist Well. since the statement claims itself to be false. And so on. that it is neither true nor false. Or consider this closely related version Either this statement is false or pigs can fly. as do many other nonselfmembered classes. so the whole statement can be true only if the second judgement is true. then it is false and if false. That statement cannot be false. Yet commonsense. A somewhat less outrageous solution though it needs a lot of careful defending is that the Liar sentence fails to make a statement and so does not get into the true/false game. and Achilles quickly reaches the point where the tortoise was but. or watching a recreation of the event discloses that Achilles does catch and overtake the tortoise. in parallel with what was suggested as a solution to The Barber. the tortoise has moved ahead. the class of horses exists. . The argument seems to show that Achilles can never catch the tortoise. the discovery of which is attributed to the ancient Greek Eubulides. then pigs can fly. not true and not false. that is. we conclude that R is a member of R if and only if it isnt Can we now suggest. for if it were then the first disjunct would be true. the tortoise is ahead. But then. Does it contain itself as a member The situation compare the last sentence of Quines formulation of The Barber is that R contains any class x as a member if and only if x does not contain itself. When Achilles reaches that new point. the most compelling concerns a race between swift Achilles and a tortoise who starts half way up the racetrack. elementary mathematics. are at once both true and false. A nearrelation of the Liar is the CurryLb Paradox. One way out of this impasse is the Dialetheist proposal that the Liar statement. is called The Liar and concerns a person who says This statement is false. So how could it not exist Perhaps the most famous paradox. Let us make the assumption. Hence pigs can fly Of the ancient paradoxes attributed to Zeno of Elea. And R just collects up all these nonselfmembered classes. therefore the first disjunct is false. it must be false contrary to our assumption. You can quickly see that if the statement is true. hence the whole statement would be true. The race begins. for whenever he reaches where the tortoise was. if only a small distance. then. and others like it. hence when we let x be the Russell Class R. With possible worlds. substituting equals for equals. their ontological status is a much debated philosophical issue. . The need for such an account came from certain anomalies encountered with modalities arguments previously thought to preserve truth no longer did with modal statements. a priori iff f is true at some resp. In general. you will have to call a heap three grains of sand . PREMISS. Indistinguishable difference. Just as we understood possibility and necessity using possible worlds. others take them to be abstract. nought See also ASSUMPTION. a statement such as Al Gore is necessarily human is translated as at every possible world. QUINE. But that seems to show that. all epistemically possible worlds. In possible world talk. however useful possible worlds are. the statement Al Gore could have been president is understood as saying that there exists a possible world w at/in which Al Gore is president. . WILLARD VAN ORMAN. indicative truthvalue. Possible worlds are used to express modal statements involving possibility. . . . in fact the removal of one grain makes no perceptible difference. one . . indisputably a heap. INFERENCE. conceptual or representational only. we can understand epistemic and deontic modalities using epistemically and deontically possible worlds respectively. At no point will the removal of one grain transform a heap into a nonheap. It must be noted that. . CONCLUSION. . LG Possible World. RUSSELL. . still a heap . CLASS. Surreptitiously remove one grain and you still have a heap. the number of planets is true. Possible worlds can also be understood in a broader. we cannot conclude. Al Gore is human. two . Analogously. namely the actual. BERTRAND. Statement f is conceivable resp. that Necessarily. in its original form. the truth of a modal statement is thereby translated into a quantificational claim on worlds at which the indicative counterpart of this statement has a normal. Some modal realists consider possible worlds as existent. The modal could is replaced by the indicative is by use of quantification over possible worlds. Possible World The Sorites Paradox. concrete nonactual objects. we easily understand why the conclusion fails. concerns a large number of grains of sand piled together. For example. Mutatis . from the truth of the statements The number of planets and Necessarily. for simple quantificational reasons the number of planets is in some worlds. but not in all of them. INFERENCE. less metaphysical sense. continuing to remove one grain at a time. Remove another grain. and a conclusion. on some interpretations. Alternatively. a practical syllogism comprises a universal major premiss. It is crucial to ethics. defeasible reasoning. which is the action to be undertaken or. its systematization is within the scope of argumentation theory. Postulate. to sophisticated choice procedures. postulates have substantive content whereas axioms have only logical content. It originates with Aristotle. SYLLOGISM. we choose that conclusion most in accordance with our desires. as an instance of informal.Practical Syllogism mutandis for f is permissible resp. Alternatives range from outright denial that practical reasoning is possible. that is. the replication of practical reasoning is an important goal for artificial intelligence. Practical reasoning remains a pivotal topic in several disciplines. See also ARGUMENTATION. a particular minor premiss. a postulate is a supposition. See also EPISTEMIC. a. In recent decades a great diversity of accounts of practical reasoning have been proposed. AA . but it is also important to the philosophy of mind and debates over free will. LOGIC. Postulate is frequently synonymous with axiom. Moreover. as a component in the understanding of action. For example. it might not be believed before being used in a demonstration. specifically in his Nicomachean Ethics and On the Movement of Animals. THEORY OF. AH Practical Syllogism. obligatory. each of which could comprise the major premiss of practical syllogisms resulting in incompatible courses of action. DEONTIC. Instrumentalism. NK LOGIC. which makes a general judgment as to the value of an activity. Postulates can be distinguished from axioms based on epistemic status or content. When distinguished epistemically. Aristotle uses this account to explain the limitations of practical reasoning when confronted by two opposing value judgments. for which practical reasoning is limited to how we realize our desires. reasoning aimed at action rather than belief. and. since it is concerned with the process of ethical decisionmaking. not which desires to realize. the decision so to act. QUANTIFICATION. remains influential. one conceives that every man ought to walk. such as the maximization of utility or the pursuit of coherence. one is a man oneself straightaway one walks Movement. NECESSITY. ARISTOTLE. The practical syllogism is an analysis of deliberation. which makes a specific claim of fact. For Aristotle. See also AXIOM. means that c has property P. normalized by the probability that B happens. Predicate Predicate. the same proposition may be a premiss of one argument but the conclusion of another. PREDICATE. for instance. an arguments premisses are the starting assumptions from which a conclusion is to be derived. predicates are expressed via uppercase letters A. MMo Predicate Logic. DEDUCTION. all assignments of probabilities must be between and . p is a mapping between the elements of and the real numbers that satisfies the following three axioms For any subset A of pA . Together. Finally. APM Probability. For all nonoverlapping subsets A. Since then. B of pAB pA B / pB. B. Kolmogorov controversially suggests adding an axiom of continuity to that entails that also holds for countably many subsets of . the union of all possible events having probability . and that the probability of an event A conditional on another event B is the probability they happen jointly. In predicate logic. with the certain event that is. on the one hand. p . B of pA B pA pB. See LOGIC. Every argument contains one or more premisses. A predicate is a linguistic item that is used to assert that a property or relation holds. Pc. . these axioms make clear that. See also ARGUMENT. Intuitively. See also LOGIC. . For some nonempty set and the set of all subsets of that are closed under union and complementation. . On the other. but Kolmogorovs treatment remains the most widely accepted one. and received its canonical formulation in Kolmogorovs Foundations of the Theory of Probability of . PREDICATE. CONCLUSION. Its historical origins lie in a correspondence between Fermat and Pascal. INDUCTION. A mathematical theory with many important applications in science and philosophy. To be a premiss is to play a role in an argument. Premiss. other versions of the theory have been presented. they state that the probability of one of two mutually exclusive events happening is the sum of their individual probabilities. PROPERTY. . it was further developed by among others Bernoulli and Laplace. Kolmogorov defines the probability function p in the following way. if pB . To this Kolmogorov adds the following definition of a conditional probability though it may be worthwhile to consider this simply as a fourth axiom for all subsets A. there are no less than four major interpretations of probability currently being defended. Alas. they make it easy to show that pAB pBA pA / pB Bayes Theorem and that pA pAB pB pAB pB the law of total probability. a probability is just a specific kind of function that is fully defined by its axioms and definitions. probability theory has come to form the core of statistics the analysis of quantitative data. respectively and has been used as an extension of traditional logic. various thinkers thought it valuable to go beyond this technical view of probabilities and to attach a deeper meaning to them. Interpretation of. these axioms make it possible to determine some or all of the other values of a probability function. For example. Mathematically. According to this interpretation. the introduction of probabilities into science has led to many major advances in our understanding of how the world works and has significantly broadened our mathematical toolkit in the process. PROBABILITY. then. if we know that pA / and pBA pBA /. the set of tosses. It is in particular this last fact that has led to inception of the second interpretation the Propensity Theory. saying that the probability of this coin landing heads is . INTERPRETATION OF. See also AXIOM. are not directly measurable. First. that meaning is in particular. the ratio of heads to tails will be . and. On this view. is a major element of quantum mechanics and the theory of evolution the major theories at the heart of much of modern physics and modern biology. In this manner. An interpretation of probability is a theory of the meaning of expressions involving the formal notion of probability. SET. These and similar results have turned out to be very useful in many branches of science and philosophy. a probability expresses the . AWS Probability. is taken to express the claim that in an infinitely long sequence of tosses. the axioms ensure that. THEORY. exactly. we can compute that pB / this follows from the definition of conditional probability and axiom . for example. So.Probability Given an initial assignment of probability values. In particular. BAYES THEOREM. LOGIC. being limits. probabilities are only defined relative to some reference class in this case. The axioms also allow one to prove several wellknown theorems for example. it has turned out to be very controversial what. PROBABILISTIC. the Frequency Interpretation says that probabilities are statements about the limits of infinite sequences. However. perhaps some axioms for which no proofs are given. FUNCTION. The final interpretation. and rules. Each provides a kind of justification for some claim. This interpretation thus generalizes the classical notion of entailment. The trick . while each of these interpretations still has some defenders. not everybody thinks that a commitment to any one of them is necessary. A major if controversial benefit of this interpretation is that it makes probabilities easily measurable. Each line must be either an axiom if any or obtained from previous lines by an application of a rule. however. probability of this coin landing heads is taken to mean that the proposition this coin is being tossed entails the proposition this coin lands heads to degree . LOGIC. sees probabilities as expressions of subjectively rational degrees of belief. On this view. it faces the problem that no fully compelling method for specifying the degree of entailment among two propositions has yet been found. the trouble is that it does not allow for a unique probability assignment to the occurrence of an event. The main advantage of this interpretation is that it permits probabilities to be applied in many areas of the social sciences where beliefs play a crucial role. PROBABILITY. Saying that there is a . a . a major but also controversial disadvantage is that its core concept that of a propensity is quite mysterious. saying that the probability of this coin landing hands is . Typically. CARNAP. PROPOSITION.. some people advertise a pluralist position according to which different interpretations are acceptable in different circumstances and some see probabilities as theoretical terms that are not in need of explicit interpretation at all. is taken to express the proposition that the coin has the tendency to land hands about of the time when tossed. A formal proof comes within a specified formal system a language. The goal is to arrive at the claim formula on the last line of the proof. the Subjective Theory. PROBABILISTIC. RUDOLF. INTERPRETATION. Instead. The third view the Logical Interpretation takes probabilities to express degrees of entailment among propositions. AWS Proof. There are at least two senses of proof relevant to logic formal proof and informal proof. Proof tendency of some particular process to have some particular outcome. See also BAYESIANISM. a proof will begin with assumed premisses of an argument. It is important to note that. For example. probability that this coin will land heads is taken to express a particular agents rational degree of belief in the coin landing heads. Generally speaking. in an informal proof. prove that formal systems do not imply any contradiction. The notion of formal system is the result of a process of formalization of axiomatic theories. for each object x. their consistency. certain starting points are assumed. These steps are not mechanically verifiable as they are in a formal proof.Proof Theory is to apply rules in order to have the conclusion on the last line. DEDUCTION. and consists of a decidable set of axioms and a decidable set of rules of inference a set S is said to be decidable if. Note that once intuitive mathematical theories have been substituted by corresponding formal systems. a formal system is based on a language in which we fix the primitive symbols and the rules that determine its terms and its formulae. each of which is either an axiom. more traditional and familiar. prove. Unless we challenge the rules. by means of finitary methods that is to say methods that use only finite or verifiable means. and only if. x belongs to S or not. reduce mathematics to formal systems. that is. is a metamathematical result. in a finite number of steps. there can be no questioning this. mathematical objects. See also ARGUMENT. meriting the same sort of treatment as other. An informal proof is modelled on formal proofs. the demonstration is conducted externally to any formal system that might be under discussion. Hilberts programme was brought to a halt by Gdels results. that is. CF Proof Theory. The last formula of a proof is said to be a theorem. if. there exists an uniform procedure by means of which it is possible to establish. according to which it is impossible to prove by means of finitary methods the consistency of the elementary theory of numbers. Nonetheless. A proof in a formal system is simply a finite sequence of formulae. Hilberts programme consisted in the attempt to formalize mathematical theories. they become rigorously defined objects in their own right. it has been demonstrated that the conclusion does follow from the premisses. or is derived by one of the inference rules from the preceding formulae. the proof of the consistency of a formal system. Their study usually takes the name of metamathematics. . This way Hilbert believed that mathematics could be justified. Once this is done. for example. Proof theory is a branch of logic that began with work by David Hilbert and that has as central the notion of proof in a formal system. and the goal is to reason in secure steps from these to the claim being established. However. FORMAL SYSTEM. One the Hauptsatz says that. postHilbertian proof theory. all express propositions. Propositions are different from interrogatives that ask questions. in which we can construct mathematical proofs that are closer simulations of our actual way of reasoning in mathematics. The second important result concerns the consistency of arithmetical formal systems that he managed to prove by using transfinite induction. FP. HILBERTS PROGRAMME. These results are the basis of the important developments of the modern. feature or quality e. though it was not finitary and therefore did not fit in with Hilberts programme. he obtained the calculi called the sequent calculi and proved some important results. HILBERT. there exists a proof in which the only expressions that occur in it are subformulas of the formula that we want to prove. JG Proposition. Gentzen created a new type of formal system. The proposition that snow is white is true. AXIOM. for any provable formula. DAVID. nevertheless presents characteristics of high constructivity and it is intuitionistically acceptable. the property red. function or process for example. the even numbers have the property that multiplication of even numbers results in an even number. A proposition asserts that a certain state of affairs obtains. Propositions are often described as the abstract meanings of concrete sentences. depending on whether or not the state of affairs they affirm actually exists. Furthermore. INTERPRETATION. namely natural deduction systems. by generalizing these systems. whereas the proposition that New York is the capital of Belgium is false. for any provable formula. It is raining at a given place and time. in order to revive them despite Gdels negative results. Snow is white. A property is an attribute. which do not have truthvalues. some of which constitute real and autonomous fields. Property It was Hilberts student Gerhard Gentzen who picked up the themes of Hilbertian proof theory. this property may be thought of as one of the properties that characterizes the even numbers. THEORY.g. Propositions have truthvalues. See also ASSUMPTION. and put them through a new analysis. Property. and in classical logic propositions are exclusively either true or false. and imperatives that issue commands or make requests. in somewhat the way that numbers are said . This principle. See also DECIDABILITY. entity. New York is the capital of Belgium. there exists an analytic proof of it. KURT. A property may be a defining characteristic of some class. that is to say. GDEL. FB . STATEMENT. Proposition. TRUTHVALUE. turning the latter into constants e. Particular Negative O.g. CS Propositional Variable. See SQUARE OF OPPOSITION. Particular Affirmative I. that is. See SQUARE OF OPPOSITION. PROPOSITIONAL. TRUTHVALUE. STATEMENT. See SQUARE OF OPPOSITION. Such functions enable us to move from arguments to truthbearing propositions once definite values have been assigned to all the variable components. See SQUARE OF OPPOSITION. See also PROPOSITION.Propositional Variable to be the abstract referents of numerals. A propositional variable is a variable interpreted as ranging over propositions. Also known as sentential function Tarski and open sentence especially in mathematical logic. this was Freges technical term for a function such as x is F in which one or more places of a sentence are taken by variables. See also COMPOUND. Propositional Function. Propositional Calculus. Universal Negative E. PROPOSITIONAL VARIABLE. SENTENCE. See also PROPOSITION. Proposition. A propositional variable is assigned a truthvalue. See LOGIC. SIMPLE. Proposition. VARIABLE. Universal Affirmative A. FREGE. the true or the false. Proposition. depending on whether the proposition it stands for is true or false. GOTTLOB. Smith is happy. DJ LOGIC. some. since Aristotelian logic takes individual and general predication to have the same logical form. most etc. Since Frege. the free variables of the function Fx x is F become bound by the existential quantifier in the following way x Fx there exists some x that is F. The application of formal quantification to natural language is. Thus. Quantication Quantification. but only where w names an arbitrary individual. Universal Instantiation endorses the inference from Everyone quits to Victor quits. however. Universal Generalization UG. and for any which pick out distinct concepts in ordinary language. Other systems disallow this direct inference. The Quantification Rules govern inferences on propositions where one of the two quantifiers is the main operator. while instantiation rules allow one to remove. ARISTOTLE. CS Quantification Rules. for all. Existential Generalization EG and Existential Instantiation EI. FREGE. Existential Instantiation is challenging to apply correctly. Universal Instantiation UI. GOTTLOB. all. There are four such rules a generalization and instantiation rule for each of the two quantifiers. For example. is typically used to cover a range of quantifying terms such as for every. the universal quantifier operates on the previously free variables as follows x Fx all x are F. every. Some systems allow the inference from xSx to Sv. any. See also QUANTIFIER. to an open sentence. Similarly. Generalization rules allow one to add. Existential Generalization endorses the inference from Ursula runs to Someone runs.g. for example. Different systems guarantee arbitrariness differently. philosophically contentious. though usually by prohibiting the relevant name from appearing in the premisses or conclusion of the argument. Complex quantifiers thought to be expressible in terms of combinations of and include the uniqueness quantifier there exists one and only one and the counting quantifier k there exists a natural number k. which is rendered formally as the inference from Ru to xRx. singular firstorder existential and universal quantification have generally been held to be the two most fundamental types of quantification. Formal quantification thus captures certain relations more precisely than Aristotelian logic does. so long as v names an arbitrary individual. EG and UI are not similarly restricted. a quantifier. but allow the . Universal Generalization endorses the inference from Tw to xTx. In predicate logic quantification refers to the variablebinding application of one or more quantifiers e. formally rendered as the inference from yQy to Qv. QUANTIFICATION RULES. y and z. PREDICATE. The universal quantifier.Quantier instance Sv in our example to serve as an assumption in a subderivation within the original proof. for example. See also INFERENCE. See also LOGIC. represents some or at least one. y or z must follow the quantifier symbol. SQUARE OF OPPOSITION. LOGIC. x. Quantifiers allow the formalization of claims regarding quantities Everyone thinks. SQUARE OF OPPOSITION. represents every or all. APM . but any variable can be used. QUANTIFICATION. x. APM Quantifier. PREDICATE. Something smells. RULES OF. while the existential quantifier. An individual variable x. Alan Robinson . the natural numbers can be defined thus is a natural number this is referred to as the base case. as developed by Alan Turing and others in the s. it follows that each natural number has a successor. See LOGICISM. without X and notX. which also works for predicate logic. See also THEOREMS. GDEL. See MEANING. Of particular interest to philosophers are the recursive functions. is often used together with reductio ad absurdum and states that if we are given two clauses in conjunctive normal form. PROPOSITIONAL. in which he lays the foundation for automated theorem proving. This rule. ALAN. given the definition of as a natural number. TURING. then n is also a natural number recursion step. DH Resolution. LOGIC. The Resolution Rule is a technique of automated theorem proving. A machineoriented logic based on the resolution principle. For example. which are central to Gdels incompleteness theorems. if n is a natural number. DH Rigid Designator. See also AXIOMATIZATION. are the cornerstone of the theory of computation. To put it another way. then we can infer the union of those two clauses. . which is also a natural number. one containing X and the other containing notX. Recursion Recursion. particularly useful in logic and computer science. KURT. The seminal work in this area is by J. . Russells Programme. NORMAL FORM. Recursive definitions. Recursion is a process whereby an object is defined in terms of previously defined objects similar to itself. Journal of the ACM. REFUTATION. based on the fact that all sentences in propositional logic have an equivalent in conjunctive normal form. There is no decision procedure for some sets of formulae with relational predicates. any branch on which A B appears divides into two branches. For example. we can construct a semantic tree. They require less creative construction than natural deductions. The tree is completely constructed when all compound formulae have been replaced by either simple formulae or negations of simple formulae. we can replace A B with A and B. giving the construction the appearance of a tree. If all branches contain a contradiction a simple propositional formula and its negation then the original set of formulae is inconsistent. Now consider ABCD. Some replacement rules branch. The scope of the does not include the conjunction operator. we can determine whether a set of formulae is consistent by examining the truthtables for the set. The scope of a connective is the wellformed formula of which that connective is the main connective.Semantic Tree Scope. QUANTIFIER. and only if. For example. See also CONNECTIVES. . consider xQx Rx Sx. Alternatively. Semantic trees are also useful in modal logic. since an argument is invalid if. which means that the procedure will always terminate in a solution. In propositional logic. and only if. Semantic trees are less cumbersome than truthtables. Semantic trees are also called truthtrees or semantic tableaux. For example. We can make this more precise. the rules determine a decision procedure. To construct a semantic tree. the shorter ones are true see Figure . the negation of its conclusion is consistent with the truth of its premisses. as well. LOGICAL OPERATOR. Semantic trees are useful in predicate logic. providing an easy method for testing a large set of formulae. There are decision procedures for semantic trees for propositional logic. The scope of the existential quantifier is Qx Rx. we replace compound formulae with simpler subformulae with the same truthconditions. The scope of something is what that thing applies to. one which contains A and the other which contains B see Figure . The scope of another logical operator such as a quantifier or a modal operator is the first complete wellformed formula that follows that operator. Semantic trees may be used to test an argument for validity. For sets of formulae with only monadic predicates. CF Semantic Tree. since the longer formula is true if. I i jv T iff I iv T or I jv T. . I an interpretation function and v a valuation function. A . The interpretation of the logical symbols is the same in all interpretations. LOGIC. An interpretation of a logic is called a model for the logic. PROOF. For example. logics are often motivated by an intended interpretation of their symbols. Semantics and model theory comprise the models of a logic and the investigation of their properties. . however. PREDICATE. Logics may be defined syntactically by deductive calculi that include a formal language. See also CONSISTENCY. . the interpretation may be outlined as follows. . A B Figure Semantic tree for A B. A B Semantics . DEDUCTION. . RM Semantics. Let D be a nonempty set of arbitrary objects the domain. x. . . Pn. denumerably many variables x. as nonlogical symbols. VALIDITY. . Assuming that the language contains not. and it is desirable to specify an interpretation formally. TRUTHTABLE. . whereas the interpretation of the nonlogical symbols may vary to some extent. Boole gave two different interpretations of his algebra of logic. Proof theory investigates a logic from the point of view of deducibility and provability. . AB . x. or and for all as logical constants. and predicate symbols Pn. The first rigorous definition of a semantics for classical firstorder logic was given in the mids. B Figure Semantic tree for A B. . I v T iff I v F. . . Those connectives that do not occur in classical logic are defined from a compatibility or accessibility relation on situations. vxnigt I Pi ni. GEORGE. Its meaning is a proposition and its utterance by a speaker results in a statement. MODEL THEORY. interpret into T. some of which are called term semantics. POSSIBLE WORLD. A precise characterization of classes of relational structures for a logic can be obtained by adding a topology to the structures. A logic may have algebraic semantics. DOMAIN. THEOREMS. . proposition and . Nonclassical logics require more intricate interpretations than classical logic does. The relationship between a logic and its semantics is expressed by the soundness and the completeness theorems. SOUNDNESS. where the logical constants are mapped into operations and constants of the algebra. I vx d T. Kripke introduced such semantics for normal modal logics. if is a semantic consequence of the set of formulae . that is. The interrelation between sentence. A semantics may include . PREDICATE. BOOLE. Completeness states the converse. KB Sentence.Sentence . KRIPKE. PROPOSITION. SAUL. I x. sentences are interpreted as propositions. and they are nowadays usually called possible worlds semantics. I Pinix. Relational semantics for relevance logics utilizing a ternary accessibility relation were introduced by Routley and Meyer. A sentence is a string of words that obey the rules of grammar of a given language. which are sets of possible worlds or situations. finitely many or infinitely many values. The preferred type of semantics for nonclassical logics is the relational semantics. where vx d is a onepoint modification of the valuation function setting xs value to d where d D. . INTERPRETATION. . A semantics often used in completeness proofs may be built from expressions or equivalence classes of expressions of the logic. In relational semantics. See also COMPLETENESS. v T iff for any valuation vx d. xniv T iff ltvx. A uniform framework called generalized Galois logics encompassing relational semantics for nonclassical logics was introduced by Dunn. This leads straightforwardly to dualities between the categories of algebras of logics and of relational structures for logics. then is derivable from . PROOF THEORY. An axiomatization of firstorder classical logic is sound if s provability from implies that every interpretation mapping all elements of into T. the least number greater than any finite ordinal. A set is a collection of objects. According to Cantor. . the first transfinite number. CLASS. FREGE. functions and other structures. two. GOTTLOB. second. Starting with the empty set. three . that is itself an object. . The second is to serve as a foundation of mathematics. Thus. . PARADOX. There are two basic kinds of numbers ordinals and cardinals. Set theory has two main aspects. . for example. FS Set. describing various quantitative. . a set is a multiplicity that is also a unity. . ZW Set Theory. the set with no members at all is there only one. called members or elements. Set theory was essentially founded by Georg Cantor in when he proved that there are different sizes of infinity distinct and ascending cardinal . The first is to serve the study of the mathematical infinite. set theory reduces numbers to sets. . . providing the core language. See also PROPOSITION. An alternative definition is due to von Neumann. . Set statement varies according to ones philosophical position about how the meaning of a sentence is established. . See also ABSTRACTION. GEORG. the simplest way of reducing numbers to sets is with this definition of ordinals. then the identity of the set is determined. third . Sets are extensional If the membership of a set is determined. . Then the first infinite ordinal is . so . . . where ordinals are just the set of all ordinals that come before. CANTOR. . As a branch of mathematics. . . combinatorial and ordering properties of sets of numbers and points. due to Zermelo . A cardinal number is the answer to How many one. concepts and materials for the description and use of numbers. An ordinal number is the answer to Which one first. earlier versions of set theory were prone to various paradoxes. Because it reduces numbers to sets. TYPETHEORY. The continuum hypothesis is still unresolved. with no cardinals in between. See also CARDINALITY. set theorists adopted a strict axiomatic method. When the axiom of choice is added a point of some disagreement at first we have the system ZFC. leading to widespread talk of a crisis in the foundations of mathematics. RULES OF. But for every transfinite cardinal. This set has some size. CANTOR. RECURSION. GEORG. the resulting system became known as ZF. consider the set of all cardinals. SET. FOUNDATIONS OF MATHEMATICS. PARADOX. Cantor knew that the size of the linear continuum is greater than the size of . See INFERENCE. But Cantor was unable to prove this. ZW Simplification. This leads directly to a contradiction. and when Fraenkel added one more to the list. Most importantly. which is today the most widely accepted version of set theory. Soundness. it offers an analysis and explanation of numbers and counting. diagonalization would be used in by Gdel to prove the incompleteness of arithmetic. He proved this with a diagonal argument. which is a recipe for taking collections and constructing some object not in that collection. These became known as the Z axioms. it has been shown that current set theory will never be able to decide whether or not it is true. Cantor found that the two sets cannot be paired off in a onetoone correspondence. there is a strictly greater cardinal. In Zermelo developed a set theory in which he was explicit about his assumptions or axioms. Soundness refers to two different but related concepts in logic. Set theory has always generated controversy. but some do not endorse this reduction. although there are many alternatives. and he guessed that it is the next greater size. and his guess is now known as the continuum hypothesis. So there then must be a greater cardinal than that of the set of all cardinals. Following the discovery of many such contradictions. because they find it artificial or unilluminating. For example. By comparing the set of all natural numbers to the set of all the real points between and .Soundness numbers beyond the finite. . called the linear continuum. There are two types of sound argument in sense . or only logically necessary propositions. Materially or contingently sound inferences are those inferences involving at least one merely contingently true assumption. Universal affirmative A propositions assert that the subject is wholly within the predicate. b logically or logically necessarily sound inferences. contingent falsehoods or deductive invalidities among its implications. Thus. depending on whether the true assumptions of the inference include some merely logically contingent propositions. The square of opposition exhibits relationships between the four forms of categorical proposition. and whose conclusions can be either true or false. The conclusions of sound inferences are accordingly guaranteed to be true. FORMAL SYSTEM. Particular negative O propositions deny that all members of the subject are within the predicate. Since tautologies are logical truths or theorems of logic. To be semantically complete. a logic must imply every tautology and deductively valid inference. where the remaining assumptions are logically true. TAUTOLOGY. although there can be deductively valid arguments that are not sound. definitions and inference rules of any semantically sound system of logic will themselves be exclusively logically sound arguments in sense b. These are a materially or contingently sound inferences. A logic is semantically consistent if and only if it implies only tautologies and deductively valid inferences. Universal negative E propositions deny that any of the subject is within the predicate. it follows that inferences derived from the axioms. Square of Opposition An argument is said to be sound if and only if it is deductively valid and has only true assumptions. A system of logic is said to be semantically sound if and only if it is both semantically consistent and semantically complete. with no inconsistencies. VALIDITY. Sound inferences in sense a are of importance especially in the natural sciences and practical reasoning. Logically or logically necessary sound inferences are those inferences involving only logically true assumptions. TRUTH. Combining these two requirements. Particular affirmative I propositions assert that at least one member of the subject is within the predicate. See also CONTINGENT. also known as tautologies or logical theorems. a system of logic is standardly said to be semantically sound if and only if it implies all and only tautologies and deductively valid inferences. where in contrast b is the sense of primary interest in theoretical logic and metalogic. DJ Square of Opposition. each has universal . The subcontraries I and O cannot both be false. so is the subaltern. Contradiction holds even for empty categories. See also PREDICATE. PROPOSITION. Hence the contradictory of a proposition is its negation. The other relationships require existential import specifically. so is its superaltern. but can both be true. but can both be false. Other squares of opposition. E and I to their converses. The contraries A and E cannot both be true. its superaltern if the superaltern is true. ORGANON. including modal and exponible. Categorical propositions may also undergo conversion. obversion. and E and I are contradictories exactly one of each pair is true. inverting the quality and replacing the predicate by its complement. In modern notation the four propositions are as follows A E I O xQx Rx xQx Rx xQx Rx xQx Rx Pairwise relationships between these propositions comprise a square Figure Square of opposition. and contraposition. A and O are equivalent to their contrapositives. AA . A and O. or one of each. and all four to their obverses. replacing the subject by the complement of the predicate and vice versa. All these relationships originate in Aristotles Organon. ARISTOTLE.Square of Opposition or particular quantity and affirmative or negative quality. exchanging subject and predicate. QUANTIFICATION. the subject must have at least one member. SYLLOGISM. each particular proposition is the subaltern of the universal of similar quality. and if the subaltern is false. may also be derived. Lastly. although the square itself postdates him. or one of each. Since categorical propositions have only four logical forms. The usage is typically restricted to deductive arguments. especially those comprised of categorical propositions. Compound Statement. The order of the terms in the premisses can vary. QUANTIFIER. Compound. A. Simple. if all propositions have nonempty subjects. Each premiss is named for the term occurring only in that premiss. LOGICAL OPERATOR. so each mood occurs in ways. The middle term occurs in both premisses. SML Subcontrary Proposition. Figure Major premiss Minor premiss Conclusion MP SM SP PM SM SP MP MS SP PM MS SP Hence there are categorical syllogisms. STATEMENT. I. . Statement. See also CONNECTIVES. The minor and major terms are respectively the subject and predicate of the conclusion which gives each term an abbreviation M. A is a compound formula. which is a logical operator. in propositional logic an atomic formula is just a propositional variable. because it contains the negation symbol. Wellformed categorical syllogisms contain exactly three terms. O. it contains no logical operators. Thus. E. QUANTIFIER. STATEMENT. A simple or atomic statement/formula contains no other statement / formula as a part. or figures. The second figure switches the terms in the major premiss. or molecular statement or formula is any statement or formula that is not simple. For example. COMPOUND. See SQUARE OF OPPOSITION. SML Statement. The major premiss is conventionally stated first. S. Syllogisms are twopremiss arguments. Syllogism. syllogisms have combinations of forms. respectively. Of these are valid. or moods. the third figure in the minor premiss and the fourth figure in both. A compound or complex. SENTENCE. SIMPLE. See also CONNECTIVES. SENTENCE. of which a distinct pair occurs in each proposition. LOGICAL OPERATOR. For example. A compound statement / formula contains at least one logical operator. P. In the first figure each term occurs in the same place in its premiss as in the conclusion. Hence distributed terms are either the subject of universal A or E propositions or the predicate of negative E or O propositions. which may indicate . Traditional logic transformed valid syllogisms into canonically valid first figure forms through conversion. it must also model the conclusion. Tolerating the existential fallacy admits the nine syllogisms ruled invalid when universals may have empty subjects. The middle term must be distributed at least once. At least one premiss must be affirmative A negative conclusion must follow from a negative premiss A particular conclusion cannot follow from two universal premisses Associated fallacy Four terms Undistributed middle Illicit process Exclusive premisses Negative premiss/ affirmative conclusion Existential fallacy A term is distributed when the proposition in which it occurs makes a claim about every member of the class to which it refers. obversion and contraposition. Terms distributed in the conclusion must be distributed in the premisses. If a threecircle Venn diagram models the relationships expressed in the premisses of a valid syllogism. There are lists of rules such that all and only invalid syllogisms break at least one rule. Celarent. For example Rule Syllogisms must have exactly three terms. The mnemonic names beginning Barbara. for AAA. which can thus be read off the diagram. Validity can also be determined diagrammatically. Care is required with particular premisses. EAE record this process the vowels represent the mood. the initial letter the target first figure syllogism and the consonants the required transformations.Syllogism AAA EAE AII EIO AAI EAO EAE AEE EIO AOO AEO EAO IAI AII OAO EIO AAI EAO AEE IAI EIO AEO EAO AAI There are several ways of demonstrating the validity of categorical syllogisms. Syntax only that either of two regions is nonempty. PRACTICAL SYLLOGISM. The syntax consists of the language. See also SEMANTICS. The inference rules hypothetical syllogism and disjunctive syllogism inherit names traditionally given to twopremiss deductive arguments containing implications or disjunctions respectively. PROPOSITION. in which the theory is written. RM . RULES OF. VENN DIAGRAMS. or alphabet. ORGANON. along with rules for constructing wellformed formulae. which governs the assignment of truthvalues to those formulae. Syntax is opposed to semantics. AA Syntax. SQUARE OF OPPOSITION. Not all syllogisms are categorical. See also INFERENCE. Providing the syntax of a formal theory is the first step in its construction. The negation of a tautology is called a contradiction. as a formula that is true under all possible interpretations of its propositional variables. INFERENCE. using only symbols and formulae in logic. One of the problems that arose was that the formulae comprising the language have many possible interpretations and so the question arose as to whether all these models were the ones expected. be false. See also AXIOM. if we think of the natural numbers and how we might categorize them. RULES OF. theorems are wellformed formulae that can be proved using previously accepted rules or axioms.Theorems Tableau. therefore. A proof consists of a series of statements that are in accordance with the rules or axioms. logicians and mathematicians were working on the foundations of mathematics. A few of them are discussed below. A tautology is a statement that is true by virtue of its form and cannot. The term is defined formally in propositional logic. NK Theorems. FORMAL SYSTEM. Generally speaking. See also CONTRADICTION. in mathematical logic. is a tautology in classical logic. Tautology. Russell. A theorem of a theory T is a statement f that can be derived from the axioms of T using the rules of inference of T. then f is a theorem if and only if there exists a proof in T whose last formula is f. we can use truthtables. we need to be sure those symbols and formulae do not have interpretations or models outside of the domain of natural numbers. and it is possible to have several different proofs of the same theorem. INFERENCE. LwenheimSkolem Theorem. the proposition p p. informally. called the law of excluded middle. For example. LAW OF EXCLUDED MIDDLE. mathematics and scientific thought. DH Theorem. More precisely. See SEMANTIC TREE. if T is a formal system. Of philosophical interest are some very famous theorems that have been highly influential in the development of logic. TRUTHTABLES. To test whether a proposition is a tautology. . PROOF. PROPOSITIONAL. Zermelo and others were working on the idea that mathematics could be reduced to logic. Around the beginning of the twentieth century. or were there unintended interpretations that were at odds with known results For example. Hilbert proposed that mathematics could be formalized and that this formal system together with a proof of its consistency would provide a foundation for mathematics. SENTENCE. LOGIC. An Introduction to Gdels Theorems. where Cn is the set of the logical consequences of . E. Gdel made many other contributions to logic. . The first has to do with the consistency of the concept of truth while the second has to do with the nature of truth. SET. and Newman. . See for example. it cannot also be complete. scientific and philosophical endeavour since the s. we say that is a consistent theory. Gdels Theorems. or set of axioms. Informally. we can construct a true statement of arithmetic that we cannot prove. The work of Lwenheim and Skolem gave birth to the extremely productive branch of mathematical logic called model theory. which have been tremendously influential in mathematical. THEOREMS. Gdel is particularly famous for his two incompleteness proofs. an accessible introduction of which is to be found in Badesa. Nagel. eds. New York New York University Press. if those axioms are consistent. including a proof that the continuum hypothesis cannot be disproved using the axioms of set theory. PROOF THEORY. LOGICAL CONSEQUENCE. CONTRADICTION. Calixtos . There are two main difficulties with the concept of truth. When doesnt contain contradictions. GC Truth. Smith. in other words. DH Theory. Gdels Proof. Gdel also made significant advances in proof theory. is a theory if and only if Cn. See also MODEL THEORY. within our theory. Theory Lwenheim and Skolem were able to show that unintended interpretations do exist and the resulting theorem. if the theory is consistent. the first incompleteness theorem tells us that if we have a consistent theory of arithmetic. wherein proofs are themselves analysed as mathematical objects. DEDUCTION. KURT. GDEL. P. then. TARSKI. is known as the LwenheimSkolem Theorem. .R. ALFRED. SENTENCE. Cambridge Cambridge University Press. Kurt Gdel proved several farreaching theorems. NJ Princeton University Press. then. it cannot prove its own consistency. A theory is a logically closed set of sentences of a formal language L Let Cn denote the operation of logical consequence defined on L. See also CONSISTENCY. The Birth of Model Theory Lwenheims Theorem in the Frame of the Theory of Relatives Princeton. of arithmetic together with some accepted truths about provability. J. the proof of which is highly mathematical. The second incompleteness theorem tells us that if we have a formal theory. Truth The concept of truth is notoriously involved in paradoxes.g. interpreted language L can be adequately defined in a metalanguage. Consider the sentence This sentence is not true if its true then its not. Then Tarski proceeds to show that a consistent. The crucial remark here is that each instance of the following Tschema can be regarded as a partial definition of truth in a language L. one which captures soberingly our basic intuition that truth consists in some correspondence to the facts Tschema S is true if and only if p where S must be replaced by a name of a sentence of L and p by an appropriate translation of it. Corcoran. In this respect the philosophical and logical import of Tarskis The concept of truth in formalized languages . and if its not then it is Liar paradox. One obtains a related paradox by considering the adjectival phrase not true of itself and ask whether its true of itself Grelling paradox. it is enough that the metalanguage be built out of the object language by adding to it a theory of morphology e.g. then A and prove that A Currys paradox. Indianapolis Hackett Publishing Company can hardly be overestimated. Semantics. More specifically. Those paradoxes have long been thought to cast serious doubts on the legitimacy of the concept of truth. Tarskis theory proceeds in two steps. J. use of the truthpredicate is made possible by keeping distinct the language containing the truthpredicate the metalanguage and the language to which it applies the object language. Or one might consider sentences like If this sentence is true. ed. Tarski offers an analysis of our concept of truth. First. being higher order. papers from to . The concept of truth in formalized languages. Tarski proves that the set of true sentences of an exactly specified. Metamathematics. Answers to the paradoxes are possible however. This analysis allows for the formulation of an adequacy condition ConventionT any candidate definition or theory of truth for a language L should have as consequences the infinite lot of Tsentences instances of the Tschema. though limited. a kind of arithmetic dealing with strings of L instead of numbers and some logical framework which must be essentially richer than the one available in the object language e. The possibility of defining explicitly the set of true sentences of L in a logically and arithmetically . In Logic. To do so.. Truth enriched metalanguage amounts to a consistency proof of the restricted truthconcept relative to the consistency of the concepts of logic and arithmetic. be it in terms of usefulness or coherence. The reason is that they seem to be incompatible with the fact that it is central to our understanding of the concept of truth that we know a priori that It is true that snow is white if and only if snow is white. there can be no better criteria for truth attribution to a proposition. Pragmatic and coherence accounts. Gupta. In general. The Principles of Mathematics Revisited. coherence truth. Cambridge University Press. While on the coherence account e. Saving Truth from Paradox. J. correspondence or classical truth and deflationist truth. or that . Journal of Philosophical Logic. A. S. Truth and paradox. have mostly been discarded today. than its fitting best. Outline of a theory of truth. justified beliefs. H. . After Tarski. Bradley.g. of James. Hintikka. This significant result had the effect of rehabilitating the concept of truth among suspicious philosophers and of clarifying the principled distinction between truth and provability. Field. . among others. On the pragmatic accounts e. in the last analysis. Journal of Philosophy. Pierce. The basic insight behind those two theories is this since we have no direct access to unconceptualized facts. supposed to be unproblematic. . . one major focus of subsequent research has been to overcome the limitation of this early result and show that a language may also consistently contain its own truthpredicate Kripke. in our conceptual scheme. . Blanschard. . there is nothing more to truth than what is useful to believe. We now come to the latter problem and briefly discuss the four main competing accounts of the nature of truth in the modern philosophical debate pragmatic truth. however. Oxford University Press. theories addressing the question of the consistency of truth are neutral regarding the question of the nature of truth albeit this is sometimes debated. to be true is just to fit coherently in a set of systematic. For certainly it is not true a priori that It is useful to believe that snow is white if and only if snow is white.g. respectively. PARADOX. AB are given below the letters T and F stand for the truthvalues true and false. VALIDITY. This is the deflationists position. AB. Nevertheless. but to the epistemic theory of justification. Both theories can be said to capture the correspondence intuition. given the truthvalues of its atomic formulae. Each row of the table represents a possible assignment of truthvalues to the atomic formulae. ALFRED. not to the notion of truth. AB. logical device it is convenient to assert some infinite lot of sentences All firstorder Peano axioms are true or to endorse blindly some others utterances Platos last sentence is true. one that might have some causal/explanatory power.TruthTable It is coherent to believe that snow is white if and only if snow is white. metaethics and general methodological questions in philosophy. most notably with falsehood. HG TruthTable. or facts etc. AB. Issues to adjudicate the debate range from philosophy of logic to meaning theories. each column represents the possible truthvalues of either the compound statement or its atomic formulae. true is just an internal. but it does not stand for any real substantial property. The reason is that. The truthtables for A. correspondence and deflationist theories firmly stick to the analyticity in true of the Tsentences. however the correspondence theorist is further committed to the view that these sentences hold in virtue of a certain robust relation obtaining between sentences and the world. A truthtable is a tabular representation of the truthvalue of a compound statement of propositional logic. TRUTHMAKER. but rather that they are better construed as pertaining. we might deny that that there is anything to be explained. The existence of a genuine relation is the bulk of the correspondence theory of truth. and it is its task to explain further what this relation is. A T F A F T . TARSKI. This is not to say that there isnt something right to the pragmatic and coherence insights they may have other problems however. By contrast. deflationists argue. See also METALANGUAGE. and for this reason true is not dispensable. See also CONJUNCTION. TRUTHVALUE. CHARLES SANDERS. Emil Post made use of truthtables in his proof of completeness of propositional logic in . CONNECTIVES. VALIDITY. MMu TruthFunctional. PROPOSITIONAL. in which truthtables played a crucial role. because has no determinate truthvalue based solely on the truthvalues of its blanks. which recognizes only the two truthvalues true and false. TRACTATUS. See also CONNECTIVES. WITTGENSTEIN. A T T F F B T F T F AB T T T F AB T F F F AB T F T T AB T F F T TruthFunctional A truthtable is an effective way of computing the truthvalue of every statement of propositional logic. Early attempts to use truthtables date back to the late years of nineteenth century. and is truthfunctional. however. MULTIVALUED. Schrder and Dodgson better known as Lewis Carroll are credited with the original development of truthtables. That is. truthtables provide an algorithm for deciding whether a given statement of propositional logic is valid. LOGIC. Although truthtables originated in classical logic. This is not always the case. A truthfunctional connective satisfies the following condition for an nplace connective and n truthvalues. Peirce. TRUTHVALUE. One neednt have any other information. The adoption of truthtables became widespread after the publication of Wittgensteins Tractatus . The number of different truthtables and the number of their rows depend on the number of different atomic formulae occurring in the table. PIERCE. QUANTIFIER. Truthfunctional logic refers to logical systems containing truthfunctional connectives and no quantifiers. CF . the value of the whole expression is based solely on the truth values of its parts. one can compute the truthvalue of the connective on the basis of the truthvalues plugged in. truthtables can be extended to multivalued logic. LOGIC. In the case of different atomic formulae there are different truthtables with rows. An adjective most frequently applied to some connectives. each of them corresponds to a different binary connective. LUDWIG. that is whether its truthvalue is T for every row of the table. the two definitions logically imply the contradiction that R is a member of R if and only if R is not a member of R. discovered in . EXCLUDED MIDDLE. defines a set R as the set of all sets that are members of themselves. PROPOSITION. Birds fly has the truthvalue true and Fish knit has the truthvalue false. Together. Turing proved the existence of a universal Turing machine that can simulate every Turing machine. nd edn. TRUTH. APM Turing Machine. . SEMANTICS. both Socrates died and Xanthippes husband died. MMu Type Theory. DECIDABILITY. Traditionally. TURING. Russells paradox. The truthvalue of a proposition is one of its semantic properties. . PROPOSITION. A truthmaker is an entity by virtue of whose existence a truthbearer a proposition becomes true Socrates died is true in virtue of the event of Socrates death. There is at least one number dividable by three is made true by each such number. in the Principia Mathematica . Only propositions not questions. LAW OF. An abstract machine defined by Turing in in order to investigate the properties of computable functions. the machine can read and write every cell. ALAN.g. See also BIVALENCE.Type Theory TruthMaker. Cambridge University Press. See also COMPUTABILITY. represented as a table of transition rules for the machines states. TRUTH. developed by Alfred North Whitehead and Bertrand Russell. The theory was first advanced as a component of the classical formal logical system known as the predicate or functional calculus. and a set R as the set of all sets that are not members of themselves. and one truthbearer can sometimes be made true by several different truthmakers e. semantic and set theoretical paradoxes. It consists of an infinite tape divided in cells containing the symbols or . So. propositions have one of two possible truthvalues true and false.g. The problem of determining whether a Turing machine will halt on a given input halting problem is not decidable. LJ TruthValue. Peter is clever is true in virtue of Peters cleverness and Tigers are carnivorous is true in virtue of the kind universal tiger being characterized by the property universal carnivority. A set of instructions. commands or exclamations have truthvalues. determines its behaviour. moving the tape one cell at a time. See also CATEGORY. Type theory originated as a solution to a family of formal logical. One truthmaker can often make several truthbearers true e. Russell assigns all syntax items a particular index or order number. standard predicate logic is also known as firstorder logic. Object terms. NORDER. See also CLASSES. The restriction avoids Russells paradox along with other explicit logical and formal semantic paradoxes by prohibiting the original definitions of R and R from being properly formulated in a typed logic. Russell then restricts the formation principles in the typed logic in such a way that only predicates of order n can attach to a predicate or object term of order n in a wellformed formula. predicates representing the properties of order properties are of order and so on. Type Theory To avoid such antinomies. PRINCIPIA MATHEMATICA. referring to individual things. belong to order . PARADOX. predicates representing the properties of order objects are of order thus. The limitation effectively precludes as improperly formulated any syntactical combination of terms T and T such that TnTn asserting that term T is true of term T. SET THEORY. permitting only such constructions as TnTn. RUSSELLS PROGRAMME. DJ . indefinitely. constants or names and object variables. LOGIC. When speaking. QUANTIFICATION. See QUANTIFICATION RULES. points etc. In a formal system. enabling us to speak about mention it. So x Qx Rx translates as For all x. Universal Instantiation. but we can be more economical in print. It takes the form of For all x. where we may just as readily talk about words or objects. for instance. it is the collection of objects over which the individual variables range and. the universe of discourse includes shapes. ML Universe of Discourse. INTERPRETATION. Placing quotes around a word yields a name for that word. planes. See QUANTIFICATION RULES. can be distinct from the domain. A logical operator in predicate logic. LOGICAL OPERATOR. consequently. See also DOMAIN. QUANTIFIER. PREDICATE. there are two plausible readings of one where the subject is a word and another where its a person. LOGIC. and is symbolized by x. CF . See also DOMAIN. Jim is short talks about the word Jim while talks about a person by using the name. which indicates that something is true of every object in the domain. Clarity of expression is especially important in philosophy. In geometry.Use / Mention Universal Generalization. So. The collection of objects that form the subject matter of an investigation. EXISTENTIAL QUANTIFIER. Initially. Consider Jim is short. or x. See also DE RE / DE DICTO. AH Use / Mention. Universal Quantifier. we can say The word Jim is short. VARIABLE. if x is Q then x is R. in all normal circumstances in which the premisses are true. in other words. an argument or inference in T is valid if the set of sentences consisting of its premisses together with the negation of its conclusion is inconsistent that is. and each leads to a different sort of inductive logic. However. we say that an argument or inference in T is valid if. validity is a semantic notion. RP . By defining validity in this way. the conclusion is true. Veronica does not lay eggs. PROBABILISTIC. LOGIC. we say that an argument or inference is valid if its premisses provide some degree of support for its conclusion. FORMAL SYSTEM. LOGIC. INDUCTION. MODEL. but it is clearly not deductively valid Very few extant mammals lay eggs. Validity Validity. So it seems that there is a notion of validity that is weaker than deductive validity we call it inductive validity. Therefore. the conclusion is also true. then the argument is valid no matter what the conclusion is. the following argument seems to be valid. NONMONOTONIC. the conclusion is also true. we might say that an argument or inference is inductively valid if the premisses make the conclusion likely or probable. LOGIC. LOGIC. Validity is a property of an argument or an inference. This leads to nonmonotonic logic. Veronica is a mammal. Generally and informally. Or. There are a number of ways of making this notion precise. Thus. For instance. INFERENCE. If the premisses of our argument or inference are inconsistent. in every possible circumstance in which the premisses are true. THEORY. in all models of T in which the premisses are true. equivalently. an argument or inference is said to be deductively valid if the truth of its premisses guarantees the truth of its conclusion. For instance. Different notions of validity correspond to different strengths of support that premisses might supply to a conclusion. Or we might say that an argument is inductively valid if. there is no model in which they are all true. Given a particular formal theory T. This definition leads to probabilistic logic. it seems that deductive validity is not the only variety of validity. See also ARGUMENT. VALIDITY. we introduce a pathology. This is often summarized by saying that from a contradiction one can infer anything. For instance. INDIRECT TEST FOR. INDUCTIVE. VALIDITY. for it seems that the premisses of an argument or inference can support its conclusion without guaranteeing its truth. valid. ID Consider each row on which y is false. . . y. Otherwise. a cross or represents the existence of a class while shading or indicates its emptiness. x noty. or propositions. or name of an object. LOGIC. In modern use. which stand for sentences. y. . Venn represents first all their possible combinations. . Indirect Test of. D Consider each row on which each of j. A notmarked class is indefinite. . Instead of representing the actual relationships between the classes involved in an argument. which stands for an object. . Then one adds visual devices to indicate the state of the subclasses. D If there is such a row on which y is false. Variables in formal systems function similarly to pronouns in natural language. jn. jn are true. PROPOSITIONAL. notx noty of two given classes x and y. Here is the direct test for its validity D Produce a joint truth table for j. ID If there is such a row on which j. In A B. RM Venn Diagrams.Venn Diagrams Validity. RP Variable. . See also ARGUMENT. the argument is invalid. Consider this propositional argument j. therefore. . x y Figure All x are y. TRUTHTABLE. . QUANTIFIER. . the argument is invalid. jn. . . . Sometimes it is quicker to use the indirect test for validity ID Produce a joint truthtable for j. For instance. two intersecting circles show the four possible subclasses x y. y. . jn are all true. In the predicate logic formula xQx Rx. . valid. A and B are propositional variables. Otherwise. A diagrammatic scheme first published by John Venn in as an improvement over Euler diagrams. . x is a variable. jn. notx y. VALIDITY. . . Higher order logics also contain variables in predicate positions. See also PREDICATE. . . PROPOSITIONAL VARIABLE. their reference varies. . Conjectures and Refutations. however. than A. Dordrecht Reidel. which is false. Consider then the following examples . Verisimilitude is similarity to the whole truth. . . Kuipers. ABC is the maximally informative true description of the world. Niiniluoto. AM Verisimilitude. See also EULER DIAGRAMS. AB is less probable. . AB is more informative. than A. the problem of verisimilitude has been investigated by Oddie. This means that the verisimilitude of a theory depends both on its informative content how much the theory says and on its accuracy how much of what the theory says is true. Suppose that. I. Routledge. x X y Figure Some x are not y. Likeness to the Truth. T. since all they say is true. and then more verisimilar. and then more verisimilar than B. Truthlikeness. Afterwards. A is true. x X y Figure Some x are y. A sentence or theory is highly verisimilar if it says many things and many of these things are true. K. Boston Reidel. The first formal definition of verisimilitude was proposed by Popper. . in a very simple language. G. The sentences A and B are equally informative. since both make a single claim about the world. The latter example also shows that verisimilitude is different from probability in fact. VENN. however. JOHN. although more verisimilar. Verisimilitude Figure No x is y. . The sentences A and AB are equally accurate. . See also LOGICAL CONSEQUENCE. SENTENCE. THEORY. The Stanford Encyclopaedia of Philosophy.Verisimilitude What is ClosertotheTruth. TRUTH. Truthlikeness. G. GC . Amsterdam Rodopi and many others. POSSIBLE WORLD. For a survey. PROBABILITY. see Oddie. . passion. Categories are the fundamental elements of being. and is said to have been the first to recognize the Fregean distinction between the force and the content of a sentence. The first and most important is substance. Posterior Analytics. the first to formulate logic as a general theory of inference. quantity. Porphyry and Boethius and in his large logic treatise the four books of the Dialectica he formulated a conceptualist solution to the problem of universals according to which properties intended as single entities literally shared by many individuals only exist in the human mind. for without it no other categories could be predicated.Key Thinkers Abelard. theologian and logician. On Interpretation. posture. horse. for example Socrates. habit. relation. high. beautiful. Abelard can be considered the father of Scholasticism. Moreover. There are ten categories substance. Aristotle /BCBC was a Greek philosopher and scientist.. time. . Prior Analytics. of entailment between premisses and conclusion. provided a thorough study of syllogism.e. developing a purely truthfunctional propositional logic based on the notion of inferentia i. His logical works are assembled in the Organon and have the titles of Categories. Abelard introduced the de re / de dicto distinction that differentiates two types of modal statements. place. quality. the medieval manner of philosophizing that aimed to ground Christian doctrine on the logical rigour of dialectical reasoning. The Categories deal with notions that are said without any combination. Topics and On Sophistical Refutations. In his commentaries on Aristotle. MMo Aristotle. and from the logical standpoint are the highest genera. Peter. and emphasized the role of propositions rather than terms in language and logic. Peter Abelard Latin Petrus Abaelardus or Abailard was a French medieval philosopher. action. In Prior Analytics. memory and experience. from which always true conclusions derive. The premisses of dialectical inferences are opinions accepted either by all or by the majority or by wise men. In the Metaphysics. in which the major premise is true. Dialectical arguments must not be confused with the eristic arguments dealt with in On Sophistical Refutation. the soul survives the body. in which the subject is combined with a predicate. Aristotle explains how to obtain universal knowledge by means of sensation. For example All animals are mortal major premise. The ontological formulation of principle of noncontradiction states that it is impossible for . Aristotle asserts the identity of language. Aristotle develops the theory of logical inference. Induction has no demonstrative value. aiming towards new knowledge. thought and reality. which says that one cannot say of something that it is and that it is not. which proves the contrary of the conclusion by showing that a contradiction follows from the premisses. which is a particular kind of syllogism that has always true premisses. The two necessary elements of a proposition are noun and verb and only in their combination is there truth and falsity. The Posterior Analytics deal with scientific or demonstrative syllogism. and have therefore an epistemological value for Aristotle. all men are animals minor premise. while falsity is disagreement with reality. which have opinions as premisses. namely an inference composed by three propositions. The most important logical inference is the syllogism. The last kind is abduction. In the second book of the Posterior Analytics. Truth is accordance with reality. in the same respect and at the same time. the soul is an immortal thing. all men are mortal. whose aim is not to discover truth. but to merely dispute. the minor is probable or not demonstrable. In this book. it has only heuristic value. The third kind is induction. Aristotle provides also a first sketch of modal logic by introducing the notions of possibility. and therefore the conclusion is not certain.Aristotle In On Interpretation. existence and necessity. The Topics deal with dialectical arguments. Aristotle deals with the theory of proposition. in which the conclusion is inferred from two premisses of a certain form. An example of abductive inference is The body is a mortal thing. Aristotle elaborates for the first time the principle of noncontradiction. which infers from particular premisses a general conclusion. The second kind of inference dealt by Aristotle is confutation. From the principle of noncontradiction follows the principle of the excluded middle. became a stronghold of Jansenist thought. verses and harmony. but of one subject we must either affirm or deny any one predicate. It has been credited by Noam Chomsky with anticipating some of his own work in linguistics. ou lart de penser. The former work. better known as the PortRoyal Logic. Aristotle deals in Rhetoric and Poetics with the art of the rhetorical and poetical discourse. Jansenists emphasized personal spirituality and divine grace over free will. rhythm. which asserts that there cannot be an intermediate between contradictories. The main logical argument of the poetics is the example. MS Arnauld. AA . Antoine. Arnauld was a prominent exponent of Jansenism. a controversial movement in seventeenth century French catholicism inspired by the Dutch bishop Cornelius Jansenius . otherwise known as the PortRoyal Grammar. His philosophical works include General and Rational Grammar and the fourth set of objections to Descartess Meditations. where Arnaulds sister Anglique was abbess. with which it shared a strong Cartesian influence. but defying mainstream catholicism. Some of Arnaulds bestknown works were composed as contributions to its educational programme. The formerly Cistercian convent of Port Royal. Rhetoric is the art of the persuasion and its logical argument is the enthymeme. theologian and philosopher. Antoine Arnauld was a French priest. was a companion to the Logic. Arnauld was a prolific philosopher. echoing Calvinist thought. In addition to his many works of theological controversy. Key Thinkers one thing to be and to not be at the same time. The enthymeme is a syllogism that proceeds from probable premisses and its aim is to convince the audience and not to find the truth. He was the principal author of La logique. Poetics deals with imitation of human actions by means of language. which is a kind of incomplete induction that produces a general concept capable of capturing all the characteristics of its particular instances. perhaps the most influential of early modern logic texts. She is known for the Barcan formulae and for the Barcan proof of the necessity of identity. These were well in advance of Tarskis semantic conception of logical consequence. but his other accomplishments are increasingly becoming appreciated. was a British Presbyterian minister. His work was noticed by Husserl and Twardowski. mathematics and philosophy is now recognized to have anticipated much better known later works. on its own writing of propositions.Bolzano. propositions and logical consequence. Bayes proposes that evidence confirms the likelihood of a hypothesis only to the degree that the evidence would be more probable with the assumption of the hypothesis than without it. ZW . Bolzanos thought on logic. Bolzanos life included philanthropy and controversy. metaphysics and philosophy of science. ideas and truth in themselves. A priest and professor of Catholic doctrine in Prague. put more emphasis on observable entities and events. Bernard. Bernard Barcan Marcus. theologian and logician. like Frege to come. developed quantified modal logic in the s. Rebuffing any intrusion of psychology. To date he is best remembered for the BolzanoWeierstrass theorem of calculus that every bounded infinite set of reals has an accumulation point. His posthumously published Paradoxes of the Infinite was the most sophisticated treatise on infinite sets before Cantor. For Bolzano. respectively. SML Bayes. His four volume Theory of Science contains detailed thoughts on truth. Bayes deals with the chance of events in connection to preexisting circumstances and after the occurrence of particular events which he termed prior odds or probability and posterior odds. it remains unclear whether Bayes himself would have endorsed such an understanding or. logic was broadly conceived to include epistemology. Although his name is nowadays connected to a number of interpretations of probability that share the idea that probabilities express degrees of beliefs rather than frequencies. Thomas. MMo Bolzano. all developed because Bolzano did not believe that logic at the time was adequate for use in mathematics. Ruth Barcan Marcus b. Bolzano was concerned with logic objectively. Ruth. In the essay. Thomas Bayes ca. instead. His Essay towards solving a problem in the doctrine of chances published posthumously by his friend Richard Price in the Philosophical Transactions of the Royal Society of London contains the statement of a special case of what is known today as Bayes theorem. next time you use Google or AltaVista. not both. philosopher and the inventor of Boolean algebra. His first paper. Cork. Tragically. mathematics and theology. it is through his work that we have the options AND. Ireland. Boole is. This. where he devoted the rest of his life to academic study. is usually referred to simply as Booles Laws of Thought. His ideas on reasoning and his logical system were developed further in An Investigation on the Laws of Thought on which are founded the Mathematical Theories of Logic and Probabilities . OR. He is buried in Blackrock. Key Thinkers Boole. For this work he received. Booles work on the algebra that bears his name proved to be fundamental to the design of digital computer circuits. from the University of Dublin. in . Ireland in . He invented Boolean algebra. For example. Queens College. where true and false are denoted by and . Boolean operators are used in search engines. The Mathematical Analysis of Logic. a gold medal from the Royal Society and an honorary degree of LL. a suburb of Cork. George Boole was an English mathematician. A prolific author and contributor to the burgeoning theory of differential equations. however. true OR true returns true but true XOR true returns false since XOR only allows only one of the statements to be true. published work in philosophy. DH Bradwardine. His focus in logic was the . expounding his thoughts initially in his book. published at the age of was Researches in the theory of analytical transformations. seven years later. all the others can be built. he died of pneumonia in Ballintemple. with a special application to the reduction of the general equation of the second order printed in the Cambridge Mathematical Journal in February . NAND NOT AND and NOR NOT OR. remember Boole. George. best known for his work in logic. Thomas Bradwardine c. on December .D. EOR exclusive OR. County Cork. respectively. his most famous work. The Moon crater Boole is named in his honour. He was born on November . also symbolized as XOR and NOT. Thomas. into a workingclass family in the English city of Lincoln. Boole was appointed the first Professor of Mathematics. Boole was made a Fellow of the Royal Society in . From the additional operators. With clear Kantian and Schopenhauerian overtones.e. Formalism is false. In order to establish that P is true we need to show that everything it signifies is the case but we cannot do this. was a Dutch mathematician who made a number of noteworthy mathematical discoveries in topology a branch of geometry and whose views within the philosophy of mathematics have been extremely influential. In his textbook. Art and Mysticism. one of the strongest influences on logic through the early modern period.e. Buridan discussed all of the standard topics of medieval logic syncategorematic terms logical constants. Jean insolubles such as the liar paradox What I am saying is false. His solution accepts that this sentence is false. He argued that mathematical truths are grounded in real thought i. Brouwer continued to develop this position right up until his last publication in . Mathematical truths are nonlinguistic and so any attempt to ground mathematics in linguistic axioms must fail i. and can be traced back to his book Life. experience alone. In his dissertation On the Foundations of Mathematics Brouwer applied these ideas to mathematics. Luitzen Egbertus Jan. syllogisms. BC Buridan. and so no realm of independently existing mathematical objects i.Buridan. CA Brouwer. and fallacies. Summulae de dialectica. Two things follow from this There are no unexperienced mathematical truths. insolubles semantic paradoxes. Brouwers motivations for developing this position were philosophical. He rejects that P implies that P is true. His approach influenced many later accounts such as those of Buridan and Albert of Saxony. Jean Buridan ca was a fourteenthcentury French logician and philosopher. supposition theory reference. SU . He is the founder of a school of thought known as intuitionism the view that the truth of mathematical statements is not independent of our thought. or Bertus to his friends. Platonism is false. Luitzen Egbertus Jan Brouwer . Jean. he contends there that real thought is a kind of nonintellectual and nonlinguistic mental experience. but not that it is true.e. which states There is no set whose size is strictly between the set of the integers and the set of the real numbers. At the end of the s. completeness and categoricity. He also introduced the concept of the power set of a set A. In Meaning and Necessity . Carnap is especially famous for his philosophical applications of the new logic. Kurt Gdel and Paul Cohen proved the hypothesis to be independent from the axioms of ZFC set theory. Cantor clarified the concept of an infinite set with his distinction between cardinal and ordinal numbers. Rudolf Carnap was one of the leading members of the Vienna Circle. which is the set of all possible subsets of A. of which Carnap was a major exponent. Georg. the Viennese circle around Moritz Schlick took . and he proved what became known as Cantors theorem the size of the power set of A is strictly larger than the size of A. a group of philosophers whose position is known as Logical Positivism or Logical Empiricism. and this led to his famous incompleteness proof. Abriss der Logistik and Einfhrung in die symbolische Logik . in which he tried to clarify the notions of consistency. on which he built an arithmetic of infinite sets. Gdel managed to get the notions clear. Rudolf. and wrote two introductions to symbolic logic. He showed that there are infinitely many possible sizes for infinite sets. he worked on a flawed and only recently published manuscript Investigations to general axiomatics. Prior to his work. Key Thinkers Cantor. This proof was a serious blow for logicism. On his recommendation. Carnap studied logic with Frege. he elaborated the first semantical models for modal logics by means of the method of intension and extension. showing for the first time that there exist infinite sets of different sizes. mathematicians had been using an implicit. naive concept of set without a distinction between different sizes of infinite sets. The German mathematician Georg Cantor is the founder of modern set theory. but this work was soon eclipsed by Kripkes possible worlds semantics. Cantor also introduced the continuum hypothesis. Carnaps technical contributions to formal logic are interesting but rather unfortunate. Cantor proved that the set of real numbers is bigger than the set of natural numbers. KV Carnap. even for an infinite set A. Although Chrysippus was a prolific author. he studied the syntactic and semantic features of various formal languages. His lasting . He tried to provide a precise and formal redescription of all knowledge on the basis of logic and one extralogical predicate recollection of similarity only.Chrysippus an interest in logic. AM Chomsky. Chomsky also advocated a grammatical level of logical form to represent scope and other contributions to semantics attributable to principles of universal grammar. Dodgson . Noam. He published The Game of Logic and Symbolic Logic Part .C. contextsensitive. Hence. Carnaps Der logische Aufbau der Welt is the most notable elaboration of this logicalempiricist project. A logical paradox and What the Tortoise said to Achilles . He invented rectilinear diagrams for solving syllogisms and pioneered the use of trees to test the validity of sorites. British logician better known for his widely quoted Alice tales. Carnap worked on inductive logics and their application to scientific confirmation. a view later contested by Quine in his attack on the analyticsynthetic distinction. was one of the founders of Stoicism. he has been credited with the first account of disjunction. Lewis. The latter is often considered as the best exposition of the difference between a premise and a rule of inference. none of his works survive his views must be reconstructed from commentary by his critics. Carnaps physicalism implies that all scientific theories in the natural sciences should be expressed in a formal logical language. Pen name of Charles L. Noam Chomskys b. He is best remembered for two papers in the journal Mind. LD Carroll. Introduction to Semantics . Formalisation of Logic and Meaning and Necessity . investigations of natural language syntax resulted in the nested Chomsky hierarchy of grammar types unrestricted. contextfree and regular. in his semantical works Logische Syntax der Sprache . Fragments of Part appeared in . and sought to combine logic with a strong empiricist epistemology. The Greek philosopher Chrysippus of Soli B. Carnap believed that logical and mathematical statements can be unequivocally distinguished from descriptive statements. A pioneer of propositional logic. ABr Chrysippus. Since the s. Since recursion is formally definable. Emil Post and Alan Turing each proposed independent explications of the informal notion of an effectively computable function. sniffing all but one of the exits. dogs reason better for not having logic. . The story has been retold many times. Key Thinkers memorial may be Chrysippuss Dog. dogs use logic. or algorithm. with at least four different morals . dogs use logic. Churchs Thesis is also important because of its relation to Turings formulation. so they are as clever as humans. The third position is perhaps Chrysippuss own. dogs reason well enough without logic. Imagine a dog tracing a scent to a crossroads. that the computable functions are the recursive functions. . It provides a formal characterization of an intuitive concept. has become known as Churchs Thesis. A legend of Chrysippuss death continues the animal theme he is said to have died laughing as a drunken donkey tried to eat figs. Chrysippus argued that the dog effectively employs disjunctive syllogism. In . a thought experiment concerning the logical capacities of animals. AA Church. Alonzo Church. Alonzo. The three formal notions were later shown to select the same class of mathematical functions. Church initially formulated the thesis in an attempt to answer the question of whether firstorder logic was decidable. or the ChurchTuring thesis. The resulting thesis. The notion of a recursive function traces to Gdel. Church considered a related class of functions called definable. Churchs Thesis provides a method for determining whether a particular problem has an effective solution. so using logic is nothing special. A theory is decidable if there is a procedure for determining whether any given formula is a theorem. Turing selected the recursive functions by considering the abilities of . According to Sextus Empiricus. . concluding that since the quarry left no trace on the other paths. and then proceeding down the last without further examination. Further equivalent formulations have been produced by Gdel and others. Churchs Thesis is important because we want to know whether some problems have algorithmic solutions. For example. it must have taken the last. Church. Others take it to be merely another mathematical refinement of a commonsense notion like set. in contrast to relational predicates. we can show that there is no effective decision procedure for firstorder logic. or Turing Machines. like is blue. Churchs Thesis is independent of the purely technical result called Churchs Theorem. limit or logical consequence. as long as it contains nonmonadic predicates. takes only one argument. However. Appending Churchs Thesis to Churchs Theorem. Some philosophers consider Churchs Thesis to be a working hypothesis. This debate has focused on whether any identification of an informal concept with a formal notion can be proven. Churchs Theorem shows that firstorder logic is recursively undecidable. no sure method for deciding whether a formula of firstorder logic is valid. there is some debate over whether Churchs Thesis is provable. Alonzo logical computing machines. function. Some writers who have compared Turing machines to human minds have used Churchs Thesis with excessive enthusiasm. and it also appears that every effectively computable function is recursive. Still. making broader claims about its implications than are supported by the thesis properly construed. Churchs Thesis is entirely silent about the nature and limitations of both the human mind and computing machines. like is bigger than or is between. RM . A monadic predicate. In fact. It appears that every recursive function is effectively computable. as Church did. Churchs Thesis is widely accepted. there is a decision procedure for monadic predicate logic. This innovation was thought of highly at the time. I. De Morgans most important contribution in this direction. Key Thinkers De Morgan. Although most of De Morgans contributions to logic are now outdated. The admission of negative terms such as notX is another instance of his desire to go beyond traditional syllogisms. the quantification of the predicate increased the number of propositional forms eight instead of the four traditional A. E. two of his innovations are still widely used the rules related to the negation of conjunctions and disjunctions widely known as the Laws of De Morgan and the concept of the universe of discourse. together with a series of five papers On the Syllogisms which contains the bulk of his contributions to logic. therefore the head of a man is the head of an animal which were outside the syllogistic tradition. De Morgan and Boole are often associated as being the founders of mathematical logic an expression coined by De Morgan. In a way. British mathematician and logician . As such. O propositions and consequently the list of valid and invalid syllogisms. with the treatment of new forms of statements A is greater than B and inferences man is animal. De Morgan acted as a reformer of traditional logic and opened the way to Booles more radical changes. although both were actually preceded by the botanist George Bentham who already introduced that idea as early as . he published two major books Formal Logic and Syllabus of a Proposed System of Logic . Augustus. it illustrates De Morgans efforts to reform and extend the logic of his time. De Morgans early works are mainly remembered for the priority dispute that opposed him to the Scottish philosopher Sir William Hamilton on the quantification of the predicate. Hi treatment is less alegebraic than Booles however. is the introduction of relations in the field of logic. the quarrel brought a considerable publicity to the study of logic and turned out to be influential as it stimulated George Booles early logical investigations. however. AM . From a logical viewpoint. and taught mathematics at Jena from until he retired in . logician and philosopher whose invention of quantificational theory inaugurated modern logic. for example. Gottlob Frege was a German mathematician. however. In Begriffsschrift he gave his first exposition of the logical system by means of which arithmetic was to be reduced. such as those of Kant and Mill. such as Unicorns do not exist. G. In . In Grundlagen he offered an informal account of his logicist project. Die Grundlagen der Arithmetik The Foundations of Arithmetic in and Grundgesetze der Arithmetik Basic Laws of Arithmetic. then how is this possible On Freges view. however. which makes clear that there is no mysterious . Moore and Ludwig Wittgenstein was one of the main founders of analytic philosophy. he received a letter from Bertrand Russell informing him of a contradiction in his system the contradiction we know now as Russells paradox. Although Frege hastily wrote an appendix attempting to respond to the paradox. To say that Jupiter has four moons. chemistry and philosophy at the Universities of Jena and Gttingen from to . the first volume of which appeared in and the second volume in . criticizing other views about arithmetic. and was led to abandon his logicist project. as the second volume was going to press. The central idea of Freges logicism is the claim that a number statement involves an assertion about a concept. something that can be defined purely logically. and published a number of influential papers. E. Born in Wismar in northern Germany. he soon realized that the response did not work. He continued to develop his philosophical ideas. he studied mathematics.Frege. and to correspond with other mathematicians and philosophers. however. In Grundgesetze he refined his logical system and attempted to demonstrate formally his logicist thesis. physics. Freges main aim in these books was to demonstrate the logicist thesis that arithmetic is reducible to logic. and who together with Bertrand Russell. is to say that the concept moon of Jupiter has four instances. The three books that he published in his lifetime were Begriffsschrift Conceptual Notation in . The significance of this idea comes out when we consider negative existential statements a type of number statement. But if there are no unicorns. involving the number . the statement is to be interpreted as The concept unicorn has no instances. We might be tempted to construe this as attributing to unicorns the property of nonexistence. Gottlob. Gottlob Frege. and a series of three papers he published under the general title of Logical Investigations in . namely. especially in the areas of philosophy of language. The general strategy here. and through them on the development of analytic philosophy. he develops his ideas further. and informative because the two names nevertheless have different senses reflecting the different ways in which Venus is presented as seen in the morning and as seen in the evening. Key Thinkers reference to unicorns themselves. an identity statement such as The morning star is the evening star is correct because the two names the morning star and the evening star have the same reference. On Sense and Reference and On Concept and Object. MB . In Freges later paper The Thought. the doctrine that concepts are functions that map objects as arguments onto truthvalues. explaining how thoughts as the senses of sentences can be regarded as inhabiting a third realm distinct from both the physical and the mental realms. the planet Venus. In recent years. was to become a central idea of analytic philosophy. Function and Concept. of which the most famous is Thought. even Freges philosophy of mathematics has been given a new lease of life by socalled neologicists. and the distinction between sense Sinn and reference Bedeutung. In the first set of papers Frege outlines the main ideas that informed the development of his logical system his use of functionargument analysis. introduced in order to explain how identity statements can be both correct and informative. who have attempted to bypass the problems caused by Russells paradox. Freges ideas are more vigorously debated now than at any point in the past. the distinction between concept and object. Besides his books. Frege is best known for three papers he wrote in the early s. The latter is the most well known of all Freges ideas. Freges ideas had a huge influence on Russell and Wittgenstein. According to Frege. reformulating a potentially misleading proposition to reveal its real logical form. logic and mind. only to the concept of a unicorn. A is of the form xFx. In Gdel published the Incompleteness Theorems in On Formally Undecidable Propositions of Principia Mathematica and Related Systems I. . Part of the significance of the Incompleteness Theorems is that they show that there are important systems for which these criteria do not hold. and also a relative consistency proof of arithmetic. Moravia. Kurt Gdel was a seminal figure in mathematical logic. Kurt Gdel. Kurt. such as that developed by Russell and Whitehead in the Principia Mathematica. that contain a certain amount of elementary arithmetic and that use methods of reasoning known as finitary. The Completeness Theorem states that for every proposition A in a classical firstorder axiomatic system. but neither A nor A is provable in S. The First Incompleteness Theorem states that there are undecidable propositions in S. A proposition A is said to be undecidable if A is a wellformed formula in the language of S. are discussed here. Consider such a system S. After Austria was annexed by Germany. Another consequence is that given a classical firstorder system. If it is inconsistent. A makes a claim about whether a certain. This means that every firstorder tautology has a proof in firstorder logic. either there is some interpretation of the system in which A is true or there is a proof of A in that system. Gdel received a Ph. Only his most famous results.D. we can always determine its consistency or inconsistency. clearly defined property holds for all of the natural numbers. Among Gdels many achievements are consistency proofs for both the Axiom of Choice and the Generalized Continuum Hypothesis with the other axioms of set theory. in from the University of Vienna. Both theorems apply to axiomatic systems. If it is consistent.Gdel. then it has an interpretation that is either finite or denumerable. That is. The Incompleteness Theorems. In Gdel published his dissertation. Born in Brnn. where F is a welldefined predicate. Such a property holds for all of the natural numbers or it does not. then there is a finite proof of a contradiction in that system. proving the completeness of firstorder logic. but S itself cannot produce a proof one way or the other. Completeness of First Order Axiomatic Systems. Completeness and Incompleteness. he and his wife Adele emigrated to Princeton. where he was a member of the Institute for Advance Study and where he remained until his death. For instance. Key Thinkers The Second Incompleteness Theorem states that. AH . they show that the modes of reasoning envisioned by Hilbert to establish the veracity of mathematics are not sufficient to do so. a proof that S is consistent requires inferences that cannot be formalized in S itself. They have also stimulated large swaths of research in various subdisciplines of mathematical logic. if S is indeed consistent. some propositions expressing the consistency of S are undecidable. These theorems have had a wide influence on the development of mathematical logic. In other words. Hilbert shaped the direction of mathematical thought in the twentieth century. neither of these terms effectively captures the subtlety of his thought. including Cantors paradox arising from consideration of the set of all sets. Some formalists hold that mathematical theories are best understood as uninterpreted systems. Unlike logicists like Frege. David.Hilbert. and Russells paradox arising from the assumption that every property determines a set. Some finitists reject all infinitary results. David Hilbert. Hilberts emphasis on consistency and his claims about the meanings of ideal formulae have led people to consider him a formalist. Intuitionists. the BuraliForti paradox arising from consideration of the wellordering of the ordinals. for whom the consistency of mathematics follows from the presumed truth of its axioms. In philosophy of mathematics. philosophers of mathematics struggled to understand the ramifications of various oddities of set theory. David Hilbert was the progenitor of metatheory in logic and mathematics. Hilbert. then one could hope for a solution to all open mathematical problems. In the early twentieth century. While Hilberts views contain elements of both formalism and finitism. in contrast. that every valid theorem is provable. most famously by framing the Paris Problems open questions presented at the International Congress of Mathematicians. Hilbert believed both that some mathematical statements were true of real objects and that transfinite mathematics was legitimate. concluded that the infinitary mathematics which leads to these paradoxes was illegitimate. Hilbert distinguished between real and ideal mathematical formulae. algebra and analysis. and may be directly verified. His achievements in mathematics include work on geometry. Hilbert tried to establish that mathematical theories were . Mathematical theories which included ideal elements were instead to be tested for their consistency. he also contributed to the theory of relativity. wished to establish finitistic foundations for infinitary mathematics. Brouwer. Hilbert took ideal formulae to be meaningless. In contrast. In addition to consistency. Real formulae are generally finitistic. He was among the most prominent mathematicians of his time. Further. if one can show completeness. Hilbert is variously characterized as a formalist and as a finitist. number theory. for example. Hilbert took the consistency of a set of axioms as sufficient evidence for mathematical legitimacy. RM . Key Thinkers both consistent and complete by studying mathematical systems themselves. Many logical theories are provably consistent and complete. and in defenses of limited versions of Hilberts Programme. in Mark Balaguers plenitudinous platonism. which asserts that every consistent mathematical theory truly describes a mathematical realm. Gdels incompleteness theorems struck a decisive blow against Hilberts pursuit of these results for mathematics. He thus founded the metamathematics and metalogic that characterize much of contemporary logical research. Gdels first theorem showed that. for even quite weak mathematical theories. In contrast. Gdels second theorem proved that the consistency of a theory could never be proven within the theory itself. We can only prove that mathematical theories are consistent relative to other theories. which emphasizes the consistency of mathematical theories. Hilberts views survive in Hartry Fields fictionalism. a consistent theory could not be complete. As one of the first to automate logical inference. AA . A former student of Carnap and Hempel. such as the inverse operations of subtraction and division. he is best known for his theory of probability kinematics a form of belief revision that explains how an agent can change her beliefs when she receives uncertain evidence and his development of an evidencebased version of Decision Theory. William Stanley Jevons was a British logician and economist who developed and refined the propositional calculus of George Boole. Richard. William S.Jevons. and established the convention of reading or as inclusive disjunction. William S Jeffrey. He is also remembered for his invention in of the logical piano. a mechanical device which could determine the relationships of consistency between propositions. Philosopher and logician. AWS Jevons. Jevons may be seen as a forerunner of modern computer science. He eliminated the confused features of Booles system. Key Thinkers Kripke. e. and G K. D. i. Intuitively. e. . that every proposition true in H is possible in H. David Lewis a realist about possible worlds.. especially concerning the provision of a modeltheoretic semantics for modal logic see. Oxford Blackwell. G. Wittgenstein on Rules and Private Language. . is an ordered triple G. Dordrecht Reidel. . Kripkes approach enables the relationships between different systems of modal logic to be specified in terms of the properties of R within those systems rather than. we look at matters thus K is the set of all possible worlds. . Reference and Modality. and Harman. In Davidson. NormalModal as follows A modelstructure . metaphysics and the philosophy of mind. Naming and necessity. In Kripke gave three lectures at Princeton University which were later published as . Between and Kripke published pivotal work in modal logic. Semantics of Natural Language. Kripke . Naming and Necessity.g. R is a reflexive relation on K. Acta Philosophica Fennica. Kripke b. . reprinted in Leonard Linsky ed. Saul Aaron. is not unlike. Despite the central appeal to possible worlds in this and earlier work. K. R where K is a set. Semantical considerations on modal logic. Kripke defends both a direct reference account of proper names siding with Mill against Frege and Russell and the view that proper names are rigid designators. If H and H are two worlds. in terms of the characteristic axioms of the systems. . Kripke / uses this definition of a modelstructure to define a model for propositional modal logic and a model for quantified modal logic. G is the real world. This is probably the most influential work in analytic philosophy since . Oxford Oxford University Press. Intuitively. a statement is necessary at a world if and only if it is true at all possible worlds accessible from the world of evaluation. is a renowned philosopher and logician who has published wellknown and highly influential work in modal logic.. and who has written an important book on some themes addressed in Wittgensteins later work . HRH means intuitively that H is possible relative to H.e. R is commonly known as the accessibility relation. the philosophies of logic and language. . . as previously. Oxford Blackwell.g. eds. Kripke defines a modelstructure for systems at least as strong as T see Logic. claiming that there are necessary a posteriori truths and suggesting. that there are contingent a priori truths. SML . Outline of a theory of truth. more tentatively. offers an original and technically demanding approach to the semantic paradoxes. Kripke . Saul Aaron Kripke also launches an attack on the thesis that a truth is necessary if and only if it is a priori. He defends the thesis of the necessity of identity and employs it against versions of materialism in the philosophy of mind held to entail that mental states are contingently identical to brain states.Kripke. Journal of Philosophy. They are based on the principle of sufficient reason. Leibniz clarifies the conceptual distinction between necessity and contingency. In calculus. Leibniz. Leibniz experiments with numerous notations aiming at the algebraic treatment of relations. Nothing happens without a reason. Gottfried Wilhelm was a German philosopher. mathematician and logician. the sentence tall man corresponds to ab. had much impact upon early AngloSaxon analytic philosophy. Gottfried Wilhelm. the letter b the category of quantity. Combining concepts. which ought to account for all concepts and their combinations. the quantity with tallness and the quality with beauty. Truths of reason are all mathematical demonstrations. The former are necessary so that their negation is impossible. But he also conceives of logic in a much broader sense than the modern view he is often called to legitimize. The latter are contingent and their opposite is possible. the letter c the category of quality and combining the substance with man. so that the root of contingency lies in the infinite. is one of the tools Leibniz uses to set up his ars combinatoria that would make possible the acquisition of new truths as well as their rigorous proof. the sentence beautiful man corresponds to ac. The combination of signs would ideally bring about a universal language. for any truth to obtain. for any event to occur. necessary truths only by means of an infinite analysis . where the design of a good notation is fundamental for the representation of human reasoning. every concept would have a corresponding sign. Truths of reason do not derive from sensible experience. as read by Bertrand Russell. For instance. dividing all truths into two kinds truths of reason and truths of fact. Truths of fact could become truths of reason. Leibnizs logic is symbolic and aims at reducing all logical arguments to a combination of signs. then. and thus on the principle of noncontradiction. Key Thinkers Leibniz. and the sentence beautiful tall man to abc. denoting with the letter a the category of substance. for they are founded solely on the principle of identity. Logic is therefore grounded on calculus. that is. a suitable character that represents it. Leibnizs logicism. The facts of nature are guided by the actual infinite. and arguably the founder of mathematical logic. Truths of fact derive from experience and the negation of their conclusion is conceivable without contradiction. which says that there must be a sufficient reason for anything to exist. Analysis provides for clear and distinct cognition.Lewis. the consequent is true. which says that nature makes no leaps. it is instead graded. His idea of the pragmatic a priori contrasts necessary truths with contingent facts by claiming the former are indispensable to theory. However. versatile and prolific American philosopher. the difference between the two is not absolute. rather than that they cannot be thought without contradiction. On the other hand. Polish logician and philosopher. On the intensity of clarity and distinctness is based the difference between sensitive and intellectual cognition. KD Lewis. N. Ontology calculus of objects and Mereology calculus of mereological or collective classes. for gradation is nothing more than the expression of the law of continuity. Lewis was an eminent. notations and diagrams which include irreducible visual aspects. Instead. Lesniewski . The third principle enunciated by Leibniz is the principle of the identity of indiscernibles. Clarence Irving. .. MS Lesniewski. Counterfactuals. in The calculus of strict implication Mind. a counterfactual conditional is true if in the possible world most similar to the actual world in which the antecedent is true. David Kellogg. If I had asked Elaine . Oxford Blackwell offers a semantics for counterfactual conditionals. established the Warsaw School of Logic together with ukasiewicz. he proposed a strict implication with ramifications for formal modal languages. Lewis criticized the handling of material implication in Russell and Whiteheads Principia Mathematica in Implication and the logic of algebra Mind. A theory of conditionals. American philosopher with pragmatist leanings. Stanisaw. In Rescher. Intellectual cognition is clearer and more distinct than sensitive cognition. For example. Lewis . On the account of Robert Stalnaker . . which states that two or more objects or entities are identical if and only if they have all properties in common. NB Lewis. ed. Oxford Blackwell. He proposed a system of logic intended as a most general description of reality. David Kellogg but the latter would surpass the theoretical resources of any human epistemic agent. Lesniewskis logic consists of Protothetic generalized propositional calculus. . analysis requires different modes of representation. Studies in Logical Theory. Lwenheim is known for his work on relations and for an early provocative result in logic. ukasiewicz . had important results within propositional logic. Best known are the Lindenbaum maximalization lemma and LindenbaumTarski algebra. I might have been since there is another possible world in which there is a counterpart of me who is in fact agnostic. In addressing de re modality. On the Plurality of Worlds. k. RM ukasiewicz. realism about possible worlds and the view that modal operators are quantifiers over possible worlds. Jan. ukasiewicz also invented a bracketfree logical symbolism known as Polish notation. a distinguished member of the Warsaw School of Logic. Adolf. the leader of the Warsaw School of Logic. NB . I am not agnostic. j. and in multivalued logic. The theorem says that if a firstorder theory requires models of infinite size. In our example. Key Thinkers to marry me she would have refused is true if among those possible worlds in which I did ask Elaine to marry me the possible world most similar to the actual world is one in which she refused. NB Lwenheim. Lewis . . especially the axiom of choice. Parts of Classes. but. Lewis . had a central part in the development of metamathematics. He had important results in the foundations of set theory. w. particularly ancient Greek logic. Lewis defends counterpart theory. if there is a world. Oxford Blackwell provides an original contribution to the philosophy of set theory. He made revolutionary contributions to the history of logic. SML Lindenbaum. models can be constructed of any infinite size. Counterparthood is a relation of similarity rather than identity I exist only in the actual world. which has come to be known as the LwenheimSkolem theorem. according to Lewis. the most prominent being the discovery of multivalued logic. such that k is at least as similar to w as is j and at k my counterpart proposes to Elaines counterpart and she does not refuse after . the counterfactual is true at the actual world. Lindenbaum . . Oxford Blackwell invokes counterpart theory. in which my counterpart asks Elaines counterpart to marry him and she refuses and there is no world. closely similar to w. Leopold. a student of Socrates. Eubulides of Miletus. Something that is possible may never be true i. which endanger the unity of goodness. AM Megarians. The Megarian School was founded in Athens by Eucleides of Megara c. so that the essential natures of things are bodiless forms. Scottish logician . Philo of Megara. who had some influence on Stoic logic. in the first half of the fourth century BC. successor of Eucleides. true. The fact that not all possibilities are realized allows a multiplicity of opposites to be possible. that is. what is possible may be false. I. the opposite of goodness has no existence. and is thereby inconsistent with the two other true assertions.Megarians MacColl. change contradicts immutability. He later collected his innovations in Symbolic Logic and its Applications . as he supposed that the future does not contain the realizations of all possibilities. Diodorus Cronus. what is possible either is. based on the three following assertions Everything true about the past is true in the present. held the view that not all possibilities are realizable. Hugh. The impossible does not follow from the possible. Lewiss work on implication and opened the way to pluralism in logic. Indeed. and potentiality conflicts with oneness. criticized Aristotles concepts of motion and potentiality. The third proposition is said to be false.c. meaning that whatever is possible is actual at some time. Eucleides defends the unity of goodness while the highest good accounts for the highest reality. In that case. By contrast. He defined the socalled Master Argument.e. or will be. What is possible may not be actual at some future time. The sensible world of perceptions is said to be an illusion. insofar as not all potentialities are actualized. student of Diodorus. not all possible events will be actualized. assumed that what is possible about the past is necessarily realized in the present or future. may never be realized. Diodorus defended the view that all possibilities are realizable in the present or future. His theory anticipated C. . Eucleides. He is remembered for introducing propositional calculus in the late s and modalities in the late s. Thus. combined Parmenides notions of oneness and immutability with Socrates idea of true knowledge. he was an administrator in the East India Company. are we telling the truth or are we lying They also adopt the eristic method. he became a fervent spokesman for utilitarianism. Lately. But at age he experienced a crisis of his psychological history. differing from it in dealing only with valid reasoning and in being an art rather than a science. An extremely precocious and gifted child. as he would later argue in his Utilitarianism. according to the principles of Jeremy Bentham. John Stuart. whose principle is that in promoting pleasure one increases social welfare. whose father James Mill belonged to the Scottish school of psychology. He later expressed his conceptions about logic and reasoning in An Examination of Sir William Hamiltons Philosophy and in the notes to the edition of his fathers Analysis of the Phenomena of the Human Mind. a deep nervous breakdown caused by his too strict education. which cannot be . He indeed views logic as a branch of psychology. his godfather and the founder of utilitarianism. Mills main point is that the propositions and inferences of logic have a genuine cognitive content they do not state analytical truths but empirical facts about the world. Even mathematics is an empirical science. which aims to win arguments. namely If we say that we are lying. Though his interests were in great part political. Key Thinkers The Megarians were the first to coin the Liar paradox. He spent most of the end of his life in Provence where his wife was buried. he was educated by his father in a very rigorous way. he won his philosophical spurs not only with the Principles of Political Economy. contrary to Socrates heuristic method whose purpose is to discover truths in reality. this disparaging judgment has been reconsidered by supporters of naturalism who hold that regulative processes emerge from the growth of natural entities. From to . but also with his fundamental System of Logic in . Eristic is often associated with sophistic in relation to arguments that systematically refute everything incompatible with the defended doctrine. JLH Mill. His ambition of becoming a master in democracy led him to be a liberal MP in . As intended by his father. Mills system was criticized by modern logicians such as Jevons. John Stuart Mill was an English philosopher and economist. It made him realize that the principles of utilitarianism must be made more humanistic. Peirce and Frege for representing empiricism or psychologism in logic. It challenges what he calls intuitionism e. On the other hand Mills position implies that generality is nothing but an accumulation of particulars. One of Mills major advances is to have drawn from his empirical stance the conclusion that the province of logic includes not only deductive syllogism. John Stuart known a priori. During his lifetime. who claimed that a general proposition cannot be a mere juxtaposition of discrete cases.g. and therefore provides a complete study of what makes an induction valid. Kantian thought. JMC . a position holding that one can know something about the world in only studying our minds structure.Mill. He assumes that scientific method is inductive which would make him Poppers favourite target. Mills central opponent regarding induction was William Whewell. but requires a general conception to be added in order to colligate the facts. but scientific reasoning in general. As such. especially concerning the notions of signification. Ockham also placed a general emphasis on reducing ones ontology to the bare minimum. Key Thinkers Ockham. William of Ockham c. connotation and supposition. In his Summa of Logic. although it should be noted that this formulation appears nowhere in Ockhams own writings. Ockham described logic as the most useful tool of all the arts. Do not multiply entities beyond necessity. and denying the existence of metaphysical universals. based on the Latinized form of his name in vain is done with more what can be done with fewer. In addition to his work on metaphysics. as reflected in the methodological principle that has come to be known as Ockhams Razor or Occams Razor. a universal such as redness is the result of abstraction by the human mind from individual red things. arguing that only individuals exist. / was an English scholastic philosopher. they have no extramental existence. This principle is often expressed using the slogan. ABa . Ockham also made significant contributions to mediaeval logic. According to Ockham. He was a pioneer of nominalism. the fragments were published under the title Penses Thoughts. reason showed that we could wager on Gods existence. laid the foundations for the calculus of probabilities. Blaise Pascal was a French mathematician. However. Descartes deductive proof was irrelevant. love from the heart. He devised a set of axioms for arithmetic. that a vacuum could exist in nature . Pascal experienced a mystical conversion. in other words. but there were no axioms for arithmetic. Blaise. .Peano. and had eventually to be replaced by faith. He also invented the syringe. if God did exist. he wrote on conic sections . against Aristotle. physicist and religious philosopher. and wrote treatises on the weight and density of air. he tested the theories of Galileo and Torricelli by constructing a mercury barometer. for there was nothing to lose and everything to gain. He argued that a man without Grace was incapable of truth. which was a finite loss. Geometry had been developed as an axiomaticdeductive system since ancient Greek times Euclid. created the hydraulic press and demonstrated. In physics. Giuseppe Pascal. he started his work of Christian spirituality. When Peano began his research. JLH Peano. The crucial assumption was that reason was powerless to deduce Gods existence. which remained unfinished at his death. Giuseppe Peano was an Italian mathematician who worked at the University of Turin. on trial for his controversial religious works against the Jesuits. . Giuseppe. Pascals wager was suggested as an argument for overcoming the indifference of the sceptic. and frequented the Jansenist convent of PortRoyal. meaning that only religion had to be loved. He had some influence on the writing of the Logique de PortRoyal by Arnauld and Nicole. On the other hand. which was an infinite gain. that is. If God did not exist. there was a curious asymmetry between arithmetic and geometry. Pascal defended Arnauld. known as the Peano axioms. then the sceptic gained eternal life. In mathematics. In Les Provinciales . designed a calculating device counting integers . the sceptic lost nothing but a false belief. Subsequently. and interpreted geometry as the ideal scientific method Esprit de gomtrie. At the end of . and developed mathematical logic. The wager from reason was intended only to convince the nonbeliever. The successor of any number is a number. and by extension. in so doing. For example. Key Thinkers Peano tried to remedy this situation in his work Arithmetices principia nova methodo exposita. then all numbers have the property Q. inspired by Kant. Charles Sanders. A pioneer in semiotics the theory of signs and signification Peirce also initiated the use of a number of basic methods in modern logic. If has the property Q. P. is known as the principle of mathematical induction. he wrote if A. whenever n has the property Q. the most complicated of the axioms. He wanted to develop arithmetic as a purely formal axiomaticdeductive system. the treatment of relations as classes of ordered pairs. signified and ideal observer. which adopts a triadic notion of signifier. and its employment as a rigorous method in Duns Scotus and Ockham is a paradigm for Peirces own inquiries into the fixation of belief. including truth tables and inclusive. its successor n has the property Q. all the logical principles used in the deduction of theorems from the axioms had to be spelled out as formulae. Many of the notations he introduced are still used today. developed mathematical logic. This meant that no ordinary language would be used and everything would be written in formulae. and employed the Spanish tilde to mean not. to present the whole of mathematics as a vast formal system. . We have stated the Peano axioms informally. ordered ntuples. and if. then B as A B. Peano carried out this task. To achieve this. Two numbers are equal if and only if their successors are equal. Peano and his followers went on. Logic particularly the logic of relations forms the basis for Peirces work in semiotics. instead of exclusive. disjunction. ordered triplets. but this is not in the spirit of Peano himself. it justified his ongoing search for metaphysical Categories. His axioms for arithmetic stated informally are the following P P P P P is a number. and. is not the successor of any number. DG Peirce. between and . An American philosopher who coined the term pragmatism and its associated maxim of ascertaining the meanings of concepts from the consequences of employing them. Peirce held an essentially antipsychologistic view of logic. but also held that logical thought could be normatively subsumed under an aesthetic category of what is ultimately satisfactory. Peirce distinguished a third type of inference abduction or retroduction which by its very nature is not formalizable and is today often associated with inference to the best explanation.Prior. AM . KD Prior. Arthur Norman. he explores the relations between time and logic. In his major books Time and Modality and Past. and develops a calculus with two modal operators for past and future tenses. Like Frege. Present and Future . Arthur Norman Keen to explicate the contrast between inductive and deductive forms. Prior is the founder of modern temporal logic. D. Meaning and Necessity. He argued against deviant logics. and met the Polish school of logicians in Warsaw. Quine worked almost exclusively on mathematical logic. such as intuitionistic logic. and wrote a Ph. In . In his early work. thesis in philosophy. that is. Quines philosophical work in ontology. Two dogmas of empiricism and Word and Object . A Generalization of Principia Mathematica . under the supervision of A. Quine added proper classes to NF. First. quantum logic and secondorder logic. had many discussions with Carnap in Prague. he visited Europe and participated in the meetings of the Vienna Circle. Key Thinkers Quine. thus obtaining the settheoretic system ML. Whitehead in Harvard. Chicago University of Chicago Press was the start of a lifelong campaign against modal logic. he became the most outspoken critic of the budding modal logic. Quines most remarkable contribution to mathematical logic is his settheoretic system NF New foundations for mathematical logic. he clearly separated set theory from the less problematic firstorder logic. NF contains nonCantorian sets. . especially on Carnaps manuscript of Logische Syntax der Sprache . In later years. . and it is counterintuitive to prove theorems in NF. Quines negative reaction to Carnaps study of intensional models for modal logic in Meaning and Necessity Carnap. epistemology and the philosophy of language. Willard Van Orman Quine studied mathematics in Oberlin College Ohio. R. he published mainly in ontology. after some groundbreaking philosophical publications such as On what there is . and thus replaced PMs layered universe by a single universe. ontological . The Logic of Sequences. Willard Van Orman. Until the early s. later published as A System of Logistic . but by that time ZFC was generally accepted as the appropriate axiomatization of set theory. Quine was a great advocate of firstorder logic. Quine transformed Principia Mathematica PMs grammatical criterion of wellformed stratified formulae into an axiom schema for set admissibility. The resulting axiom system NF is rather odd the axiom of choice is not valid. More importantly. sets that can be placed in a onetoone correspondence with their subsets. philosophy of language and epistemology was deeply influenced by his background in logic. Quines later handbook for set theory. In Mathematical Logic . Set Theory and its Logic contains an interesting comparison of various settheoretic systems.N. Second. Only objects that can be the values of variables bound by the existential quantifier exist. Willard Van Orman issues can only be determined within a logical framework. Finally. Also settheoretic technicalities have been important for Quines ontology. Quine was one of the first to integrate mathematical logic and natural language. Quines epistemology is strongly influenced by Carnaps logicophilosophical work. His famous rejection of the analyticsynthetic distinction can only be understood against the backdrop of early developments in model theory. Quines ontological solution to Russells paradox was the very basis of his interest in ontology. as the criterion of ontological commitment to be is to be the value of a variable makes clear. Quines dismissal of linguistic notions such as meaning and synonymy goes hand in hand with his extensionalism in logic. in Word and Object. Quine describes the ultimate epistemological aim as the construction of a unified scientific theory expressed in the language of firstorder logic.Quine. inspired by Carnaps Der logische Aufbau der Welt . LD . Furthermore. In his early Hegelian phase Russell was concerned with a complete dialectic of the sciences assuming that all sciences depend on some abstraction that sooner or later leads to contradiction. Bertrand Russell was a British logicianmathematician. It was not only questions on the foundation of pure mathematics that inspired Russells philosophical development. He feared that almost all mathematical ideas are infected by contradictions reducible to the paradox of the the number of all numbers. In Cantor discovered that to speak of the system of all numbers as a set leads to contradictions. as the expression the class of all classes could be formulated in the system and if we then ask Is the class of all classes not members of themselves a member of itself. Russell first outlines his logicism in The Principles of Mathematics his idea was to identify numbers with classes of classes so as to frame numbertheoretic statements in the vocabulary of quantifiers and identity. Mach and H.E. Also called the logic of relations. . we run into contradiction. in turn. The philosophical transition from idealism to realism is particularly marked in the context of applied mathematics by the time Russell composes The Principles of Mathematics . and one of the founders of mathematical logic. He developed the full polyadic predicate calculus after he learned Peanos notation and the insights that underlie it. the transition from his early neoHegelianism and idealist background to his realism which he defended along with G. Mathematics and logic provided much of the inspiration for Russells philosophical development. Hertzs research in mechanics prompts an important change in Russells epistemology. this is one of Russells most significant contributions to logic which was influenced by his study of Leibniz and arguably also of Peirces work on logical relations which. This work was unsettled by the discovery of a contradiction in set theory. Russell learned the new logic from Peano in and enriched it with his own contributions. Russell required a perfect language and it is Russells philosophy of language that establishes the link between his realism and epistemology. in particular. philosopher and writer. Key Thinkers Russell. E. By Russell learned about Cantors work and worried about contradictions in connection with the concept of number. Moore. was based on Booles algebra. Frege had been working on logicism too. Russell observed that Freges attempt to define number by means of classes also generates a contradiction. Bertrand. The axiom that formalizes this idea is known as the comprehension axiom of nave set theory. coauthored with Whitehead. where any predicate may be used to determine a class.Russell. states that all definitions should be noncircular. that is. sentences about classes of individuals at the next lowest level. The vicious circle principle. that is. borrowed from Poincar. All sentences are arranged into a hierarchy sentences about individuals at the lowest level. Bertrand Russells response to the problem of such paradoxes crystallized in the construction of a logical system in which all of the contradictions would be uniformly avoided. it was therefore useful for his ontology. In his original version of the paradox Russell spoke of the class of all predicates that cannot be predicated of themselves. The solution comes with his simple theory of types further developed as ramified theory in Mathematical Logic as Based on the Theory of Types and in the volumes of Principia Mathematica . predicative. in Russells perfect language all objects for which a given predicate holds must be of the same type. Logicism requires that ordinary language be replaced by a logically perfect language which truly captures logical form. The true logical form of description sentences such as The present King of France is bald has to be unmasked by showing how the grammatical subjectpredicate structure translates into a kind of existential sentence in which the apparently denoting phrase The present King of France does not occur. It was also crucial for his logicism. This view also motivated Russells theory of descriptions On Denoting. sentences about classes of classes of individuals at the next lowest level and so on. It also served his epistemology which required that every constituent of immediate objects of thought and experience be something with which we are directly acquainted. the propositional function x is a class may not be applied to itself. . This theory made it possible to avoid positing nonexisting entities as the semantic values of fictional names. NBG . According to his solution. To avoid the reference to classes such as the class of all classes that are not members of themselves Russell restricts this axiom by means of the rules of grammar and the semantics of the type theory. but for Saccheri it was a distinctive feature of fundamental truths that they could be proved no other way. This was seen as less intuitive than the other axioms. if projected far enough. Milan Saccheri sought to clear Euclid of every flaw through application of his favourite inference. Girolamo Saccheri was an Italian logician and Jesuit priest. elliptic geometry may be derived from the obtuse case by foregoing another of Euclids postulates. Euclids chief flaw was held to be the axiomatic status of the parallel postulate. which states that if two straight lines cut a third. This seemingly paradoxical rule may be traced back to Aristotle. the indefinite extensibility of lines. makes extensive use of the inference rule of consequentia mirabilis. Saccheri sought to derive the parallel postulate from its own negation and the other axioms. Otherwise. Moreover. in the acute case the derivation is invalid Saccheris results may be understood retrospectively as elementary hyperbolic geometry. Logica Demonstrativa Pavia. making acute interior angles on the same side. thereby showing that the postulate must be true. best known for his inadvertent anticipation of nonEuclidean geometry. Girolamo. Since antiquity. Saccheri constructed a quadrilateral with two opposite sides of equal length. His textbook. AA . Figure Saccheri quadrilateral. Key Thinkers Saccheri. He showed that the remaining two angles must be equal. In Euclides ab Omni Nvo Vindicatus . they must ultimately meet. the angles must be obtuse or acute Saccheri claimed to derive the parallel postulate from both hypotheses. . both perpendicular to one of the other sides. However. and that they are right angles if and only if the parallel postulate obtains. and numerous attempts were made to derive it from them. that any proposition that follows from its own negation must be true. This innovative approach had an unexpected result the first articulation of nonEuclidean geometry. there is no p modus tollens. then there is q. the Stoics reject the contingency of the future. Predicates are incomplete lekta. Cleanthes d. While a signifier utterance and a referent object in the world are physical. RM Stoics. grammar. and the validity of a rational argument follows five logical rules called indemonstrable forms. There is no p. Propositions and predicates are rational contents of thought. and involves a study of argument forms. and propositions are complete lekta. predicates. Epictetus and Marcus Aurelius . perceptions and thought. There is no q. There is p. Skolems paradox refers to the observation that firstorder theories which yield theorems asserting the existence of uncountably many or more objects have denumerable models. Bivalence and the law of excluded middle apply even to statements about future states of affairs. signifier and referent. Only fragments of their works are known. There is either p or q. asserting that . Thoralf Skolem simplified Lwenheims theorem which states that if a firstorder theory requires models of infinite size. If there is p. The only complete works are from the Roman Stoics. The Stoic logic logik describes the functions of discourse logos. BC. there is q modus ponens. meaning that only propositions are either true or false. Therefore. rhetoric. namely If there is p. Thoralf. there is no q. There is p. and mainly focus on ethical questions. Therefore. BC and Chrysippus d. Therefore. Therefore. It defines the three following entities signification. a signification is incorporeal and amounts to what is sayable lekton. There is p.Stoics Skolem. because of their belief in causal determinism. Therefore. The main representatives of Greek Stoicism are Zeno of Citium BC. Seneca BC AD. and Chrysippus is the main source for understanding the importance of the Stoic physics and logic. there is q. Unlike Aristotle. there is no q. There is either p or q. propositions. models can be constructed of any infinite size. that is. then there is q. It is not the case that there are both p and q. what is sayable also called proposition or complete lekton. and only the wise are able to reach knowledge. cognitive impressions do not constitute knowledge. While a weak assent is a belief doxa involving an act of ignorance. Key Thinkers everything happens through antecedent causes. Yet. whether past. in the sense that the content of a proposition always originates from a given perception. present or future. in such a way that a present state of affairs causally determines a future one. which amounts to the perception of a particular object from which an incorporeal or abstract signification is generated. The Stoics also tell us that the criterion of truth is provided by cognitive impression. Perception and thinking are necessarily connected. as they merely grasp some individual facts. that is. all things happen through physical fate. Therefore. Knowledge means that the cognitive impressions are secure. JLH . in which God understood as creative fire includes within itself all physical events. The justification lies in Stoic physics. a strong assent is knowledge epistm and cannot be mistaken. Only the assent to a cognitive impression will produce knowledge. firm and unchangeable. Tarski recognized that the acceptance of such biconditionals forms a very basic part of our concept of truth. It is generally agreed that Tarskis work on truth is important. Two particularly influential elements of Tarskis formal definition of truth are i that it was constructed in order to satisfy what Tarski called the material adequacy condition. Whether his work has any implications for the philosophical question what is truth is unclear. Gdels completeness theorem.g. he realized that we cannot give an adequate definition of truth merely by conjoining all such biconditionals. so instead Tarski laid it down as a necessary condition that any tenable definition of truth must entail all sentences of this form. as any language containing sentential connectives such as and will contain an infinite number of sentences. Alfred Tarski was a logician and mathematician of the highest order. The Material Adequacy Condition. and Tarski was forced to remain in the America. at the very least. he studied and later worked there until ..g. and Tarski himself claimed that he did not understand this philosophical question anyway see. Born in Poland. Example Snow is white is true if and only if snow is white. we can see Tarski as laying down a foundation for formal semantics in the same way as the logicists were attempting to lay down a foundation for mathematics. but precisely why is hotly disputed.Tarski. Alfred Tarski. Tarskis own view was that unless a precise definition of truth could be given. It is not possible to cover all of Tarksis many achievements here. many important logical results that made use of the semantic notion of truth would remain unclear and strictly unproven e. and he remained there for the rest of his life. And his definition did just that. Tarski made a distinction between the language for which we want to define truth the object language and the language in which we . e. and so I will concentrate on that for which he is most famous his definition of truth in formal languages. his seminal The Semantic Conception of Truth and the Foundations of Semantics . Alfred. The Liar Paradox. Consider the following form of sentence where p is a sentencevariable and X a name for that sentence T X is true if and only if p. and ii it avoids the liar paradox. So. While on a visit to America in that year World War II broke out. However. computer science and artificial intelligence. cryptanalysis. that is a machine that can compute. using the fact that Turing machines can be ordered. Any definition of truth that leads to contradiction is. Key Thinkers actually give the definition the metalanguage in order to avoid the liar paradox. Turing proved the existence of a universal Turing machine. according to it. now called Turing machine. Thus he proved that some perfectly defined mathematical problems are not solvable by means of a procedure or an effective method. He invented an abstract machine. After the World War II. The universal Turing machine is the theoretical prototype of modern computers. prima facie objectionable. British mathematician and logician who pioneered computability theory. it has to be true. so sentences of the above form simply cannot be expressed. the corresponding action. by means of a suitable set of instructions. With the help of a diagonal argument similar to those employed by Cantor and Gdel. In Turing solved in the negative the decision problem. BC Turing. Without Tarskis distinction this sentence leads to contradiction if it is supposed to be true. The distinction Tarski gives avoids it because. which can read and write the cells of an infinite tape. for every state. Turing proposed to identify the set of the functions calculable by a procedure with the set of the functions calculable by Turing machines. at the very least. the concept of truth expressed in a language cannot apply to any sentences within that language. the machine performs operations according to a table of rules that specifies. using only two symbols. Alan. and if it is supposed to be false. Turing showed how to effectively define a real number that is not computable by any Turing machine. it has to be false. and . . every function calculable by every other Turing machine. which can be appreciated most easily by considering the following sentence This sentence is false. The classical formulation of the decision problem is provided by Hilbert and Ackermann in their Grundzge der theoretischen Logik is it possible to find a procedure that allows one to decide whether a mathematical expression is valid Turings first step was to work out a precise definition of the apparently selfevident notion of procedure. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. he or she can ask any sort of question to the other two. to the question Are you the computer it can answer No. As goal is to deceive the interrogator.Turing.g. the computer is allowed to lie e. Im the human being. and the programming system of Mark I. Alan Turing tried to turn the abstract universal Turing machine in a physical reality. He designed both the Automatic Computing Engine ACE. The computer is considered intelligent if it deceives the interrogator in the same proportion in which A deceives the interrogator in the first version of the game. whereas Bs is to help the interrogator. The interrogator stays in a room apart from the other two players and communicates with them with a teleprinter. and an interrogator who may be of either sex. In Turing introduced the imitation game as means of answering the question Can machines think The game is played with three people. which is usually regarded as the second commercially available electronic computer. a woman B. The imitation game avoids hard questions about consciousness if the computer acts like an intelligent human being then it is deemed to be truly intelligent. In a second version of the game a computer takes the part of A.. MMu . and took part in projects for building electronic computers. In order to attain its goal. a man A. . and The Principles of Empirical or Inductive Logic . He is also remembered as a pioneer of the frequency interpretation of probability and as a strong champion of Booles logic which he defended against Jevons criticism. . nd edn. John. Symbolic Logic . AM . He published an influential logic trilogy The Logic of Chance . Key Thinkers Venn. British logician and historian of logic who coined the term Symbolic logic and invented the wellknown logic diagrams that bear his name. rd edn. nd edn. Whitehead secured for him a substantial fellowship and became something of a mentor to him. . The book. Tractatus LogicoPhilosophicus was the only philosophical book Wittgenstein published during his life time. for example. His academic career is divided into three stages. apparently due to the influence of his wife. Ludwig Whitehead. Whiteheads later work in the philosophy of science and metaphysics. He had a great influence on analytic philosophy. . his later philosophy the socalled ordinary language school. the two began one of the most celebrated collaborations within philosophy. Whitehead was appointed lecturer in mathematics at Trinity College. Ludwig Wittgenstein is widely regarded as one of the most important philosophers of the twentieth century. has been massively influential.Wittgenstein. which is an indepth defence of logicism conducted in light of the settheoretical paradoxes discovered by Russell in . during each of which he made important contributions to separate areas within philosophy . and in metaphysics he developed the view that we ought to think of the fundamental constituents of reality as being processes rather than substances. But in . Ludwig. metaphysics. he became more productive and started work on his Treatise on Universal Algebra. in where he was to remain for the next years. conducted at Imperial College in London and Harvard University respectively. philosophy of science. we will focus predominantly on the first stage here. . he presented an alternative view to Einsteins theory of relativity. including his masterwork Philosophical Investigations published in . Cambridge. . Recognizing Russells brilliance. also broke new ground. Whitehead was a British mathematician and philosopher. During this period Bertrand Russell entered Cambridge as an undergraduate. and is considered by many to be one of the greatest intellectual achievements of mankind. . mathematics and logic. Over the next years they worked together to produce the seminal threevolume Principia Mathematica . In around . Initially he focussed mainly on teaching and published very little. Alfred North. His early philosophy influenced logical positivism. BC Wittgenstein. In the philosophy of science. Given the scope of this volume. However. he left a large Nachlass or unpublished works published on CDROM in . the publication of which in resulted in Whiteheads election to the Royal Society. we understand it. He still held that language is a rulegoverned activity. determinate exclusion. All true logical propositions are tautologies. The rules of logical operation are the constitutive rules of language. An explanation of meaning provides a rule for the correct use of the expression. namely. consists in the actual practice of acting in accordance with the rule. Wittgenstein sought to overthrow the pervading empiricist and rationalist conceptions of the mind and of selfconsciousness. Key Thinkers In the Tractatus. there is a multiplicity of languagegames connected by overlapping similarities. and can be given by an explanation. For a large class of cases. Wittgenstein held that every proposition is a truthfunctional combination of elementary propositions. the meaning of an expression is its use. Elementary propositions are contingent and mutually logically independent. logic only gives rules for the transformation of symbols and not all the rules of grammar. since it necessitated abandoning the independence of elementary propositions and the view that all necessity is a result of truthfunctional combination. Rather. where grammar refers to the constitutive rules of languagegames. So their truthfunctional combinations must be contingent propositions. unlike the calculus view of logic as the constitutive rules of language in the Tractatus. Logic still has an intimate relation to language. and thus understanding. This includes his demonstrations of the impossibility of private language. but the concepts of language and rule are now taken to be family resemblance concepts. In the Philosophical Investigations. There is no common essence of language. . In . But. tautologies and contradictions. Understanding an expression is akin to an ability. His mature reflections on this are in the Philosophical Investigations. He suggested that logical operations depend on the content of the propositions connected. with his grammatical investigations of meaning and rulefollowing. Following a rule. This undermined the foundations of the Tractatus. Wittgenstein turned to a radical reconsideration of the Tractatus conceptions of language and logic. When we are able to follow the rule governing the use of an expression. The meaning of an expression is what we understand when we understand the expression. Wittgenstein changed his mind on an issue he considered in the Tractatus. He no longer thought that such a proposition as A is red and blue all over is analysable into one containing a contradiction his new position was that it is nonsensical. he rejected both the realist conception of numbers as objects and the formalist identification of numbers with numerals. Wittgenstein also appeared to identify truth in a calculus with provability. In general. however. some commentators have offered new and more sympathetic interpretations of Wittgensteins view on Gdels theorem. and to dismiss Gdels incompleteness theorem by arguing that propositions like P is true and unprovable in Principia Mathematica are nonsensical. especially the syntactic notion of truth and the consistency assumption. numbers are defined in terms of the successive applications of a logical operation. Earlier commentators thought that Wittgenstein failed to understand Gdels proof. The meaning of a numeral is determined by the rule of its use. mathematics is seen as a system of rules for the transformation of propositions concerning magnitudes. Recently. Ludwig Wittgenstein wrote extensively on the philosophy of mathematics. LC . In the Tractatus.Wittgenstein. In his later writings. The current edition retains the basic threepart structure of the original The basic concepts of logic are introduced via a wealth of reallife examples of arguments both good and bad from everyday life. proof. this book has become the most widely used introductory textbook to logic. Deutsch and J. Finally. BC Logic . I. There is a strong emphasis on proof using natural deduction. SML From Frege to Gdel . LG . it is still today the standard source book in mathematical logic. Truth table construction for propositional logic and a little elementary metalogic are also included. the nature of logic and some objections to logic. entailment. Brennan. Lau. First published in . M. It discusses topics including truth. Lemmons wellregarded book is a classic introductory textbook on propositional logic and predicate logic.M. for example that it is antiwomen and antiGod. L. Portuguese. and is now in its th edition. AM Introduction to Logic . reference.Key Texts Textbooks Beginning Logic . E. van Heijenoort.J. inductive reasoning is covered with sections relating the methods described directly to science and the theory of probability. J. Spanish. This is probably the most influential book in the historiography of logic. Cohen. Copi and C. Lemmon. vagueness. Each text is introduced and many were translated for the first time into English. Goldstein. In spite of several serious omissions. It established the view that Gottlob Frege was the father of modern logic. Deductive reasoning and modern symbolic logic are developed. sometimes humorous. opening with Freges Begriffsschrift and concluding with Herbrands response to Gdel . introduction to logic and surrounding philosophical issues.Y. A.F. It is published in English. The book reproduces chronologically key texts in the development of mathematical logic. A gentle. Hodges. This is a student text on firstorder logic. HS Naive Set Theory . EB .Key Texts Textbooks Logic . C. quantifiers and relations and uses semantic trees. This is an informal but rigorous description of standard set theory. and then included a discussion of several Russellian Theories of Descriptions. and for employing complete terms for definite descriptions. distinctive for using direct proof procedures. Marx. Paul Halmos was an accomplished American mathematician famous for writing in informative. W. Mill. SML Logic with Trees . A contribution to the critical thinking literature. natural language is at the forefront of the approach. ZW The Logic of Real Arguments . D. In the latter respect it follows Frege. Fishers book gives thorough analyses of serious arguments Malthus. Kalish and R. The last chapter covers conditionals and modality. except that in the case of improper definite descriptions their designation is chosen to be the number . Halmos. Nave in the title refers to the conversational. Fisher. It was updated by Kalish and Mar in . provides a method of identifying arguments and their implicit assumptions what would justify the conclusion. Howson. SML Logic Techniques of Formal Reasoning . lucid prose. and offers an account of suppositional reasoning that is applied to conditionals. P. This textbook in logic and metalogic uses semantic trees and includes coverage of the method of proof by induction and of soundness and completeness results for propositional logic and predicate logic. This introductory textbook focuses on the logic of truthfunctional connectives. Though formal logic is covered. A. Montague. Insights and devices from linguistics including phrasemarkers are used. written perched on the end of a bed while on holiday. nonaxiomatic style of the book. not everyday discourse. based on associationalism. Mill.Key Texts Classics A System of Logic . Therefore. Mills psychological doctrine. which is the operation of discovering and proving general propositions. residues and concomitant variations. reasoning is always an inference from particulars to particulars. an analysis of language. A general proposition is a mere juxtaposition of particular cases. which is most fundamental in his eyes. Books five and six address the fallacies and the logic of the moral sciences respectively. The System of Logic then puts forward a theory of deductive reasoning in book two. S. Ratiocinative and Inductive Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation . It is the implicit major premise of all syllogisms from which scientific laws are deduced. a theory later much disparaged by Frege for neglecting the descriptive content of words. th edition. Thus. Green. But its originality mostly lies in books three and four. which defend an empirical approach to mathematics and logics no proposition being known a priori. difference. Reader and Dyer displays. JMC . and states that names denote things rather than ideas. all knowledge has grounds in natural facts. Mill developed a canon of scientific reasoning. At the heart of the System lies the theory of induction. in book one. which aim to identify the cause of a given phenomenon. J. within which he conceived inductive reasoning to be tantamount to Aristotles theory of syllogism for deduction. Mills theory of induction also provides a justification for deduction. Why is it legitimate to generalize from samples The grounds of induction is the axiom of the uniformity of the course of nature. John Stuart Mills A System of Logic. It restores the medieval distinction between denotation and connotation. London Longmans. Mills Canon is composed of four methods of experimental inquiry agreement. especially. joined together by the copula is. then x is cool. which he called Begriffsschrift literally. which traditional logic had great difficulty in analysing. with S symbolizing the subject and P the predicate. All logicians in this case being the subject. the concept is cool. with a symbolizing the argument in this case Gottlob and x is F the function in this case. that is. The first part explains Freges logical symbolism. introducing a notation for quantification. the x here indicating where the argument term goes to yield the proposition. Frege. represented by S is P. the second shows how to represent and derive certain propositions and the third uses the symbolism to provide a logical analysis of mathematical induction. conceptscript. Freges crucial innovation lay in extending the use of functionargument analysis from mathematics to logic. Traditional logic had also seen these as having subjectpredicate form. The advantages of Fregean logic come out. In traditional Aristotelian logic. they are seen as having functionargument form.Key Texts Classics Begriffsschrift . In Fregean logic. Begriffsschrift is the book that inaugurated modern logic. In Fregean logic. MB . For all x. and also offered an axiomatization of propositional logic. if x is a logician. symbolized as x Lx Cx. represented by Fa. when we consider statements of multiple generality involving more than one quantifier. it gave the first exposition of predicate logic. this is seen as having a quite different and more complex quantificational form in modern notation. G. however. simple propositions such as Gottlob is cool had been seen as having subject predicate form. The book is divided into three parts. such as Every philosopher loves some logician. more complex propositions such as All logicians are cool involving the quantifier All can then be formalized. Written by the German mathematician Gottlob Frege and published in . With a notation for quantification. Interestingly enough in the second chapter. G. The book assumes a minimal mathematical background some familiarity with propositional calculus. In fact. an alternative but equivalent formulation of Turing computability. recursion theory and a presentation of the ChurchTuring thesis. Last. even readers with no prior knowledge of propositional calculus can easily read the book as there is a chapter that presents the relevant ideas. Boolos and R. AS . the exercises at the end of each chapter have been designed to help students easily grasp topics that are introduced in later chapters.S. Gdel numbers and Gdels incompleteness theorems.e. The book has three parts the first part is about computability theory. an infinite process that completes in finite time. The third part of the book presents some special topics in proof theory and logic. The second part starts with a refresher of firstorder logic and goes on to discuss models. In particular. abacus computability i. implicitly introduce the notion of a supertask i. This esteemed book received its reputation because it is highly readable and pedagogical. Key Texts Classics Computability and Logic . A textbook in classical computability theory and logic written by George Stephen Boolos and Richard Jeffrey and first published by Cambridge University Press CUP in .e.e. but certainly not least. proof theory. the second part introduces basic as well as advanced topics in symbolic logic and in the third part there is a discussion of more specialized topics. which is correctly characterized as a hypothesis. thus. arithmetization i. the authors introduce the Zeus character to explain enumerable sets and. Jeffrey. in the first part of the book there is a thorough discussion of Turing machines and Turing computability. These laws. Claude Shannon working at MIT in the s developed the mathematics of binary information processing. R. S for SUNNY.. Boole assumed that human thought processes could be expressed in terms of logical operations. An Investigation of the Laws of Thought on which are FOUNDED the Mathematical Theories of Logic and Probabilities . In Booles most important mathematical work. . OR and NOT and includes the corresponding settheoretic operations intersection. With C for CYCLE. and that inductive inferences are therefore analytic. and of Carnaps philosophical methodology of concept explication. and factual probability pertaining to longrun relative frequency. For example. which govern the relationships between true / false statements in logic. G. Boole developed an algebra to determine the validity of propositions. consider the proposition I will cycle to work if it is sunny and it is not windy. The book laid the groundwork for quantitative inductive logic in the second half of the twentieth century. The book starts with a description of the problem. union and complement. he starts by saying The design of the following treatise is to investigate the fundamental laws of those operations of the mind by which reasoning is performed . logical probability pertaining to confirmation. in which represented FALSE and represented TRUE. Subsequently . comprised the first steps to what we now call Boolean logic algebra. that the required concept of probability derives from logical relations between evidence and hypotheses. In other words. DH Logical Foundations of Probability . Carnap. induction and the concepts of logical and frequentist probability. W for WINDY we write the proposition as a Boolean equation CS AND notW which states that C is true iff S is true and notW is true and which constitutes a logical representation of our original sentence. based on Booles work. This book presents Carnaps views on confirmation.Key Texts Classics Laws of Thought . he intended to develop the laws required in order to express human logic mathematically. Boolean algebra subsequently provided the basis for much of computer science. London Macmillan and Co. . Then two distinct notions of probability are introduced. To this end. Its central tenets are that all inductive inference is probabilistic. Boole. Boolean algebra contains the additional logical operations AND. all that was worth knowing about logic in no more than five days. Chicago University of Chicago Press. Fact. The Continuum of Inductive Methods. which forms the basis for much of the later work in inductive logic. . Arnauld collaborated with Nicole to prepare a version for publication. and Forecast. which expresses relevance relations between evidence and hypotheses. According to the authors. and a general characterization of the problem of inductive logic is given.C. eds Berkeley University of California Press. Key Texts Classics the language systems of deductive logic are introduced to furnish inductive logical systems. An influential but contentious criticism of Carnaps programme was mounted by Goodman Goodman. subsequently Duke of Chevreuse. . R. and Jeffrey. Carnap. The book then deals with the class of symmetric cfunctions. . This leads to the development of regular cfunctions. Fiction. cfunctions are shown to perform the same function as estimators in classical statistics. between and . The PortRoyal Logic is the popular name for Antoine Arnauld and Pierre Nicoles La Logique. R. ou lArt de Penser. Nicole. which are invariant under permutations of terms in the language. which express the confirmation of hypotheses by evidence as a partial entailment. Cambridge Cambridge University Press. Carnap wrote a separate treatise on quantitative inductive systems like c Carnap. the work was published in five editions. the Logic was originally composed by Arnauld to make good on a boast that he could teach a teenage nobleman. the most influential logic text between the seventeenth and nineteenth centuries. The nickname is derived from the convent of PortRoyal. and the measure r. After this work had begun to circulate in manuscript. Arnauld and P. During the authors lifetimes. R. The functions c and r are shown to capture a pretheoretical notion of comparative and qualitative confirmation. in analogy to deductive entailment. and most recently and faithfully by Jill Vance Buroker . JWR Logique de PortRoyal . Cambridge MA Harvard UP. Finally. A. with which both men were associated. An appendix introduces to the confirmation function c. near Paris. An overview of the inductive logic initiated by Carnap is Studies in Inductive Logic and Probability Vol . CharlesHonor dAlbert. It was first translated into English in . N. Part four also echoes Descartes. However. respectively. Arnauld and Nicoles impatience with empiricism. and disarmingly dismiss much of the theory they summarize as of use only for exercising the mind. which are thereby selfevident. the humanistic emphasis of the work has been praised as anticipating argumentation theory see Maurice Finnochiaro . Throughout. Argumentation. propositions. reasoning and method. and display the influence of Ren Descartes and Arnauld and Nicoles fellow Jansenist Blaise Pascal. . and influenced later religiousminded logicians. and analysis. This is understood as providing justification for absolute truths in both science and religion. or working backward from the conclusion to the premisses. rhetoric and especially Michel de Montaignes scepticism with respect to the efficacy of reason are also characteristically Cartesian. This influence was perhaps greatest in the context of theological epistemology the Logic found favour with Protestant as well as Catholic colleges. summary of the scholastic logic of categorical propositions and syllogisms. The other two parts are more original. The PortRoyal Logic was the principal conduit by which the Cartesian approach to logic was transmitted. Latterly. and how the idea for which it stands is related to other ideas. with an account of scientific method which stresses the mathematical over the empirical and downplays the longstanding distinction between synthesis. or working forward from the premisses to the conclusion. if engagingly written.Key Texts Classics The Logic is divided into four parts. AA . The PortRoyal Logics theory of argument. unlike some seventeenthcentury critics of scholasticism. Part one recapitulates Descartess argument that intellectual intuition can be a source of clear and distinct ideas. covering ideas. Arnauld and Nicole also helped to fix the now standard distinction between extension and intension as distinguishing the individuals to which a term refers from the ideas which it represents. which clarifies the ultimately Aristotelean distinction between nominal and real definitions as specifying respectively how the word is used. such as Isaac Watts. The influence of Pascal is evident in the account of definition. the authors emphasize the practical application of logic in the evaluation and composition of reasoning. The second and third parts comprise a conventional. they demonstrate a sophisticated grasp of its key tenets. but also as a serious contribution to logic or as Quine puts it in the preface as a textbook and treatise . this claim is considered to be substantiated. within the same covers. In chapters and Quine applies the general theory to the study of classes. In chapter Quine shows us how to reduce relations to classes. . . that is. Quine. Finally. With one caveat. where the numbers natural. rational and real and arithmetical operations are again defined in terms of classes. Key Texts Classics Mathematical Logic . In Chapter we are given the derivation of mathematics from logic. and in particular Russell and Whitehead in Principia Mathematica. The serious contribution the book was intended to make was in the vein of logicism. First published in . in chapter we are given a sharply delineated proof of an incompleteness theorem that closely parallels Gdels famous result. to show that mathematics is reducible to logic. But it was supposed to serve not just as an introduction to the subject. The system Quine outlines in the book was supposed to avoid the known settheoretical paradoxes in a simpler and more satisfying way than any proposed by previous authors. W. and it is these two chapters that contain the core of Quines new system. He presents a new system of mathematical logic that he claimed was accessible to those with no previous exposure to formal logic. this book was based upon Quines graduate teaching during the s at Harvard University. a paradox called the BuraliForti paradox could be derived from it. Chapter is an elegant account of the propositional calculus. but this mistake was rectified in the second edition. Chapter introduces quantification theory. The caveat is that the system presented in the first edition of Mathematical Logic was discovered by Barkley Rosser to be inconsistent specifically. BC . a proposed Great Reconstruction of human knowledge. F. lastly of Degrees or Comparison. The title stakes a bold claim that this account should supersede Aristotles Organon. of Existence and Presence. which seeks to correlate each of the entries in the first table with similar circumstances in which the phenomenon is not found. Chicago Open Court is the principal philosophical work of Sir Francis Bacon. the dominant theory of logic for two millennia. the Idols of the Cave are individual prejudices which we fail to recognize the cave represents the self by allusion to Platos Myth of the Cave. which itemises cases where the phenomenon may occur to a greater or lesser degree. Urbach. F. Bacon recommends proceeding to a First Vintage a draft explanation of the phenomenon. M. Dent amp Sons. the English scholar and statesman.Key Texts Classics Novum Organum . Part two begins the exposition of Bacons account of scientific method. The two completed books of the Novum Organum offer guidance on the avoidance of past error and the establishment of new knowledge. F. a list of circumstances in which the phenomenon occurs. Bacon first explores an example. but the later parts dealing with specific sciences were never finished. P. The first part translated his earlier vernacular work The Advancement of Learning Bacon. Bacon recommends the compilation of three tables first. The Novum Organum Bacon. It contains his pioneering account of scientific method. /. . of Exclusion or Rejection of Natures. respectively. Once this has been attempted. or Absence in Proximity. Bacon distinguished four important sources of error in received ideas. From these three tables Bacon is able to compile a further table. an inquiry into the nature of heat. The Idols of the Tribe are subjective opinions so widespread among humanity that we accept them as necessary. Bacon. The Novum Organum comprises the incomplete second part of a projected sixpart Latin work. Trans. and ed. the Instauratio Magna. and Gibson. which uses the accumulated data to rule out explanations inconsistent with that data. London J. made as diverse as possible. In the most influential passage from the first part. /. the Idols of the Marketplace are errors that result from the imprecision of language words acquire their meanings from vulgar exchange. the Idols of the Theatre are the tenets of prevailing philosophical or scientific theories. which he described as Idols. which come and go like actors on the stage. J. secondly of Deviation. Key Texts Classics The novelty of Bacons method lies in the systematic and thorough appraisal of evidence behind the First Vintage. evidence which provides overwhelming prima facie support for a specific theory. or Instances of the Fingerpost. AA . more accurate readings stress that the First Vintage is itself subject to revision in the light of further data. Notable examples include Shining Instances. and Crucial Instances. Although Bacons name has become strongly linked to this naive inductivist position. experiments whose outcome promises to settle disputes between competing theories. overemphasis on its significance lies behind the widespread interpretation of Bacon as advocating a mechanical procedure for extracting watertight theories from pretheoretic observation. This is Bacons term for different circumstances in which empirical data can become manifest. Nonetheless. The remainder of Part two addresses Prerogative Instances. A demonstration is a deduction or perfect syllogism. The Posterior Analytics is interested in science or knowledge epistm it shows how general reasoning can be said to be correct through the different forms of syllogism. which is a threeterm argument with two premisses and a conclusion understood as a deductive inference. owing to the impossibility of knowing the future e. The Prior Analytics examines the notion of syllogism. therefore. contradictions. prior to and explanatory of the conclusion. The Categories deals with the classification of all existing things. etc. De Interpretatione. The truth of the two premisses makes the conclusion true. Socrates is a man minor premise.e. induction is analysed as the argument from a particular to a universal it explains the way we know the indemonstrable first principles of sciences. better known than. position. accusative. . The Topics introduces the art of dialectic it is the method for discovering a set of beliefs. Socrates is mortal. Aristotle. immediate. The aim is to determine which premisses an interlocutor is ready to accept. a future sea battle may or may not occur. acting and being acted upon. The wellknown instance is All men are mortal major premise. On the other hand. it is then true to say at the same time that. having. The Organon instrument or tool is the name given by Aristotles followers to his six works on logic Categories. relation. and probable inferences using the terms more. A sentence is a significant spoken sound. quantity. which are the substance and the nine accidents i. uttered at a given time. playing the role of premisses in a syllogistic argument. futuretensed sentences are neither true nor false they are contingent. possession/privation and relatives. a man is pale and a man is not pale. place. The order of the works is not chronological but forms a wellstructured collection. when the subject of that sentence is a universal every man or no man or a particular Socrates or some man. The contradictory of a true sentence is always false. Posterior Analytics. Aristotle also suggests a classification of arguments based on opposites contraries.Key Texts Classics Organon th Century BC. Moreover. cases nominative. in which the true premisses are primary. say.g. time. By contrast. Prior Analytics. less and likewise. quality. Topics and Sophistical Refutations. when a universal is not spoken of universally a man. The De Interpretatione introduces the concepts of sentence logos and belief doxa. in connection with Aristotles work on rhetoric. Key Texts Classics The Sophistical Refutations. Note that many views developed in the Organon would no longer be regarded as belonging to logic nowadays. when the conclusion does not genuinely follow from the premisses. studies a series of logical fallacies. deals with genuine logical problems. likewise. it is possible for some acceptable syllogisms to have unacceptable premisses. Some syllogisms are only apparent. for example. the principle of noncontradiction. JLH . Aristotles Metaphysics. which is not included in the Organon. On the other hand. is an uncompromising procession of logical formulae. This bans. which argued for logicism in informal prose. the Principia is an epic attempt to demonstrate that logic underlies mathematics. among other things.Key Texts Classics Principia Mathematica . The work is at least as important for its symbolic value as its actual content it is a monument of logic. because a few nonlogical assumptions the axioms of infinity and reducibility were required for the proofs. N. Whitehead and B. which purports to do just that. The VCP says that whatever involves all of a collection must not be one of that collection. To vindicate the logicist programme. Russell wrote of having bad dreams in which . Russell explains his solutions the vicious circle principle VCP and type theory. though. someone would eventually need to do the hard work of starting from primitive logical assumptions. So the complete reduction of mathematics to logic faltered. Russell. too. Frege himself had attempted such a feat in his own concept notation. any kind of selfreference. A. Russell came to agree with Frege. and reasoning step by step with no gaps up to the basic theorems of set theory. it has not been widely adopted. therefore. was preoccupied with avoiding the paradoxes of Freges system. Alfred North Whitehead had reached similar conclusions and at the same time. to be trivial in it one could have proved anything at all. arithmetic. analysis calculus and geometry. unusual at the time and still today requiring patience to read. In the end. The Principia. The main body of the Principia. Above all. and most doubt that these are parts of pure logic. One of the most important intellectual achievements of the last century. Because the theory of types is a complex and demanding system. and wrote The Principles of Mathematics in . Russell and Whitehead produced the Principia. the Principia fell short of its goals. The theory of types is a technical structure to support mathematics built to the specifications of the VCP. and to this end in a long but accessible introduction. quite surprisingly. Whitehead and Russell contributed their own money to publish the three volumes of Principia. Early in his career. but the system turned out. A proof that does not appear until several hundred pages into the first volume. Between and . Frege argued for logicism the thesis that mathematical truth is reducible to logical truth. For a most important era. the Principia was exactly what Russell and Whitehead hoped it would be a tangible. logical foundation for mathematics. on forgotten library shelves. dusty and unread. The book made an indelible impression on philosophers such as Wittgenstein and Quine. if we wanted. the Principia was the system in which Gdel carried out his incompleteness proofs. the Principia was epochal. Key Texts Classics the books lay. Nevertheless. ZW . be exactly translated into formal symbolism and carried out with absolute precision. the meticulous proofs an inspiration and confirmation that informal mathematical practice could. and spoke afterward of the irreparable mental toll its writing had exacted on him. And perhaps most importantly. An elementary proposition is a combination of names representing a combination of simple objects. whose rules distinguish sense from nonsense. Interest in formal logic does not fade away in the medieval period. A historical encyclopaedia of logic. and by the Stoics logic of propositions. W. progress is made in mathematics. Oxford Clarendon Press. algebra furnishes a model for imitation in the making of a logical calculus. good and bad. which is concerned with semantic and inferential issues. It aims to draw a limit to thought by determining the limits of its expression in language. this book does not chronicle all that past scholars. but recoverable via analysis. EC Tractatus . When logic is revived in the middle of the nineteenth century. because the scope of logical studies is determined by the content of Aristotles Organon. A proposition is analysable into a truthfunction of elementary propositions. the next great advance in logic is made by Frege. Wittgenstein. Consequently. have said about logic. Instead. . Kneale.Key Texts Classics The Development of Logic . After Booles mathematical analysis of logic. The Tractatus ties logic to the nature of linguistic representation. which exhibits logic as a part of mathematics. L. two developments of the twentieth century make it necessary to reconsider his delimitation of the province of logic the discovery of the set theory paradoxes and the debate initiated by Wittgenstein about necessity and language. whose Begriffsschrift . traces the development of formal logic from its origin to the present. it gives an account of the growth of logic. The story begins with the Greek philosophers. The Development of Logic. introduces the idea that arithmetic is grounded on logic. is hidden beneath the surface of ordinary language. Kneale and M. the first really comprehensive system of formal logic. Although Frege gives the essentials of modern logic. by William and Martha Kneale . Logical syntax. Tractatus LogicoPhilosophicus was the only philosophical book published by Ludwig Wittgenstein during his lifetime. while logic declines as a branch of philosophy. In the postRenaissance period. emphasis is put on the authors insofar as they pave the way for modern logic. the new vigour comes from mathematicians geometry provides a field for the working out of the notion of axiomatics. and especially in algebra and analysis. . unless the Tractarian system has only finite subdomains. they can be considered as involving only one operation. because N cannot generate logical equivalents of propositions like xyfxy. FT. then N TT . . . According to the ChurchTuring Theorem. N is not welldefined. say. then N FTpp. In cases with more than two propositions. Wittgenstein was not aware of such a restriction. and NN xfx. firstorder quantification theory with an infinite domain cannot have a decision procedure. This is not decisive. If has as its values all the values of fx. It has been argued that N is expressively incomplete. TF xfx.q. . If has p as its only value. is p T T F F q T F T F pq T T T F If the order of the truthpossibilities of p and q in the above schema is fixed conventionally. Consequently. Key Texts Classics The Tractatus made truthtables popular. the operation in pqr is expressible as TTTTTTTFp. . where x specifies the scope. xyfxy can then be rendered as NNxNyNfxy. disjunction.qpq. The truthtable presenting an operation. where signifies a collection of the values of the variable which ranges over propositions. and NN p. The existential quantifier and. then N FFFTp. as Wittgenstein simply does not explain how to specify the scope of N. . . If has two values p and q. All logical connectives are definable in terms of negation and disjunction and thus in terms of N.r. . But N is defined in terms of the truthtable. then the operation can be written as TTTFp. N is the sole fundamental operation of the Tractatus formal system. Therefore. For example. . The Tractatus introduces and defines the operation N in terms of the truth table as follows N FF . the universal quantifier are also definable in terms of N. similarly. and the latter provides a decision procedure. It has been suggested that N be expressed as Nxfx.q. and NN pq. entails that logical propositions. what they attempt to say is shown by significant propositions. They.Key Texts Classics The Tractatus accepts the contingency and the logical independence of elementary propositions. fall outside the limit of language. Nevertheless. They. they neither say nor show anything. ethics. and any utterances about logic. that is. Most of the sentences in the Tractatus are elucidations. Logical propositions show the nature of the significant propositions which they combine to form tautologies. as the limiting cases of significant propositions. propositions of logical truth. aesthetics and religion. constitute the limit of language. This. Being nonsensical. Wittgenstein believed. together with the view that every proposition is a truthfunction of them. LC . are truthfunctional tautologies. This page intentionally left blank . Noam Chrysippus Church. Alonzo Classes Closed World Assumption Coherence Completeness Complexity Computability Computability and Logic Conclusion Condition. Necessary and Sufficient Conditional Conjecture Conjunction Connectives Consequent Consistency Constructive Dilemma Contingent Contradiction Contraposition Corollary Countable Counterexample Counterfactual De Dicto De Morgan. Rudolf Carroll. Ruth Bayes. Bernard Boole. Thomas Brouwer. Jean Cantor. Luitzen Egbertus Jan Brouwers Programme Buridan. Georg Cardinality Carnap. Antoine Assumption Barcan Formulae Barcan Marcus. Lewis Categorical Proposition Category Chomski. Peter Absorption Addition AGM Analogy Analytic Antecedent Antinomy Argument Argumentation Theory Aristotle Arnauld. Laws of De Re Decidability .Index A posteriori A priori Abduction Abelard. Augustus De Morgan. George Boolean Bradwardine. Thomas Bayes Theorem Bayesianism Begriffsschrift Belief Revision Biconditional Binary Bivalence Bolzano. Relevant Logic. Inductive Logic. Fuzzy Logic. Stanisaw Lewis. Causal Implication. Propositional Logic. Kripke. Quantum Logic. NormalModal Logic. MultiValued Logic. Saul Aaron Index Laws of Thought Leibniz. Paraconsistent Logic. Deduction Definite Description Dilemma Disjunction Disjunctive Normal Form Disjunctive Syllogism Domain Double Negation Euler Diagrams Excluded Middle. Principle of Existential Generalisation Existential Instantiation Existential Quantifier Extension Fallacy Forcing Formal System Foundations of Mathematics Frege. Doxastic Logic. Probabilistic Logic. David Kellogg Lindenbaum. Subjunctive Independence Indiscernibility of Identicals Induction Induction by Enumeration Inference Inference to the Best Explanation Inference. William S. Gottfried Wilhelm Les niewski. Material Implication. Algebraic Logic. Richard Jevons. Rules of Intension Interpretation Intuitionism Invalidity Jeffrey. Deontic Logic. Temporal Logical Consequence Logical Equivalence . Counterfactual Implication. Linear Logic. Kurt Hilbert. Clarence Irving Lewis. Strict Implication. NOrder Logic. Adolf Logic Logic and Games Logic Programming Logic vs Linguistics Logic. Epistemic Logic. Nonmonotonic Logic. Gottlob Gdel. Indicative Implication. Predicate Logic. Intuitionistic Logic. David Hilberts Programme Hypothesis Hypothetical Syllogism Identity Identity of the Indiscernibles Implication Implication. Erotetic Logic. Substructural Logic. Dynamic Logic. Index Logical Form Logical Foundations of Probability Logical Function Logical Operator Logicism Logique de PortRoyal Lwenheim. Hugh Material Equivalence Mathematical Induction Mathematical Logic Meaning Megarians Metalanguage Mill. John Stuart Model Model Theory Modus Ponens Modus Tollens Necessity Negation Negation as Failure Nonmonotonic Novum Organum NP Complete Ockham Ontology Organon Paradox Pascal. Jan MacColl. Leopold LwenheimSkolem ukasiewicz. Thoralf Soundness Square of Opposition Statement. Particular Negative O Proposition. Giuseppe Peirce. Simple Stoics . Charles Sanders Possible World Postulate Practical Syllogism Predicate Predicate Logic Premiss Principia Mathematica Prior. Universal Affirmative A Proposition. Girolamo Scope Semantic Tree Semantics Sentence Set Set Theory Simplification Skolem. Universal Negative E Propositional Calculus Propositional Function Propositional Variable Quantification Quantification Rules Quantifier Quine. Blaise Peano. Interpretation of Proof Proof Theory Property Proposition Proposition. Bertrand Russells Programme Saccheri. Particular Affirmative I Proposition. Compound Statement. Willard Van Orman Recursion Resolution Rigid Designator Russell. Arthur Norman Probability Probability. Subcontrary Proposition Syllogism Syntax Synthetic A System of Logic Tableau Tarski. Ludwig Index . John Verisimilitude Whitehead. Indirect Test of Variable Venn Diagrams Venn. Alfred Tautology The Development of Logic Theorem Theorems Theory Tractatus Truth Truth Table TruthFunctional TruthMaker TruthValue Turing Machine Turing. Alfred North Wittgenstein. Alan Type Theory Universal Generalisation Universal Instantiation Universal Quantifier Universe of Discourse Use / Mention Validity Validity.