# I. In the ongoing debate on the meaning of logical connectives 1, two families of

Size: px
Start display at page:

Download "I. In the ongoing debate on the meaning of logical connectives 1, two families of"

Transcription

1 What does & mean? Axel Arturo Barceló Aspeitia Instituto de Investigaciones Filosóficas, UNAM México Proceedings of the Twenty-First World Congress of Philosophy, Vol. 5, Pp I. In the ongoing debate on the meaning of logical connectives 1, two families of theories have surfaced as main contenders. 2 On the one hand, representational semantics hold that the meaning of a logical connective is determined by its contribution to the truth conditions of propositions containing it. On the other hand, inferentialist theories (sometimes called functional or conceptual role semantic theories as well) 3 claim that the meanings of logical constants are determined by certain characteristic implications. 4 Most commonly, these characteristic implications correspond to the introduction and elimination rules of a natural deduction system. For inferentialists, therefore, the meaning of a logical connective is 1. There is a widespread ambiguity regarding the term logical connectives. For the purposes of this paper, I will use the term to make reference to constant symbols in the language of our logical calculi, like &, v, etc. Other authors prefer to restrict their use of the term for the meanings of such symbols. 2. I borrow the distinction from Robert B. Brandom Articulating Reasons. An Introduction to Inferentialism (Cambridge: Harvard University Press 2000) Block (2000) 4. Gilbert Harman, The Meaning of Logical Constants Truth and Interpretation: Perspectives on the Philosophy of Donald Davidson, edited by Ernest Lepore (Oxford, Blackwell: 1986) 126

2 closely connected to its deductive calculus. 5 For representationalists, on the other hand, a logical connective s meaning is more intimately connected to its interpretation. Traditionally, the interpretation of a formal language is taken to establish the link between the formulas and what they stand for. 6 This is the reason why the inferential account is sometimes called syntactic, while the representational one is called semantic. The first approach originates in the work of Peirce, and is implicit in the work of Russell, Ramsey and others. However, it did not become of age until the seminal work of Tarski on the notion of truth for artificial languages. 7 The second one can be traced as far back as Frege s original logical calculus, the Begriffsschrift and finds inspiration in Wittgenstein s passages like the following: The rules of logical inference cannot be either wrong or right. They determine the meaning of the signs. 8 We can conceive the rules of inference I want to say as giving the signs 5. It is important to notice that... To begin with, inferential role semantics is the doctrine that meaning is inferential role... In the first instance, it is sentences, not words, that one infers from and to, and thus it is sentences that have inferential roles. Nonetheless, we can think of the inferential role of a word as represented by the set of inferential roles of sentences in which it appears. The notion of the inferential role of a word (and likewise for other sub-sentential constituents) is a made-up idea, but this is an obvious way to make it up. Ned Block, Holism, Hyper-analyticity and Hypercompositionality Mind & Language 8, 1, ,2 Let s call the totality of the inferences to which a sentence is capable of contributing, its total inferential role. A sub-sentential constitutent s total inferential role can then be defined accordingly, as consisting in the contribution it makes to the total inferential role of the sentences in which it appears. [ ] Against this rough and ready background, an inferential role semantics is just the view that there is some construct out of an expression s total inference role that constitutes its meaning what it does. Let us call this construct an expression s meaning-constituting inferential role, or MIR for short. Paul A. Boghossian, Does an Inferential Role Semantics Rest Upon a Mistake? Mind & Language, VIII, 1 (1993) Jaroslav Peregrin, Interpreting Formal Logic Erkenntnis 40 (1994) 5 7. For a critical survey of the development of the representational account out of Tarski s theory and its relation to the inferentialist position, cf. Hartry Field Tarski s Theory of Truth The Journal of Philosophy, LXIX, 13 (1972) Ludwif Wittgenstein, Remarks on the Foundations of Mathematics (Cambridge, MIT Press: 1956) 24

3 their meaning, because they are rules for the use of these signs. 9 However, it finds its cornerstone in a much-quoted passage from Gerhardt Gentzen s Investigations into Logical Deduction. 10 Regarding the derivation rules of his sequent calculus, he wrote that The introductions represent, as it were, the definitions of the symbols concerned, and the eliminations are no more, in the final analysis, than the consequences of these definitions. 11 Lately, this line of thought has been pursued, in some way or another, by logicians and philosophers like Sellars, Gilbert Harman, Michael Dummett, Ned Block, Robert Brandom and Jaroslav Peregrin. To better understand the proposed two ways of determining the meaning of a logical connective, let us take & as an example. From a representationalist point of view, the meaning of this logical constant is given in its truth table: p q p&q T T T T F F F T F F F F This table must be read as saying that if p is true and q is true, then p&q is also true; if p is true and q is false, p&q is false as well; and so on. For the inferentialist, in contrast, the meaning of this logical connective is determined by its introduction and elimination rules. Traditionally, these are the 9 Ludwif Wittgenstein, Remarks on the Foundations of Mathematics (Cambridge, MIT Press: 1956) Cf. Francis J. Pelletier, A Brief History of Natural Deduction History and Philosophy of Logic, 20 (1999) American Philosophical Quarterly, Vol. I, No.4, Octubre 1964: 295, 5.13

