SlideShare a Scribd company logo
Meaning and Logic
Prepared By: Banwan Ali
University College Of Goizha
Fourth Stage Of English Department
Semantic
Logical Basics/ Donald Duck and Aristotle
1. Donald Duck is a duck.
2. Donald Duck is a bird.
3. Donald Duck is an animal.
 is (1) true? Are the other sentences also true?
4. Donald Duck is a human being.
5. Donald Duck is neither a duck nor a human being.
6. Donald Duck is both a duck and a human being.
7. Donald Duck is a duck and he isn't.
8. Donald Duck is a human being and he isn't.
The Principle of Polarity
 In a given CoU (Context of Utterance), with a given reading, a declarative sentence is either
true or false.
 The basic notion of all logical considerations is truth.
 The question of truth or falsity of a sentence arises only if the sentence is related to a certain
CoU (since the CoU (Context of Utterance) may vary, sentences are true in some CoU and
false in others).
 Truth and falsity underlie the following fundamental principle.
 This principle too goes back to Aristotle and entails the Law of Contradiction because the
formulation "either true or false" means explicit "but not both" and this is part of the Law of
Contradiction.
 The principle of Polarity adds to the Law of Contradiction the condition known as the
"Law of the Excluded Middle", which means "there is no third [possibility]“.
 There are only these two possibilities, truth or falsity, and no others, no in-between, no
both-true-and-false, no neither-true-nor-false
 In order to have a convenient neutral term for being true or false, one speaks of the truth
value of a sentence (it has the truth value "true", if it is true, it has the truth value "false" if
it is false.
 In general, the truth value of a sentence depends on certain conditions, so called "truth
conditions”
A. The cat is in the garden.
B. There's milk on the floor.
 (A) is true if the cat is in the garden, and (B) is true if there's milk on the floor, so both
have different truth conditions, which are independent of each other.
 In a given CoU, referring to a certain cat, a certain garden and a certain floor, i.e. the floor
of a certain room, they may both be true, or both false, or one may be true, and the other
one is false.
Negation
 If "A" is a sentence that is not negated itself, then its negation:
 Is true whenever "A" is false and false whenever "A" is true and is formed out of "A"
by a standard grammatical procedure such as:
1. Adding the auxiliary do to the verb phrase and not to the auxiliary:
 John knows the solution. - John doesn't know the solution.
2. Adding not to an auxiliary verb:
 John will die. - John will not die.
 John is clever. - John isn't clever.
Negation
3. Adding not to a quantifier expression (all, every, always, some etc.)
 Everybody knows that. - Not everybody knows that.
 She's always late. - She's not always late.
 Only John knows the reason. - Not only John knows the reason.
4. Substituting a positive expression by its negative counterpart
 Mary is already here. - Mary is not here yet.
 She sometimes apologizes. - She never apologizes
Logical True
a) Either Donald Duck is a duck or he is not a duck.
b) Every duck is a duck.
c) Ducks are birds.
d) Two times seven equals fourteen.
 (a) is due to the Principe of Polarity in every CoU true. It is the sentence pattern:
 "either x is p or it is not p" which makes the sentence true, independent of any
contextual conditions.
 (b) is true due to the structure of the sentence
 (c) is true to the semantic facts of English
 (d) is mathematical true all four of them are true due to their structure and the
meaning of the words they contain
Logical False
a) Donald Duck is a duck and Donald Duck is not a duck.
b) Donald Duck is neither a duck nor is he not a duck.
c) Ducks are plants.
d) Two times seven is twenty-seven.
 (a) violates the Law of Contradiction.
 (b) the Law of Excluded Middle.
 (c) violates the semantic rules of English.
 (d) the rules of mathematics.
Logical Relations Between Sentences/
1. Logical Entailment
 Entailment is a concept that refers to a specific kind of relationship between two
sentences. More specifically, entailment means that if one sentence is true, then
another sentence would also have to be true: the second sentence would be entailed by
the first sentence.
 Another way to prove entailment between two sentences is to demonstrate that if the
one sentence is false, then the other sentence must also be false. Entailment is closely
related to the concept of logical consequence. Within logic, the idea that if A is true,
then B must be true too is nothing other than a form of entailment.
a) Donald Duck is a duck.
b) Donald Duck is a bird.
 The relation of logical entailment is that it is impossible that (b) is false if (a) is true,
