Properties (58)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
paradox
|
| gptkbp:appliesTo |
formal systems
|
| gptkbp:canLeadTo |
natural language processing
|
| gptkbp:countermeasures |
classical logic
|
| gptkbp:designedBy |
gptkb:John_McCarthy
|
| gptkbp:discusses |
philosophy
|
| gptkbp:exhibits |
limitations of formal logic
|
| gptkbp:hasInventor |
artificial intelligence
computer science |
| https://www.w3.org/2000/01/rdf-schema#label |
McCarthy's paradox
|
| gptkbp:involves |
truth values
|
| gptkbp:isActiveIn |
computability theory
|
| gptkbp:isAssociatedWith |
academic research
computational linguistics logical reasoning mathematical logic philosophy of language naive set theory theory of computation logical discourse self-referential statements |
| gptkbp:isAttendedBy |
academic literature
discussions on truth |
| gptkbp:isATypeOf |
logical inconsistency
self-referential paradox semantic paradox |
| gptkbp:isAvailableIn |
philosophy of mathematics
philosophical inquiry theory of truth |
| gptkbp:isAvenueFor |
formal verification
logical paradox mathematical proofs |
| gptkbp:isConsidered |
theoretical computer science
philosophical debates mathematical philosophy |
| gptkbp:isDiscussedIn |
philosophical logic
logical frameworks logic textbooks |
| gptkbp:isExploredIn |
set theory
mathematical logic formal semantics computational logic |
| gptkbp:isLocatedIn |
computer programming
|
| gptkbp:isRelatedTo |
gptkb:Russell's_paradox
gptkb:Gödel's_incompleteness_theorems semantic theory paradox of the liar |
| gptkbp:isUsedBy |
paradoxes in logic
|
| gptkbp:isUsedIn |
proof theory
|
| gptkbp:keyFigures |
logical analysis
|
| gptkbp:keyFunction |
theoretical discussions
|
| gptkbp:keyIssues |
foundations of mathematics
philosophical logic |
| gptkbp:namedAfter |
gptkb:John_McCarthy
|
| gptkbp:raisesAwarenessAbout |
truth and falsity
|
| gptkbp:relatedTo |
logic
mathematics self-reference |