4 following: Conjunction Introduction: p q p&q Conjunction Elimination: p&q p p&q q It is a widespread opinion that, at least for truth functional connectives, both approaches can be easily shown to be equivalent. 12 This is achieved by defining logical inference (the key concept in inferentialists theories) in terms of truth conditions (the key concept in representational theories). Accordingly, to say that one proposition logically implies another is to say that the first cannot be true without the other being true. Under this definition of logical inference, introduction and elimination rules provide the same information about the meaning of logical connectives as their truth table. In the case of conjunction, for example, introduction and elimination rules would say that, necessarily (Introduction) If p and q are true, then p&q is true as well (Elimination) p&q is true only if both p and q are true Taken together, they would say that p&q is true if, and only if p and q are both true, which is exactly what the truth table for conjunction tells us. 12. In Jaroslav Peregrin s words, that the usual [truth-table] meanings we ascribe to expressions [can] be construed as disguised inferential roles. Jaroslav Peregrin, Meaning as Inferential Role Logica Yearbook 2002, forthcoming.

5 I call this the collapse argument. It plays an essential role in the current debate between inferrentialists and representationalists, regularly used on both sides to argue for a reduction of one type of semantics to the other Gilbert Harman (1986) has shown that this argument does not work so well for the rest of the truth-functional connectives, as it does with conjunctions. 13 However, I want to show that even for the apparently unproblematic case of conjunction, the transformation from one definition to the other is not so straightforward either. Mostly, I want to argue that no true inferentialist should be convinced by the collapse argument. II. There are different ways of rejecting the collapse argument. The first and obvious one would be to reject the truth-conditional definition of logical implication. I have no space here to pursue that line of argumentation. Instead, I will criticize the way the collapse argument reads the elimination and implication rules. I will sustain that, even before applying the truth-theoretical definition of logical implication, the collapse argument requires a non-inferentialist reading of the introduction and elimination rules, thus making it unacceptable for a true inferentialist. Let me start by giving a brief account of what exactly is an inferentialist theory of meaning, when applied to logical formalism. Inferentialists are so called, 13. It is important to tell that the aim of Harman s argument in (1986) is not to overcome inferentialism (after all, his non-solipsistic conceptual role semantics is an inferentialism), but only its commitment to characteristic implications expressed by inference rules. Among the final remarks of his paper, he writes: Even if the meanings of logical constants are determined by their role in inference, it is imprecise to say that these roles are determined by characteristic implications. P. 134

6 because they advocate a thoroughly inferential account of meaning. This dictum acquires special relevance when applied to the interpretation of logical formalism. 14 Now, if logical concepts are entirely fixed by their functions in reasoning, a concept C expresses logical conjunction if it serves to combine two thoughts P and Q to form a third thought C(P, Q), where the role of C can be characterized in terms of the principles of conjunction introduction and conjunction elmination. 15 For an inferentialist, therefore, logical rules and formulae must be read exclusively in terms of inferential operations. Inferentialists diverge on whether these inferential operations are determined by psychological processes or by proof constructions. In the remaining of this paper I will adopt a proof-theoretical vocabulary, but nothing of what I will say next could not be easily expressed in psychological terms as well. Under an inferentialist theory of meaning, therefore, logical rules must be read as saying something about the validity of proofs, while formulae must be interpreted in terms of allowed proof constructions in the calculus. A rule that says that a formula A follows from another formula B expresses the logical validity of any proof that has A among its premises and B as its conclusion. conjunction: Now, let us take a new look at the introduction and elimination rules for (Introduction) p&q follows from p and q (Elimination) p and q follow from p&q 14. According to Brandom, this new way of thinking about semantics is also the basis of a new way of thinking about logic (Brandom (2000) 45). Hence, the inferentialist/representationalist controversy diverges into a parallel philosophical debate regarding the nature of logic: the question whether Logics s central object of study is logical consequence or logical truth. Inferentialist s advocacy of an inferentialist interpretation of logical formalism seems to commit them to place logical truth at a subordinate position in relation to logical consequence. 15. Gilbert Harman, (Non Solipsistic) Conceptual Role Semantics in E. Lepore (ed.) New Directions in Semantics (London: Academic Press, 1987) 137

