Ontology. Ontology Ontology is the study of existence. Ontology is the study of existence. Epistemology: Necessarily, for any person S and proposition.

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

Quantifiers and logical inference

Quine, “On What There Is” “A curious thing about the ontological problem is its simplicity. It can be put in three Anglo-Saxon monosyllables: ‘What is.

Modality Possible Worlds. Possibility and Necessity Triangles have three sides. The Wassermans have two kids.

y x y=x-2 y=x+2 Slopes are the same y x y=2x-4 y=2x+1 Slopes are the same.

Using Sources Three Techniques –Direct Quotation Using another person’s exact words –Paraphrase Using another person’s ideas written in your own words.

Critical Thinking: A User’s Manual Chapter 6 Preparing to Evaluate Arguments.

Deduction and Induction

Formal Aspects of Computer Science - Week 5 Logic and Reasoning Lee McCluskey, room 2/07

Logic in general Logics are formal languages for representing information such that conclusions can be drawn Syntax defines the sentences in the language.

Introduction What is Metaphysics?. Etymology “Meta” (meaning “above” or “after”) and “physics” (meaning “the study of nature”) Metaphysics is the study.

CAS LX 502 Semantics 1b. The Truth Ch. 1.

The Semantic Web – WEEK 7: Logic, Reasoning and Proof The “Layer Cake” Model – [From Rector & Horrocks Semantic Web cuurse] You are here!

AI - Week 15 Logic and Reasoning in AI Lee McCluskey, room 2/07

Ontology: The Case for Properties. Do Properties Exist? A.There are some true statements about properties. [Commonsense] B.If there are true statements.

Predicate Calculus Subject / Predicate John / went to the store. The sky / is blue. Propositional Logic - uses statements Predicate Calculus - uses predicates.

Straight Lines.

Ch 1.3: Quantifiers Open sentences, or predicates, are sentences that contain one or more variables. They do not have a truth value until variables are.

Formal Logic Mathematical Structures for Computer Science Chapter 1 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesFormal Logic.

Phil 1: An Introduction to Philosophy

No man will lift a lance against another. There never was much undergrowth in Boeotia, Such a smooth place, and this girl takes after it. All woes shall.

Lecture 6 Ling 442. Exercises (part 1) Why do the following two sentences have the same truth conditions? (1)You must not smoke here. (2)You may not smoke.

Resisting Pressure Unit 2.3. Key Terms What is peer pressure? What is peer pressure? What is direct pressure? What is direct pressure? What is indirect.

Processor Consistency Exercise Is this example legal or illegal under processor consistency? Explain why or why not. If possible, put your explanation.

Predicates and Quantifiers

CSCI2110 – Discrete Mathematics Tutorial 9 First Order Logic Wong Chung Hoi (Hollis)

CSci 2011 Discrete Mathematics Lecture 3 CSci 2011.

Scientific Notation Recognize and use scientific notation.

Bertrand Russell, “Existence and Description” §1 General Propositions and Existence “Now when you come to ask what really is asserted in a general proposition,

Formal Logic Mathematical Structures for Computer Science Chapter Copyright © 2006 W.H. Freeman & Co.MSCS SlidesFormal Logic.

 Predicate: A sentence that contains a finite number of variables and becomes a statement when values are substituted for the variables. ◦ Domain: the.

Against Set Theory. Questions Recursive Definition of Addition Base case: x + 0 = x Recursive step:x + s(y) = s(x + y)

Chapter 1, Part II: Predicate Logic With Question/Answer Animations.

1 Section 7.2 Equivalent Formulas Two wffs A and B are equivalent, written A  B, if they have the same truth value for every interpretation. Property:

Geometry Stuff that should be in 2.2 and Counterexample – an example used to show something is false. 2.A syllogism is also known as DEDUCTIVE REASONING.

Chapter 1, Part II: Predicate Logic With Question/Answer Animations.

Lecture 1.2: Equivalences, and Predicate Logic* CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda Heeren, Zeph.

