Formal Philosophy, 15-March-2017, Moscow

Slides:



Advertisements
Similar presentations
1 Knowledge Representation Introduction KR and Logic.
Advertisements

Hyperintensionality and Impossible Worlds: An Introduction
Brief Introduction to Logic. Outline Historical View Propositional Logic : Syntax Propositional Logic : Semantics Satisfiability Natural Deduction : Proofs.
Category Mistakes and Figurative Language Ofra Magidor University of Oxford.
A semantic argument against the existence of universally held real properties Emanuel Rutten Faculty of Philosophy VU University.
Kaplan’s Theory of Indexicals
Philosophy 103 Linguistics 103 Yet, still, Even More Introductory Logic: Critical Thinking Dr. Robert Barnard.
9/28/98 Prof. Richard Fikes First-Order Logic Knowledge Interchange Format (KIF) Computer Science Department Stanford University CS222 Fall 1998.
The Square Root of 2, p, and the King of France: Ontological and Epistemological Issues Encountered (and Ignored) in Introductory Mathematics Courses Martin.
Many Valued Logic (MVL) By: Shay Erov - 01/11/2007.
Copyright © Cengage Learning. All rights reserved.
David Lewis Counterfactuals and Possible Worlds. David Lewis American philosopher, lived between UCLA and Princeton Modal realism.
Bertrand Russell, “Existence and Description” §1 General Propositions and Existence “Now when you come to ask what really is asserted in a general proposition,
Logics for Data and Knowledge Representation Exercises: Modeling Fausto Giunchiglia, Rui Zhang and Vincenzo Maltese.
On Denoting and its history Harm Boukema. Everyone agrees that “the golden mountain does not exist” is a true proposition. But it has, apparently, a subject,
1 Knowledge Representation. 2 Definitions Knowledge Base Knowledge Base A set of representations of facts about the world. A set of representations of.
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
Basic Concepts of Logic An Overview of Introduction to Logic Yingrui Yang
Anselm’s “1st” ontological argument Something than which nothing greater can be thought of cannot exist only as an idea in the mind because, in addition.
The Ontological Argument for the Existence of God August 15, 2015 George Cronk, J.D., Ph.D. Professor of Philosophy & Religion Bergen Community College.
Lecture 1 Ling 442.
First-Order Logic Semantics Reading: Chapter 8, , FOL Syntax and Semantics read: FOL Knowledge Engineering read: FOL.
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
CT214 – Logical Foundations of Computing Darren Doherty Rm. 311 Dept. of Information Technology NUI Galway
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.
Lecture 8 Time: McTaggart’s argument
Propositional Logic: Logical Agents (Part I)
Get out your notebooks! Today’s Objectives:
Lecture 6 Modality: Possible worlds
Lecture 9 Time: the A-theory and the B-theory
Knowledge Representation Techniques
Relations and Functions
Lecture 2 The Language of S5
Kant recap Kant’s 1st point Kant’s 3rd point
Argument An argument is a sequence of statements.
Linear Equations in One Variable
Chapter 3 The Logic of Quantified Statements
Ontology From Wikipedia, the free encyclopedia
7/3/2018 EMR 17 Logical Reasoning Lecture 11.
Introduction to Linguistics
The function of knowledge representation scheme is
The Propositional Calculus
Ludwig Wittgenstein EARLY: PICTURE THEORY LATER: LANGUAGE GAMES.
A new perspective on philosophical debates
Philosophy of Language Seminar 3: Definite Descriptions (2)
Philosophy of Language Seminar 2: Definite Descriptions (1)
Michael Lacewing The zombie argument Michael Lacewing
Logic In Part 2 Modules 1 through 5, our topic is symbolic logic.
Copyright © Cengage Learning. All rights reserved.
Kripke's Thoughts of Fictional Names
Anselm & Aquinas December 23, 2005.
Formal Methods in software development
Artificial Intelligence Lecture 11: First Order Logic
True or False: Materialism and physicalism mean the same thing.
Formal Methods in software development
1st-order Predicate Logic (FOL)
01 4 Ethical Language 4.1 Meta-Ethics.
MA/CSSE 474 More Math Review Theory of Computation
Fictional objects: different perspectives
TRUTH TABLES.
Chapter 1: Propositional and First-Order Logic
Copyright © Cengage Learning. All rights reserved.
Copyright © Cengage Learning. All rights reserved.
Copyright © Cengage Learning. All rights reserved.
Copyright © Cengage Learning. All rights reserved.
Logic of Informatics Introduction.
Gottlob Frege ( ) Wittgenstein: Foundations of Arithmetics is a paragon of philosophical analysis. Michael Dummett: Frege is the grandfather of.
Representations & Reasoning Systems (RRS) (2.2)
1st-order Predicate Logic (FOL)
Presentation transcript:

Formal Philosophy, 15-March-2017, Moscow On what there is not, fictional objects and nonexistent things, a problem for ontology or for philosophy of language? Jorge Luis Méndez-Martínez, Graduate Student, Higher School of Economics Formal Philosophy, 15-March-2017, Moscow

"How, then, can any one put any faith in me "How, then, can any one put any faith in me? For now, as always, I am unequal to the refutation of not−being. And therefore, as I was saying, do not look to me for the right way of speaking about not−being”. 

Example sentences A pikachú is an electric pokemon Clark Kent is Superman Cheburaska is fluffy Sherlock Holmes lives in Baker Street Kalashnikov does not exist anymore The daughter of Wittgenstein is smarter than her father The present King of France is bald

Example sentences A pikachú is an electric pokemon Clark Kent is Superman Cheburaska is fluffy Sherlock Holmes lives in Baker Street Kalashnikov does not exist anymore The daughter of Wittgenstein is smarter than her father The present King of France is bald

Example sentences A pikachú is an electric pokemon Clark Kent is Superman Cheburaska is fluffy Sherlock Holmes lives in Baker Street Kalashnikov does not exist anymore The daughter of Wittgenstein is smarter than her father The present King of France is bald

Example sentences A pikachú is an electric pokemon Clark Kent is Superman Cheburashka is fluffy Sherlock Holmes lives in Baker Street Kalashnikov does not exist anymore The daughter of Wittgenstein is smarter than her father The present King of France is bald

Example sentences A pikachú is an electric pokemon Clark Kent is Superman Cheburaska is fluffy Sherlock Holmes lives in Baker Street Kalashnikov does not exist anymore The daughter of Wittgenstein is smarter than her father The present King of France is bald

Example sentences A pikachú is an electric pokemon Clark Kent is Superman Cheburaska is fluffy Sherlock Holmes lives in Baker Street Kalashnikov does not exist anymore The daughter of Wittgenstein is smarter than her father The present King of France is bald

Example sentences A pikachú is an electric pokemon Clark Kent is Superman Cheburaska is fluffy Sherlock Holmes lives in Baker Street Kalashnikov does not exist anymore The daughter of Wittgenstein is smarter than her father The present King of France is bald

Example sentences A pikachú is an electric pokemon Clark Kent is Superman Cheburaska is fluffy Sherlock Holmes lives in Baker Street Kalashnikov does not exist anymore The daughter of Wittgenstein is smarter than her father The present King of France is bald

Example sentences 8. Ned Stark was proclaimed the King of Westeros 9. The round square is red 10. Nessie does not exist 11. Vulcan is more than 1000 miles in diameter 12. Napoleon is angry 13. Bernie Sanders is the president of the United States

Example sentences 8. Ned Stark was proclaimed the King of Westeros 9. The round square is red 10. Nessie does not exist 11. Vulcan is more than 1000 miles in diameter 12. Napoleon is angry 13. Bernie Sanders is the president of the United States

Example sentences 8. Ned Stark was proclaimed the King of Westeros 9. The round square is red 10. Nessie does not exist 11. Vulcan is more than 1000 miles in diameter 12. Napoleon is angry 13. Bernie Sanders is the president of the United States

Example sentences 8. Ned Stark was proclaimed the King of Westeros 9. The round square is red 10. Nessie does not exist 11. Vulcan is more than 1000 miles in diameter 12. Napoleon is angry 13. Bernie Sanders is the president of the United States

Example sentences 8. Ned Stark was proclaimed the King of Westeros 9. The round square is red 10. Nessie does not exist 11. Vulcan is more than 1000 miles in diameter 12. Napoleon is angry 13. Bernie Sanders is the president of the United States

