# Quantificational logic and empty names

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Quantificational logic and empty names Andrew Bacon 26th of March A Puzzle For Classical Quantificational Theory Empty Names: Consider the sentence 1. There is something identical to Pegasus On its most natural formalisation, xa = x, this sentence translates to a theorem of classical logic (start with the axiom a = a and then existentially generalise.) Non Empty Names: Perhaps this is due to an incorrect formalisation or treatment of empty names. This thought does not get to the heart of the issue: the problem is not limited to empty names. Consider 2. Necessarily, there is something identical to Timothy Williamson. This sentences most straightforward formalisation, xa = x, is a theorem provided we have a rule of necessitation (from a proof of φ from no premises infer φ) that ensures, minimally, that all the theorems of quantificational logic are necessary. Necessitism: Perhaps this problem is due to an incorrect treatment of names altogether. The problem doesn t even have to trade on names, provided we allow open formulae to be theorems. 3. Necessarily, everything necessarily is identical to something. Once again this is a theorem given the rule of necessitation and classical quantificational theory. Choice: if we want to avoid these consequences either we reject classical quantification theory or the rule of necessitation. Could we reject the rule of necessitation? Classical logic is not necessarily truth preserving. Classical logic does not even reliably lead to knowledge. The issue is verbal. (Necessitation deniers and non-standard logicians will agree about the truths and disagree only about what we call logic. The logic of necessary truth preservation, for example, will be non-classical according to either disputant.) 1

2 2 Free Logic How should we replace classical logic? In the first two cases we only used existential generalisation and the self identity axiom (some free logicians deny the latter, but we can run similar problems without using the self identity axiom.) My favoured solution (which I believe is the earliest system, discovered by Kripke and Lambert) is to take a completely standard axiomatisation of classical logic with identity and replace universal instantiation (UI) with its universal closure (CUI): UI xφ φ[t/x] CUI y( xφ φ[y/x]) This is called positive free logic. Some people strengthen the logic to a negative free logic by allowing more instances of UI. Important points to note CUI looks like it is actually at least as strong as UI. Not so: getting from CUI to UI requires an instance of UI. There are other more complicated axiomatisations of positive free logic floating around which has lead to the impression that free logic is unwieldy and that there is no agreement about what the correct logic is. Note then that (1) the described system is exactly as complicated as classical logic and (2) these variant systems have the same closed theorems (they tend to only differ about how open formulae are treated. 1 ) This formulation requires that the axioms for identity be present. Removing the identity axioms will remove some purely quantificational theorems; thus this axiomatisation is not conservative over its identity free fragment (unlike classical logic.) Model Theory: the model theory for this logic is a very simple generalisation of classical model theory. One just relaxes the constraint that monadic predicates denote subsets of the domain (they may denote any old set), and similarly for nary predicates, and one relaxes the constraint that names denote members of the domain and that variable assignments map variables into the domain. This is often called Meinongian model theory because names receive denotations that are not in the domain of quantification. 3 Are Empty Names Intersubstitutable? Within the free logic literature a lot of attention is devoted to the following question: 1 I am talking only about the variant axiomatisations of positive free logic here. There is, of course, a substantial disagreement about whether the schema xφ φ[t/x] is valid for atomic φ. 2

3 Are atomic sentences involving empty names sometimes true, or are they always false/neither true nor false? The view that atomic sentences containing empty names are never true motivates a slightly stronger logic than the one I have been endorsing. My view is that atomic sentences containing empty names are sometimes true. However there is a lot of wriggle room concerning which sentences we class as atomic; presumably we can use the word atomic in such a way that the thesis comes out true. To my mind the interesting question is not whether atomic sentences containing empty names are ever true, but whether empty names ever make an interesting semantic contribution to sentences in which they appear. The position that they don t make a semantic contribution might motivate the claim about atomic sentences, but it is a much more substantive claim. The question I d rather address is the following: can two distinct empty names have a different semantic profiles? On the assumption that they don t we should accept the following intersubstitutivity principle for empty names: Intersubstitutivity If s and t are non-denoting terms then s and t are intersubstitutable for one another salve veritate. Intersubstitutivity Formal x(x s x t) (φ φ[s/t]). Here φ need not be an extensional formula. There are a variety of putative counterexamples to the intersubstitutivity principle, all of which suggest to me that empty names often do make a significant semantic contribution to sentences in which they appear. 1. Intensional transitives: Botticelli painted Venus (but not Pegasus.) 2. Propositional attitudes: Alice thought that Sherlock Holmes (but not Watson) was a detective. 3. Counterfactuals: Had Holmes and Watson existed Holmes (but not Watson) would have been a detective. 4. Predicate modifiers: Pegasus is a mythological horse-god. Each of these problems can be run without involving empty names. 4 The Semantic Problem Recall the Meinongian model theory Model theory is a way of characterising inferences. Once we have a sound and complete model theory for a collection of inferences, we can use it to verify whether an argument is valid, whether a set of sentences is consistent or inconsistent and so on. 3

