Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Philosophical logic
|
| gptkbp:allows |
Terms without referents
|
| gptkbp:appliesTo |
Quantified logic
|
| gptkbp:concerns |
Existential import
Reference to non-existent objects |
| gptkbp:contrastsWith |
Classical logic
|
| gptkbp:developedBy |
20th century
|
| gptkbp:field |
gptkb:logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Free logic
|
| gptkbp:notableFigure |
gptkb:Ruth_Barcan_Marcus
gptkb:Bas_van_Fraassen gptkb:Karel_Lambert |
| gptkbp:relatedTo |
Empty names
Existential presupposition Non-referring terms |
| gptkbp:usedIn |
gptkb:Metaphysics
gptkb:Philosophy_of_language |
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|