Properties (40)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
philosophical school
|
| gptkbp:associated_with |
mathematical logic
philosophy of language model theory proof theory formal semantics |
| gptkbp:contributedTo |
axiomatic set theory
philosophical logic non-classical logics quantified modal logic |
| gptkbp:founded |
1930s
|
| gptkbp:has_a_history_of |
gptkb:Tarski's_World
gptkb:Kotarbiński's_reism influence on computer science influence on philosophy of science influence on linguistics influence on ethics influence on cognitive science influence on artificial intelligence influence on metaphysics influence on political philosophy influence on epistemology development of modal logic influence on philosophy of mathematics influence on philosophy of language influence on social philosophy Tarski's_theorem Łukasiewicz's_Polish_notation |
| https://www.w3.org/2000/01/rdf-schema#label |
Warsaw School of Logic
|
| gptkbp:influenced |
gptkb:Gottlob_Frege
gptkb:Bertrand_Russell Aristotle |
| gptkbp:notable_member |
gptkb:Jan_Łukasiewicz
Alfred Tarski Tadeusz Kotarbiński |
| gptkbp:publishedBy |
Principia Mathematica
On Denoting The_Foundations_of_Mathematics Logic,_Semantics,_Metamathematics The_Concept_of_Truth_in_Formalized_Languages |