Geach rule in logic
E962270
UNEXPLORED
The Geach rule in logic is a principle introduced by philosopher Peter Geach that governs how predicates and logical operators behave in embedded or indirect contexts, especially in discussions of reference and identity.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Geach rule in logic canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T12044876 — 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: Geach rule in logic Context triple: [Peter Geach, notableIdea, Geach rule in logic]
-
A.
Gentzen
Gentzen is a surname most notably associated with Gerhard Gentzen, a pioneering German logician known for his foundational work in proof theory and natural deduction.
-
B.
Herbrand disjunction
Herbrand disjunction is a logical formula formed as a finite disjunction of ground instances of a first-order formula, central to Herbrand’s theorem in proof theory and automated reasoning.
-
C.
Logik
Logik is a foundational work on formal logic by German philosopher and mathematician Gottlob Frege, contributing significantly to the development of modern logic and the philosophy of language.
-
D.
Lenzsche Regel
Lenzsche Regel ist ein grundlegendes Gesetz der Elektrodynamik, das die Richtung induzierter Ströme so festlegt, dass sie der Ursache ihrer Entstehung entgegenwirken.
-
E.
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.
- 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: Geach rule in logic Target entity description: The Geach rule in logic is a principle introduced by philosopher Peter Geach that governs how predicates and logical operators behave in embedded or indirect contexts, especially in discussions of reference and identity.
-
A.
Gentzen
Gentzen is a surname most notably associated with Gerhard Gentzen, a pioneering German logician known for his foundational work in proof theory and natural deduction.
-
B.
Herbrand disjunction
Herbrand disjunction is a logical formula formed as a finite disjunction of ground instances of a first-order formula, central to Herbrand’s theorem in proof theory and automated reasoning.
-
C.
Logik
Logik is a foundational work on formal logic by German philosopher and mathematician Gottlob Frege, contributing significantly to the development of modern logic and the philosophy of language.
-
D.
Lenzsche Regel
Lenzsche Regel ist ein grundlegendes Gesetz der Elektrodynamik, das die Richtung induzierter Ströme so festlegt, dass sie der Ursache ihrer Entstehung entgegenwirken.
-
E.
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.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.