# On Priest on nonmonotonic and inductive logic

Size: px
Start display at page:

Transcription

1 On Priest on nonmonotonic and inductive logic Greg Restall School of Historical and Philosophical Studies The University of Melbourne Parkville, 3010, Australia Abstract: Graham Priest defends the use of a nonmonotonic logic, LPm, in his analysis of reasoning in the face of true contradictions, such as those arising from the paradoxes of self-reference. In the course of defending this choice of logic in the face of the criticism that this logic is not truth preserving, Priest argued (2012) that requirement is too much to ask: since LPm is a nonmonotonic logic, it necessarily fails to preserve truth. In this paper, I show that this assumption is incorrect, and I explain why nonmonotonic logics can nonetheless be truth preserving. Finally, I diagnose Priest s error, to explain when nonmonotonic logics do indeed fail to preserve truth. # # # Non-classical logics are not classical. Sometimes this fact seems like a feature: paraconsistent logics like Priest s LP reject disjunctive syllogism and ex contradictione quodlibet and so, they give us new and fruitful ways to deal with semantic paradoxes unavailable to proponents of classical logic. However, sometimes this fact seems like a bug: there are times we want to endorse those particular rules of proof, not reject them. Priest s favoured way out of this tension is to adopt a nonmonotonic logic, LPm. According LPm, inference steps such as disjunctive syllogism from p q and p to q may be valid, while becoming invalid in the presence of extra premises: in particular, premises which are inconsistent.

2 2 The precise details of how LPm manages to be nonmonotonic are not important to us. A sketch will suffice to explain what is going on. Models for LP and LPm assign truth (1) or falsity (0) or possibly both to each atomic proposition. An argument is LP valid if every model that assigns the premises to be true (perhaps some premises are false too, perhaps they are not) also renders the conclusion true. For LPm we relax this condition. We need not check every model in particular, we don t need to check the models that assign both 1 and 0 to many different propositions. We check models that are as inconsistent as they need to be to make the premises true. (These are the minimally inconsistent models, and that is where the m comes from in LPm.) If in every such model where the premises are true, so is the conclusion, then the argument is LPm valid. So, disjunctive syllogism in the shape of the argument from p q and p to q is LPm-valid, since there are completely consistent models in which the premises are true (these are the consistent model in which p is false but q is true), and in these models, the conclusion q is indeed true. We can disregard models in which p is both true and false, as we never need p to be inconsistent to make the premises true. If we add the premise p p, then the models that make the premises true have to be inconsistent about p. The models in which p is both true and false and q is false only is no better and no worse than models in which p is both true and false and q is true only. But the models like this in which q is false are counterexamples to the argument they make the premises true and the conclusion false, so adding the inconsistency of p as an extra premise renders the new argument invalid in LPm. Much of Priest s work in paraconsistent logic uses the relatively traditional, monotonic logic LP rather than the stronger nonmonotonic logic LPm. Many theories which are trivial in the context of classical logic (in the sense that there are no models at all, and everything follows from the axioms of the theory) are non-trivial in LP. This gives rise to the concern that since LPm is stronger than LP, some of the theories which are non-trivial in LP may be trivial when viewed through the lens of LPm. Priest proves (2006, page 226) that Reassurance indeed holds for LPm.

3 3 In a recent paper, Beall (2012) argues that this Reassurance theorem is not enough to be genuinely reassuring. He claims that we should want what he calls General Reassurance: if the LP consequences of some set of premises are true, so are the LPm consequences of that set. In reply to Beall, Priest (2012) argues that General Reassurance is too much to ask of LPm of or any nonmonotonic logic. He writes (2012, page 740): General Reassurance, however, is too much to ask. LPm is a nonmonotonic (aka inductive) logic. And it is precisely the definition of such logics that they may lead us from truth to untruth. The point is as old as Hume ( The sun has risen every day so far. So the sun will rise tomorrow. ) and as new as that much over-worked member of the spheniscidae ( Tweety is a bird. So Tweety flies. ) If they did not have this property, these logics would be deductive logics, which they are not. This is not a bug of such logics; it is a feature. Such logics do not preserve truth, by definition. I will not attempt to adjudicate the disagreement between Priest and Beall on the virtues of General Reassurance this would require settling what the consequence relation of LPm is for, and that is beyond the scope of this note. Here, I have a simpler point to make. Priest s characterisation of the relationship between non-deductive, non-truth-preserving logics and nonmonotonic logics is mistaken, and I will explain why, giving examples of truth preserving nonmonotonic logics. Once I have presented the counterexamples to Priest s claim, I will attempt to diagnose his error, and explain why one might reasonably, but mistakenly, take it that a nonmonotonic logic is never truth preserving. Let me be careful to define our terms: # # # A consequence relation is nonmonotonic if there are valid arguments from premises Σ to conclusion C (Σ C) such that there is some extra premise B where the argument from Σ together with B to C fails to be valid (Σ,B C).

