How Do You Stack Up Against Spock, Holmes, Wolf, Moriarity…? Selmer Bringsjord Professor of Logic, Philosophy, Cognitive Science, Computer Science Department.

Slides:

Advertisements

Similar presentations

Basic Terms in Logic Michael Jhon M. Tamayao.

Advertisements

Introduction to Proofs

Thinking Like an Economist

CPSC 121: Models of Computation Unit 6 Rewriting Predicate Logic Statements Based on slides by Patrice Belleville and Steve Wolfman.

Knowledge Representation and Reasoning University "Politehnica" of Bucharest Department of Computer Science Fall 2010 Adina Magda Florea

Inference and Reasoning. Basic Idea Given a set of statements, does a new statement logically follow from this. For example If an animal has wings and.

Remarks on Mathematical Logic: Paradoxes and Puzzles AAG Selmer Bringsjord The Minds & Machines Laboratory Department of Philosophy, Psychology.

F22H1 Logic and Proof Week 5 Overview of weeks 5—9 Predicates and Quantifiers.

René Descartes ( ) Father of modern rationalism. Reason is the source of knowledge, not experience. All our ideas are innate. God fashioned us.

– Alfred North Whitehead,

Philosophy 120 Symbolic Logic I H. Hamner Hill CSTL-CLA.SEMO.EDU/HHILL/PL120.

Basic Critical Thinking Skills Essentials of Clear Thinking: Claims and Issues.

Symbolic Logic Foundations: An Overview F03 CSD ProSem Selmer Bringsjord

Midterm Review, Math 210G-04, Spring The barbers paradox asks the following: A) In a village, the barber shaves everyone who does not shave himself,

How Do You Stack Up Against Spock, Holmes, Wolf, Moriarity…? Selmer Bringsjord Professor of Logic, Philosophy, Cognitive Science, Computer Science Chair,

Standards Unit SS4: Evaluating Statements about Lengths and Areas >1 hour. I’d guess a lot more. Paired activity. Still camera. This is an Always, Sometimes,

The Ontological Proof (II) We have seen that, if someone wishes to challenge the soundness of the Modal Ontological, he denies the truth of the second.

© Curriculum Foundation1 Section 2 The nature of the assessment task Section 2 The nature of the assessment task There are three key questions: What are.

SAT Prep- Reading Comprehension Strategies- Short Passages

Methods of Proof & Proof Strategies

Chapter 8 Hypothesis testing 1. ▪Along with estimation, hypothesis testing is one of the major fields of statistical inference ▪In estimation, we: –don’t.

Truth “Truth means seeing reality as it is.” –Sheed Truth means “telling it like it is” –Kreeft “Saying of what is that it is and of what is not that it.

Improving learning in mathematics PD4: Managing discussion.

Theory of Knowledge - An introduction. Real Headlines: Elvis found working as Plumber in Poland Alien base found on dark side of Moon Alien base mysteriously.

Introduction to Proofs

Chapter 1: Lecture Notes What Is an Argument? (and What is Not?)

Missy McCarthy Okemos High School Math Instructor G EOMETRY WITH M C C ARTHY.

© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Sixth Edition, Mc Graw-Hill, 2007 Chapter 4 (Part 3): Mathematical Reasoning, Induction.

Study Skills for Grades 6-8. Before you read the story...take a quick look at the questions. They tell you what to look for as you read! If you see a.

Basic Critical Thinking Skills Essentials of Clear Thinking: Claims and Issues.

1 Sections 1.5 & 3.1 Methods of Proof / Proof Strategy.

Is it Possible to Build Dramatically Compelling Interactive Digital Entertainment? v2 Selmer Bringsjord Director, Minds & Machines Laboratory Prof of Logic.

Unit 7.2 Cognition: Thinking and Problem Solving.

Making and supporting a claim Avoiding logical fallacies.

Oedipus the King Philosophical Chairs. Rules of engagement  Read the material and opening statement carefully; be sure to understand it.  Listen to.

Fallacies Of Thinking A fallacy is flawed logic or misguided thinking.

Computer Science: A Structured Programming Approach Using C1 5-2 Two-Way Selection The decision is described to the computer as a conditional statement.

Computer Science: A Structured Programming Approach Using C1 5-2 Two-Way Selection The decision is described to the computer as a conditional statement.

8 th Grade THURSDAY 9/4/2014.  Do you drink bottled water exclusively over tap water, or do you prefer tap water to bottled water?  *Think about why.

Today’s Topics Introduction to Proofs Rules of Inference Rules of Equivalence.

The Nature of Knowledge

Tetherless World Constellation Rensselaer Polytechnic Institute

Solving Linear Equations. Example 1 It’s obvious what the answer is. However, we need to start with the basics and work our way up because we need to.

OTTER; Suppositional Theorem-Proving and OSCAR; Automated Test Creation and Production 2/12/01 Logic (Programming) & AI Selmer Bringsjord

CSE 311 Foundations of Computing I Lecture 28 Computability: Other Undecidable Problems Autumn 2011 CSE 3111.

Introduction to Philosophy Lecture 1-b What is Philosophy? (Part 2) By David Kelsey.

Logic and Mathematics The Art and Science of Mathematics.

The Existential Graphs Project Rensselaer Reasoning Group September 12, 2001.

Welcome to Math 6 Our subject for today is… Divisibility.

Nick Gaietto. Socrates really didn’t have a philosophy but he would question others on their philosophy trying to prove them wrong. He would use the.

Journal 9/8/15 Is there anything in your life that you are 100% certain about? Anything you know for sure? Objective Tonight’s Homework To learn about.