7 So read, these rules seem to establish a kind of logical equivalence between the logical connective & and the logical word and. This is one of the reasons why some logicians believe that the logical connective & is synonymous or is the formal counterpart of logical word and in natural language. 16 However, it is important to notice that the word and that occurs in the enunciation of these rules belongs to the meta-language of logic. Under an inferentialist perspective, this would be the language logicians use to talk about the construction of proofs in a formal system. To make this proof-theoretical dimension more obvious we may want to rephrase these readings more explicitly as: (Introduction) Any proof that includes both p and q among its premises, and p&q as its conclusion is logically valid. (Elimination) Any argument that includes p&q among its premises, and either p or q as its conclusion is logically valid. Notice that by reading the rules this way, not only the second and (as well as the putative synonymy between & and and ) disappears, but also the apparent topical homogeneity between both rules. On the inferentialist reading, each rule connects the & connective with a different sort of proof construction. The introduction rule connects it with the addition of premises to an argument, while the elimination rule connects it with the operation of obtaining different conclusions from the same set of premises. Hence, according to the introduction rule, the connective & expresses the conjunction of premises, while the elimination rule defines the connective as expressing the conjunction of conclusions. From a proof-theoretical point of view it is clear that these two conjunctions are different. 16. Cf. Raúl Orayén Lógica, Significado y Ontología (México D.F.: UNAM/IIF, 1989)

8 Finally, even if we accept the truth-theoretical account of logical inference, we are left not with one, but two truth tables, one for each rule and logical operation. Under the truth-conditional definition of logical inference, the introduction rule for conjunction would determine the following truth table: p q p&q T T T T F? F T? F F? while the elimination rule would determine the following one p&q p q T T T F?? In other words, even under a truth-conditional reading, the introduction rule does not tell us anything about the truth value of the conjunction as a conclusion when the premises are not both true. Likewise, the elimination rule does not tell us anything about (the truth value of) the conclusion when the conjunction as a premise is not true. The proponent of the collapse argument still needs to establish the correspondence between these two incomplete tables and the single and complete truth table proposed by representationalists. Thus, she is faced with a dilemma: either take one of the incomplete tables and fill in the blanks to obtain a complete one, or integrate both partial truth tables into a complete one. The first horn of the dilemma would be accomplished, for example, by saying that the introduction and/or

9 elimination rule for the connective establishes both the necessary and sufficient conditions for the validity of certain proofs. However, this approach seems to have the inconvenience of reading these inference rules as establishing logical equivalence, instead of logical inference. Hence, it would seem logically inadmissible. However, some version of it has been recently advocated by M. E. Kalderon (2001) and J. Peregrin (forthcoming). 17 Peregrin argues for what he calls an Exhaustive Assumption (EA) when translating inference rules into truth tables: If we manage to turn all the rows ending with T into inferential conditions, we can complete the specification by stimulating minimality: any other statement fulfilling all the conditions must be inferable from O(S1,... Sn) In other words, for Peregrin, the information provided by the truth table is not contained in any of the introduction or elimination rules, but in the fact that they are the introduction and the elimination rules for the aforementioned connective. In consequence, introduction rules must be read under the minimality 18 assumption that the inferences they determine are the only way to introduce the connective. Elimination rules, conversely, must also be read under the minimality assumption that the inferences they determine are the only ones that allow for the elimination of the connective. In the case of conjunction, this would mean that the introduction rule establishes the only pattern of inference available for the introduction of the 17. I say some version of it, because they do not use this strategy to join the information from the elimination and introduction rules or to complete the truth table of conjunction. They do not consider this strategy to be necessary in the case of conjunction. 18. Peregrin s exhaustivity assumption includes a maximality principle as well, for completing partial truth tables that include only lines finishing in F. I find his account of those cases as extremely problematic, but at least does not apply to conjunction, so is out of the scope of this paper.

10 conjunction symbol. In other words, that no other combination of p and q would entail p&q. This way, Peregrin can complete the truth table obtained from the introduction rule as follows: p q p&q T T T T F F F T F F F F However, this strategy does not work as nicely for the elimination rule. On the other hand, taking the second horn of the dilemma would require a philosophical account that brings together both logical operations under a single notion of conjunction. However, we have no logical or philosophical reason to say that joining different premises together in an argument is the same (or inverse) operation than obtaining different conclusions from the same argument. In either case, the main hurdle to overcome would be to give a philosophical account of the ambiguity emerging from the inferentialist account. One must explain how two apparently different logical constructions (adding new premises and obtaining new conclusions) may determine one single logical concept (conjunction). This may be accomplished by explaining either which one of the two aforementioned conjunctions is the logical conjunction, or how both operations of conjunction form a single logical unity. However, it is clear that such account does not yet exist, and that the issue has not been properly raised in the current debate. Consequently, it is correct