if he is a duck, he necessarily is a bird.
2. Logical Equivalence
 Equivalence means having identical truth conditions like entailment, equivalence is a
transitive relation, but here it is a symmetric relation.
 A-true-B-false and A-false-B-true are both ruled out, the table combines the
conditions for A→B and B→A: equivalence is mutual entailment.
 Thus, if A and B are contingent, A must contain all the information B contains and
contrariwise
 In other words, the sentences must contain the same information
 A) He is the father of my mother ↔ B) He is my maternal grandfather.
 A) Today is Monday. ↔ B) Yesterday was Sunday.
 A) The bottle is half empty. ↔ B) The bottle is half full.
 A) Everyone will lose. ↔ B) No-one will win
3.Logical Contradiction
 The logical relations of contrariety and contradiction focus on falsity.
 What follows from the defining condition is that the combination A-true-B-true is
ruled out and it also follows that if B is true, A must be false → the relation is
symmetric.
 A + B are contraries and we could replace the defining condition by "A and B cannot
both be true“.
 Other common terms for contrariety are logical exclusion and incompatibility.
 Examples for incompatibility:
1. A) It's cold. B) It's hot.
2. A) Today is Monday. B) Tomorrow is Wednesday.
3. A) Ann is younger than Mary. B) Ann is older than Mary.
 Two contrary sentences cannot both be true but they may both be false.
 It may neither hot nor cold, it may be neither Monday nor the day before Wednesday etc.
 In other words, the negation of contraries are normally compatible, they may both be true.
 There is a close connection between contrariety and entailment: A and B are logical
contraries, if A entails not-B and therefore also B entails not-A: both relations rule out A-
true-B-true.
 Applying this to the sentence (1) we obtain that can state that "It's cold." entails "It's not hot."
5. Logical Relations Involving Logically True Or False
Sentences
 We receive entries "impossible" in the first two rows, because A cannot be true,
regardless of B. Thus the table fulfils the crucial condition for A entailing B
(impossible in row 2) and for A and B being contraries (impossible in row 1).
 The choice of B does not play any role in this, if A is logically false, it entails
anything.
 The entailment will never become effective because A is never true with any sentence
B because logically false sentences are contrary to all other sentences.
 If B is logically true the entailment A→B holds, regardless of A
1. (A) Ducks are dogs. → (B) Mary is tired.
2. (A) Mary is tired. → (B) Ducks are birds.
3. (A) Ducks are dogs. → (B) Ducks are birds.
 So it is important to notice that logical relations are not meaning relations, they are
relations between sentences in terms of their truth conditions but not in terms of their
meanings.
 If we exclude logically true or false sentences, a connection does exist the table shows
the picture form A or B or both being non-contingent.
6. Logical Relations Under The Assumption Of
Contingency
 The assumption that A is contingent allows us to fill in possible in row 1 and likewise we
can make the same entry in row 4, otherwise B would be logically false.
 Entailment and equivalence cannot co-occur with contrariety and contradiction:
 For the former two relations, A and B can both be true, but not so for the latter two.
 A further logical relation can be introduced, the relation of non-relatedness, as it were, which
is called logical independence and holds between two sentences if all four truth value
combinations are possible.
 This amounts to A entailing neither B nor not-B and B entailing neither A nor not-A pairs of
contingent sentences that are related by one of the logical relations this is only possible if the
sentences bear some meaning connections.
 For example, if two sentences have the same truth conditions and are hence logically
equivalent, then they must have similar meanings, because it is the meanings that determine
the truth.
Logical Relations Between Words
 The logical relations between sentences can easily be exploited to establish
corresponding relations between lexemes and other expressions below sentence level.
 This is possible for all predicate expressions; these include all nouns, verbs and
adjectives, i.e. the major classes of content words.
 For establishing logical relations between two expressions, we insert them into an
appropriate test sentence and check the resulting logical relations.
1. Logical Equivalence
 Two predicate terms (in giving reading) are logically equivalent if they necessarily the
same truth value for the same arguments.
1) (A) x is a female adult. → (B) x is a woman.
2) (A) x costs a lot. → (B) x is expensive.
 (1) means that the potential referents of woman and female adult are the same, i.e. the
