On a philosophical motivation for mutilating truth tables
|
|
- Roberta Hunter
- 6 years ago
- Views:
Transcription
1 2 nd International Colloquium on Colous and Numbers ortaleza March 26, 2015 On a philosophical motivation for mutilating truth tables Marcos Silva marcossilvarj@gmail.com
2 Outline: O. hree preliminary remarks I. A image of Logic or how colors challenge this image of logic. II. Colors as a logical problem! III. Systematic mutilation of truth tables (and rules) IV.wo forms of mutilation?
3 hree preliminary remarks (a methodological, a philosophical and a logical remark!) 1) Methodological: Wittgenstein (1918 e 1929) and internal approach! 2) Philosophical: What is the nature of negation? Which is its logical behavior? What does it mean to negate p? Suppression, extraction, abstraction, delimitation, privation, rejection/refusal, addition, determination etc. Absurd (inconsistency): It hides what an inconsistency is (contradictionxcontrarieties) Exclusion. o negate means to exclude!
4 a) Inversion of truth conditions (sense). o negate p means to contradict p. (5.513 and ). Bestehen oder nicht bestehen (bipolarity), artikuliert oder nicht artikuliert. Konfiguriert oder nicht konfiguriert. Dual structures or dichotomies. Roughly, just one negative proposition in relation to p. he contradiction! b) Primitive Incompatibility (Material exclusions). o deny p means to relate it with some contrariety. Roughly, we may have several (organized in systems), maybe infinite alternatives. At least, more then two. he contrariety?!!?!? Which is the contrary of this is blue, this is three 3 long, his is a dog? Problem: Do we have to think of a exclusion without negation?
5 3) Logical: If the logical organization of colors represents a problem for the tractarian logic, it should represent a problem for tractarian notation too. the top line must disappear certain combinations of the s and s must be left out (SRL, p.170-1) Wegfall der ersten Linie (WA I, p. 58) eine Reihe einfach durchstreichen, d.h. als unmöglich betrachten (id.ib) ich muss die ganze obere Reihe durchstreichen (id.ib) die ganze Linie ausstreichen (id. p.59) die obere Linie streichen (id.ib.)
6 Let s pin down Wittgenstein s logical problem at this time (1929) and other concerns: he mutual exclusion of unanalyzable statements of degree contradicts an opinion which was published by me several years ago and which necessitated that atomic propositions could not exclude one another. I here deliberately say exclude" and not "contradict", for there is a difference between these two notions, and atomic propositions, although they cannot contradict, may exclude one another. ( ) Our symbolism, which allows us to form the sign of the logical product of "R P " and "B P " gives here no correct picture of reality. (SRL, p.168-9) Note! 1) He did recognize that the notion of exclusion should be broader than the one of contradiction! Both should not be taken as the same. Moreover 2) he also criticizes his symbolism!
7 Part I A image of Logic or how colors challenge this image of logic (Wittgenstein 1918)
8 I. What is logic in the tractarian period? (Neutral) ormal logic, truth-functionality, extensionality, tautology and contradiction (based on the notion of a unique and absolute logical space) (attractive image of logic!) Our fundamental principle is that every question which can be decided at all by logic can be decided without further trouble. (And if we get into a situation where we need to answer such a problem by looking at the world, this shows that we are on a fundamentally wrong track.) See Wittgenstein s letter to Russell from Norway, 1913 (logic = tautology!) My point: he logical organization of colors taught the young Wittgenstein that he had to start looking at the world in order to do logic! his represents the first step outside of his formal tractatarian logic. Even if we accept the (romantic and highly misleading) idea of full analysis, Wittgenstein s tractarian (extensional) operators will not do the work. his represents the recognition of a dramatic limitation. 8
9 Part II Colors as a logical problem!
10 Colors as a logical problem! (the form of a contradiction!? Where is the negation!?) p.~p he point a in the visual field is blue and the (same) point a is red (6.3751) No point in the visual field can be both blue and red he table over there is 3 meters long and the (same) table over there is 4 meters long No object can be both 3 meters long and 4 meters long Now is 25 degrees Celsius and now is 26 degrees Celsius A particular moment cannot have two temperatures lamengo has lost yesterday and lamengo has won yesterday A soccer team cannot both lose and win simultaneously. he animal over there is a cat and the (same) animal is a dog. No animal can be both a cat and a dog. What is going on? Where is the form of a contradiction!? Where is the negation!? Contrarieties! And Rules! No law, no axiom, but in a certain sense a tautology (SRL). Ok, but why rules? Rules restrict a Spielraum! Let s try to capture contrarieties with tractarian notation! (Wittgenstein 1929 e Von Wright 1996)
11 Part III (some philosophical motivation for) systematic mutilation of truth table (Wittgenstein 1929 e Von Wright 1996)
12 III. General leitmotif: If the logical organization of colors represents a problem for his logic, it should represent a problem for his notation too. Exploring the distinction between contradiction and contrarieties using truth tables. ruth table (1918) X ruth table (1929) 1918! p q p.q John is scientist John is logician John is scientist and John is logician A is red A is blue A is red and A is blue But, where is the negation and the contradiction? Is there a exclusion without negation? he tractarian answer: NO! In line with a logicist tradition: 1) A complex proposition has a unique logical form (here the contradiction); 2) It is hidden (not visible in its grammar); 3) It is very complex; 4) It must be discovered!
13 ruth table (1929)! echnically it is not a big deal, but it is philosophically momentous. He keeps the Russelian idea of full analysis but talks about laying down some rules. At this time, the problem is 1) neither with the truth value in the last column (no falsehood, no null, but we have some nonsensical construction!) Note! he exclusion is not nonsensical, but W s representation itself!; 2) nor with the connective and (WWK, p. 80), 3) nor with an exclusive disjunction, since an inclusive disjunction cannot be used either; 4) nor with color-system (WWK, p. 80). 5) hings as redish-green, or transparent white are not relevant here. he problem is with the scheme itself, with the free distribution of truth values! he combinatorial procedure has to follow some rules. It has to be contextually sensitive. A is red A is blue A is red and A is blue A is red A is 3m long Now it s 28 C hardness, sound, EC A is blue A is 4m long Now it s 29 C Volume, sound, EC Note! Some lines have to be ruled out, taken away, blocked, mutilated. (Mutilation, Von Wright, 1996). Some combinations must be ad hoc blocked. Dramatic turn! o impose restriction of truth tables means to impose restrictions on truth functionality, extensionality and so other typical (classical) tractarian features.
14 We must add up rules to restrict logical space. Rules are constraints (Spielraum). In this sense, mutilations may nicely capture some other logical patterns, such as: 1) contrariety; 2) subcontrariety; 3) contradiction. p q p q p q
15 So, is it a problem with propositional logic? No! Predicates as simple extension will not do the work either. if f(x) says that x is in a certain place, then f(a).f(b) is a contradiction. But what do I call f(a).f(b) a contradiction when p.~p is the form of the contradiction? Does it mean that the signs f(a).f(b) are not a proposition in the sense that ffaa isn t? Our difficulty is that we have, nonetheless, the feeling that here there is a sense, even if a degenerate one (Ramsey) MS112 his clearly shows that both, Wittgenstein and Ramsey, were discussing about Color Exclusion Problem and challenges for formal logic at this time. Intense debate with Wittgenstein about this subject shows that Ramsey was aware of the ad hoc restriction of truth-functionality! No laws, principles, or axioms etc. But rules!
16 IV) wo forms of mutilation? LP In order to avoid these errors, we must apply a symbolism which excludes them, by not applying the same sign in different symbols and by not applying signs in the same way which signify in different ways. A symbolism, that, is to say, obbeys the rules of logical grammar of logical syntax. wo remarks: 1) Relation between a symbolism and philosophical errors. 2) Identification between syntax and grammar Color Exclusion Problem will challenge this identification. My hypothesis: Actually we could say that we have a conflict between the tractarian syntax and the grammar.
17 wo forms of mutilations!? LP identification between syntax and grammar P Q Restriction of a combinatorial procedure through a non tractarian grammar! P Q Grammatical procedure, the first line is not there to be restricted!
18 Obrigado pela atencao! hanks for your attention!
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/
More informationCan 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
More information15. 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
More informationRussell on Plurality
Russell on Plurality Takashi Iida April 21, 2007 1 Russell s theory of quantification before On Denoting Russell s famous paper of 1905 On Denoting is a document which shows that he finally arrived at
More informationWhat 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
More informationRussell: 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
More informationCan 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
More information3.3. Negations as premises Overview
3.3. Negations as premises 3.3.0. Overview A second group of rules for negation interchanges the roles of an affirmative sentence and its negation. 3.3.1. Indirect proof The basic principles for negation
More informationFigure 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
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
Tractatus 6.3751 Author(s): Edwin B. Allaire Source: Analysis, Vol. 19, No. 5 (Apr., 1959), pp. 100-105 Published by: Oxford University Press on behalf of The Analysis Committee Stable URL: http://www.jstor.org/stable/3326898
More informationSolving the color incompatibility problem
In Journal of Philosophical Logic vol. 41, no. 5 (2012): 841 51. Penultimate version. Solving the color incompatibility problem Sarah Moss ssmoss@umich.edu It is commonly held that Wittgenstein abandoned
More information4181 ( 10.5), = 625 ( 11.2), = 125 ( 13). 311 PPO, p Cf. also: All the errors that have been made in this chapter of the
122 Wittgenstein s later writings 14. Mathematics We have seen in previous chapters that mathematical statements are paradigmatic cases of internal relations. 310 And indeed, the core in Wittgenstein s
More information1. 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
More informationNegative Facts. Negative Facts Kyle Spoor
54 Kyle Spoor Logical Atomism was a view held by many philosophers; Bertrand Russell among them. This theory held that language consists of logical parts which are simplifiable until they can no longer
More informationA Logical Approach to Metametaphysics
A Logical Approach to Metametaphysics Daniel Durante Departamento de Filosofia UFRN durante10@gmail.com 3º Filomena - 2017 What we take as true commits us. Quine took advantage of this fact to introduce
More informationChadwick Prize Winner: Christian Michel THE LIAR PARADOX OUTSIDE-IN
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
More informationArtificial 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
More informationWhat 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
More informationTHE 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
More informationPropositions as Cognitive Acts Scott Soames. sentence, or the content of a representational mental state, involves knowing which
Propositions as Cognitive Acts Scott Soames My topic is the concept of information needed in the study of language and mind. It is widely acknowledged that knowing the meaning of an ordinary declarative
More informationVerificationism. 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
More informationIs 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
More informationA Hexagon of Opposition for the Theism/Atheism Debate. Lorenz Demey
A Hexagon of Opposition for the Theism/Atheism Debate Lorenz Demey Introduction Keith Burgess-Jackson (forthcoming) has recently revisited Antony Flew s famous essay The Presumption of Atheism (Flew 1972).
More informationWittgenstein on The Realm of Ineffable
Wittgenstein on The Realm of Ineffable by Manoranjan Mallick and Vikram S. Sirola Abstract The paper attempts to delve into the distinction Wittgenstein makes between factual discourse and moral thoughts.
More informationFrom 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
More informationWhat is Wittgenstein s View of Knowledge? : An Analysis of the Context Dependency
What is Wittgenstein s View of Knowledge? : An Analysis of the Context Dependency of Knowledge YAMADA Keiichi Abstract: This paper aims to characterize Wittgenstein s view of knowledge. For this purpose,
More informationMoral 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
More informationChapter 8 - Sentential Truth Tables and Argument Forms
Logic: A Brief Introduction Ronald L. Hall Stetson University Chapter 8 - Sentential ruth ables and Argument orms 8.1 Introduction he truth-value of a given truth-functional compound proposition depends
More informationLogic: 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
More informationA. 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
More informationAyer 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...............................
More informationOn A New Cosmological Argument
On A New Cosmological Argument Richard Gale and Alexander Pruss A New Cosmological Argument, Religious Studies 35, 1999, pp.461 76 present a cosmological argument which they claim is an improvement over
More informationLGCS 199DR: Independent Study in Pragmatics
LGCS 99DR: Independent Study in Pragmatics Jesse Harris & Meredith Landman September 0, 203 Last class, we discussed the difference between semantics and pragmatics: Semantics The study of the literal
More information2.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
More informationReductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1
International Journal of Philosophy and Theology June 25, Vol. 3, No., pp. 59-65 ISSN: 2333-575 (Print), 2333-5769 (Online) Copyright The Author(s). All Rights Reserved. Published by American Research
More informationA 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
More informationDISCUSSION 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:
More informationComments 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
More informationCHAPTER 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
More informationDay 3. Wednesday May 23, Learn the basic building blocks of proofs (specifically, direct proofs)
Day 3 Wednesday May 23, 2012 Objectives: Learn the basics of Propositional Logic Learn the basic building blocks of proofs (specifically, direct proofs) 1 Propositional Logic Today we introduce the concepts
More informationIdentity and Plurals
Identity and Plurals Paul Hovda February 6, 2006 Abstract We challenge a principle connecting identity with plural expressions, one that has been assumed or ignored in most recent philosophical discussions
More informationIssues in Thinking about God. Michaelmas Term 2008 Johannes Zachhuber
Issues in Thinking about God Michaelmas Term 2008 Johannes Zachhuber http://users.ox.ac.uk/~trin1631 Week 6: God and Language J. Macquarrie, God-Talk, London 1967 F. Kerr, Theology after Wittgenstein,
More informationCHAPTER III. Of Opposition.
CHAPTER III. Of Opposition. Section 449. Opposition is an immediate inference grounded on the relation between propositions which have the same terms, but differ in quantity or in quality or in both. Section
More informationSupplementary 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,
More information3. Negations Not: contradicting content Contradictory propositions Overview Connectives
3. Negations 3.1. Not: contradicting content 3.1.0. Overview In this chapter, we direct our attention to negation, the second of the logical forms we will consider. 3.1.1. Connectives Negation is a way
More information1. Introduction. Against GMR: The Incredulous Stare (Lewis 1986: 133 5).
Lecture 3 Modal Realism II James Openshaw 1. Introduction Against GMR: The Incredulous Stare (Lewis 1986: 133 5). Whatever else is true of them, today s views aim not to provoke the incredulous stare.
More informationEntailment, 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.
More informationThe Appeal to Reason. Introductory Logic pt. 1
The Appeal to Reason Introductory Logic pt. 1 Argument vs. Argumentation The difference is important as demonstrated by these famous philosophers. The Origins of Logic: (highlights) Aristotle (385-322
More informationFr. Copleston vs. Bertrand Russell: The Famous 1948 BBC Radio Debate on the Existence of God
Fr. Copleston vs. Bertrand Russell: The Famous 1948 BBC Radio Debate on the Existence of God Father Frederick C. Copleston (Jesuit Catholic priest) versus Bertrand Russell (agnostic philosopher) Copleston:
More informationA 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
More informationThe Correspondence theory of truth Frank Hofmann
1. draft, July 2003 The Correspondence theory of truth Frank Hofmann 1 Introduction Ever since the works of Alfred Tarski and Frank Ramsey, two views on truth have seemed very attractive to many people.
More informationWhat 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
More informationAn 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.
More informationTWO 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
More informationReply to Kit Fine. Theodore Sider July 19, 2013
Reply to Kit Fine Theodore Sider July 19, 2013 Kit Fine s paper raises important and difficult issues about my approach to the metaphysics of fundamentality. In chapters 7 and 8 I examined certain subtle
More informationPART 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
More informationP. Weingartner, God s existence. Can it be proven? A logical commentary on the five ways of Thomas Aquinas, Ontos, Frankfurt Pp. 116.
P. Weingartner, God s existence. Can it be proven? A logical commentary on the five ways of Thomas Aquinas, Ontos, Frankfurt 2010. Pp. 116. Thinking of the problem of God s existence, most formal logicians
More informationAn 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
More informationAnselmian Theism and Created Freedom: Response to Grant and Staley
Anselmian Theism and Created Freedom: Response to Grant and Staley Katherin A. Rogers University of Delaware I thank Grant and Staley for their comments, both kind and critical, on my book Anselm on Freedom.
More informationLing 98a: The Meaning of Negation (Week 1)
Yimei Xiang yxiang@fas.harvard.edu 17 September 2013 1 What is negation? Negation in two-valued propositional logic Based on your understanding, select out the metaphors that best describe the meaning
More informationLogic Appendix: More detailed instruction in deductive logic
Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,
More informationG. 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
More informationA 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
More informationIn this section you will learn three basic aspects of logic. When you are done, you will understand the following:
Basic Principles of Deductive Logic Part One: In this section you will learn three basic aspects of logic. When you are done, you will understand the following: Mental Act Simple Apprehension Judgment
More informationNecessity 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,
More informationClass #14: October 13 Gödel s Platonism
Philosophy 405: Knowledge, Truth and Mathematics Fall 2010 Hamilton College Russell Marcus Class #14: October 13 Gödel s Platonism I. The Continuum Hypothesis and Its Independence The continuum problem
More informationThere might be nothing: the subtraction argument improved
ANALYSIS 57.3 JULY 1997 There might be nothing: the subtraction argument improved Gonzalo Rodriguez-Pereyra 1. The nihilist thesis that it is metaphysically possible that there is nothing, in the sense
More information1.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
More informationTo What Type of Logic Does the "Tetralemma" Belong?
Syracuse University SURFACE Physics College of Arts and Sciences 2010 To What Type of Logic Does the "Tetralemma" Belong? Rafael D. Sorkin Syracuse University ; Perimeter Institute Follow this and additional
More informationThe 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
More informationTractatus Logico-Philosophicus By LUDWIG WITTGENSTEIN With an Introduction by BERTRAND RUSSELL, F.R.S. LONDON KEGAN PAUL, TRENCH, TRUBNER & CO., LTD.
Tractatus Logico-Philosophicus By LUDWIG WITTGENSTEIN With an Introduction by BERTRAND RUSSELL, F.R.S. LONDON KEGAN PAUL, TRENCH, TRUBNER & CO., LTD. NEW YORK: HARCOURT, BRACE & COMPANY, INC. 1922 PRINTED
More informationThe Greatest Mistake: A Case for the Failure of Hegel s Idealism
The Greatest Mistake: A Case for the Failure of Hegel s Idealism What is a great mistake? Nietzsche once said that a great error is worth more than a multitude of trivial truths. A truly great mistake
More informationCOMMENTS ON SIMON CRITCHLEY S Infinitely Demanding
COMMENTS ON SIMON CRITCHLEY S Infinitely Demanding Alain Badiou, Professor Emeritus (École Normale Supérieure, Paris) Prefatory Note by Simon Critchley (The New School and University of Essex) The following
More informationWittgenstein 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
More informationWittgenstein 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,
More informationModule 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur
Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown
More information1. 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
More informationIntersubstitutivity 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
More informationEthical Terminology Keith Burgess-Jackson 27 December 2017
Ethical Terminology Keith Burgess-Jackson 27 December 2017 A normative ethical theory is a statement of necessary and sufficient conditions for moral rightness. Act Utilitarianism (AU), for example, says
More informationGreat Philosophers Bertrand Russell Evening lecture series, Department of Philosophy. Dr. Keith Begley 28/11/2017
Great Philosophers Bertrand Russell Evening lecture series, Department of Philosophy. Dr. Keith Begley kbegley@tcd.ie 28/11/2017 Overview Early Life Education Logicism Russell s Paradox Theory of Descriptions
More informationChapter 6, Tutorial 1 Predicate Logic Introduction
Chapter 6, Tutorial 1 Predicate Logic Introduction In this chapter, we extend our formal language beyond sentence letters and connectives. And even beyond predicates and names. Just one small wrinkle,
More informationTwentieth-Century Analytic Philosophy by Avrum Stroll
Twentieth-Century Analytic Philosophy by Avrum Stroll Columbia University Press: New York, 2000. 302pp, Hardcover, $32.50. Brad Majors University of Kansas The history of analytic philosophy is a troubled
More informationBOOK REVIEW. Thomas R. Schreiner, Interpreting the Pauline Epistles (Grand Rapids: Baker Academic, 2nd edn, 2011). xv pp. Pbk. US$13.78.
[JGRChJ 9 (2011 12) R12-R17] BOOK REVIEW Thomas R. Schreiner, Interpreting the Pauline Epistles (Grand Rapids: Baker Academic, 2nd edn, 2011). xv + 166 pp. Pbk. US$13.78. Thomas Schreiner is Professor
More informationSemantic 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.
More informationOverview of Today s Lecture
Branden Fitelson Philosophy 12A Notes 1 Overview of Today s Lecture Music: Robin Trower, Daydream (King Biscuit Flower Hour concert, 1977) Administrative Stuff (lots of it) Course Website/Syllabus [i.e.,
More informationConstructive Logic, Truth and Warranted Assertibility
Constructive Logic, Truth and Warranted Assertibility Greg Restall Department of Philosophy Macquarie University Version of May 20, 2000....................................................................
More informationLecture 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,
More informationChapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling;
Chapter 3: Basic Propositional Logic Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling; cling@csd.uwo.ca The Ultimate Goals Accepting premises (as true), is the conclusion (always) true?
More informationj Ludwig Wittgenstein TRACTATUS xoaico- PHILOSOPHICUS \ Translated from the German by C.K.Ogden With an Introduction by Bertrand Russell
j Ludwig Wittgenstein TRACTATUS xoaico- PHILOSOPHICUS \ Translated from the German by C.K.Ogden With an Introduction by Bertrand Russell International Library of Psychology Philosophy and Scientific Method
More informationThe Philosophy of Logical Atomism:
The Philosophy of Logical Atomism: 107 Chapter 4 The Philosophy of Logical Atomism 4.1 The Method of Analysis'. The method of analysis used in the theory of definite descriptions shows that a proposition
More informationSemantics 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
More informationAm I free? Freedom vs. Fate
Am I free? Freedom vs. Fate We ve been discussing the free will defense as a response to the argument from evil. This response assumes something about us: that we have free will. But what does this mean?
More informationTodays programme. Background of the TLP. Some problems in TLP. Frege Russell. Saying and showing. Sense and nonsense Logic The limits of language
Todays programme Background of the TLP Frege Russell Some problems in TLP Saying and showing Sense and nonsense Logic The limits of language 1 TLP, preface How far my efforts agree with those of other
More informationOn Priest on nonmonotonic and inductive logic
On Priest on nonmonotonic and inductive logic Greg Restall School of Historical and Philosophical Studies The University of Melbourne Parkville, 3010, Australia restall@unimelb.edu.au http://consequently.org/
More informationLogic 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
More informationNow consider a verb - like is pretty. Does this also stand for something?
Kripkenstein The rule-following paradox is a paradox about how it is possible for us to mean anything by the words of our language. More precisely, it is an argument which seems to show that it is impossible
More informationTRUTH VIRTUAL ISSUE NO. 1. Facts and Propositions F. P. R A M S E Y
TRUTH VIRTUAL ISSUE NO. 1 Facts and Propositions F. P. R A M S E Y PROCEEDINGS OF THE ARISTOTELIAN SOCIETY THE VIRTUAL ISSUE NO. I 2013 Featuring classic papers from the archive & commentaries by contemporary
More informationSIMON BOSTOCK Internal Properties and Property Realism
SIMON BOSTOCK Internal Properties and Property Realism R ealism about properties, standardly, is contrasted with nominalism. According to nominalism, only particulars exist. According to realism, both
More informationChapter 2 Goals. 2.1 What is a Goal?
Chapter 2 Goals Abstract The Goal Structuring Notation is a notation for structuring Goals but, what is a Goal and why would we want to structure them? When using the notation to represent arguments, the
More informationWittgenstein s Logical Atomism. Seminar 8 PHIL2120 Topics in Analytic Philosophy 16 November 2012
Wittgenstein s Logical Atomism Seminar 8 PHIL2120 Topics in Analytic Philosophy 16 November 2012 1 Admin Required reading for this seminar: Soames, Ch 9+10 New Schedule: 23 November: The Tractarian Test
More information