4 4 A consequence relation is non-truth-preserving (or inductive or nondeductive ) if there is some valid argument from premises Σ to conclusion C (Σ C) where each premise in Σ is true and the conclusion C is false. Notice that these definitions use different concepts. It would be surprising for them to coincide, and in fact it is not hard to find examples of nonmonotonic but truth preserving consequence relations. (It is even easier to find monotonic logics that fail to preserve truth. Consider the consequence relation for which an argument is valid if whenever the premises all contain the letter e so does the conclusion. This is monotonic, but it fails to preserve truth.) Example 1: Not all friends of paraconsistent logics are dialetheists. You can reject the inference from a contradiction to an arbitrary conclusion, without taking any contradictions to be true. Nonetheless, there are models in which contradictions are true. Those models represent different ways that things can t be (Restall 1997). For a paraconsistentist who takes contradictions to be semantically distinct (and to have different consequences) but nonetheless all impossible, the logic LPm is truth preserving. If all possible worlds are consistent and complete, then any LPm -valid argument leads from truths only to other truths, and necessarily so, for any world there is a consistent LPm model assigning 1 to each truth and 0 to each falsehood of the language, so if the premises of an LPm -valid argument are true in some possible world, the conclusion must be true too, since the model appropriate to that world is as minimally inconsistent as you can get it is actually consistent. So, the logic is now truth preserving, but it remains nonmonotonic. While disjunctive syllogism is LPm valid, the addition of the inconsistent premise renders the argument invalid. The model that delivers the invalidity is not a possibility for the non-dialethic paraconsistentist. It represents a way that things cannot be.

5 5 Now, Priest is a dialetheist, so while he should agree that the nondialethic paraconsistentist can take LPm to be a truth preserving nonmonotonic logics (and so, this is enough to show that being nonmonotonic alone is not enough to be non-truth-preserving), dialetheists cannot use that example for themselves. However, it s easy enough to construct examples that are dialethically acceptable to make the same point. If the actual world is inconsistent about some things but not others say, for the actual world we require inconsistency over some part of our vocabulary, L 1 and not the rest, L 2 then take the baseline for inconsistency to be models that are inconsistent only in L 1 but not in L 2, and grade models which allow for more or less inconsistency in the L 2 vocabulary. The resulting consequence relation is now truth preserving but still nonmonotonic. Example 2: Consider models for counterfactuals that use a similarity relation on worlds, in the style of Lewis or Stalnaker. A conditional A > B is true at world w if in the worlds worlds most similar to w where A is true, so is B. Let s say that an argument from premises Σ to conclusion C is Cf-valid if the conditional Σ > C is true. These conditionals are famously nonmonotonic. (The closest worlds where I have a cup of coffee before 7am are not the closest worlds where I have a cup of coffee with added arsenic before 7am.) However, Cf-valid arguments are truth preserving, given the plausible assumption (shared by Lewis, Stalnaker and others who take this approach to counterfactual conditionals) that a world w is one of the closest worlds to itself. Here is why. Suppose the argument from Σ to C is Cf-valid, and that each sentence in Σ is true. We want to show that C is true too. Since the argument is Cf-valid, at the actual world, the conditional Σ > C is true. Since the actual world is one of the closest worlds to itself, and since Σ is true at the actual world, C is true there too, as desired. This (contingent, non-formal) logic of conditional consequence gives us another example of a nonmonotonic but truth preserving consequence relation. Examples 3, 4, : We can make arbitrarily more examples of nonmonotonic and truth preserving logics using a simple template. Given a monotonic consequence