expressions have the same denotation.
 Two such expressions are logically equivalent if they have the same denotation.
2. Logical Subordination
 A predicate term A is a logical subordinate of B (and B a logical superordinate of A)
if B is true of some arguments whenever A is true of them.
a) A x is a duck. → B x is a bird.
b) A x enlarges y. → B x changes y.
 The denotation of duck, the more specific term, is included in the denotation of the
more general term bid, due to the second entailment, the denotation of bend is part of
the denotation of change.
 The resulting relation between a general term and a specific term will be calls logical
subordination (short: subordination):
 An expression A is a subordinate of an expression B, if the denotation of A is
included in the denotation of B.
2. Logical Subordination
 If A is a subordinate of B, B is called a superordinate of A.
 In set-theoretical terms, A is a subordinate of B if the denotation of A is a subset of
the denotation of B.
 The denotation of a subordinate term is a subcategory of the denotation of its
superordinate terms.
3. Logical Incompatibility
 Two predicate term A and B are logically incompatible if they cannot both be true of
the same arguments.
 Usually, a superordinate expression have a set of co-subordinates, e.g. owl, pigeon,
penguin, sparrow, swan are co-subordinates of duck.
 In addition, they are mutually exclusive: "x is a swan" logically excludes "x is an
owl“.
 Two terms A and B will be called logically incompatible if their denotation have no
elements in common.
4. Logical Complementarity
 Two predicate terms A and B are logically complimentary if they necessarily have
opposite truth values for all arguments.
 The corresponding test sentence "x is a sister" and "x is a brother" are logical
contradictories.
 This logical relation is called logical complementarity:
 Two terms A and B are logically complementary if their denotations have no elements in
common and together exhaust the set of possible cases.
 The notion of complementarity does not occur in natural language.
 Good examples for complementary are: girl-boy / child-adult / indoors-outdoors.
Thanks for listening!

More Related Content

What's hot

Unit 6 - Predicates, Referring Expressions, and Universe of Discourse
Unit 6 -  Predicates, Referring Expressions, and Universe of DiscourseUnit 6 -  Predicates, Referring Expressions, and Universe of Discourse
Unit 6 - Predicates, Referring Expressions, and Universe of Discourse
Ashwag Al Hamid
 
06 speech act and event for students
06 speech act and event for students06 speech act and event for students
06 speech act and event for students
gadis pratiwi
 
Unit 11 Sense Relations (2)
Unit 11   Sense Relations (2)Unit 11   Sense Relations (2)
Unit 11 Sense Relations (2)
Ashwag Al Hamid
 
Unit 7 - Deixis and Definiteness
Unit 7 - Deixis and DefinitenessUnit 7 - Deixis and Definiteness
Unit 7 - Deixis and Definiteness
Ashwag Al Hamid
 

What's hot (20)

Lexical Relations in Semantic
Lexical Relations in SemanticLexical Relations in Semantic
Lexical Relations in Semantic
 
Semantic
SemanticSemantic
Semantic
 
Hedging maxims
Hedging maximsHedging maxims
Hedging maxims
 
Why Is Pronunciation Important
Why Is Pronunciation ImportantWhy Is Pronunciation Important
Why Is Pronunciation Important
 
Deixis
Deixis Deixis
Deixis
 
The role of context in interpretation
The role of context in interpretationThe role of context in interpretation
The role of context in interpretation
 
Unit 6 - Predicates, Referring Expressions, and Universe of Discourse
Unit 6 -  Predicates, Referring Expressions, and Universe of DiscourseUnit 6 -  Predicates, Referring Expressions, and Universe of Discourse
Unit 6 - Predicates, Referring Expressions, and Universe of Discourse
 
Semantics. Types of meaning.
Semantics. Types of meaning.Semantics. Types of meaning.
Semantics. Types of meaning.
 
06 speech act and event for students
06 speech act and event for students06 speech act and event for students
06 speech act and event for students
 
Presupposition And Entailment By Dr.Shadia
Presupposition And Entailment By Dr.ShadiaPresupposition And Entailment By Dr.Shadia
Presupposition And Entailment By Dr.Shadia
 
Contrasting Indonesian & English Consonants
Contrasting Indonesian & English ConsonantsContrasting Indonesian & English Consonants
Contrasting Indonesian & English Consonants
 