Example sentences 8. Ned Stark was proclaimed the King of Westeros 9. The round square is red 10. Nessie does not exist 11. Vulcan is more than 1000 miles in diameter 12. Napoleon is angry 13. Bernie Sanders is the president of the United States

Example sentences 8. Ned Stark was proclaimed the King of Westeros 9. The round square is red 10. Nessie does not exist 11. Vulcan is more than 1000 miles in diameter 12. Napoleon is angry 13. Bernie Sanders is the president of the United States

Example sentences A pikachú is an electric pokemon Clark Kent is Superman Cheburaska is fluffy Sherlock Holmes lives in Baker Street Kalashnikov does not exist anymore The daughter of Wittgenstein is smarter than her father The present King of France is bald 8. Ned Stark was proclaimed the King of Westeros 9. The round square is red 10. Nessie does not exist 11. Vulcan is more than 1000 miles in diameter 12. Napoleon is angry 13. Bernie Sanders is the president of the United States

Proposed categories Actual, contingent and evidently existent objects (“Bernie Sanders”) Impossible objects (“the round square”) Possible unactualized objects or possibilia (“Wittgenstein’s daughter”) Past objects that do not exist anymore (“Napoleon”, “Kalashnikov”, “King of France”) Objects whose existence are or was unto debate (“Vulcan”) Abstract mathematical objects Robust fictional objects (“Cheburashka”, “Superman”, “Sherlock Holmes”)

Two options Philosophy of language, logic OR Ontology of fiction

Descriptivist Solutions

Contradictions in “The Present King of France” “The present King of France is bald” is false. Contradiction? “The present King of France is not bald” is false. “It is not true that the present King of France is bald” is true. Contradiction? “It is not true that the present King of France is not bald” is true.

Famous Russell’s formula -x (Fx & (y) Fy x= y) & Gx)

Consequences of the analysis Not a problem of FO or NEO, but Empty Names There is no sense to talk about the property of existence Movement towards descriptions Erasure of FO

Referential modalities

Consequences Attack on descriptivism: the modal argument Rigid connection between the object and name Unactualized possibilia? A name name: ‘thou shalt refer’ The problem of the unicorn

Modal considerations Existence as spatiotemporal actuality (Salmon) FO are not possibilia Fictionality in possible worlds

A matter of logic “According to the story” strategy Existence as a predicable property: E! Models with a domain D, and interpretative function I, which include NEO

Example model D = <d, c, o, l>, dragon (d), crocodile (c ), orc, (o), lori (l) I: F, “breathes fire”, S, “has scales”, P “has a primate-like anatomy”, M “lives in Mordor”

Problems and consequences Intransitivity: real world predicates Introduction of other operators: temporal objects, future objects; and modal features.

Free logic frames Positive free logic, close to Lambert (another key figure), where there are true sentences based on principles such as that of identity, like “Vulcan = Vulcan”. Fregean free logic: where the failure in referring is just an indeterminacy. The Negative Free logic (NFL), which is the view endorsed by Sainsbury.

RWR and NFL 1. There are singular referring expressions, and plural ones. 2. There are simple referring expressions and complex ones. 3. Some intelligible referring expressions have no referents. 4. A referring expression without a referent may occur in truth. 5. Semantic theory is governed by NFL. 6. Reference is an absolute relation, and is not world-relative. Ergo, there is not room for modalities. 7.Referring expressions are rigid designators. 8. If a singular referring expression refers to x and y, then x = y

An ontological problem

FO are not nonexistent (FO  NEO). Thomasson artefactual theory: FO are abstract artefacts FO are existential dependent Two dependencies: 1. Literary works (partially material, dependence); 2. Mental acts of authors (primary dependence) Category Ontology Authorial Issues

FO are not nonexistent (FO  NEO). Thomasson artefactual theory: FO are abstract artefacts FO are existential dependent Two dependencies: 1. Literary works (partially material, dependence); 2. Mental acts of authors (primary dependence) Category Ontology Authorial Issues

Dependence entailment RCD  RHD  RD    GCD  GHD  GD

“I can catch a Pikachu” FO that exist in a spatiotemporal actual manner, are they FO? What is their connection with old pokemon? How to understand the authorial dependence here? Social communicative chain

Спасибо!