The Fregean Axiom and Polish mathematical logic in the 1920s
Studia Logica 36 (4):377-380 (1977)
Abstract
Summary of the talk given to the 22nd Conference on the History of Logic, Cracow (Poland), July 5–9, 1976.DOI
10.1007/bf02120672
My notes
Similar books and articles
'Abolition of the Fregean Axiom', in: Logic Colloquium, Symposium on Logic Held at Boston, 1972-73.Roman Suszko & R. Parikh - 1978 - Erkenntnis 12 (3):369-380.
Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity.Steffen Lewitzka - 2015 - Studia Logica 103 (3):507-544.
Well- and non-well-founded Fregean extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
Fregean logics with the multiterm deduction theorem and their algebraization.J. Czelakowski & D. Pigozzi - 2004 - Studia Logica 78 (1-2):171 - 212.
Quine's Philosophy of Language and Polish Logic.Eli Dresner - 1999 - History and Philosophy of Logic 20 (2):79-96.
The Induction Axiom and the Axiom of Choice.B. Germansky - 1961 - Mathematical Logic Quarterly 7 (11‐14):219-223.
Fregean axiom and many-valuedness.Grzegorz Malinowski - 2008 - Bulletin of the Section of Logic 37 (3/4):245-252.
A Mathematical Axiom Contradicting the Axiom of Choice.Jan Mycielski, H. Steinhaus & S. Swierczkowski - 1971 - Journal of Symbolic Logic 36 (1):164-166.
Extending Independent Sets to Bases and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (1):92-98.
Minimal Non-relevant Logics Without The K Axiom.Gemma Robles & Jose Mendez - 2007 - Reports on Mathematical Logic.
The Bounded Axiom A Forcing Axiom.Thilo Weinert - 2010 - Mathematical Logic Quarterly 56 (6):659-665.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Analytics
Added to PP
2009-01-28
Downloads
69 (#175,611)
6 months
4 (#182,451)
2009-01-28
Downloads
69 (#175,611)
6 months
4 (#182,451)
Historical graph of downloads
Citations of this work
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.
Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
References found in this work
The systems of Leśniewski in relation to contemporary logical research.Andrzej Grzegorczyk - 1955 - Studia Logica 3 (1):77-95.
Investigations into the sentential calculus with identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.
On matrix representations of consequence operations of Łlukasiewicz's sentential calculi.Ryszard Wójcicki - 1973 - Mathematical Logic Quarterly 19 (14‐18):239-247.