Semantics
SemanticsSemantics
Semantics
 
Semantics session 10_17_11-2021 Meaning postulates in linguistic semanticist’...
Semantics session 10_17_11-2021 Meaning postulates in linguistic semanticist’...Semantics session 10_17_11-2021 Meaning postulates in linguistic semanticist’...
Semantics session 10_17_11-2021 Meaning postulates in linguistic semanticist’...
 
DISCOURSE The Role of Context in Interpretation
DISCOURSE The Role of Context in InterpretationDISCOURSE The Role of Context in Interpretation
DISCOURSE The Role of Context in Interpretation
 
Macro pragmatics
Macro  pragmaticsMacro  pragmatics
Macro pragmatics
 
Reference and sense
Reference and senseReference and sense
Reference and sense
 
Unit 11 Sense Relations (2)
Unit 11   Sense Relations (2)Unit 11   Sense Relations (2)
Unit 11 Sense Relations (2)
 
Semantics chapter 2 saeed
Semantics chapter 2 saeedSemantics chapter 2 saeed
Semantics chapter 2 saeed
 
Reference&sense SEMANTIC
Reference&sense SEMANTICReference&sense SEMANTIC
Reference&sense SEMANTIC
 
Unit 7 - Deixis and Definiteness
Unit 7 - Deixis and DefinitenessUnit 7 - Deixis and Definiteness
Unit 7 - Deixis and Definiteness
 

Similar to Meaning and Logic.pptx

Prove asymptotic upper and lower hounds for each of the following sp.pdf
Prove asymptotic upper and lower hounds for each of the following  sp.pdfProve asymptotic upper and lower hounds for each of the following  sp.pdf
Prove asymptotic upper and lower hounds for each of the following sp.pdf
wasemanivytreenrco51
 
Prove the validity of each of the following arguments using proposit.pdf
Prove the validity of each of the following arguments using proposit.pdfProve the validity of each of the following arguments using proposit.pdf
Prove the validity of each of the following arguments using proposit.pdf
arpaqindia
 

Similar to Meaning and Logic.pptx (20)

Formal Semantics
Formal SemanticsFormal Semantics
Formal Semantics
 
Deductive and Inductive Arguments
Deductive and Inductive ArgumentsDeductive and Inductive Arguments
Deductive and Inductive Arguments
 
proposition Logic-1.pptx Discrete Mathematics
proposition Logic-1.pptx Discrete Mathematicsproposition Logic-1.pptx Discrete Mathematics
proposition Logic-1.pptx Discrete Mathematics
 
Semantic Ordering Relation- Applied to Agatha Christie Crime Thrillers
Semantic Ordering Relation- Applied to Agatha Christie Crime ThrillersSemantic Ordering Relation- Applied to Agatha Christie Crime Thrillers
Semantic Ordering Relation- Applied to Agatha Christie Crime Thrillers
 
Prove asymptotic upper and lower hounds for each of the following sp.pdf
Prove asymptotic upper and lower hounds for each of the following  sp.pdfProve asymptotic upper and lower hounds for each of the following  sp.pdf
Prove asymptotic upper and lower hounds for each of the following sp.pdf
 
Discrete Mathematics
Discrete MathematicsDiscrete Mathematics
Discrete Mathematics
 
Logic.pdf
Logic.pdfLogic.pdf
Logic.pdf
 
heim
heimheim
heim
 
Sense relations 2
Sense relations 2Sense relations 2
Sense relations 2
 
Categorical Proposition.pdf
Categorical Proposition.pdfCategorical Proposition.pdf
Categorical Proposition.pdf
 
Conditionals
ConditionalsConditionals
Conditionals
 
Semactics : Utterance Meaning
Semactics : Utterance MeaningSemactics : Utterance Meaning
Semactics : Utterance Meaning
 
True but Unprovable
True but UnprovableTrue but Unprovable
True but Unprovable
 
Oppositeness and dissimilarity of sense and ambiguity
Oppositeness and dissimilarity of sense and ambiguityOppositeness and dissimilarity of sense and ambiguity
Oppositeness and dissimilarity of sense and ambiguity
 