6 6 relation defined in terms of truth preservation with some class M of models, in which we have settled in advance that the actual world represented by some model in a subclass W of M. (In Example 1, W is the class of consistent LP models. In Example 2, it is the class containing all worlds most similar to the actual world.) We enrich our interpretation with a well-founded preorder relation, according to which each member of W is minimal according to that relation for each w W there is no v M where v w but w v. (The well-foundedness condition ensures that every nonempty subset of M has elements that are -minimal in M.) Define the non-monotonic consequence relation * by setting Σ * C if the -least models in which each element of Σ is true also make C true. The consequence relation * is truth preserving by design. If Σ * C and the members of Σ are true, then there is some model in W (the model of the actual world, which makes true all and only the true sentences), in which the members of Σ hold. Since this model is in W it is minimal with respect to and since Σ * C, then C holds at that model too, and so, it is true. We need to do a little more work to show that * is not monotonic. For that we need some information about the language and the class M of models and its subset W. If there is an argument in our language from Σ to C that has no counterexamples among worlds (in W) but has some counterexample in a model m outside W, then if we have some sentence B m true at m but not true at any world in W, our argument will be a counterexample to monotonicity we have Σ * C but we don t have Σ, B m * C, since there is some model -minimal among models in which Σ, B m are true and C is untrue, since m is one such model, the set of all such models, being non-empty, must have a -minimal member. This technique is general, and it shows that there are many different ways to construct nonmonotonic but truth preserving consequence relations. Priest was mistaken to identify nonmonotonicity with failure to preserve truth.

7 7 # # # That demonstrates the scope of the error. It is another thing to diagnose it. Why might you think that there is a connection between nonmonotonicity and the failure to preserve truth? Consider Priest s motivating examples of nonmonotonic inferences: The sun has risen every day so far. So the sun will rise tomorrow, Tweety is a bird. So Tweety flies. If you take those inference steps to be unrestrictedly valid in the target sense of validity, then we surely have counterexamples to truth preservation. Some nonmonotonic consequence relations are not truth preserving. Which ones fail to be truth preserving? Is there a deeper connection between nonmonotonicity and failure to preserve truth? Here is one possible connection. Suppose the consequence relation * satisfies the following conditions: 1. * invalid arguments are witnessed by models. If Σ * A then there is some m where each statement in Σ holds in m but A does not hold in m. 2. The models m used in (1) are all possibilities. If m is a model, and A is true in m then A is possible. 3. * -validity is not world-relative. If an argument is valid, then had things been otherwise, it still would have been valid. Under these three conditions, any failure of monotonicity gives rise to a failure of truth preservation. (These are sufficient conditions, not necessary conditions. There are many other conditions under which nonmonotonic logics may fail to preserve truth.) Take a failure of monotonicity, where Σ * C but Σ, B * C. By (1) there is some model m which is a counterexample to the argument from Σ, B to C. If the world is like m, then the argument from Σ to C, though valid according to *, would not be truth preserving, since though each member of Σ is true at m, the conclusion C is not. By (2), this is a possible failure of truth preservation of the argument from Σ to C (since what is true at m is indeed possible), and by (3), what is valid (the argument from Σ to C) still would have been valid at that

8 8 circumstance, so this is indeed a circumstance where a valid argument has a counterexample it is a failure of truth preservation. These three conditions are plausible constraints on certain kinds of consequence relations, and I conjecture that Priest endorses all three (for an appropriate way of understanding the class of models in question). If so, this explains why Priest would be reasonable to make the step from nonmonotonicity to failure to preserve truth, despite the counterexamples we have seen. Why does this argument not work for the examples of truth preserving nonmonotonic logics given in the previous section? For the non-dialethic paraconsistentist, (2) fails. Inconsistent models are not all possibilities. The nondialethic paraconsistentist agrees that there is a model in which a contradiction p p is true while an arbitrary q is not (which is a witness to the failure of the argument from p p to q), but such a model is a way that things cannot be, not a way that things can. For counterfactual consequence, the worlds are each possibilities, but (3) fails. Consequence is contingent and world-relative. This argument breaks down because although a world might be a counterexample to the argument from Σ, B to C, it doesn t follow that if the world was like that, then we would have a counterexample to the valid argument Σ to C, because from the point of view of that world, the argument from Σ to C is Cf-valid. So, nonmonotonic consequence relations are closely connected with failures of truth preservation, but that connection is not identity. Understanding this connection is an important aspect of understanding the many different connections between consequence relations, possibility and truth. 1 References Beall, Jc Why Priest s Reassurance is not so Reassuring. Analysis 72: Thanks to Jc Beall, Graham Priest and Shawn Standefer for comments on this paper.

9 9 Priest, Graham, In Contradiction, Second Edition. Oxford: Oxford University Press. Priest, Graham The Sun may Not, Indeed, Rise Tomorrow: a reply to Beall. Analysis 72: Restall, Greg Ways Things Can t Be. Notre Dame Journal of Formal Logic 38:

### Automated Reasoning Project. Research School of Information Sciences and Engineering. and Centre for Information Science Research

Technical Report TR-ARP-14-95 Automated Reasoning Project Research School of Information Sciences and Engineering and Centre for Information Science Research Australian National University August 10, 1995

### Constructive Logic, Truth and Warranted Assertibility

Constructive Logic, Truth and Warranted Assertibility Greg Restall Department of Philosophy Macquarie University Version of May 20, 2000....................................................................

1 Paradox of Deniability Massimiliano Carrara FISPPA Department, University of Padua, Italy Peking University, Beijing - 6 November 2018 Introduction. The starting elements Suppose two speakers disagree

### Quantificational logic and empty names

Quantificational logic and empty names Andrew Bacon 26th of March 2013 1 A Puzzle For Classical Quantificational Theory Empty Names: Consider the sentence 1. There is something identical to Pegasus On

### TWO VERSIONS OF HUME S LAW

DISCUSSION NOTE BY CAMPBELL BROWN JOURNAL OF ETHICS & SOCIAL PHILOSOPHY DISCUSSION NOTE MAY 2015 URL: WWW.JESP.ORG COPYRIGHT CAMPBELL BROWN 2015 Two Versions of Hume s Law MORAL CONCLUSIONS CANNOT VALIDLY

### God of the gaps: a neglected reply to God s stone problem

God of the gaps: a neglected reply to God s stone problem Jc Beall & A. J. Cotnoir January 1, 2017 Traditional monotheism has long faced logical puzzles (omniscience, omnipotence, and more) [10, 11, 13,

### Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion

398 Notre Dame Journal of Formal Logic Volume 38, Number 3, Summer 1997 Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion S. V. BHAVE Abstract Disjunctive Syllogism,

Lecture 8: Refutation Philosophy 130 March 19 & 24, 2015 O Rourke I. Administrative A. Roll B. Schedule C. Exam #1 comments on difficult spots; if you have questions about this, please let me know D. Discussion

### LOGICAL PLURALISM IS COMPATIBLE WITH MONISM ABOUT METAPHYSICAL MODALITY

LOGICAL PLURALISM IS COMPATIBLE WITH MONISM ABOUT METAPHYSICAL MODALITY Nicola Ciprotti and Luca Moretti Beall and Restall [2000], [2001] and [2006] advocate a comprehensive pluralist approach to logic,

### All They Know: A Study in Multi-Agent Autoepistemic Reasoning

All They Know: A Study in Multi-Agent Autoepistemic Reasoning PRELIMINARY REPORT Gerhard Lakemeyer Institute of Computer Science III University of Bonn Romerstr. 164 5300 Bonn 1, Germany gerhard@cs.uni-bonn.de

### Between the Actual and the Trivial World

Organon F 23 (2) 2016: xxx-xxx Between the Actual and the Trivial World MACIEJ SENDŁAK Institute of Philosophy. University of Szczecin Ul. Krakowska 71-79. 71-017 Szczecin. Poland maciej.sendlak@gmail.com

### Does Deduction really rest on a more secure epistemological footing than Induction?

Does Deduction really rest on a more secure epistemological footing than Induction? We argue that, if deduction is taken to at least include classical logic (CL, henceforth), justifying CL - and thus deduction

### Circumscribing Inconsistency

Circumscribing Inconsistency Philippe Besnard IRISA Campus de Beaulieu F-35042 Rennes Cedex Torsten H. Schaub* Institut fur Informatik Universitat Potsdam, Postfach 60 15 53 D-14415 Potsdam Abstract We

### Can Gödel s Incompleteness Theorem be a Ground for Dialetheism? *

논리연구 20-2(2017) pp. 241-271 Can Gödel s Incompleteness Theorem be a Ground for Dialetheism? * 1) Seungrak Choi Abstract Dialetheism is the view that there exists a true contradiction. This paper ventures

### 2. Refutations can be stronger or weaker.

Lecture 8: Refutation Philosophy 130 October 25 & 27, 2016 O Rourke I. Administrative A. Schedule see syllabus as well! B. Questions? II. Refutation A. Arguments are typically used to establish conclusions.

### Exercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014

Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional

### Empty Names and Two-Valued Positive Free Logic

Empty Names and Two-Valued Positive Free Logic 1 Introduction Zahra Ahmadianhosseini In order to tackle the problem of handling empty names in logic, Andrew Bacon (2013) takes on an approach based on positive

### Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity

Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 1 Background Material for the Exercise on Validity Reasons, Arguments, and the Concept of Validity 1. The Concept of Validity Consider

### Is Sylvan s Box a Threat to Classical Logic Norms?

Florida Philosophical Review Volume XII, Issue 1, Winter 2012 32 Is Sylvan s Box a Threat to Classical Logic Norms? Winner of the Gerritt and Edith Schipper Undergraduate Award for Outstanding Undergraduate

### Maudlin s Truth and Paradox Hartry Field

Maudlin s Truth and Paradox Hartry Field Tim Maudlin s Truth and Paradox is terrific. In some sense its solution to the paradoxes is familiar the book advocates an extension of what s called the Kripke-Feferman

### TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

CDD: 160 http://dx.doi.org/10.1590/0100-6045.2015.v38n2.wcear TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY WALTER CARNIELLI 1, ABÍLIO RODRIGUES 2 1 CLE and Department of

### Troubles with Trivialism

Inquiry, Vol. 50, No. 6, 655 667, December 2007 Troubles with Trivialism OTÁVIO BUENO University of Miami, USA (Received 11 September 2007) ABSTRACT According to the trivialist, everything is true. But

### GROUNDING AND LOGICAL BASING PERMISSIONS

Diametros 50 (2016): 81 96 doi: 10.13153/diam.50.2016.979 GROUNDING AND LOGICAL BASING PERMISSIONS Diego Tajer Abstract. The relation between logic and rationality has recently re-emerged as an important

### Philosophy 125 Day 21: Overview

Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 21: Overview 1st Papers/SQ s to be returned this week (stay tuned... ) Vanessa s handout on Realism about propositions to be posted Second papers/s.q.

### Williams on Supervaluationism and Logical Revisionism

Williams on Supervaluationism and Logical Revisionism Nicholas K. Jones Non-citable draft: 26 02 2010. Final version appeared in: The Journal of Philosophy (2011) 108: 11: 633-641 Central to discussion

### Intersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne

Intersubstitutivity Principles and the Generalization Function of Truth Anil Gupta University of Pittsburgh Shawn Standefer University of Melbourne Abstract We offer a defense of one aspect of Paul Horwich

### Comments on Truth at A World for Modal Propositions

Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into

### Informalizing Formal Logic

Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed

### Semantic Foundations for Deductive Methods

Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the

### Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999):

Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999): 47 54. Abstract: John Etchemendy (1990) has argued that Tarski's definition of logical

### Constructive Logic for All

Constructive Logic for All Greg Restall Philosophy Department Macquarie University June 14, 2000 Abstract It is a commonplace in recent metaphysics that one s logical commitments go hand in hand with one

### Appeared in: Al-Mukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy, Issue 6: April 2013.

Appeared in: Al-Mukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy, Issue 6: April 2013. Panu Raatikainen Intuitionistic Logic and Its Philosophy Formally, intuitionistic

This article was downloaded by: The University Of Melbourne Libraries] On: 25 March 2013, At: 01:49 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered

### Introduction. September 30, 2011

Introduction Greg Restall Gillian Russell September 30, 2011 The expression philosophical logic gets used in a number of ways. On one approach it applies to work in logic, though work which has applications

### Instructor s Manual 1

Instructor s Manual 1 PREFACE This instructor s manual will help instructors prepare to teach logic using the 14th edition of Irving M. Copi, Carl Cohen, and Kenneth McMahon s Introduction to Logic. The

### Intro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe.

Overview Philosophy & logic 1.2 What is philosophy? 1.3 nature of philosophy Why philosophy Rules of engagement Punctuality and regularity is of the essence You should be active in class It is good to

### NB: Presentations will be assigned on the second week. Suggested essay topics will be distributed in May.

PHILOSOPHY OF LOGIC Time and Place: Thursdays 14:15-15:45, 23.02/U1.61 Instructor: Dr. Ioannis Votsis E-mail: votsis@phil-fak.uni-duesseldorf.de Office hours (Room Geb. 23.21/04.86): Thursdays 11:00-12:00

### (Some More) Vagueness

(Some More) Vagueness Otávio Bueno Department of Philosophy University of Miami Coral Gables, FL 33124 E-mail: otaviobueno@mac.com Three features of vague predicates: (a) borderline cases It is common

### Semantic Pathology and the Open Pair