Entity Theories of Meaning. Meaning Talk Theory should make sense of meaning talk Theory should make sense of meaning talk What sorts of things do we.

Selected Exercises of Sec. 1.2~Sec.1.4 Sec. 1.2 Exercise 41 p, q, r 중에 두 개가 참이면 참이 되고, 그 외 의 경우에는 거짓이 되는 복합명제를 구하 시오. Find a compound proposition involving.

(CSC 102) Lecture 8 Discrete Structures. Previous Lectures Summary Predicates Set Notation Universal and Existential Statement Translating between formal.

Predicates and Quantified Statements

Rachel Petrik Based on writing by A.J. Ayer

Chapter 9 Logic. Problem Three dogs called Lassie, Timmy and Fido have either black, brown or tri-colour hair. The dogs have lived with their owners.

LECTURE 17 THE MODAL ONTOLOGICAL ARGUMENT (A VARIANT OF HARTSHORNE’S VERSION)

Chapter 2: The Representation of Knowledge

CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning.

Philosophy of Education. Questions are the heart of philosophy What is the world really like? How do we know something? What does it mean to teach something?

1 CMSC 250 Chapter 2, Predicate Logic. 2 CMSC 250 Definitions l Subject / predicate John / went to the store. The sky / is blue. l Propositional logic-

CSci 2011 Recap ^Propositional operation summary not andorconditionalBi-conditional pq ppqqpqpqpqpqpqpqpqpq TTFFTTTT TFFTFTFF FTTFFTTF FFTTFFTT.

First-Order Logic Reading: C. 8 and C. 9 Pente specifications handed back at end of class.

Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.

TOPICS AND THESES Argumentative Research Papers. Topics 1.Debatable – Are there other points of view? 2.Plausible – Are there valid reasons for it to.

Artificial Intelligence Logical Agents Chapter 7.

PHILOSOPHY OF TEACHING AND LEARNING William James, in a talk with teachers, is quoted as defining philosophy as “an unusually stubborn attempt at thinking.

Lecture 1-3: Quantifiers and Predicates. Variables –A variable is a symbol that stands for an individual in a collection or set. –Example, a variable.

Objective #5: Solve Compound Inequalities

What is Philosophy?.

Language, Proof and Logic Multiple Quantifiers Chapter 11.

Zeno Vendler and Traditional Epistemology

On the experience of Anxiety

Chapter 1 The Foundations: Logic and Proofs

A road map for predicate logic translation.

Claim Evidence Reasoning

Use pictures, words and equations to show your work.

What appeal are advertisers using to get you to buy their product?

Ethos, Pathos, Logos.

Predicates and Quantifiers

The dog and cat are hungry.

Multiplying and Dividing Decimals by 10, 100, 1000

Presentation transcript:

Ontology

Ontology Ontology is the study of existence. Ontology is the study of existence. Epistemology: Necessarily, for any person S and proposition p, S knows that p if and only if (iff). Epistemology: Necessarily, for any person S and proposition p, S knows that p if and only if (iff). Ethics: Necessarily, for any act-token A, A is right iff. Ethics: Necessarily, for any act-token A, A is right iff. Ontology: Necessarily, for any x, x exists iff. Ontology: Necessarily, for any x, x exists iff.

Ethics Right Right Ryan’s teaching class Ryan’s teaching class Hud’s taking a nap Hud’s taking a nap Ned’s eating a snack Ned’s eating a snack Wrong Wrong Ryan’s failing a student for no good reason Hud’s skipping the department meeting without an excuse Ned’s stealing snacks out of greed

Ontology Does Exist Does Exist Mars Mars NYC NYC Pedro Martinez Pedro Martinez Oxygen Oxygen Secretariat Secretariat Does Not Exist Does Not Exist Vulcan Atlantis Sidd Finch Phlogiston Pegasus

Ontology For any x, x exists iff it is physical. For any x, x exists iff it is physical. For any x, x exists iff it has causal powers. For any x, x exists iff it has causal powers. For any x, x exists iff. For any x, x exists iff. There are no negative cases! There are no negative cases!

