SlideShare a Scribd company logo
1 of 4
LOGIC 2
Words such as and, or and not are not predicates and cannot be
used a referring expressions.
Example:
 Names are referring expressions, i.e. can be used to
pick out individuals in the world. Can the word and be
used in this way? Yes/no
 Predicates express relations between individuals or
properties of individuals (e.g. asleep). Can and be
used to express property of an individual (e.g. John is
and, or John ands) yes/no
LOGIC 2
Logic calls such words connectives. The kind of meaning
that is involved is structural.
Logical notation: &, V
Example: John and Mary are married is an ambiguous
sentence.
Why?
Answer: John and Mary are married to each other or as
John is married to someone and Mary is married to
someone .
The logical notation of the first proposition is represented by
the following formula:
(jMARRIED TO m) & (m MARRIED TO j)
LOGIC 2
The second interpretation would be represented by:
(Εx (jMARRIED TO x)) & (Ε y (m MARRIED TO y))
Logical calculations
Mark the following examples as Valid (V) or (I) invalid
(refer to examples p. 138, Textbook: Semantics, a discourse)
Rule: Modus Ponens
It is a rule stating that that is a proposition P entails a proposition Q, and P
is true, then Q is true
p→q
P
__________
Q
LOGIC 2
The formulae above the line in this diagram
represent the propositions which are the
premises of the argument, and the letter below
the line represents the proposition which is the
conclusion of the argument

More Related Content

What's hot (19)

Unit7
Unit7Unit7
Unit7
 
The scope of semantics made simple
The scope of semantics made simpleThe scope of semantics made simple
The scope of semantics made simple
 
Syntax
SyntaxSyntax
Syntax
 
Verbs - Transitive and Intransitive,Linking and Finite ,Non-Finite (easy appr...
Verbs - Transitive and Intransitive,Linking and Finite ,Non-Finite (easy appr...Verbs - Transitive and Intransitive,Linking and Finite ,Non-Finite (easy appr...
Verbs - Transitive and Intransitive,Linking and Finite ,Non-Finite (easy appr...
 
Transitive Verb and Direct Object
Transitive Verb and Direct ObjectTransitive Verb and Direct Object
Transitive Verb and Direct Object
 
(3) the scope of semantics 1
(3) the scope of semantics   1(3) the scope of semantics   1
(3) the scope of semantics 1
 
Immediate constituent analysis
Immediate constituent analysisImmediate constituent analysis
Immediate constituent analysis
 
Nominal and functional parts of speech
Nominal and functional parts of speechNominal and functional parts of speech
Nominal and functional parts of speech
 
Presentation of tagmemic grammar
Presentation of tagmemic grammarPresentation of tagmemic grammar
Presentation of tagmemic grammar
 
Syntax –part 2
Syntax –part 2Syntax –part 2
Syntax –part 2
 
Clause As Representation In Functional Grammar
Clause As Representation In Functional GrammarClause As Representation In Functional Grammar
Clause As Representation In Functional Grammar
 
Syntax –part 3
Syntax –part 3Syntax –part 3
Syntax –part 3
 
Words and word phrases class 2
Words and word phrases class 2Words and word phrases class 2
Words and word phrases class 2
 
Semantic Roles
Semantic RolesSemantic Roles
Semantic Roles
 
Verbal Group In Systemic Grammar
Verbal Group In Systemic GrammarVerbal Group In Systemic Grammar
Verbal Group In Systemic Grammar
 
Unit 04 p42_igc
Unit 04 p42_igcUnit 04 p42_igc
Unit 04 p42_igc
 
Semantic roles and semantic features
Semantic roles and semantic featuresSemantic roles and semantic features
Semantic roles and semantic features
 
Mood, Non-Finite Verb Forms
Mood, Non-Finite Verb FormsMood, Non-Finite Verb Forms
Mood, Non-Finite Verb Forms
 
Nominal Group In Systemic Grammar
Nominal Group In Systemic GrammarNominal Group In Systemic Grammar
Nominal Group In Systemic Grammar
 

More from zouhirgabsi

Quantifier part 2
Quantifier part  2Quantifier part  2
Quantifier part 2zouhirgabsi
 
Quantifiers (part 1)
Quantifiers (part 1)Quantifiers (part 1)
Quantifiers (part 1)zouhirgabsi
 
Quantifiers (part 1)
Quantifiers (part 1)Quantifiers (part 1)
Quantifiers (part 1)zouhirgabsi
 
Quantifiers (part 1)
Quantifiers (part 1)Quantifiers (part 1)
Quantifiers (part 1)zouhirgabsi
 
Revision linguistics
Revision linguisticsRevision linguistics
Revision linguisticszouhirgabsi
 
Presupposition lecture
Presupposition lecturePresupposition lecture
Presupposition lecturezouhirgabsi
 
Semantics –week 10
Semantics –week 10Semantics –week 10
Semantics –week 10zouhirgabsi
 
Semantics things and events -week 10(part 1))
Semantics things and events -week 10(part 1))Semantics things and events -week 10(part 1))
Semantics things and events -week 10(part 1))zouhirgabsi
 