Philosophy and Phenomenological Research Vol. LXXI, No. 3, November 2005 Semantic Pathology and the Open Pair JAMES A. WOODBRIDGE University of Nevada, Las Vegas BRADLEY ARMOUR-GARB University at Albany,

### UC Berkeley, Philosophy 142, Spring 2016

Logical Consequence UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Intuitive characterizations of consequence Modal: It is necessary (or apriori) that, if the premises are true, the conclusion

### Entailment, with nods to Lewy and Smiley

Entailment, with nods to Lewy and Smiley Peter Smith November 20, 2009 Last week, we talked a bit about the Anderson-Belnap logic of entailment, as discussed in Priest s Introduction to Non-Classical Logic.

### This is an electronic version of a paper Journal of Philosophical Logic 43: , 2014.

This is an electronic version of a paper Journal of Philosophical Logic 43: 979-997, 2014. The following passage occurs on p.994 of the published version: The invalidity of Antecedent Strengthening cannot

### 6. Truth and Possible Worlds

6. Truth and Possible Worlds We have defined logical entailment, consistency, and the connectives,,, all in terms of belief. In view of the close connection between belief and truth, described in the first

### Semantic Entailment and Natural Deduction

Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.

### An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019

An Introduction to Formal Logic Second edition Peter Smith February 27, 2019 Peter Smith 2018. Not for re-posting or re-circulation. Comments and corrections please to ps218 at cam dot ac dot uk 1 What

### Predicate logic. Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) Madrid Spain

Predicate logic Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) 28040 Madrid Spain Synonyms. First-order logic. Question 1. Describe this discipline/sub-discipline, and some of its more

### how to be an expressivist about truth

Mark Schroeder University of Southern California March 15, 2009 how to be an expressivist about truth In this paper I explore why one might hope to, and how to begin to, develop an expressivist account

### Fatalism and Truth at a Time Chad Marxen

Stance Volume 6 2013 29 Fatalism and Truth at a Time Chad Marxen Abstract: In this paper, I will examine an argument for fatalism. I will offer a formalized version of the argument and analyze one of the

### Leibniz, Principles, and Truth 1

Leibniz, Principles, and Truth 1 Leibniz was a man of principles. 2 Throughout his writings, one finds repeated assertions that his view is developed according to certain fundamental principles. Attempting

### Lecture Notes on Classical Logic

Lecture Notes on Classical Logic 15-317: Constructive Logic William Lovas Lecture 7 September 15, 2009 1 Introduction In this lecture, we design a judgmental formulation of classical logic To gain an intuition,

### A Judgmental Formulation of Modal Logic

A Judgmental Formulation of Modal Logic Sungwoo Park Pohang University of Science and Technology South Korea Estonian Theory Days Jan 30, 2009 Outline Study of logic Model theory vs Proof theory Classical

### Can Negation be Defined in Terms of Incompatibility?

Can Negation be Defined in Terms of Incompatibility? Nils Kurbis 1 Abstract Every theory needs primitives. A primitive is a term that is not defined any further, but is used to define others. Thus primitives

### 2.3. Failed proofs and counterexamples

2.3. Failed proofs and counterexamples 2.3.0. Overview Derivations can also be used to tell when a claim of entailment does not follow from the principles for conjunction. 2.3.1. When enough is enough

### From Necessary Truth to Necessary Existence

Prequel for Section 4.2 of Defending the Correspondence Theory Published by PJP VII, 1 From Necessary Truth to Necessary Existence Abstract I introduce new details in an argument for necessarily existing

### How Gödelian Ontological Arguments Fail

How Gödelian Ontological Arguments Fail Matthew W. Parker Abstract. Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer

### Resemblance Nominalism and counterparts

ANAL63-3 4/15/2003 2:40 PM Page 221 Resemblance Nominalism and counterparts Alexander Bird 1. Introduction In his (2002) Gonzalo Rodriguez-Pereyra provides a powerful articulation of the claim that Resemblance

### Logic and Reasoning QRII. Introduction

Logic and Reasoning QRII Introduction A Note About Textbooks Here is an example of a standard textbook for a course like this one. A Note About Textbooks It is a pretty good basic introduction to logic.

### A Puzzle about Knowing Conditionals i. (final draft) Daniel Rothschild University College London. and. Levi Spectre The Open University of Israel

A Puzzle about Knowing Conditionals i (final draft) Daniel Rothschild University College London and Levi Spectre The Open University of Israel Abstract: We present a puzzle about knowledge, probability