Prove the validity of each of the following arguments using proposit.pdf
Prove the validity of each of the following arguments using proposit.pdfProve the validity of each of the following arguments using proposit.pdf
Prove the validity of each of the following arguments using proposit.pdf
 
Senserelations : contradictionary
Senserelations : contradictionarySenserelations : contradictionary
Senserelations : contradictionary
 
Sexual love
Sexual loveSexual love
Sexual love
 
Logic.pptx
Logic.pptxLogic.pptx
Logic.pptx
 
4.3 Venn Diagrams And The Modern Square Of Opposition
4.3   Venn Diagrams And The Modern Square Of Opposition4.3   Venn Diagrams And The Modern Square Of Opposition
4.3 Venn Diagrams And The Modern Square Of Opposition
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
 

More from littletranslator

More from littletranslator (15)

Past Simple Tense .pptx
Past Simple Tense .pptxPast Simple Tense .pptx
Past Simple Tense .pptx
 
OPERATOR.pptx.pptx
OPERATOR.pptx.pptxOPERATOR.pptx.pptx
OPERATOR.pptx.pptx
 
Noun Diminutive Form.pp.pptx
Noun Diminutive Form.pp.pptxNoun Diminutive Form.pp.pptx
Noun Diminutive Form.pp.pptx
 
No Exit.pptx
No Exit.pptxNo Exit.pptx
No Exit.pptx
 
Marxism.pptx
Marxism.pptxMarxism.pptx
Marxism.pptx
 
In A Station Of The Metro.pptx.pptx
In A Station Of The Metro.pptx.pptxIn A Station Of The Metro.pptx.pptx
In A Station Of The Metro.pptx.pptx
 
Existentialism & Nihilism.pptx
Existentialism & Nihilism.pptxExistentialism & Nihilism.pptx
Existentialism & Nihilism.pptx
 
Culture shock.pptx
Culture shock.pptxCulture shock.pptx
Culture shock.pptx
 
Approximants.pptx
Approximants.pptxApproximants.pptx
Approximants.pptx
 
Compound nouns
Compound nounsCompound nouns
Compound nouns
 
Friendship
Friendship Friendship
Friendship
 
17th century poetry
17th century poetry17th century poetry
17th century poetry
 
Macbeth motifs
Macbeth motifsMacbeth motifs
Macbeth motifs
 
16th century poetry
16th century poetry16th century poetry
16th century poetry
 
Learning a english language
Learning a english languageLearning a english language
Learning a english language
 

Recently uploaded

Additional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdfAdditional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdf
joachimlavalley1
 

Recently uploaded (20)

How to Break the cycle of negative Thoughts
How to Break the cycle of negative ThoughtsHow to Break the cycle of negative Thoughts
How to Break the cycle of negative Thoughts
 
Basic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumersBasic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumers
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
 
Basic Civil Engineering Notes of Chapter-6, Topic- Ecosystem, Biodiversity G...
Basic Civil Engineering Notes of Chapter-6,  Topic- Ecosystem, Biodiversity G...Basic Civil Engineering Notes of Chapter-6,  Topic- Ecosystem, Biodiversity G...
Basic Civil Engineering Notes of Chapter-6, Topic- Ecosystem, Biodiversity G...
 
size separation d pharm 1st year pharmaceutics
size separation d pharm 1st year pharmaceuticssize separation d pharm 1st year pharmaceutics
size separation d pharm 1st year pharmaceutics
 
How to Manage Notification Preferences in the Odoo 17
How to Manage Notification Preferences in the Odoo 17How to Manage Notification Preferences in the Odoo 17
How to Manage Notification Preferences in the Odoo 17
 
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptxStudents, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
 
NCERT Solutions Power Sharing Class 10 Notes pdf
NCERT Solutions Power Sharing Class 10 Notes pdfNCERT Solutions Power Sharing Class 10 Notes pdf
NCERT Solutions Power Sharing Class 10 Notes pdf
 
slides CapTechTalks Webinar May 2024 Alexander Perry.pptx
slides CapTechTalks Webinar May 2024 Alexander Perry.pptxslides CapTechTalks Webinar May 2024 Alexander Perry.pptx
slides CapTechTalks Webinar May 2024 Alexander Perry.pptx
 
