Introduction to Logical Theory
E100611
Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Introduction to Logical Theory canonical | 3 |
How this entity was disambiguated
This entity first appeared as the object of triple T839897 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Introduction to Logical Theory Context triple: [P. F. Strawson, notableWork, Introduction to Logical Theory]
-
A.
Science of Logic
Science of Logic is a foundational philosophical work by G.W.F. Hegel that systematically develops his dialectical method and metaphysical account of concepts, being, and reality.
-
B.
Logic: The Theory of Inquiry
Logic: The Theory of Inquiry is John Dewey’s major work on logic, presenting a pragmatic account of reasoning as an experimental, inquiry-driven process grounded in experience.
-
C.
The Logical Structure of the World
The Logical Structure of the World is Rudolf Carnap’s seminal 1928 work in which he develops a rigorous, formal reconstruction of all scientific concepts from a phenomenalist basis, serving as a foundational text of logical positivism.
-
D.
Lectures on the Logic of Arithmetic
Lectures on the Logic of Arithmetic is an educational work by Mary Everest Boole that explores the foundations and teaching of arithmetic through logical and psychological principles.
-
E.
From a Logical Point of View
From a Logical Point of View is a landmark collection of philosophical essays by W.V.O. Quine that helped reshape analytic philosophy, especially through its critique of the analytic–synthetic distinction and its naturalized approach to epistemology.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Introduction to Logical Theory Target entity description: Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
-
A.
Science of Logic
Science of Logic is a foundational philosophical work by G.W.F. Hegel that systematically develops his dialectical method and metaphysical account of concepts, being, and reality.
-
B.
Logic: The Theory of Inquiry
Logic: The Theory of Inquiry is John Dewey’s major work on logic, presenting a pragmatic account of reasoning as an experimental, inquiry-driven process grounded in experience.
-
C.
The Logical Structure of the World
The Logical Structure of the World is Rudolf Carnap’s seminal 1928 work in which he develops a rigorous, formal reconstruction of all scientific concepts from a phenomenalist basis, serving as a foundational text of logical positivism.
-
D.
Lectures on the Logic of Arithmetic
Lectures on the Logic of Arithmetic is an educational work by Mary Everest Boole that explores the foundations and teaching of arithmetic through logical and psychological principles.
-
E.
From a Logical Point of View
From a Logical Point of View is a landmark collection of philosophical essays by W.V.O. Quine that helped reshape analytic philosophy, especially through its critique of the analytic–synthetic distinction and its naturalized approach to epistemology.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
philosophical work ⓘ |
| academicDiscipline |
logic
ⓘ
philosophy ⓘ philosophy of language ⓘ |
| argues | that logical theory should be informed by ordinary language practice ⓘ |
| author | P. F. Strawson ⓘ |
| countryOfOrigin | United Kingdom ⓘ |
| critiques |
formalist approaches to logic
ⓘ
traditional deductive logic ⓘ |
| emphasizes |
connection between logic and ordinary language use
ⓘ
importance of ordinary language for understanding logical form ⓘ |
| focusesOn |
logical connectives
ⓘ
logical constants ⓘ logical entailment ⓘ logical implication ⓘ logical paradoxes ⓘ ordinary language analysis ⓘ traditional formal logic ⓘ truth functions ⓘ |
| genre |
analytic philosophy
ⓘ
philosophy of logic ⓘ |
| hasPart |
analysis of logical paradoxes
ⓘ
critique of truth-functional accounts of implication ⓘ discussion of logical connectives in ordinary language ⓘ discussion of logical constants and meaning ⓘ discussion of logical subject–predicate form ⓘ discussion of the concept of entailment ⓘ discussion of the material conditional ⓘ treatment of quantification and generality ⓘ |
| influenced |
ordinary language philosophy
ⓘ
philosophy of logic in the 20th century ⓘ subsequent debates on entailment and implication ⓘ |
| language | English ⓘ |
| mainSubject |
formal logic
ⓘ
logic ⓘ ordinary language ⓘ philosophy of language ⓘ |
| notableFor |
critical examination of the material implication account of ‘if’
ⓘ
influence on later discussions of entailment and presupposition ⓘ linking formal logic with ordinary language analysis ⓘ |
| publicationYear | 1952 ⓘ |
| publisher | Methuen ⓘ |
| relatedWork |
Individuals
ⓘ
Cornell school of ordinary language philosophy ⓘ
surface form:
Ordinary language philosophy
|
| timePeriod | mid-20th century ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Introduction to Logical Theory Description of subject: Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.