### Molnar on Truthmakers for Negative Truths

Molnar on Truthmakers for Negative Truths Nils Kürbis Dept of Philosophy, King s College London Penultimate draft, forthcoming in Metaphysica. The final publication is available at www.reference-global.com

### Argumentation Module: Philosophy Lesson 7 What do we mean by argument? (Two meanings for the word.) A quarrel or a dispute, expressing a difference

1 2 3 4 5 6 Argumentation Module: Philosophy Lesson 7 What do we mean by argument? (Two meanings for the word.) A quarrel or a dispute, expressing a difference of opinion. Often heated. A statement of

### Foreknowledge, evil, and compatibility arguments

Foreknowledge, evil, and compatibility arguments Jeff Speaks January 25, 2011 1 Warfield s argument for compatibilism................................ 1 2 Why the argument fails to show that free will and

### Conditionals, Predicates and Probability

Conditionals, Predicates and Probability Abstract Ernest Adams has claimed that a probabilistic account of validity gives the best account of our intuitive judgements about the validity of arguments. In

### Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering

Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last

### Richard L. W. Clarke, Notes REASONING

1 REASONING Reasoning is, broadly speaking, the cognitive process of establishing reasons to justify beliefs, conclusions, actions or feelings. It also refers, more specifically, to the act or process

### Relevance. Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true

Relevance Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true Premises are irrelevant when they do not 1 Non Sequitur Latin for it does

### THINKING ANIMALS AND EPISTEMOLOGY

THINKING ANIMALS AND EPISTEMOLOGY by ANTHONY BRUECKNER AND CHRISTOPHER T. BUFORD Abstract: We consider one of Eric Olson s chief arguments for animalism about personal identity: the view that we are each

### 1. Introduction Formal deductive logic Overview

1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special

### Broad on Theological Arguments. I. The Ontological Argument

Broad on God Broad on Theological Arguments I. The Ontological Argument Sample Ontological Argument: Suppose that God is the most perfect or most excellent being. Consider two things: (1)An entity that

### Can Negation be Defined in Terms of Incompatibility?

Can Negation be Defined in Terms of Incompatibility? Nils Kurbis 1 Introduction Every theory needs primitives. A primitive is a term that is not defined any further, but is used to define others. Thus

### Criticizing Arguments

Kareem Khalifa Criticizing Arguments 1 Criticizing Arguments Kareem Khalifa Department of Philosophy Middlebury College Written August, 2012 Table of Contents Introduction... 1 Step 1: Initial Evaluation

### Negative Introspection Is Mysterious

Negative Introspection Is Mysterious Abstract. The paper provides a short argument that negative introspection cannot be algorithmic. This result with respect to a principle of belief fits to what we know

### The Problem of Induction and Popper s Deductivism

The Problem of Induction and Popper s Deductivism Issues: I. Problem of Induction II. Popper s rejection of induction III. Salmon s critique of deductivism 2 I. The problem of induction 1. Inductive vs.

### Figure 1 Figure 2 U S S. non-p P P

1 Depicting negation in diagrammatic logic: legacy and prospects Fabien Schang, Amirouche Moktefi schang.fabien@voila.fr amirouche.moktefi@gersulp.u-strasbg.fr Abstract Here are considered the conditions

### ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,

### A. Problem set #3 it has been posted and is due Tuesday, 15 November

Lecture 9: Propositional Logic I Philosophy 130 1 & 3 November 2016 O Rourke & Gibson I. Administrative A. Problem set #3 it has been posted and is due Tuesday, 15 November B. I am working on the group

### Generic truth and mixed conjunctions: some alternatives

Analysis Advance Access published June 15, 2009 Generic truth and mixed conjunctions: some alternatives AARON J. COTNOIR Christine Tappolet (2000) posed a problem for alethic pluralism: either deny the

### Language, Meaning, and Information: A Case Study on the Path from Philosophy to Science Scott Soames

Language, Meaning, and Information: A Case Study on the Path from Philosophy to Science Scott Soames Near the beginning of the final lecture of The Philosophy of Logical Atomism, in 1918, Bertrand Russell

### Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments 1 Agenda 1. What is an Argument? 2. Evaluating Arguments 3. Validity 4. Soundness 5. Persuasive Arguments 6.

### A Liar Paradox. Richard G. Heck, Jr. Brown University

A Liar Paradox Richard G. Heck, Jr. Brown University It is widely supposed nowadays that, whatever the right theory of truth may be, it needs to satisfy a principle sometimes known as transparency : Any

