The Fregean axiom and Polish mathematical logic in the \(1920^s\)
From MaRDI portal
Publication:1256439
DOI10.1007/BF02120672zbMath0404.03004WikidataQ114693666 ScholiaQ114693666MaRDI QIDQ1256439
Publication date: 1978
Published in: Studia Logica (Search for Journal in Brave)
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Many-valued logic (03B50)
Related Items (33)
Неклассический взгляд на природу значений истинности ⋮ A Co-inductive Language and Truth Degrees ⋮ Fregean logics ⋮ An Inferentially Many-Valued Two-Dimensional Notion of Entailment ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Frame definability in finitely valued modal logics ⋮ Two, Many, and Differently Many ⋮ Editorial introduction: substructural logics and metainferences ⋮ From many-valued consequence to many-valued connectives ⋮ The method of polynomial ring calculus and its potentialities ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ On the meaning of connectives (apropos of a non-necessitarianist challenge) ⋮ Why classical logic is privileged: justification of logics based on translatability ⋮ \(\in_K\): a non-Fregean logic of explicit knowledge ⋮ The Lvov-Warsaw School: A True Mythology ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Non Truth-Functional Many-Valuedness ⋮ Bi-facial truth: a case for generalized truth values ⋮ Valuations: bi, tri, and tetra ⋮ Generalized multiset theory ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ Editorial introduction. Truth values. I ⋮ Taking degrees of truth seriously ⋮ The slingshot argument and sentential identity ⋮ Classic-Like Analytic Tableaux for Finite-Valued Logics ⋮ Key notions of Tarski's methodology of deductive systems ⋮ The reception of Frege in Poland ⋮ Multi-valued semantics: why and how ⋮ Some Adaptive Contributions to Logics of Formal Inconsistency ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism ⋮ Valuation semantics for first-order logics of evidence and truth
Cites Work
This page was built for publication: The Fregean axiom and Polish mathematical logic in the \(1920^s\)