4 The Meinongian model theory does not provide a semantics it tells us nothing about what is true and false. The semantic problem is the problem of specifying the truth conditions for a sentence that contains an empty name. No Meinongian model can provide the truth conditions for the sentence there is nothing identical to Pegasus. For this sentence to be true Pegasus must be assigned an object that is not in the domain of the model. But if the domain really includes everything there is (which it should, since it s supposed to be the intended model) there are no objects outside the domain. Even though no Meinongian model is the intended interpretation, we can still justify its usefulness for characterising the notion of a valid inference. A variant of Kreisel s argument: If an inference is provable in PFL it is surely truth preserving over the class of all interpretations (Meinongian or not), from which it follows that it s truth preserving over the smaller class of Meinongian models. Finally by the completeness theorem it follows that the inference is provable in PFL. Thus we have a closed loop of entailments: a sequent is provable in PFL iff it is truth preserving in all interpretations, iff it is truth preserving in all Meinongian models. Two observations Note that the most natural meaning to assign the name Pegasus would be Pegasus itself. Pegasus refers to Pegasus is a mythological horse-god applies to Pegasus. This might seem incoherent at first because surely we are also committed to the following: Pegasus doesn t refer to anything. ( Pegasus is an empty name.) is a mythological horse-god doesn t apply to anything. (Since there aren t any mythological horse-gods.) Note, however, that these pairs of claims are not inconsistent in positive free logic. For some verbs are existence entailing (e.g. jumps, walks, talks ) other aren t ( imagines, draws, depicts.) You can depict Pegasus without there being anything you re depicting. 4

