History and Philosophy of Logic 2 (1-2):67-85 (1981)
| Abstract |
In the paper translated here, Carnap and Bachmann shows that the apparently metalinguistic ?extremal' axioms that are added to some axiom systems to the effect that the foregoing axioms are to apply as broadly, or as narrowly, as possible may be formulated directly as proper axioms. They analyze such axioms into four fundamental types, with the help of a concept of ?complete? isomorphism
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1080/01445348108837022 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Completeness and Categoricity. Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
Carnap’s Early Metatheory: Scope and Limits.Georg Schiemer, Richard Zach & Erich Reck - 2017 - Synthese 194 (1):33-65.
Uniting Model Theory and the Universalist Tradition of Logic: Carnap’s Early Axiomatics.Iris Loeb - 2014 - Synthese 191 (12):2815-2833.
Pasch's Empiricism as Methodological Structuralism.Dirk Schlimm - 2020 - In Erich Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. New York: Oxford University Press. pp. 80-105.
View all 6 citations / Add more citations
Similar books and articles
Routes to Triviality.Susan Rogerson & Greg Restall - 2004 - Journal of Philosophical Logic 33 (4):421-436.
Independence of Two Nice Sets of Axioms for the Propositional Calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Analytics
Added to PP index
2010-08-10
Total views
56 ( #204,972 of 2,520,416 )
Recent downloads (6 months)
1 ( #405,718 of 2,520,416 )
2010-08-10
Total views
56 ( #204,972 of 2,520,416 )
Recent downloads (6 months)
1 ( #405,718 of 2,520,416 )
How can I increase my downloads?
Downloads
