Entailment An Animated and Narrated Glossary of Terms used in Linguistics presents.

Slides:

Advertisements

Similar presentations

Deductive Validity In this tutorial you will learn how to determine whether deductive arguments are valid or invalid. Go to next slide.

Advertisements

Complementary distribution

Constituency An Animated and Narrated Glossary of Terms used in Linguistics presents.

Inference An Animated and Narrated Glossary of Terms used in Linguistics presents NB: Inference is a philosophical topic which goes beyond the scope of.

Assimilation An Animated and Narrated Glossary of Terms used in Linguistics presents.

Logic & Critical Reasoning Diagramming Arguments.

PROOF BY CONTRADICTION

Distinctive Feature An Animated and Narrated Glossary of Terms used in Linguistics presents.

Symbolic Logic Lesson CS1313 Spring Symbolic Logic Outline 1.Symbolic Logic Outline 2.What is Logic? 3.How Do We Use Logic? 4.Logical Inferences.

Maxim of Quantity An Animated and Narrated Glossary of Terms used in Linguistics presents.

An Animated and Narrated Glossary of Terms used in Linguistics

An Animated and Narrated Glossary of Terms used in Linguistics

Voice Onset Time (VOT) An Animated and Narrated Glossary of Terms used in Linguistics presents.

Phone An Animated and Narrated Glossary of Terms used in Linguistics presents.

Subcategorization An Animated and Narrated Glossary of Terms used in Linguistics presents.

Subjacency An Animated and Narrated Glossary of Terms used in Linguistics presents.

Manner of Articulation An Animated and Narrated Glossary of Terms used in Linguistics presents.

[continuant] An Animated and Narrated Glossary of Terms used in Linguistics presents.

Do Now : What do you believe is meant by the term “logic”? Dictionary.com defines the term “logic” as the science that investigates the principles governing.

Movement An Animated and Narrated Glossary of Terms used in Linguistics presents.

GEB class notes jan 18 A Logic Puzzle Classification Problems, Equivalence Relations, and Disjoint Unions Logic and Set Theory.

Island An Animated and Narrated Glossary of Terms used in Linguistics presents.

Everything You Need to Know (since the midterm). Diagnosis Abductive diagnosis: a minimal set of (positive and negative) assumptions that entails the.

Place of Articulation An Animated and Narrated Glossary of Terms used in Linguistics presents.

Tone letter/value An Animated and Narrated Glossary of Terms used in Linguistics presents.

Root and Stem (morphology) An Animated and Narrated Glossary of Terms used in Linguistics presents.

Morpheme An Animated and Narrated Glossary of Terms used in Linguistics presents.

Dominance An Animated and Narrated Glossary of Terms used in Linguistics presents.

SPE-type Rule An Animated and Narrated Glossary of Terms used in Linguistics presents.

Malcolm’s ontological argument Michael Lacewing

Consonant An Animated and Narrated Glossary of Terms used in Linguistics presents.

Engma An Animated and Narrated Glossary of Terms used in Linguistics presents.

Vowel An Animated and Narrated Glossary of Terms used in Linguistics presents.

[labial] An Animated and Narrated Glossary of Terms used in Linguistics presents.

Underlying Representation An Animated and Narrated Glossary of Terms used in Linguistics presents.

Copyright © 2015, 2011, 2008 Pearson Education, Inc. Chapter 1, Unit 1B, Slide 1 Thinking Critically 1.

Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.

The IPA Chart An Animated and Narrated Glossary of Terms used in Linguistics presents.

Maxim of Relation/Relevance An Animated and Narrated Glossary of Terms used in Linguistics presents.

[nasal] An Animated and Narrated Glossary of Terms used in Linguistics presents.

Affricate An Animated and Narrated Glossary of Terms used in Linguistics presents.

Set of Real Numbers.

Phoneme An Animated and Narrated Glossary of Terms used in Linguistics presents.