Sectors of the Indian Economy - Class 10 Study Notes pdf
Sectors of the Indian Economy - Class 10 Study Notes pdfSectors of the Indian Economy - Class 10 Study Notes pdf
Sectors of the Indian Economy - Class 10 Study Notes pdf
 
Open Educational Resources Primer PowerPoint
Open Educational Resources Primer PowerPointOpen Educational Resources Primer PowerPoint
Open Educational Resources Primer PowerPoint
 
Telling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdf
Telling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdfTelling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdf
Telling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdf
 
Additional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdfAdditional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdf
 
The Last Leaf, a short story by O. Henry
The Last Leaf, a short story by O. HenryThe Last Leaf, a short story by O. Henry
The Last Leaf, a short story by O. Henry
 
Application of Matrices in real life. Presentation on application of matrices
Application of Matrices in real life. Presentation on application of matricesApplication of Matrices in real life. Presentation on application of matrices
Application of Matrices in real life. Presentation on application of matrices
 
[GDSC YCCE] Build with AI Online Presentation
[GDSC YCCE] Build with AI Online Presentation[GDSC YCCE] Build with AI Online Presentation
[GDSC YCCE] Build with AI Online Presentation
 
Basic_QTL_Marker-assisted_Selection_Sourabh.ppt
Basic_QTL_Marker-assisted_Selection_Sourabh.pptBasic_QTL_Marker-assisted_Selection_Sourabh.ppt
Basic_QTL_Marker-assisted_Selection_Sourabh.ppt
 
B.ed spl. HI pdusu exam paper-2023-24.pdf
B.ed spl. HI pdusu exam paper-2023-24.pdfB.ed spl. HI pdusu exam paper-2023-24.pdf
B.ed spl. HI pdusu exam paper-2023-24.pdf
 