11 to say that there is no straightforward reconciliation for the inferentialist and representationist theories of meaning for logical connectives. III. Finally, however, one may still wonder why would we need to conciliate both approaches after all. There is still the alternative of proposing a two-factor theory of meaning for logical connectives. On this vision, the meaning of a logical connective is a composite of two sorts of semantic contents: its conceptual content, determined inferentially, and its representational content, determined by its truth table. On this view, meaning consist of an internal, narrow aspect of meaning... and an external referential/truth-theoretic aspect of meaning Besides the usual problems burdening two-factor theories of meanings, 20 this strategy is specially difficult to maintain in the case logical connectives, because logical terms have traditionally been defined precisely as those elements of language whose meaning is entirely inferential. As such, they are supposed to have no representational role besides that relevant for inference and logical implication. A representational account of meaning, in the case of logical terms, cannot go beyond establishing its inferential role. Logical terms differ from other non-logical terms in their having only conceptual content. This was the original definition of Frege in his Begriffsschrift (1879), and survives in current logical orthodoxy. The relevant passage from Frege reads as follows: There are two ways in which the content of two judgements may differ; it may, or it may not, be the case that all inferences that can be drawn from the first judgement when combined with certain other ones can always also be drawn from the second when combined with certain other ones can 19. Ned Block, Conceptual Role Semantics in Edward Craig (ed.) The Routledge Encyclopedia of Philosophy (London: Routledge, 2000) 20. For a summary account of the difficulties of two-factor semantics, see Block (2000)

12 always also be drawn from the second when combined with the same other judgements. The two propositions the Greeks defeated the Persians at Plataca and the Persians were defeated by the Greeks at Plataca differ in the former way; even if a slight difference of sense is discernible, the agreement in sense is preponderant. Now I call that part of the content that is the same in both the conceptual content. Only this has significance for our symbolic language [Begriffsschrift]... In my formalized language [Begriffsschrift]... only that part of judgements which affects the possible inferences is taken into consideration. Whatever is needed for a correct inference is fully expressed; what is not needed is... not. (Frege ) This conception was the original motivation behind inferentialism, and admiting a two-tier theory of meaning would go directly against it. Hence, it is inconsistent with the inferentialist position to hold a two-tier account of meaning, at least for logical connectives. In the end, the inferentialist must bite the bullet and reject the representationalist s truth-functional story both as an equivalent and/or as a supplementary account of the meaning of logical connectives. APPENDIX: What the Collapse Argument is not. The collapse argument is not an argument for the reduction of the inferrential content of a connective to its non-referrential. In other words, truth tables themselves can be read both inferrentially and representationally. For representationalists, each line of the truth table establishes the truth-conditions of a complex sentence in terms of the truth conditions of its components sentences. For inferrentialist, a truth table keeps expressing inferrential connections, and each line must be read as establishing a valid inference form the turth or falsity of the component sentences to the truth or falsity of the component statement. In the case of conjunction notice that when we say that p&q is true only if

13 p and q are both true, we are using both the conjunction and implication notions as marked by the occurrence of the so-called logical words and and only if. In other words, truth tables cannot be interpreted as defining the meaning of logical connectives in non-inferrential terms. Furthermore, this jump from direct inferences (from p and q to p&q) to truthconditional inferences (from the truth of p and the truth of q to the truth of p&q) has its (very high) price. If it is not p&q which follows from p and q, but the truth of p&q which follows from the truth of p and the truth of q, Hence, instead of three patterns of inference, the truth table establishes four patterns of inference: p is true q is true p&q is true p is true q is false p&q is false p is false q is true p&q is false p is false q is false p&q is false However, if these four basic patterns of inference establish the meaning of the connective, then we must then read them as It is true that p is true It is true that q is true It is true that p&q is true

14 It is true that p is true It is false that q is true It is true that p&q is true It is false that p is true It is true that q is true It is true that p&q is true It is false that p is true It is false that q is true It is true that p&q is true and It is true that p is true It is true that q is false It is true that p&q is false It is true that p is true It is false that q is false It is false that p&q is false It is false that p is true It is true that q is false It is false that p&q is false It is false that p is true It is false that q is false It is false that p&q is false then what happens when p or q are not actually true. In the direct inferrentialist case, it is still possible for p&q to follow from p and q, even when one of them is false. However, in the truth table case, those lines in the table which contradict reality must be read subjunctively. Hence, they would have to say that if p and q were true, p&q would also be true.

### 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

### Assertion and Inference

Assertion and Inference Carlo Penco 1 1 Università degli studi di Genova via Balbi 4 16126 Genova (Italy) www.dif.unige.it/epi/hp/penco penco@unige.it Abstract. In this introduction to the tutorials I

### Logic and Pragmatics: linear logic for inferential practice

Logic and Pragmatics: linear logic for inferential practice Daniele Porello danieleporello@gmail.com Institute for Logic, Language & Computation (ILLC) University of Amsterdam, Plantage Muidergracht 24

### 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

### Boghossian & Harman on the analytic theory of the a priori