C-command An Animated and Narrated Glossary of Terms used in Linguistics presents.

Propositions and Truth Tables

Discrete Mathematics and Its Applications

Minimal Pair An Animated and Narrated Glossary of Terms used in Linguistics presents.

Atomic Sentences Chapter 1 Language, Proof and Logic.

Cooperative Principle An Animated and Narrated Glossary of Terms used in Linguistics presents.

[consonantal] An Animated and Narrated Glossary of Terms used in Linguistics presents.

Tree An Animated and Narrated Glossary of Terms used in Linguistics presents.

October 17, 2012Introduction to Artificial Intelligence Lecture 11: Knowledge Representation and Reasoning I 1Semantics In propositional logic, we associate.

Chapter 1: The Foundations: Logic and Proofs

Thinking Mathematically Statements, Negations, and Quantified Statements.

An Animated and Narrated Glossary of Terms used in Linguistics

Philosophy and Logic The Process of Correct Reasoning.

Tautology. In logic, a tautology (from the Greek word ταυτολογία) is a formula that is true in every possible interpretation.logic Greek formulainterpretation.

1-1 © 2008 Pearson Prentice Hall. All rights reserved Chapter 1 Real Numbers and Algebraic Expressions Active Learning Questions.

Truth condition An Animated and Narrated Glossary of Terms used in Linguistics presents.

Distributive Property

An Animated and Narrated Glossary of Terms used in Linguistics

The Foundations: Logic and Proofs

1.2 Propositional Equivalences

An Animated and Narrated Glossary of Terms used in Linguistics

MCS680: Foundations Of Computer Science

What are the following properties?

1.2 Propositional Equivalences

1.2 Propositional Equivalences

Presentation transcript:

Entailment An Animated and Narrated Glossary of Terms used in Linguistics presents

Slide 2 Definition A entails B if 1.whenever A is true, then B must be true, and 2.if B is false then A is false. In a 2-value logic system where a proposition must either be true or false, (1) and (2) are equivalent. However, in other logic systems, and also in linguistic expressions, it is possible for something to be neither true nor false. Then (1) and (2) are not the same.

Slide 3 Example 1 A1: Carmen stole the Mona Lisa this morning. Entailment? B1:Carmen stole something. If A1 is true, B1 must be true. If B1 is false, A1 must be false. B2:Something was stolen this morning. B3: Carmen believes the Mona Lisa is valuable. YES! NO!!!

Slide 4 Example 2 A2: Who stole the Mona Lisa this morning? Entailment? B1: Carmen stole something. B2: Something was stolen this morning. To say A2, B2 must be true. If B2 is false, A2 is unutterable. NO!!

Slide 5 Test for Entailment Falsifying the entailment If A entails B, then falsifying B would falsify A.

Slide 6 Upward Entailing If one can infer by way of entailment from the property of set S to the superset of S, then the entailment is upward entailing.

Slide 7 Upward Entailment Some cows are brown. Entailment: Some animals are brown. Animals are a superset of cows. This is a case of upward entailment.

Slide 8 Downward Entailment If one can infer by way of entailment from the property of set S to the subset of S, then the entailment is downward entailing.

Slide 9 Downward Entailing Elephants are neither stupid nor ugly. Entailments: Elephants are not stupid. Elephants are not ugly. Being stupid is a subset of being stupid or ugly. Likewise, being ugly is a subset of being stupid or ugly. This is a case of downward entailment.

Slide 10 Other Definitions of Entailment There are various definitions for entailment. E.g. If one assumes that something must either be true or false, and defines entailments as: –A entails B if when B is false, A is false. By this definition, B2 would be entailed by A2. A2: Who stole the Mona Lisa this morning? B2: Something was stolen this morning.

The End Wee, Lian-Hee and Winnie H.Y. Cheung (2009) An animated and narrated glossary of terms used in Linguistics. Hong Kong Baptist University.