5 My first thesis is that the verb refers is not existence entailing (it belongs to the latter category.) Just as you can depict Pegasus without there being anything you re depicting, you can refer to Pegasus without there being anything you re referring to. First Thesis: refers is not existence entailing. Assuming the first thesis, with a bit of care, it is possible to give something like a Tarskian compositional semantics for a first order language containing empty names, by appealing to claims of the form Pegasus refers to Pegasus, and similar claims. 5 The Metasemantic Problem The metasemantic problem is this What is it about our use of the word Sherlock Holmes that ensures that we refer to Sherlock Holmes, and not (say) Pegasus? The causal account Something like the causal account of reference is surely true: when the use of a name can be causally traced back a number of initial baptismal speech acts, these speech acts play an important role in fixing the names referent. There might be no single baptismal speech act but a network of introductory uses. Whether or not this account is true to the letter should not matter for my purposes. A simple case is best for illustration: When a name is introduced by a baptismal speech act of the form let a denote the F, this act is appropriate when the conversational presuppositions entail that there is exactly one salient F. When the background presuppositions are false (perhaps we sincerely believe that there is at least one horse-god, or we are engaging in a pretense) such a speech act still seems to be appropriate, and may even confer meaning to the name. Once we learn that the presuppositions are false we can later report that, had those suppositions been true the thing we actually refer to with a would be the thing that would have been F. (This In short the reason we pick out Holmes and not Pegasus with the name Sherlock Holmes has to do with the counterfactual properties Holmes has which Pegasus doesn t. (Holmes, not Pegasus, would have been a detective living 221B Baker Street, had the presuppositions in which Sherlock Holmes was introduced been true.) 5

6 A straightforward consequence of this view about reference fixing is there could have been things to which our empty names actually refer (even if these things don t actually exist.) Second Thesis: for every meaningful empty name, there could have been something to which it actually refers. Worries: Given the Pegasus refers to Pegasus and there could have been something Pegasus actually refers to, it follows that Pegasus could have existed. But didn t Kripke refute this view? Kripke s argument is effectively that there are thousands of possible objects satisfying the properties associated with Pegasus in mythology, it seems absurd to think that our use of the word Pegasus singles out one of these. Firstly: according to the current view, you must do more than satisfy the properties associated by Greek mythology you must be the horse-god that would have existed had the Greek myths been true. Secondly: this argument over generates. According to the problem of the many there are an abundance of candidate referents even for names of existing macroscopic objects. What about names introduced within inconsistent suppositions? 6

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

### Dispositionalism and the Modal Operators

Philosophy and Phenomenological Research Philosophy and Phenomenological Research doi: 10.1111/phpr.12132 2014 Philosophy and Phenomenological Research, LLC Dispositionalism and the Modal Operators DAVID

### Introducing truth tables. Hello, I m Marianne Talbot and this is the first video in the series supplementing the Formal Logic podcasts.

Introducing truth tables Marianne: Hello, I m Marianne Talbot and this is the first video in the series supplementing the Formal Logic podcasts. Okay, introducing truth tables. (Slide 2) This video supplements

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

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

### 15. Russell on definite descriptions

15. Russell on definite descriptions Martín Abreu Zavaleta July 30, 2015 Russell was another top logician and philosopher of his time. Like Frege, Russell got interested in denotational expressions as

### Epistemic two-dimensionalism

Epistemic two-dimensionalism phil 93507 Jeff Speaks December 1, 2009 1 Four puzzles.......................................... 1 2 Epistemic two-dimensionalism................................ 3 2.1 Two-dimensional

Believing Epistemic Contradictions Bob Beddor & Simon Goldstein Bridges 2 2015 Outline 1 The Puzzle 2 Defending Our Principles 3 Troubles for the Classical Semantics 4 Troubles for Non-Classical Semantics

### On Truth At Jeffrey C. King Rutgers University

On Truth At Jeffrey C. King Rutgers University I. Introduction A. At least some propositions exist contingently (Fine 1977, 1985) B. Given this, motivations for a notion of truth on which propositions

### Deflationary Nominalism s Commitment to Meinongianism

Res Cogitans Volume 7 Issue 1 Article 8 6-24-2016 Deflationary Nominalism s Commitment to Meinongianism Anthony Nguyen Reed College Follow this and additional works at: http://commons.pacificu.edu/rescogitans

Potentialism about set theory Øystein Linnebo University of Oslo SotFoM III, 21 23 September 2015 Øystein Linnebo (University of Oslo) Potentialism about set theory 21 23 September 2015 1 / 23 Open-endedness

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

### An alternative understanding of interpretations: Incompatibility Semantics

An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truth-theoretic) semantics, interpretations serve to specify when statements are true and when they are false.

### Truth and Molinism * Trenton Merricks. Molinism: The Contemporary Debate edited by Ken Perszyk. Oxford University Press, 2011.

Truth and Molinism * Trenton Merricks Molinism: The Contemporary Debate edited by Ken Perszyk. Oxford University Press, 2011. According to Luis de Molina, God knows what each and every possible human would

### The Ontological Argument and Objects of Thought

Philosophic Exchange Volume 42 Number 1 Volume 42 (2011-2012) Article 1 2011 The Ontological Argument and Objects of Thought Edward Wierenga University of Rochester Follow this and additional works at:

### The distinction between truth-functional and non-truth-functional logical and linguistic

FORMAL CRITERIA OF NON-TRUTH-FUNCTIONALITY Dale Jacquette The Pennsylvania State University 1. Truth-Functional Meaning The distinction between truth-functional and non-truth-functional logical and linguistic

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

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

### In general, the simplest of argument maps will take the form of something like this:

#6 Model Argument Maps 1 Argument Mapping 6: Model Argument Maps Most of the following discussion provides model or prototype argument maps that can be applied to any argument that takes a similar form.

### Wright on response-dependence and self-knowledge

Wright on response-dependence and self-knowledge March 23, 2004 1 Response-dependent and response-independent concepts........... 1 1.1 The intuitive distinction......................... 1 1.2 Basic equations

### Arbitrary Reference. Page 1

Arbitrary Reference Wylie Breckenridge and Ofra Magidor (Penultimate draft of paper to appear in Philosophical Studies Please cite the final published version) Two fundamental rules of reasoning are Universal