Ethics Right Right Ryan’s teaching class Ryan’s teaching class Hud’s taking a nap Hud’s taking a nap Ned’s eating a snack Ned’s eating a snack Wrong Wrong Ryan’s failing a student for no good reason Hud’s skipping the department meeting without an excuse Ned’s stealing snacks out of greed

Ontology Does Exist Does Exist Mars Mars NYC NYC Pedro Martinez Pedro Martinez Oxygen Oxygen Secretariat Secretariat Does Not Exist Does Not Exist Vulcan Atlantis Sidd Finch Phlogiston Pegasus

Ontology There are some things that don’t exist. There are some things that don’t exist. There are some things that iff there exists some things that. There are some things that iff there exists some things that. There exists some things that don’t exist. There exists some things that don’t exist. Some things that exist don’t exist. Some things that exist don’t exist.

Summary Ontology is not an attempt to analyze existence. Ontology is not an attempt to analyze existence. Ontology is an attempt to say what kinds of things exist. Ontology is an attempt to say what kinds of things exist.

Ontology Things that exist Things that exist Earth Earth Mars Mars … Spot Spot Fido Fido …

Ontology Things that exist Things that exist Physical objects Physical objects

Ontology Things that exist Things that exist Physical objects Physical objects Space ? Space ? Species ? Species ? Numbers ? Numbers ?

Quine on Ontological Commitment W.V.O. Quine ( ) W.V.O. Quine ( ) The Quinean Approach to Ontology: The Quinean Approach to Ontology: Begin with a true sentence of natural language. Begin with a true sentence of natural language. Translate that sentence into the language of first- order logic. Translate that sentence into the language of first- order logic. The ontological commitment of the original sentence are whatever has to exist for the translations to be true. The ontological commitment of the original sentence are whatever has to exist for the translations to be true. Example: Some dogs chase cats. Example: Some dogs chase cats.

Three Examples Some numbers are even. Some numbers are even. ( â x) (Nx & Ex) ( â x) (Nx & Ex) Some species are endangered. Some species are endangered. ( â x) (Sx & Ex) ( â x) (Sx & Ex) There is a region of space separating you and I. There is a region of space separating you and I. ( â x) (Rx & Sxab & ( † y) (Ry ¨ (y=x))) ( â x) (Rx & Sxab & ( † y) (Ry ¨ (y=x)))

Ontology Things that exist Things that exist Physical objects Physical objects Space ? Space ? Species ? Species ? Numbers ? Numbers ?

Ontology Things that exist Things that exist Physical objects Physical objects Space û Space û Species û Species û Numbers û Numbers û

Problems The average American family has 1.8 children. The average American family has 1.8 children. ( â x) (Ax & Cx & ( † y) (Ay ¨ (y=x))) ( â x) (Ax & Cx & ( † y) (Ay ¨ (y=x))) The winged-horse does not exist. The winged-horse does not exist. ( â x) (Wx & ~Ex & ( † y) (Wy ¨ (y=x))) ( â x) (Wx & ~Ex & ( † y) (Wy ¨ (y=x)))

Ontology Things that exist Things that exist Physical objects Physical objects Space Space Species Species Numbers Numbers The average American family ! The average American family ! The winged-horse ! The winged-horse !

Paraphrase The average American family has 1.8 children. The average American family has 1.8 children. The total number of children in American families divided by the total number of American families equals 1.8. The total number of children in American families divided by the total number of American families equals 1.8. The winged-horse does not exist. The winged-horse does not exist. It’s not the case that there is something that is a winged-horse. It’s not the case that there is something that is a winged-horse.

Paraphrase There is a region of space separating you and I. There is a region of space separating you and I. ( â x) (Rx & Sxab & ( † y) (Ry ¨ (y=x))) ( â x) (Rx & Sxab & ( † y) (Ry ¨ (y=x))) You and I are spatially separated. You and I are spatially separated. Sab Sab Some numbers are even. Some numbers are even. ( â x) (Nx & Ex) ( â x) (Nx & Ex) ??? ???