Skip to main content
grasp.study
About
Explore
Pricing
Log in
Try it for free
Back to course
👋
Welcome to a Grasp lesson
Create a free account
to keep studying and create your own study path.
History and Philosophy of Logic
·
Module 5
The Nature of Logical Consequence
1
Tarski's Semantic Theory of Truth
Explain Tarski's semantic theory of truth, including the metalanguage/object language distinction.
2
Tarski and the Philosophical Foundations of Logical Consequence
Analyse Tarski's model-theoretic definition of logical consequence and its philosophical presuppositions.
3
Etchemendy's Critique of Tarski
Evaluate Etchemendy's critique that Tarski's account conflates logical and material consequence.
4
The Demarcation Problem and Logical Constants
Analyse the demarcation problem: what makes a term a logical constant?
5
Soundness and Completeness: Bridging Model and Proof
Analyse the philosophical significance of soundness and completeness theorems for relating model-theoretic and proof-theoretic consequence.
Previous module
Formal Systems and Their Philosophical Limits
Next module
Intuitionism and Semantic Anti-Realism