### Is there a good epistemological argument against platonism? DAVID LIGGINS

[This is the penultimate draft of an article that appeared in Analysis 66.2 (April 2006), 135-41, available here by permission of Analysis, the Analysis Trust, and Blackwell Publishing. The definitive

### BOOK REVIEWS. Duke University. The Philosophical Review, Vol. XCVII, No. 1 (January 1988)

manner that provokes the student into careful and critical thought on these issues, then this book certainly gets that job done. On the other hand, one likes to think (imagine or hope) that the very best

### INTERMEDIATE LOGIC Glossary of key terms

1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include

### 1.2. What is said: propositions

1.2. What is said: propositions 1.2.0. Overview In 1.1.5, we saw the close relation between two properties of a deductive inference: (i) it is a transition from premises to conclusion that is free of any

### G. H. von Wright Deontic Logic

G. H. von Wright Deontic Logic Kian Mintz-Woo University of Amsterdam January 9, 2009 January 9, 2009 Logic of Norms 2010 1/17 INTRODUCTION In von Wright s 1951 formulation, deontic logic is intended to

### WRIGHT ON BORDERLINE CASES AND BIVALENCE 1

WRIGHT ON BORDERLINE CASES AND BIVALENCE 1 HAMIDREZA MOHAMMADI Abstract. The aim of this paper is, firstly to explain Crispin Wright s quandary view of vagueness, his intuitionistic response to sorites

### Facts and Free Logic. R. M. Sainsbury

R. M. Sainsbury 119 Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and the property of barking.

### Facts and Free Logic R. M. Sainsbury

Facts and Free Logic R. M. Sainsbury Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and

### Modalism and Logical Pluralism

Modalism and Logical Pluralism Otávio Bueno and Scott A. Shalkowski Logical pluralism is the view according to which there is more than one relation of logical consequence, even within a given language.

### Review Deductive Logic. Wk2 Day 2. Critical Thinking Ninjas! Steps: 1.Rephrase as a syllogism. 2.Choose your weapon

Review Deductive Logic Wk2 Day 2 Checking Validity of Deductive Argument Steps: 1.Rephrase as a syllogism Identify premises and conclusion. Look out for unstated premises. Place them in order P(1), P(2),

### Truth and the Unprovability of Consistency. Hartry Field

Truth and the Unprovability of Consistency Hartry Field Abstract: It might be thought that we could argue for the consistency of a mathematical theory T within T, by giving an inductive argument that all

### Accommodation, Inference, Generics & Pejoratives

Accommodation, Inference, Generics & Pejoratives Greg Restall melbourne philosophy seminar 22 march 2018 My Aim To give an account of norms governing our uses of generics, and our inferring, showing how

### Logic for Robotics: Defeasible Reasoning and Non-monotonicity

Logic for Robotics: Defeasible Reasoning and Non-monotonicity The Plan I. Explain and argue for the role of nonmonotonic logic in robotics and II. Briefly introduce some non-monotonic logics III. Fun,

### THIRD NEW C OLLEGE LO GIC MEETING

THIRD NEW C OLLEGE LO GIC MEETING 22, 23 and 25 April 2012 Noel Salter Room New College final version The conference is supported by the uk-latin America and the Caribbean Link Programme of the British

### What we want to know is: why might one adopt this fatalistic attitude in response to reflection on the existence of truths about the future?

Fate and free will From the first person point of view, one of the most obvious, and important, facts about the world is that some things are up to us at least sometimes, we are able to do one thing, and

### Other Logics: What Nonclassical Reasoning Is All About Dr. Michael A. Covington Associate Director Artificial Intelligence Center

Covington, Other Logics 1 Other Logics: What Nonclassical Reasoning Is All About Dr. Michael A. Covington Associate Director Artificial Intelligence Center Covington, Other Logics 2 Contents Classical

### Counterfactuals and Causation: Transitivity

Counterfactuals and Causation: Transitivity By Miloš Radovanovi Submitted to Central European University Department of Philosophy In partial fulfillment of the requirements for the degree of Master of

### Published in Michal Peliš (ed.) The Logica Yearbook 2007 (Prague: Filosofia), pp , 2008.

The Metaphysical Status of Logic TUOMAS E. TAHKO (www.ttahko.net) Published in Michal Peliš (ed.) The Logica Yearbook 2007 (Prague: Filosofia), pp. 225-235, 2008. ABSTRACT The purpose of this paper is