Philosophy of Science Lars-Göran Johansson Department of philosophy, Uppsala University

Test Taking Skills Make sure you prove what you know!

My Philosophy teacher wants to kill me! Ellie: I think Karen is going to kill me. Rosie: She doesn’t seem that bad to me; she never acts like she hates.

Instructor: Chris Trenkov Hands-on Course Python for Absolute Beginners (Spring 2015) Class #003 (February 14, 2015)

At this time I admit nothing that is not necessarily true. I am therefore precisely nothing but a thinking thing Descartes.

Section 1.7. Section Summary Mathematical Proofs Forms of Theorems Direct Proofs Indirect Proofs Proof of the Contrapositive Proof by Contradiction.

Philosophy of Religion Ontological Argument

Chapter 4 (Part 3): Mathematical Reasoning, Induction & Recursion

CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett

Conditional Statements

Symbolic Logic Foundations: An Overview 1/22/01

Issues in bioethics Is there “objective truth” in ethics? By

Issues in bioethics Is there “objective truth” in ethics? By

Chapter 1 The Foundations: Logic and Proof, Sets, and Functions

Logical assertions assertion: A statement that is either true or false. Examples: Java was created in The sky is purple. 23 is a prime number. 10.

Managing discussion.

Definitions: Evidence-Based Claims- 1.) the ability to take detailed

How Do You Stack Up Against Spock, Holmes, Wolf, Moriarity…?

Presentation transcript:

How Do You Stack Up Against Spock, Holmes, Wolf, Moriarity…? Selmer Bringsjord Professor of Logic, Philosophy, Cognitive Science, Computer Science Department of Cognitive Science (Chair) Department of Computer Science Director, Rensselaer AI & Reasoning Laboratory Rensselaer Polytechnic Institute Troy NY USA

What is Logic? The science of reasoning. The only invincible subject there is. The basis for all things intellectual, from engineering to computer science to philosophy. The most challenging subject there is. A key to riches. The key to divining the meaning of life (and other such big questions). The better way to program computers (9.20 lunch). One of two fundamental approaches to studying minds, and replicating/simulating minds in machines… The thing many creatures of fiction have mastered – have you (as a New Yorker)?… …

Number Sense Vicky’s secret number is inside the triangle. It is outside the square. It is greater than 7 but less than 10. Vicky’s secret number is… 9

Simple Selection Task ET47 Suppose I claim that the following rule is true. If a card has a vowel on one side, it has an even number on the other side. Which card or cards should you turn over in order to try to decide whether the rule is true or false?

“NYS 1” Given the statements  a   b b c  a which one of the following statements must also be true? c  b  c h a none of the above

“NYS 2” Which one of the following statements is logically equivalent to the following statement: “If you are not part of the solution, then you are part of the problem.” If you are part of the solution, then you are not part of the problem. If you are not part of the problem, then you are part of the solution. If you are part of the problem, then you are not part of the solution. If you are not part of the problem, then you are not part of the solution.

“NYS 3” Given the statements  c c  a  a  b b  d  (d  e) which one of the following statements must also be true?  c e h  a all of the above

J-L 1 Suppose that the following premise is true: If there is a king in the hand, then there is an ace in the hand, or else if there isn’t a king in the hand, then there is an ace. What can you infer from this premise? There is an ace in the hand. NO! In fact, what you can infer is that there isn’t an ace in the hand!

Problem Given Selmer on Train Everyone loves anyone who loves someone. Alvin loves Bill. Can you infer that everyone loves Bill? ANSWER: JUSTIFICATION:

Problem Given Selmer on Train Everyone loves anyone who loves someone. Alvin loves Bill. Can you infer that everyone loves Bill? ANSWER: Yup. JUSTIFICATION: See proof just given.

Harder Variants Everyone loves anyone who loves someone. Alvin loves Bill. Can you infer that Cath loves Bill? Can you infer that Cath loves Dave? ANSWER: JUSTIFICATION:

Harder Variants Everyone loves anyone who loves someone. Alvin loves Bill. Can you infer that Cath loves Bill? Can you infer that Cath loves Dave? ANSWER: Yup JUSTIFICATION: ??

Bringsjord 1 (1) The following three assertions are either all true or all false: If Billy helped, Doreen helped. If Doreen helped, Frank did as well. If Frank helped, so did Emma. (2) The following assertion is definitely true: Billy helped. Can it be inferred from (1) and (2) that Emma helped? YUP!

The Dreadsbury Mansion Mystery Someone who lives in Dreadsbury Mansion killed Aunt Agatha. Agatha, the butler, and Charles live in Dreadsbury Mansion, and are the only people who live therein. A killer always hates his victim, and is never richer than his victim. Charles hates no one that Aunt Agatha hates. Agatha hates everyone except the butler. The butler hates everyone not richer than Aunt Agatha. The butler hates everyone Agatha hates. No one hates everyone. Agatha is not the butler. Now, given the above clues, there is a bit of disagreement between three (competent?) Norwegian detectives. Inspector Bjorn is sure that Charles didn’t do it. Is he right? Inspector Reidar is sure that it was a suicide. Is he right? Inspector Olaf is sure that the butler, despite conventional wisdom, is innocent. Is he right? See Hyperproof...

Last Brain Teaser Is the following assertion true or false? Prove that you are correct. There exists something which is such that if it’s a bird, then everything is a bird. Explorations...

“Show me the $” Problem If one of the following assertions is true then so is the other: (1) There is a king in the hand if and only if there is an ace in the hand. (2) There is a king in the hand. Which is more likely to be in the hand, if either: the king or the ace?