Bertrand Russell's theory of types
GPTKB entity
Properties (63)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theory
|
| gptkbp:addresses |
paradoxes in set theory
|
| gptkbp:aimsTo |
self-referential paradoxes
|
| gptkbp:designedBy |
hierarchical structure of types
|
| gptkbp:developedBy |
gptkb:Bertrand_Russell
|
| https://www.w3.org/2000/01/rdf-schema#label |
Bertrand Russell's theory of types
|
| gptkbp:influencedBy |
logicism
|
| gptkbp:is_studied_in |
language
|
| gptkbp:isA |
foundational theory
|
| gptkbp:isActiveIn |
philosophical journals
mathematical logic courses |
| gptkbp:isAssociatedWith |
philosophy of mathematics
|
| gptkbp:isAvenueFor |
computer science
|
| gptkbp:isChallengedBy |
constructivist approaches
|
| gptkbp:isCitedIn |
research articles
textbooks on logic scholarly works |
| gptkbp:isConsidered |
a significant contribution to logic
a foundational aspect of modern logic a key development in the philosophy of language a precursor to modern type theory a response to logical paradoxes a significant logical framework a solution to paradoxes |
| gptkbp:isCriticizedFor |
gptkb:W.V.O._Quine
|
| gptkbp:isDiscussedIn |
academic papers
philosophers logicians logic conferences logic seminars |
| gptkbp:isEngagedIn |
philosophical_critiques
|
| gptkbp:isExaminedBy |
Principia Mathematica
academic literature philosophical literature academic discussions graduate studies logic textbooks |
| gptkbp:isExpectedTo |
logical paradoxes
|
| gptkbp:isExploredIn |
academic research
philosophical debates philosophical texts |
| gptkbp:isInfluencedBy |
philosophy
the study of semantics Frege's_logic |
| gptkbp:isLinkedTo |
philosophical inquiry
set-theoretic foundations |
| gptkbp:isPartOf |
analytic philosophy
the history of logic theoretical frameworks in mathematics the development of mathematical logic |
| gptkbp:isReflectedIn |
theoretical discussions
mathematical foundations computational theories |
| gptkbp:isRelatedTo |
gptkb:Russell's_Paradox
gptkb:Gödel's_incompleteness_theorems type theory axiomatic set theory formal logic formal systems |
| gptkbp:isUsedBy |
philosophical implications of logic
|
| gptkbp:isUsedIn |
philosophical analysis
mathematical logic |
| gptkbp:isVisitedBy |
early 20th century
|