Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.
-
Upload
mildred-allen -
Category
Documents
-
view
216 -
download
0
Transcript of Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.
![Page 1: Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.](https://reader036.fdocuments.net/reader036/viewer/2022081519/56649f035503460f94c176b5/html5/thumbnails/1.jpg)
Semantics: Warm-Up
Kareem KhalifaPhilosophy Department
Middlebury College
![Page 2: Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.](https://reader036.fdocuments.net/reader036/viewer/2022081519/56649f035503460f94c176b5/html5/thumbnails/2.jpg)
OverviewI. Logic, linguistics, &
semanticsII. Propositional semantics:
basicsIII. Semantic validity
IV. Proof-theoretic validity & tableaux
V. ConditionalsVI. Predicates
![Page 3: Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.](https://reader036.fdocuments.net/reader036/viewer/2022081519/56649f035503460f94c176b5/html5/thumbnails/3.jpg)
I. Logic, linguistics, & semantics
A. Logic vs. linguisticsB. Downplaying the distinctionC. Emphasizing the distinction
![Page 4: Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.](https://reader036.fdocuments.net/reader036/viewer/2022081519/56649f035503460f94c176b5/html5/thumbnails/4.jpg)
II. Propositional semantics: basics
A. Object &meta-languageB. Syntax of object languageC. Two notions of validityD. Soundness & completeness
μετά
![Page 5: Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.](https://reader036.fdocuments.net/reader036/viewer/2022081519/56649f035503460f94c176b5/html5/thumbnails/5.jpg)
III. Semantic validity
A. DefinitionB. Valuation rules
![Page 6: Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.](https://reader036.fdocuments.net/reader036/viewer/2022081519/56649f035503460f94c176b5/html5/thumbnails/6.jpg)
IV. Proof-theoretic validity: tableaux
A. MechanicsB. Definition
![Page 7: Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.](https://reader036.fdocuments.net/reader036/viewer/2022081519/56649f035503460f94c176b5/html5/thumbnails/7.jpg)
V. Conditionals
A. ParadoxesB. Pragmatic SolutionC. Subjunctive SolutionD. Tougher examplesE. Argument for “”
![Page 8: Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.](https://reader036.fdocuments.net/reader036/viewer/2022081519/56649f035503460f94c176b5/html5/thumbnails/8.jpg)
VI. Predicates
A. Predicate logic (teaser)
B. Representing predicates
![Page 9: Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.](https://reader036.fdocuments.net/reader036/viewer/2022081519/56649f035503460f94c176b5/html5/thumbnails/9.jpg)
Recap• Logical tools can be of use to
linguists• Semantic theories are couched in
meta-language; object languages are models of linguistic data
• Semantic validity leans on truth-preservation
• Proof-theoretic validity focuses on rules for making moves in the object language
• Material implication is messy.• Predicates should be represented
precisely.