Week 7 –morphology (part 5)
Week 7 –morphology (part 5)Week 7 –morphology (part 5)
Week 7 –morphology (part 5)zouhirgabsi
 
Week 7 –morphology (part 4)
Week 7 –morphology (part 4)Week 7 –morphology (part 4)
Week 7 –morphology (part 4)zouhirgabsi
 
Week 7 –morphology (part 3)
Week 7 –morphology (part 3)Week 7 –morphology (part 3)
Week 7 –morphology (part 3)zouhirgabsi
 
Week 7 tense and modality -continue
Week 7 tense and modality -continueWeek 7 tense and modality -continue
Week 7 tense and modality -continuezouhirgabsi
 

More from zouhirgabsi (20)

Quantifier part 2
Quantifier part  2Quantifier part  2
Quantifier part 2
 
Quantifiers (part 1)
Quantifiers (part 1)Quantifiers (part 1)
Quantifiers (part 1)
 
Quantifiers (part 1)
Quantifiers (part 1)Quantifiers (part 1)
Quantifiers (part 1)
 
Quantifiers (part 1)
Quantifiers (part 1)Quantifiers (part 1)
Quantifiers (part 1)
 
Syntax part 6
Syntax part 6Syntax part 6
Syntax part 6
 
Revision linguistics
Revision linguisticsRevision linguistics
Revision linguistics
 
Syntax part 6
Syntax part 6Syntax part 6
Syntax part 6
 
Syntax part 6
Syntax part 6Syntax part 6
Syntax part 6
 
Syntax part 5
Syntax part 5Syntax part 5
Syntax part 5
 
Logic 1
Logic 1Logic 1
Logic 1
 
Presupposition lecture
Presupposition lecturePresupposition lecture
Presupposition lecture
 
Syntax part 5
Syntax part 5Syntax part 5
Syntax part 5
 
Semantics –week 10
Semantics –week 10Semantics –week 10
Semantics –week 10
 
Syntax (Part 1)
Syntax (Part 1)Syntax (Part 1)
Syntax (Part 1)
 
Semantics things and events -week 10(part 1))
Semantics things and events -week 10(part 1))Semantics things and events -week 10(part 1))
Semantics things and events -week 10(part 1))
 
Week 7 –morphology (part 5)
Week 7 –morphology (part 5)Week 7 –morphology (part 5)
Week 7 –morphology (part 5)
 
Week 7 –morphology (part 4)
Week 7 –morphology (part 4)Week 7 –morphology (part 4)
Week 7 –morphology (part 4)
 
Week 7 –morphology (part 3)
Week 7 –morphology (part 3)Week 7 –morphology (part 3)
Week 7 –morphology (part 3)
 
Week 8 deixis
Week 8 deixisWeek 8 deixis
Week 8 deixis
 
Week 7 tense and modality -continue
Week 7 tense and modality -continueWeek 7 tense and modality -continue
Week 7 tense and modality -continue
 

Logic 2

  • 1. LOGIC 2 Words such as and, or and not are not predicates and cannot be used a referring expressions. Example:  Names are referring expressions, i.e. can be used to pick out individuals in the world. Can the word and be used in this way? Yes/no  Predicates express relations between individuals or properties of individuals (e.g. asleep). Can and be used to express property of an individual (e.g. John is and, or John ands) yes/no
  • 2. LOGIC 2 Logic calls such words connectives. The kind of meaning that is involved is structural. Logical notation: &, V Example: John and Mary are married is an ambiguous sentence. Why? Answer: John and Mary are married to each other or as John is married to someone and Mary is married to someone . The logical notation of the first proposition is represented by the following formula: (jMARRIED TO m) & (m MARRIED TO j)
  • 3. LOGIC 2 The second interpretation would be represented by: (Εx (jMARRIED TO x)) & (Ε y (m MARRIED TO y)) Logical calculations Mark the following examples as Valid (V) or (I) invalid (refer to examples p. 138, Textbook: Semantics, a discourse) Rule: Modus Ponens It is a rule stating that that is a proposition P entails a proposition Q, and P is true, then Q is true p→q P __________ Q
  • 4. LOGIC 2 The formulae above the line in this diagram represent the propositions which are the premises of the argument, and the letter below the line represents the proposition which is the conclusion of the argument