Boghossian & Harman on the analytic theory of the a priori PHIL 83104 November 2, 2011 Both Boghossian and Harman address themselves to the question of whether our a priori knowledge can be explained in

### CHAPTER 1 A PROPOSITIONAL THEORY OF ASSERTIVE ILLOCUTIONARY ARGUMENTS OCTOBER 2017

CHAPTER 1 A PROPOSITIONAL THEORY OF ASSERTIVE ILLOCUTIONARY ARGUMENTS OCTOBER 2017 Man possesses the capacity of constructing languages, in which every sense can be expressed, without having an idea how

### Externalism and a priori knowledge of the world: Why privileged access is not the issue Maria Lasonen-Aarnio

Externalism and a priori knowledge of the world: Why privileged access is not the issue Maria Lasonen-Aarnio This is the pre-peer reviewed version of the following article: Lasonen-Aarnio, M. (2006), Externalism

### 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

### 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

### Verificationism. PHIL September 27, 2011

Verificationism PHIL 83104 September 27, 2011 1. The critique of metaphysics... 1 2. Observation statements... 2 3. In principle verifiability... 3 4. Strong verifiability... 3 4.1. Conclusive verifiability

### 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,

### What are Truth-Tables and What Are They For?

PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are Truth-Tables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at

### UNITY OF KNOWLEDGE (IN TRANSDISCIPLINARY RESEARCH FOR SUSTAINABILITY) Vol. I - Philosophical Holism M.Esfeld

PHILOSOPHICAL HOLISM M. Esfeld Department of Philosophy, University of Konstanz, Germany Keywords: atomism, confirmation, holism, inferential role semantics, meaning, monism, ontological dependence, rule-following,

### 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

### 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

### Ayer on the criterion of verifiability

Ayer on the criterion of verifiability November 19, 2004 1 The critique of metaphysics............................. 1 2 Observation statements............................... 2 3 In principle verifiability...............................

### Understanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002

1 Symposium on Understanding Truth By Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 2 Precis of Understanding Truth Scott Soames Understanding Truth aims to illuminate

### Subjective Logic: Logic as Rational Belief Dynamics. Richard Johns Department of Philosophy, UBC

Subjective Logic: Logic as Rational Belief Dynamics Richard Johns Department of Philosophy, UBC johns@interchange.ubc.ca May 8, 2004 What I m calling Subjective Logic is a new approach to logic. Fundamentally

### Remarks on a Foundationalist Theory of Truth. Anil Gupta University of Pittsburgh

For Philosophy and Phenomenological Research Remarks on a Foundationalist Theory of Truth Anil Gupta University of Pittsburgh I Tim Maudlin s Truth and Paradox offers a theory of truth that arises from

### Received: 30 August 2007 / Accepted: 16 November 2007 / Published online: 28 December 2007 # Springer Science + Business Media B.V.

Acta anal. (2007) 22:267 279 DOI 10.1007/s12136-007-0012-y What Is Entitlement? Albert Casullo Received: 30 August 2007 / Accepted: 16 November 2007 / Published online: 28 December 2007 # Springer Science

### Ayer and Quine on the a priori

Ayer and Quine on the a priori November 23, 2004 1 The problem of a priori knowledge Ayer s book is a defense of a thoroughgoing empiricism, not only about what is required for a belief to be justified

### 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

### Is the law of excluded middle a law of logic?

Is the law of excluded middle a law of logic? Introduction I will conclude that the intuitionist s attempt to rule out the law of excluded middle as a law of logic fails. They do so by appealing to harmony

### Truth At a World for Modal Propositions

Truth At a World for Modal Propositions 1 Introduction Existentialism is a thesis that concerns the ontological status of individual essences and singular propositions. Let us define an individual essence

### 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

### Haberdashers Aske s Boys School

1 Haberdashers Aske s Boys School Occasional Papers Series in the Humanities Occasional Paper Number Sixteen Are All Humans Persons? Ashna Ahmad Haberdashers Aske s Girls School March 2018 2 Haberdashers

### What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history

### Action in Special Contexts

Part III Action in Special Contexts c36.indd 283 c36.indd 284 36 Rationality john broome Rationality as a Property and Rationality as a Source of Requirements The word rationality often refers to a property

### 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

### 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

### Is phenomenal character out there in the world?

Is phenomenal character out there in the world? Jeff Speaks November 15, 2013 1. Standard representationalism... 2 1.1. Phenomenal properties 1.2. Experience and phenomenal character 1.3. Sensible properties

### Moral Argumentation from a Rhetorical Point of View

Chapter 98 Moral Argumentation from a Rhetorical Point of View Lars Leeten Universität Hildesheim Practical thinking is a tricky business. Its aim will never be fulfilled unless influence on practical

### 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.

### Some remarks on verificationism, constructivism and the Principle of Excluded Middle in the context of Colour Exclusion Problem

