Dummett about realism and anti-realism

Slides:



Advertisements
Similar presentations
12.2: And and Or in Logic 1/17/ : And, Or and Not in Logic Expectations: L3.2.1:Know and use the terms of basic logic (e.g., proposition, negation,
Advertisements

Theories of Knowledge Knowledge is Justified-True-Belief Person, S, knows a proposition, y, iff: Y is true; S believes y; Y is justified for S. (Note:
PROOF BY CONTRADICTION
Possible World Semantics for Modal Logic
Logic Programming Automated Reasoning in practice.
Chapter Two Symbolizing in Sentential Logic This chapter is a preliminary to the project of building a model of validity for sentential arguments. We.
SEMANTICS.
Logic Concepts Lecture Module 11.
Modality Possible Worlds. Possibility and Necessity Triangles have three sides. The Wassermans have two kids.
Symbolic Logic: Conjunction • , Negation ~, Disjunction v
Comp 205: Comparative Programming Languages Semantics of Imperative Programming Languages denotational semantics operational semantics logical semantics.
Syllabus Every Week: 2 Hourly Exams +Final - as noted on Syllabus
Many Valued Logic (MVL) By: Shay Erov - 01/11/2007.
Ludwig Wittgenstein EARLY: PICTURE THEORY LATER: LANGUAGE GAMES.
Adapted from Discrete Math
Chapter 2 – Fundamentals of Logic. Outline Basic Connectives and Truth Tables Logical Equivalence: The Laws of Logic Ligical Implication: Rules of Inference.
Discrete Mathematics and Its Applications
Between proof and truth Gabriel Sandu Univ. of Helsinki.
Kripke: Outline…, continued Till now: L is a FOL with totally defined (presumably nonsemantical) predicates over some domain (that contains sentences codes).
1 4 Dummett’s Frege. 2 The Background The mentalist conception The mentalist conception It is a code conception of language (telepathy doesn’t need language).
Meaning. Semantics (the study of meaning) Semantics: the study of meaning, or to be more specific, the study of the meaning of linguistic units, words.
2.2 Statements, Connectives, and Quantifiers
Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.
Propositional Logic Dr. Rogelio Dávila Pérez Profesor-Investigador División de Posgrado Universidad Autónoma Guadalajara
Copyright © Curt Hill Mathematical Logic An Introduction.
Programming Languages and Design Lecture 3 Semantic Specifications of Programming Languages Instructor: Li Ma Department of Computer Science Texas Southern.
Dr. Rogelio Dávila Pérez Formal Semantics for Natural language.
Thinking Mathematically
Artificial Intelligence “Introduction to Formal Logic” Jennifer J. Burg Department of Mathematics and Computer Science.
Propositional Logic Rather than jumping right into FOL, we begin with propositional logic A logic involves: §Language (with a syntax) §Semantics §Proof.
ARTIFICIAL INTELLIGENCE Lecture 2 Propositional Calculus.
CSE-321 Programming Languages Curry-Howard Isomorphism POSTECH June 4, 2009 박성우.
Phenomenalism. …  To be is to be perceivable  Problems with Idealism – Commitment to God or to the ‘gappy’ existence of objects Confusion at the heart.
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
Chapter Eight Predicate Logic Semantics. 1. Interpretations in Predicate Logic An argument is valid in predicate logic iff there is no valuation on which.
BOOLEAN INFORMATION RETRIEVAL 1Adrienn Skrop. Boolean Information Retrieval  The Boolean model of IR (BIR) is a classical IR model and, at the same time,
Knowledge Representation Lecture 2 out of 5. Last Week Intelligence needs knowledge We need to represent this knowledge in a way a computer can process.
Simple Logic.
The Size of the World of Logic
? Anti-realism, reductionism, reference
Philosophy of Mind Lecture II: Mind&behavior. Behaviorism
Lecture 2 The Language of S5
CSNB 143 Discrete Mathematical Structures
Lecture 1 – Formal Logic.
Thinking Mathematically
Truth Tables and Equivalent Statements
Niu Kun Discrete Mathematics Chapter 1 The Foundations: Logic and Proof, Sets, and Functions Niu Kun 离散数学.
The Propositional Calculus
Proposition & Predicates
Ludwig Wittgenstein EARLY: PICTURE THEORY LATER: LANGUAGE GAMES.
Philosophy of Mathematics
The Foundations: Logic and Proofs
Recap Key-Terms Cognitivism Non-Cognitivism Realism Anti-Realism
Set includes rational numbers and irrational numbers.
First Order Logic Rosen Lecture 3: Sept 11, 12.
(1.4) An Introduction to Logic
01 4 Ethical Language 4.1 Meta-Ethics.
Back to “Serious” Topics…
MA/CSSE 474 More Math Review Theory of Computation
Discrete Mathematics and Its Applications Kenneth H
Discrete Mathematics Lecture 2: Propositional Logic
The Logic of Declarative Statements
Discrete Mathematics Lecture 2: Propositional Logic
TRUTH TABLES.
Verification and meaning
2-2 Logic Vocab Statement: A sentence that is either true or false
Compounding.
Representations & Reasoning Systems (RRS) (2.2)
Logical truths, contradictions and disjunctive normal form
Truth tables.
Presentation transcript:

Dummett about realism and anti-realism https://www.scribd.com/document/142971698/1982-Realism-Michael-Dummett Realism (concerning X) construed as a semantical thesis: it is a certain interpretation of a class of statements (the statements about X – the given class). Something like this: The statements in the given class are rendered true or false by reality, independently of our knowing it or even being able to consider it. Anti-realism: not one, but many.

Characteristic features of realism Necessary (but not sufficient) condition of realism: bivalence in the given class. Bivalence: Every statement (proposition) is determinately true or false. Or: Every meaningful sentence is either true or false. But a realist can use non-classical operators, too: If p OR q means that we have either a proof for p or a proof for q, then for this OR Law of Excluded Middle does not hold. LEM: „p or q” is a logical truth. But we can (should) interpret the metalanguage ̒or’ classically, and we may have a classical ̒or’ in the object language, too. Another condition: reference-based semantic theory. Quantified statements are treated virtually as (possibly infinite) conjunctions resp. disjunctions of singular statements.

Semantic theory and theory of meaning A semantic theory is a method to assign semantic value to atomic expressions and calculate the semantic values of the compound ones. A realist semantic theory determines every statement as true or false. In such a theory, True and False are the only semantic values of a statement. Example for a non-realist semantic theory: intuitionistic semantics for mathematical statements. The semantic value of a statement that can be calculated from the semantic values of the component expressions is not its truth value but a relation between the statement and the possible mathematical constructions which holds iff the construction id a proof of the statement. The statement is true iff there exists a construction which proves it ( ̒exists’ understood constructively). Objectivist semantic theory: every meaningful sentence is determinately either true or not true (independently of our recognizing etc.) A „gappy” semantic theory of the Prior-Ruzsa type (Formalisation of the Frege-Strawson idea) is a realist or an objectivist one?

? Meaning and semantic value A meaning-theory gives account of the knowledge of the speaker/hearer that is needed in order to understand an expression/to grasp its use. Understanding a sentence involves a grasp of how it is determined as true, if it is true, in accordance with its composition. Common sense: Whether or not a sentence is true depends both of its meaning and the way the word is. Given the way the world is, the semantic value of an expression is determined by its meaning. On an objectivist semantic theory, to know the meaning of an expression consists in knowing the condition for it to have any given semantic value. Sentences: knowledge of the meaning will consist in a grasp of what has to be the case for it to be true. Notice: for complete utterances (statements) only! The same sentence as a constituent of a compound sentence: it contributes to the semantical value of the whole not only with its truth conditions. Example: modal logic. Truth conditions of ̒Necessarily A’ cannot be calculated simply from the truth conditions of A (in the actual world) but the truth conditions of A in other worlds are also needed. ?

Truth conditional theory of meaning (Classical) two-valued semantics: understanding a sentence as a whole suffices to understand it as a subordinate clause, too. [All sentential operators are truth-functional.] In particular: the conditions of being false and the conditions of failing to be true fall together. Truth-conditional meaning-theory: grasp the meaning of a sentence = knowledge of the condition that has to obtain for it to be true. Anti-realism that repudiates mainly the truth-conditional account of meaning: Wittgenstein about statement ascribing inner sensations.

? Anti-realism, reductionism, reference Reductionist thesis: statements of the given class have a translation to some reductive class of statements, and this translation confers meaning to the statements of the given class. Examples: behaviourism, phenomenalism. Reduction without anti-realism: Frege about directions and paralellism. Directions are real objects: classes of parallel straight lines. It eliminates reference (to directions) from statements about directions. Phenomenalism as anti-realism: just for this reason. Is it the same case? Can we have explicit definition for physical objects in terms of sense-data? Three main features of realism: Bivalence, crucial role of reference, truth-conditional meaning-theory. Reductionism gives up (?) the second one, but may keep the first and the third. ?