Statements (61)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:illusion
|
| gptkbp:has_historical_significance |
in the development of mathematics
in the development of logic |
| gptkbp:has_implications_for |
gptkb:Set
computability theory proof theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Curry's paradox
|
| gptkbp:involves |
truth
implication |
| gptkbp:is_a |
gptkb:Mathematics
theoretical construct philosophical puzzle logical inconsistency theoretical problem philosophical issue self-referential paradox semantic paradox mathematical issue epistemological issue logical construct logical phenomenon |
| gptkbp:is_analyzed_in |
gptkb:philosophy
theoretical computer science mathematical analysis |
| gptkbp:is_considered |
formal systems
the foundations of mathematics the philosophy of mathematics logical frameworks the study of paradoxes the study of self-reference |
| gptkbp:is_discussed_in |
academic papers
mathematical logic philosophy of language philosophy textbooks logic textbooks conferences on logic |
| gptkbp:is_explored_in |
gptkb:philosopher
gptkb:Mathematician gptkb:Logic gptkb:philosophy critical thinking mathematical literature logicians philosophical logic computational logic informal logic |
| gptkbp:is_opposed_by |
classical logic
|
| gptkbp:is_related_to |
gptkb:Gödel's_incompleteness_theorems
Tarski's undefinability theorem non-classical logics paraconsistent logic |
| gptkbp:is_represented_in |
A implies A is true
A implies B, where A is true |
| gptkbp:is_similar_to |
gptkb:Russell's_paradox
liar paradox |
| gptkbp:is_used_in |
discussions of paradoxes
|
| gptkbp:proposed_by |
gptkb:Haskell_Curry
|
| gptkbp:related_to |
logical paradoxes
self-referential statements |
| gptkbp:bfsParent |
gptkb:Haskell_Curry
|
| gptkbp:bfsLayer |
6
|