URRJ 5 th June, 2017 Some remarks on verificationism, constructivism and the Principle of Excluded Middle in the context of Colour Exclusion Problem Marcos Silva marcossilvarj@gmail.com https://sites.google.com/site/marcossilvarj/

### Lecture 3. I argued in the previous lecture for a relationist solution to Frege's puzzle, one which

1 Lecture 3 I argued in the previous lecture for a relationist solution to Frege's puzzle, one which posits a semantic difference between the pairs of names 'Cicero', 'Cicero' and 'Cicero', 'Tully' even

### THE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the

THE MEANING OF OUGHT Ralph Wedgwood What does the word ought mean? Strictly speaking, this is an empirical question, about the meaning of a word in English. Such empirical semantic questions should ideally

### This is a collection of fourteen previously unpublished papers on the fit

Published online at Essays in Philosophy 7 (2005) Murphy, Page 1 of 9 REVIEW OF NEW ESSAYS ON SEMANTIC EXTERNALISM AND SELF-KNOWLEDGE, ED. SUSANA NUCCETELLI. CAMBRIDGE, MA: THE MIT PRESS. 2003. 317 PAGES.

### The Philosophy of Logic

The Philosophy of Logic PHL 430-001 Spring 2003 MW: 10:20-11:40 EBH, Rm. 114 Instructor Information Matthew McKeon Office: 503 South Kedzie/Rm. 507 Office hours: Friday--10:30-1:00, and by appt. Telephone:

### THE TWO-DIMENSIONAL ARGUMENT AGAINST MATERIALISM AND ITS SEMANTIC PREMISE

Diametros nr 29 (wrzesień 2011): 80-92 THE TWO-DIMENSIONAL ARGUMENT AGAINST MATERIALISM AND ITS SEMANTIC PREMISE Karol Polcyn 1. PRELIMINARIES Chalmers articulates his argument in terms of two-dimensional

### TRUTH-MAKERS AND CONVENTION T

TRUTH-MAKERS AND CONVENTION T Jan Woleński Abstract. This papers discuss the place, if any, of Convention T (the condition of material adequacy of the proper definition of truth formulated by Tarski) in

### THE FREGE-GEACH PROBLEM AND KALDERON S MORAL FICTIONALISM. Matti Eklund Cornell University

THE FREGE-GEACH PROBLEM AND KALDERON S MORAL FICTIONALISM Matti Eklund Cornell University [me72@cornell.edu] Penultimate draft. Final version forthcoming in Philosophical Quarterly I. INTRODUCTION In his

### 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

### Reply to Florio and Shapiro

Reply to Florio and Shapiro Abstract Florio and Shapiro take issue with an argument in Hierarchies for the conclusion that the set theoretic hierarchy is open-ended. Here we clarify and reinforce the argument

### What would count as Ibn Sīnā (11th century Persia) having first order logic?

1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā

### OSSA Conference Archive OSSA 8

University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 8 Jun 3rd, 9:00 AM - Jun 6th, 5:00 PM Commentary on Goddu James B. Freeman Follow this and additional works at: https://scholar.uwindsor.ca/ossaarchive

### Two Kinds of Ends in Themselves in Kant s Moral Theory

Western University Scholarship@Western 2015 Undergraduate Awards The Undergraduate Awards 2015 Two Kinds of Ends in Themselves in Kant s Moral Theory David Hakim Western University, davidhakim266@gmail.com

### Review of "The Tarskian Turn: Deflationism and Axiomatic Truth"

Essays in Philosophy Volume 13 Issue 2 Aesthetics and the Senses Article 19 August 2012 Review of "The Tarskian Turn: Deflationism and Axiomatic Truth" Matthew McKeon Michigan State University Follow this

### Has Nagel uncovered a form of idealism?

Has Nagel uncovered a form of idealism? Author: Terence Rajivan Edward, University of Manchester. Abstract. In the sixth chapter of The View from Nowhere, Thomas Nagel attempts to identify a form of idealism.

### 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.

### Are There Reasons to Be Rational?

Are There Reasons to Be Rational? Olav Gjelsvik, University of Oslo The thesis. Among people writing about rationality, few people are more rational than Wlodek Rabinowicz. But are there reasons for being

### The Paradox of the stone and two concepts of omnipotence

Filo Sofija Nr 30 (2015/3), s. 239-246 ISSN 1642-3267 Jacek Wojtysiak John Paul II Catholic University of Lublin The Paradox of the stone and two concepts of omnipotence Introduction The history of science

### CHAPTER 2 THE LARGER LOGICAL LANDSCAPE NOVEMBER 2017

CHAPTER 2 THE LARGER LOGICAL LANDSCAPE NOVEMBER 2017 1. SOME HISTORICAL REMARKS In the preceding chapter, I developed a simple propositional theory for deductive assertive illocutionary arguments. This