### Entailment as Plural Modal Anaphora

Entailment as Plural Modal Anaphora Adrian Brasoveanu SURGE 09/08/2005 I. Introduction. Meaning vs. Content. The Partee marble examples: - (1 1 ) and (2 1 ): different meanings (different anaphora licensing

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

### Necessity. Oxford: Oxford University Press. Pp. i-ix, 379. ISBN \$35.00.

Appeared in Linguistics and Philosophy 26 (2003), pp. 367-379. Scott Soames. 2002. Beyond Rigidity: The Unfinished Semantic Agenda of Naming and Necessity. Oxford: Oxford University Press. Pp. i-ix, 379.

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

### Selections from Aristotle s Prior Analytics 41a21 41b5

Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations

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

### Epistemic Modals and Epistemic Modality

Epistemic Modals and Epistemic Modality Brian Weatherson and Andy Egan 1 Epistemic Possibility and Other Types of Possibility There is a lot that we don t know. That means that there are a lot of possibilities

### A Solution to the Gettier Problem Keota Fields. the three traditional conditions for knowledge, have been discussed extensively in the

A Solution to the Gettier Problem Keota Fields Problem cases by Edmund Gettier 1 and others 2, intended to undermine the sufficiency of the three traditional conditions for knowledge, have been discussed

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

### On the Aristotelian Square of Opposition

On the Aristotelian Square of Opposition Dag Westerståhl Göteborg University Abstract A common misunderstanding is that there is something logically amiss with the classical square of opposition, and that

### Mika Oksanen THE RUSSELL-KAPLAN PARADOX AND OTHER MODAL PARADOXES: A NEW SOLUTION

Mika Oksanen THE RUSSELL-KAPLAN PARADOX AND OTHER MODAL PARADOXES: A NEW SOLUTION The article considers some paradoxes that have been found in possible worlds semantics, such as the Russell-Kaplan paradox

### A NOTE ON LOGICAL TRUTH

Logique & Analyse 227 (2014), 309 331 A NOTE ON LOGICAL TRUTH CORINE BESSON ABSTRACT Classical logic counts sentences such as Alice is identical with Alice as logically true. A standard objection to classical

### Realism and Idealism Internal realism

Realism and Idealism Internal realism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 12/11/15 Easy answers Last week, we considered the metaontological debate between Quine and Carnap. Quine

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

### Wittgenstein and Gödel: An Attempt to Make Wittgenstein s Objection Reasonable

Wittgenstein and Gödel: An Attempt to Make Wittgenstein s Objection Reasonable Timm Lampert published in Philosophia Mathematica 2017, doi.org/10.1093/philmat/nkx017 Abstract According to some scholars,

### Counterparts. Cian Dorr. Draft of 9th March 2015 Comments welcome

Counterparts Cian Dorr Draft of 9th March 2015 Comments welcome Contents 1 A-theories and B-theories 1 1.1 Two key questions about time and modality........... 1 1.2 Propositions.............................

### Russellianism and Explanation. David Braun. University of Rochester

Forthcoming in Philosophical Perspectives 15 (2001) Russellianism and Explanation David Braun University of Rochester Russellianism is a semantic theory that entails that sentences (1) and (2) express

### Logical Constants as Punctuation Marks

362 Notre Dame Journal of Formal Logic Volume 30, Number 3, Summer 1989 Logical Constants as Punctuation Marks KOSTA DOSEN* Abstract This paper presents a proof-theoretical approach to the question "What

### TWO APPROACHES TO INSTRUMENTAL RATIONALITY

TWO APPROACHES TO INSTRUMENTAL RATIONALITY AND BELIEF CONSISTENCY BY JOHN BRUNERO JOURNAL OF ETHICS & SOCIAL PHILOSOPHY VOL. 1, NO. 1 APRIL 2005 URL: WWW.JESP.ORG COPYRIGHT JOHN BRUNERO 2005 I N SPEAKING

### Vagueness and supervaluations

Vagueness and supervaluations UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Supervaluations We saw two problems with the three-valued approach: 1. sharp boundaries 2. counterintuitive consequences

### This is a longer version of the review that appeared in Philosophical Quarterly Vol. 47 (1997)

This is a longer version of the review that appeared in Philosophical Quarterly Vol. 47 (1997) Frege by Anthony Kenny (Penguin, 1995. Pp. xi + 223) Frege s Theory of Sense and Reference by Wolfgang Carl

### HORWICH S MINIMALIST CONCEPTION OF TRUTH: Some Logical Difficulties

Logic and Logical Philosophy Volume 9 (2001), 161 181 Sten Lindström HORWICH S MINIMALIST CONCEPTION OF TRUTH: Some Logical Difficulties Aristotle s words in the Metaphysics: to say of what is that it

### Review Essay: Scott Soames, Philosophy of Language

Review Essay: Scott Soames, Philosophy of Language Kirk Ludwig Philosophical Quarterly of Israel ISSN 0048-3893 DOI 10.1007/s11406-013-9447-0 1 23 Your article is protected by copyright and all rights

### 2 Why Truthmakers GONZALO RODRIGUEZ-PEREYRA 1. INTRODUCTION

2 Why Truthmakers GONZALO RODRIGUEZ-PEREYRA 1. INTRODUCTION Consider a certain red rose. The proposition that the rose is red is true because the rose is red. One might say as well that the proposition

### Philosophy of Mathematics Kant

Philosophy of Mathematics Kant Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 20/10/15 Immanuel Kant Born in 1724 in Königsberg, Prussia. Enrolled at the University of Königsberg in 1740 and

### Constructing the World

Constructing the World Lecture 1: A Scrutable World David Chalmers Plan *1. Laplace s demon 2. Primitive concepts and the Aufbau 3. Problems for the Aufbau 4. The scrutability base 5. Applications Laplace

### FREGE AND SEMANTICS. Richard G. HECK, Jr. Brown University

Grazer Philosophische Studien 75 (2007), 27 63. FREGE AND SEMANTICS Richard G. HECK, Jr. Brown University Summary In recent work on Frege, one of the most salient issues has been whether he was prepared

### Propositions as Cognitive Event Types

Propositions as Cognitive Event Types By Scott Soames USC School of Philosophy Chapter 6 New Thinking about Propositions By Jeff King, Scott Soames, Jeff Speaks Oxford University Press 1 Propositions as

### INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments Volker Halbach Pure logic is the ruin of the spirit. Antoine de Saint-Exupéry The Logic Manual The Logic Manual The Logic Manual The Logic Manual

### Williamson s proof of the primeness of mental states

Williamson s proof of the primeness of mental states February 3, 2004 1 The shape of Williamson s argument...................... 1 2 Terminology.................................... 2 3 The argument...................................

### Understanding Deflationism

1 Understanding Deflationism by Scott Soames Philosophical Perspectives Volume 17, 2003 2 Understanding Deflationism Scott Soames A Deflationary Conception of Deflationism. My aim here will be to say what

### Philosophy 5340 Epistemology Topic 4: Skepticism. Part 1: The Scope of Skepticism and Two Main Types of Skeptical Argument

1. The Scope of Skepticism Philosophy 5340 Epistemology Topic 4: Skepticism Part 1: The Scope of Skepticism and Two Main Types of Skeptical Argument The scope of skeptical challenges can vary in a number

### In Defense of the Law of Noncontradiction

Edward N. Zalta 2 In Defense of the Law of Noncontradiction Edward N. Zalta Center for the Study of Language and Information Stanford University zalta@stanford.edu An important philosophical puzzle arises

### COMPARING CONTEXTUALISM AND INVARIANTISM ON THE CORRECTNESS OF CONTEXTUALIST INTUITIONS. Jessica BROWN University of Bristol

Grazer Philosophische Studien 69 (2005), xx yy. COMPARING CONTEXTUALISM AND INVARIANTISM ON THE CORRECTNESS OF CONTEXTUALIST INTUITIONS Jessica BROWN University of Bristol Summary Contextualism is motivated

### What is Logical Validity?

What is Logical Validity? Whatever other merits proof-theoretic and model-theoretic accounts of validity may have, they are not remotely plausible as accounts of the meaning of valid. And not just because

### Squeezing arguments. Peter Smith. May 9, 2010

Squeezing arguments Peter Smith May 9, 2010 Many of our concepts are introduced to us via, and seem only to be constrained by, roughand-ready explanations and some sample paradigm positive and negative

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

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

### Moral Argument. Jonathan Bennett. from: Mind 69 (1960), pp

from: Mind 69 (1960), pp. 544 9. [Added in 2012: The central thesis of this rather modest piece of work is illustrated with overwhelming brilliance and accuracy by Mark Twain in a passage that is reported

### 1/6. The Resolution of the Antinomies

1/6 The Resolution of the Antinomies Kant provides us with the resolutions of the antinomies in order, starting with the first and ending with the fourth. The first antinomy, as we recall, concerned the

### How to Embed Epistemic Modals without Violating Modus Tollens

How to Embed Epistemic Modals without Violating Modus Tollens Joseph Salerno Saint Louis University, Saint Louis Jean Nicod Institute, Paris knowability@gmail.com May 26, 2013 Abstract Epistemic modals

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

### A Generalization of Hume s Thesis

Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences 10-1 2006 Jerzy Kalinowski : logique et normativité A Generalization of Hume s Thesis Jan Woleński Publisher Editions Kimé Electronic

### HANDBOOK (New or substantially modified material appears in boxes.)

1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by

### Informative Identities in the Begriffsschrift and On Sense and Reference

Informative Identities in the Begriffsschrift and On Sense and Reference This paper is about the relationship between Frege s discussions of informative identity statements in the Begriffsschrift and On

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

### Russell on Descriptions

Russell on Descriptions Bertrand Russell s analysis of descriptions is certainly one of the most famous (perhaps the most famous) theories in philosophy not just philosophy of language over the last century.

### A Defense of the Significance of the A Priori A Posteriori Distinction. Albert Casullo. University of Nebraska-Lincoln

A Defense of the Significance of the A Priori A Posteriori Distinction Albert Casullo University of Nebraska-Lincoln The distinction between a priori and a posteriori knowledge has come under fire by a

### Experience and the Passage of Time

Experience and the Passage of Time Bradford Skow 1 Introduction Some philosophers believe that the passage of time is a real phenomenon. And some of them find a reason to believe this when they attend

### Epistemic two-dimensionalism and the epistemic argument

Epistemic two-dimensionalism and the epistemic argument Jeff Speaks November 12, 2008 Abstract. One of Kripke s fundamental objections to descriptivism was that the theory misclassifies certain a posteriori

### Conditionals IV: Is Modus Ponens Valid?

Conditionals IV: Is Modus Ponens Valid? UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 The intuitive counterexamples McGee [2] offers these intuitive counterexamples to Modus Ponens: 1. (a)

### According to what Parsons (1984) has

AMERICAN PHILOSOPHICAL QUARTERLY Volume 38, Number 2, April 2001 FREE ASSUMPTIONS AND THE LIAR PARADOX Patrick Greenough I. OVERVIEW According to what Parsons (1984) has dubbed the Standard Solution of

### Reflexivity NATHAN SALMON*

Notre Dame Journal of Formal Logic Volume 27, Number 3, July 1986 401 Reflexivity NATHAN SALMON* In [38], Mark Richard formulated a new and interesting problem for theories of direct reference with regard

### Lecture 17:Inference Michael Fourman

Lecture 17:Inference Michael Fourman 2 Is this a valid argument? Assumptions: If the races are fixed or the gambling houses are crooked, then the tourist trade will decline. If the tourist trade declines

### Why there is no such thing as a motivating reason

Why there is no such thing as a motivating reason Benjamin Kiesewetter, ENN Meeting in Oslo, 03.11.2016 (ERS) Explanatory reason statement: R is the reason why p. (NRS) Normative reason statement: R is

### the aim is to specify the structure of the world in the form of certain basic truths from which all truths can be derived. (xviii)

PHIL 5983: Naturalness and Fundamentality Seminar Prof. Funkhouser Spring 2017 Week 8: Chalmers, Constructing the World Notes (Introduction, Chapters 1-2) Introduction * We are introduced to the ideas

### A UNIFIED MORAL TERRAIN?

BY STEPHEN EVERSON JOURNAL OF ETHICS & SOCIAL PHILOSOPHY VOL. 2, NO. 1 JULY 2007 URL: WWW.JESP.ORG COPYRIGHT STEPHEN EVERSON 2007 1 IN HIS BOOK What We Owe to Each Other, Thomas Scanlon offers what he

### Ethical Consistency and the Logic of Ought

Ethical Consistency and the Logic of Ought Mathieu Beirlaen Ghent University In Ethical Consistency, Bernard Williams vindicated the possibility of moral conflicts; he proposed to consistently allow for

### Phil Notes #27: For Determinism (Blanshard)

Phil. 4360 Notes #27: For Determinism (Blanshard) I. Definitions Determinism: Two definitions have been popular: 1. Every event has a sufficient cause. Events include persistences of states as well as

### A Nominalist s Dilemma and its Solution

A Nominalist s Dilemma and its Solution 2 A Nominalist s Dilemma and its Solution Otávio Bueno Department of Philosophy University of South Carolina Columbia, SC 29208 obueno@sc.edu and Edward N. Zalta

### Philosophy Epistemology Topic 5 The Justification of Induction 1. Hume s Skeptical Challenge to Induction

Philosophy 5340 - Epistemology Topic 5 The Justification of Induction 1. Hume s Skeptical Challenge to Induction In the section entitled Sceptical Doubts Concerning the Operations of the Understanding

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

### Two-dimensional semantics and the nesting problem

Two-dimensional semantics and the nesting problem David J. Chalmers and Brian Rabern July 2, 2013 1 Introduction Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems

### Primitive Thisness and Primitive Identity by Robert Merrihew Adams (1979)

Primitive Thisness and Primitive Identity by Robert Merrihew Adams (1979) Is the world and are all possible worlds constituted by purely qualitative facts, or does thisness hold a place beside suchness

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

### CHAPTER TWO AN EXPLANATORY ROLE BORIS RÄHME FOR THE CONCEPT OF TRUTH. 1. Introduction

CHAPTER TWO AN EXPLANATORY ROLE FOR THE CONCEPT OF TRUTH BORIS RÄHME 1. Introduction Deflationism about truth (henceforth, deflationism) comes in a variety of versions 1 Variety notwithstanding, there

### Possible Thesis Topics

Possible Thesis Topics Thomas Forster January 4, 2018 There is a standard trick of Ackermann s that makes IN look like V ω : ordain that n E m iff the nth bit of (binary) m is 1. There is a suggestion

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

### Existence, Identity, and Empty Names

Existence, Identity, and Empty Names Takashi Iida 1 In a number of papers 1 and a forthcoming book 2, Alex Orenstein has argued against the modern logical orthodoxy starting from Frege. According to Orenstein,

### Reply to Critics. Agustín Rayo. April 9, This project has been a joy to work on. Cameron, Eklund, Hofweber, Linnebo, Russell

Reply to Critics Agustín Rayo April 9, 2014 This project has been a joy to work on. Cameron, Eklund, Hofweber, Linnebo, Russell and Sider wrote six splendid essays, filled with interesting ideas and thoughtful

### Exposition of Symbolic Logic with Kalish-Montague derivations

An Exposition of Symbolic Logic with Kalish-Montague derivations Copyright 2006-13 by Terence Parsons all rights reserved Aug 2013 Preface The system of logic used here is essentially that of Kalish &

### Chapter 4 Deflationist Views of Meaning and Content

Chapter 4 Deflationist Views of Meaning and Content 1. Two views of meaning and content I see the philosophy of language, and the part of philosophy of mind concerned with intentional states like believing

### Two (Related) World Views

Edward N. Zalta 2 Two (Related) World Views Edward N. Zalta Center for the Study of Language and Information Stanford University During the past two decades, the late Hector-Neri Castañeda developed a

### Merricks on the existence of human organisms

Merricks on the existence of human organisms Cian Dorr August 24, 2002 Merricks s Overdetermination Argument against the existence of baseballs depends essentially on the following premise: BB Whenever

### Warrant and accidentally true belief

Warrant and accidentally true belief ALVIN PLANTINGA My gratitude to Richard Greene and Nancy Balmert for their perceptive discussion of my account of warrant ('Two notions of warrant and Plantinga's solution

### The Sea-Fight Tomorrow by Aristotle

The Sea-Fight Tomorrow by Aristotle Aristotle, Antiquities Project About the author.... Aristotle (384-322) studied for twenty years at Plato s Academy in Athens. Following Plato s death, Aristotle left

### Epistemological Motivations for Anti-realism

Epistemological Motivations for Anti-realism Billy Dunaway University of Missouri St. Louis forthcoming in Philosophical Studies Does anti-realism about a domain explain how we can know facts about the