History and Philosophy of Logic 2 (1-2):67-85 (1981)
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)|
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.
Uniting Model Theory and the Universalist Tradition of Logic: Carnap's Early Axiomatics.Iris Loeb - 2014 - Synthese 191 (12):2815-2833.
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.
Relativizing the Relativized a Priori: Reichenbach's Axioms of Coordination Divided.Flavia Padovani - 2011 - Synthese 181 (1):41 - 62.
Added to index2010-08-10
Total downloads35 ( #145,188 of 2,158,283 )
Recent downloads (6 months)1 ( #355,837 of 2,158,283 )
How can I increase my downloads?