### PART III - Symbolic Logic Chapter 7 - Sentential Propositions

Logic: A Brief Introduction Ronald L. Hall, Stetson University 7.1 Introduction PART III - Symbolic Logic Chapter 7 - Sentential Propositions What has been made abundantly clear in the previous discussion

### International Phenomenological Society

International Phenomenological Society The Semantic Conception of Truth: and the Foundations of Semantics Author(s): Alfred Tarski Source: Philosophy and Phenomenological Research, Vol. 4, No. 3 (Mar.,

### 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

### A dialogical, multi-agent account of the normativity of logic. Catarin Dutilh Novaes Faculty of Philosophy University of Groningen

A dialogical, multi-agent account of the normativity of logic Catarin Dutilh Novaes Faculty of Philosophy University of Groningen 1 Introduction In what sense (if any) is logic normative for thought? But

Håkan Salwén. Hume s Law: An Essay on Moral Reasoning Lorraine Besser-Jones Volume 31, Number 1, (2005) 177-180. Your use of the HUME STUDIES archive indicates your acceptance of HUME STUDIES Terms and

### What is the Frege/Russell Analysis of Quantification? Scott Soames

What is the Frege/Russell Analysis of Quantification? Scott Soames The Frege-Russell analysis of quantification was a fundamental advance in semantics and philosophical logic. Abstracting away from details

### Quine on the analytic/synthetic distinction

Quine on the analytic/synthetic distinction Jeff Speaks March 14, 2005 1 Analyticity and synonymy.............................. 1 2 Synonymy and definition ( 2)............................ 2 3 Synonymy

### 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

### Theories of propositions

Theories of propositions phil 93515 Jeff Speaks January 16, 2007 1 Commitment to propositions.......................... 1 2 A Fregean theory of reference.......................... 2 3 Three theories of

### Right-Making, Reference, and Reduction

Right-Making, Reference, and Reduction Kent State University BIBLID [0873-626X (2014) 39; pp. 139-145] Abstract The causal theory of reference (CTR) provides a well-articulated and widely-accepted account

Chadwick Prize Winner: Christian Michel THE LIAR PARADOX OUTSIDE-IN To classify sentences like This proposition is false as having no truth value or as nonpropositions is generally considered as being

### The Problem with Complete States: Freedom, Chance and the Luck Argument

The Problem with Complete States: Freedom, Chance and the Luck Argument Richard Johns Department of Philosophy University of British Columbia August 2006 Revised March 2009 The Luck Argument seems to show

### Constructive Logic, Truth and Warranted Assertibility

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

### Semantics and the Justification of Deductive Inference

Semantics and the Justification of Deductive Inference Ebba Gullberg ebba.gullberg@philos.umu.se Sten Lindström sten.lindstrom@philos.umu.se Umeå University Abstract Is it possible to give a justification

Issue 4, Special Conference Proceedings 2017 Published by the Durham University Undergraduate Philosophy Society An Alternative Approach to Mathematical Ontology Amber Donovan (Durham University) Introduction

### Logic: A Brief Introduction

Logic: A Brief Introduction Ronald L. Hall, Stetson University PART III - Symbolic Logic Chapter 7 - Sentential Propositions 7.1 Introduction What has been made abundantly clear in the previous discussion

### Meaning and Privacy. Guy Longworth 1 University of Warwick December

Meaning and Privacy Guy Longworth 1 University of Warwick December 17 2014 Two central questions about meaning and privacy are the following. First, could there be a private language a language the expressions

### Can A Priori Justified Belief Be Extended Through Deduction? It is often assumed that if one deduces some proposition p from some premises

Can A Priori Justified Belief Be Extended Through Deduction? Introduction It is often assumed that if one deduces some proposition p from some premises which one knows a priori, in a series of individually

### Philosophy 240: Symbolic Logic

Philosophy 240: Symbolic Logic Russell Marcus Hamilton College Fall 2011 Class 27: October 28 Truth and Liars Marcus, Symbolic Logic, Fall 2011 Slide 1 Philosophers and Truth P Sex! P Lots of technical

### 2.1 Review. 2.2 Inference and justifications

Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning

### Russell: On Denoting

Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of

### Necessity and Truth Makers

JAN WOLEŃSKI Instytut Filozofii Uniwersytetu Jagiellońskiego ul. Gołębia 24 31-007 Kraków Poland Email: jan.wolenski@uj.edu.pl Web: http://www.filozofia.uj.edu.pl/jan-wolenski Keywords: Barry Smith, logic,

### WHAT DOES KRIPKE MEAN BY A PRIORI?

Diametros nr 28 (czerwiec 2011): 1-7 WHAT DOES KRIPKE MEAN BY A PRIORI? Pierre Baumann In Naming and Necessity (1980), Kripke stressed the importance of distinguishing three different pairs of notions:

### 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

### Is Epistemic Probability Pascalian?

Is Epistemic Probability Pascalian? James B. Freeman Hunter College of The City University of New York ABSTRACT: What does it mean to say that if the premises of an argument are true, the conclusion is

### 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,

### SAVING RELATIVISM FROM ITS SAVIOUR

CRÍTICA, Revista Hispanoamericana de Filosofía Vol. XXXI, No. 91 (abril 1999): 91 103 SAVING RELATIVISM FROM ITS SAVIOUR MAX KÖLBEL Doctoral Programme in Cognitive Science Universität Hamburg In his paper

### THE ROLE OF COHERENCE OF EVIDENCE IN THE NON- DYNAMIC MODEL OF CONFIRMATION TOMOJI SHOGENJI

Page 1 To appear in Erkenntnis THE ROLE OF COHERENCE OF EVIDENCE IN THE NON- DYNAMIC MODEL OF CONFIRMATION TOMOJI SHOGENJI ABSTRACT This paper examines the role of coherence of evidence in what I call

### 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

### DISCUSSION PRACTICAL POLITICS AND PHILOSOPHICAL INQUIRY: A NOTE

Practical Politics and Philosophical Inquiry: A Note Author(s): Dale Hall and Tariq Modood Reviewed work(s): Source: The Philosophical Quarterly, Vol. 29, No. 117 (Oct., 1979), pp. 340-344 Published by:

### Illustrating Deduction. A Didactic Sequence for Secondary School

Illustrating Deduction. A Didactic Sequence for Secondary School Francisco Saurí Universitat de València. Dpt. de Lògica i Filosofia de la Ciència Cuerpo de Profesores de Secundaria. IES Vilamarxant (España)

### Supplementary Section 6S.7

Supplementary Section 6S.7 The Propositions of Propositional Logic The central concern in Introduction to Formal Logic with Philosophical Applications is logical consequence: What follows from what? Relatedly,

### PRACTICAL REASONING. Bart Streumer

PRACTICAL REASONING Bart Streumer b.streumer@rug.nl In Timothy O Connor and Constantine Sandis (eds.), A Companion to the Philosophy of Action Published version available here: http://dx.doi.org/10.1002/9781444323528.ch31

### Introduction Symbolic Logic

An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION

### Conceivability and Possibility Studies in Frege and Kripke. M.A. Thesis Proposal. Department of Philosophy, CSULB. 25 May 2006

1 Conceivability and Possibility Studies in Frege and Kripke M.A. Thesis Proposal Department of Philosophy, CSULB 25 May 2006 Thesis Committee: Max Rosenkrantz (chair) Bill Johnson Wayne Wright 2 In my

### 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

### 1. Lukasiewicz s Logic

Bulletin of the Section of Logic Volume 29/3 (2000), pp. 115 124 Dale Jacquette AN INTERNAL DETERMINACY METATHEOREM FOR LUKASIEWICZ S AUSSAGENKALKÜLS Abstract An internal determinacy metatheorem is proved

### Revista del Instituto de Filosofía, Universidad de Valparaíso, Año 1, N 1. Junio Pags Resumen

Revista del Instituto de Filosofía, Universidad de Valparaíso, Año 1, N 1. Junio 2013. Pags. 35 40 A logical framework Göran Sundholm Resumen El artículo presenta un marco de distinciones para la filosofía

### [3.] Bertrand Russell. 1

[3.] Bertrand Russell. 1 [3.1.] Biographical Background. 1872: born in the city of Trellech, in the county of Monmouthshire, now part of Wales 2 One of his grandfathers was Lord John Russell, who twice

### Instrumental reasoning* John Broome

Instrumental reasoning* John Broome For: Rationality, Rules and Structure, edited by Julian Nida-Rümelin and Wolfgang Spohn, Kluwer. * This paper was written while I was a visiting fellow at the Swedish

### 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

### WHY IS GOD GOOD? EUTYPHRO, TIMAEUS AND THE DIVINE COMMAND THEORY

Miłosz Pawłowski WHY IS GOD GOOD? EUTYPHRO, TIMAEUS AND THE DIVINE COMMAND THEORY In Eutyphro Plato presents a dilemma 1. Is it that acts are good because God wants them to be performed 2? Or are they

### POWERS, NECESSITY, AND DETERMINISM

POWERS, NECESSITY, AND DETERMINISM Thought 3:3 (2014): 225-229 ~Penultimate Draft~ The final publication is available at http://onlinelibrary.wiley.com/doi/10.1002/tht3.139/abstract Abstract: Stephen Mumford

### Wittgenstein and Moore s Paradox

Wittgenstein and Moore s Paradox Marie McGinn, Norwich Introduction In Part II, Section x, of the Philosophical Investigations (PI ), Wittgenstein discusses what is known as Moore s Paradox. Wittgenstein