|
gptkbp:instanceOf
|
gptkb:philosophy
school of logic
|
|
gptkbp:activePeriod
|
early 20th century
|
|
gptkbp:contribution
|
gptkb:set_theory
gptkb:propositional_calculus
foundations of mathematics
semantic theory of truth
many-valued logic
metalogic
development of formal logic
|
|
gptkbp:country
|
gptkb:Poland
|
|
gptkbp:era
|
20th century
|
|
gptkbp:field
|
gptkb:logic
gptkb:mathematics
gptkb:philosophy
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Polish school of logic
|
|
gptkbp:influenced
|
gptkb:logic
analytic philosophy
philosophy of language
|
|
gptkbp:influencedBy
|
gptkb:Bertrand_Russell
gptkb:Gottlob_Frege
|
|
gptkbp:language
|
Polish
|
|
gptkbp:notableInstitution
|
gptkb:University_of_Warsaw
gptkb:University_of_Lwów
|
|
gptkbp:notableMember
|
gptkb:Alfred_Tarski
gptkb:Jan_Łukasiewicz
gptkb:Stanisław_Leśniewski
gptkb:Andrzej_Mostowski
gptkb:Jerzy_Słupecki
gptkb:Kazimierz_Ajdukiewicz
gptkb:Stanisław_Jaśkowski
gptkb:Władysław_Witwicki
gptkb:Adolf_Lindenbaum
gptkb:Mieczysław_Wajsberg
gptkb:Roman_Suszko
gptkb:Zygmunt_Zawirski
gptkb:Bolesław_Sobociński
|
|
gptkbp:notableWork
|
gptkb:Łukasiewicz's_three-valued_logic
gptkb:Ajdukiewicz's_radical_conventionalism
gptkb:Jaśkowski's_discursive_logic
gptkb:Leśniewski's_systems_of_logic
gptkb:Tarski's_theory_of_truth
|
|
gptkbp:region
|
gptkb:Central_Europe
|
|
gptkbp:relatedTo
|
gptkb:Vienna_Circle
gptkb:Lwów–Warsaw_school
|
|
gptkbp:bfsParent
|
gptkb:ontology_(Leśniewski)
|
|
gptkbp:bfsLayer
|
7
|