50 ĐỀ LUYỆN THI IOE LỚP 9 - NĂM HỌC 2022-2023 (CÓ LINK HÌNH, FILE AUDIO VÀ ĐÁ...
50 ĐỀ LUYỆN THI IOE LỚP 9 - NĂM HỌC 2022-2023 (CÓ LINK HÌNH, FILE AUDIO VÀ ĐÁ...50 ĐỀ LUYỆN THI IOE LỚP 9 - NĂM HỌC 2022-2023 (CÓ LINK HÌNH, FILE AUDIO VÀ ĐÁ...
50 ĐỀ LUYỆN THI IOE LỚP 9 - NĂM HỌC 2022-2023 (CÓ LINK HÌNH, FILE AUDIO VÀ ĐÁ...
 
How to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS ModuleHow to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS Module
 

Meaning and Logic.pptx

  • 1. Meaning and Logic Prepared By: Banwan Ali University College Of Goizha Fourth Stage Of English Department Semantic
  • 2. Logical Basics/ Donald Duck and Aristotle 1. Donald Duck is a duck. 2. Donald Duck is a bird. 3. Donald Duck is an animal.  is (1) true? Are the other sentences also true? 4. Donald Duck is a human being. 5. Donald Duck is neither a duck nor a human being. 6. Donald Duck is both a duck and a human being. 7. Donald Duck is a duck and he isn't. 8. Donald Duck is a human being and he isn't.
  • 3. The Principle of Polarity  In a given CoU (Context of Utterance), with a given reading, a declarative sentence is either true or false.  The basic notion of all logical considerations is truth.  The question of truth or falsity of a sentence arises only if the sentence is related to a certain CoU (since the CoU (Context of Utterance) may vary, sentences are true in some CoU and false in others).  Truth and falsity underlie the following fundamental principle.  This principle too goes back to Aristotle and entails the Law of Contradiction because the formulation "either true or false" means explicit "but not both" and this is part of the Law of Contradiction.
  • 4.  The principle of Polarity adds to the Law of Contradiction the condition known as the "Law of the Excluded Middle", which means "there is no third [possibility]“.  There are only these two possibilities, truth or falsity, and no others, no in-between, no both-true-and-false, no neither-true-nor-false  In order to have a convenient neutral term for being true or false, one speaks of the truth value of a sentence (it has the truth value "true", if it is true, it has the truth value "false" if it is false.  In general, the truth value of a sentence depends on certain conditions, so called "truth conditions” A. The cat is in the garden. B. There's milk on the floor.  (A) is true if the cat is in the garden, and (B) is true if there's milk on the floor, so both have different truth conditions, which are independent of each other.  In a given CoU, referring to a certain cat, a certain garden and a certain floor, i.e. the floor of a certain room, they may both be true, or both false, or one may be true, and the other one is false.
  • 5. Negation  If "A" is a sentence that is not negated itself, then its negation:  Is true whenever "A" is false and false whenever "A" is true and is formed out of "A" by a standard grammatical procedure such as: 1. Adding the auxiliary do to the verb phrase and not to the auxiliary:  John knows the solution. - John doesn't know the solution. 2. Adding not to an auxiliary verb:  John will die. - John will not die.  John is clever. - John isn't clever.
  • 6. Negation 3. Adding not to a quantifier expression (all, every, always, some etc.)  Everybody knows that. - Not everybody knows that.  She's always late. - She's not always late.  Only John knows the reason. - Not only John knows the reason. 4. Substituting a positive expression by its negative counterpart  Mary is already here. - Mary is not here yet.  She sometimes apologizes. - She never apologizes
  • 7. Logical True a) Either Donald Duck is a duck or he is not a duck. b) Every duck is a duck. c) Ducks are birds. d) Two times seven equals fourteen.  (a) is due to the Principe of Polarity in every CoU true. It is the sentence pattern:  "either x is p or it is not p" which makes the sentence true, independent of any contextual conditions.  (b) is true due to the structure of the sentence  (c) is true to the semantic facts of English  (d) is mathematical true all four of them are true due to their structure and the meaning of the words they contain
  • 8. Logical False a) Donald Duck is a duck and Donald Duck is not a duck. b) Donald Duck is neither a duck nor is he not a duck. c) Ducks are plants. d) Two times seven is twenty-seven.  (a) violates the Law of Contradiction.  (b) the Law of Excluded Middle.  (c) violates the semantic rules of English.  (d) the rules of mathematics.
  • 9. Logical Relations Between Sentences/ 1. Logical Entailment  Entailment is a concept that refers to a specific kind of relationship between two sentences. More specifically, entailment means that if one sentence is true, then another sentence would also have to be true: the second sentence would be entailed by the first sentence.  Another way to prove entailment between two sentences is to demonstrate that if the one sentence is false, then the other sentence must also be false. Entailment is closely related to the concept of logical consequence. Within logic, the idea that if A is true, then B must be true too is nothing other than a form of entailment. a) Donald Duck is a duck. b) Donald Duck is a bird.  The relation of logical entailment is that it is impossible that (b) is false if (a) is true, if he is a duck, he necessarily is a bird.
  • 10. 2. Logical Equivalence  Equivalence means having identical truth conditions like entailment, equivalence is a transitive relation, but here it is a symmetric relation.  A-true-B-false and A-false-B-true are both ruled out, the table combines the conditions for A→B and B→A: equivalence is mutual entailment.  Thus, if A and B are contingent, A must contain all the information B contains and contrariwise  In other words, the sentences must contain the same information  A) He is the father of my mother ↔ B) He is my maternal grandfather.  A) Today is Monday. ↔ B) Yesterday was Sunday.  A) The bottle is half empty. ↔ B) The bottle is half full.  A) Everyone will lose. ↔ B) No-one will win
  • 11. 3.Logical Contradiction  The logical relations of contrariety and contradiction focus on falsity.  What follows from the defining condition is that the combination A-true-B-true is ruled out and it also follows that if B is true, A must be false → the relation is symmetric.  A + B are contraries and we could replace the defining condition by "A and B cannot both be true“.  Other common terms for contrariety are logical exclusion and incompatibility.
  • 12.  Examples for incompatibility: 1. A) It's cold. B) It's hot. 2. A) Today is Monday. B) Tomorrow is Wednesday. 3. A) Ann is younger than Mary. B) Ann is older than Mary.  Two contrary sentences cannot both be true but they may both be false.  It may neither hot nor cold, it may be neither Monday nor the day before Wednesday etc.  In other words, the negation of contraries are normally compatible, they may both be true.  There is a close connection between contrariety and entailment: A and B are logical contraries, if A entails not-B and therefore also B entails not-A: both relations rule out A- true-B-true.  Applying this to the sentence (1) we obtain that can state that "It's cold." entails "It's not hot."
  • 13. 5. Logical Relations Involving Logically True Or False Sentences  We receive entries "impossible" in the first two rows, because A cannot be true, regardless of B. Thus the table fulfils the crucial condition for A entailing B (impossible in row 2) and for A and B being contraries (impossible in row 1).  The choice of B does not play any role in this, if A is logically false, it entails anything.  The entailment will never become effective because A is never true with any sentence B because logically false sentences are contrary to all other sentences.
  • 14.  If B is logically true the entailment A→B holds, regardless of A 1. (A) Ducks are dogs. → (B) Mary is tired. 2. (A) Mary is tired. → (B) Ducks are birds. 3. (A) Ducks are dogs. → (B) Ducks are birds.  So it is important to notice that logical relations are not meaning relations, they are relations between sentences in terms of their truth conditions but not in terms of their meanings.  If we exclude logically true or false sentences, a connection does exist the table shows the picture form A or B or both being non-contingent.
  • 15. 6. Logical Relations Under The Assumption Of Contingency  The assumption that A is contingent allows us to fill in possible in row 1 and likewise we can make the same entry in row 4, otherwise B would be logically false.  Entailment and equivalence cannot co-occur with contrariety and contradiction:  For the former two relations, A and B can both be true, but not so for the latter two.  A further logical relation can be introduced, the relation of non-relatedness, as it were, which is called logical independence and holds between two sentences if all four truth value combinations are possible.  This amounts to A entailing neither B nor not-B and B entailing neither A nor not-A pairs of contingent sentences that are related by one of the logical relations this is only possible if the sentences bear some meaning connections.  For example, if two sentences have the same truth conditions and are hence logically equivalent, then they must have similar meanings, because it is the meanings that determine the truth.
  • 16. Logical Relations Between Words  The logical relations between sentences can easily be exploited to establish corresponding relations between lexemes and other expressions below sentence level.  This is possible for all predicate expressions; these include all nouns, verbs and adjectives, i.e. the major classes of content words.  For establishing logical relations between two expressions, we insert them into an appropriate test sentence and check the resulting logical relations.
  • 17. 1. Logical Equivalence  Two predicate terms (in giving reading) are logically equivalent if they necessarily the same truth value for the same arguments. 1) (A) x is a female adult. → (B) x is a woman. 2) (A) x costs a lot. → (B) x is expensive.  (1) means that the potential referents of woman and female adult are the same, i.e. the expressions have the same denotation.  Two such expressions are logically equivalent if they have the same denotation.
  • 18. 2. Logical Subordination  A predicate term A is a logical subordinate of B (and B a logical superordinate of A) if B is true of some arguments whenever A is true of them. a) A x is a duck. → B x is a bird. b) A x enlarges y. → B x changes y.  The denotation of duck, the more specific term, is included in the denotation of the more general term bid, due to the second entailment, the denotation of bend is part of the denotation of change.  The resulting relation between a general term and a specific term will be calls logical subordination (short: subordination):  An expression A is a subordinate of an expression B, if the denotation of A is included in the denotation of B.
  • 19. 2. Logical Subordination  If A is a subordinate of B, B is called a superordinate of A.  In set-theoretical terms, A is a subordinate of B if the denotation of A is a subset of the denotation of B.  The denotation of a subordinate term is a subcategory of the denotation of its superordinate terms.
  • 20. 3. Logical Incompatibility  Two predicate term A and B are logically incompatible if they cannot both be true of the same arguments.  Usually, a superordinate expression have a set of co-subordinates, e.g. owl, pigeon, penguin, sparrow, swan are co-subordinates of duck.  In addition, they are mutually exclusive: "x is a swan" logically excludes "x is an owl“.  Two terms A and B will be called logically incompatible if their denotation have no elements in common.
  • 21. 4. Logical Complementarity  Two predicate terms A and B are logically complimentary if they necessarily have opposite truth values for all arguments.  The corresponding test sentence "x is a sister" and "x is a brother" are logical contradictories.  This logical relation is called logical complementarity:  Two terms A and B are logically complementary if their denotations have no elements in common and together exhaust the set of possible cases.  The notion of complementarity does not occur in natural language.  Good examples for complementary are: girl-boy / child-adult / indoors-outdoors.