Carnap on extremal axioms, "completeness of the models," and categoricity

Review of Symbolic Logic 5 (4):613-641 (2012)
  Copy   BIBTEX

Abstract

This paper provides a historically sensitive discussion of Carnaps theory will be assessed with respect to two interpretive issues. The first concerns his mathematical sources, that is, the mathematical axioms on which his extremal axioms were based. The second concerns Carnapcompleteness of the modelss different attempts to explicate the extremal properties of a theory and puts his results in context with related metamathematical research at the time

Categories

Keywords

Reprint years

DOI

10.1017/s1755020312000172

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On extremal axioms.Rudolf Carnap, Friedrich Bachmann & H. G. Bohnert - 1981 - History and Philosophy of Logic 2 (1-2):67-85.
Carnap, completeness, and categoricity:The gabelbarkeitssatz OF 1928. [REVIEW]S. Awodey & A. W. Carus - 2001 - Erkenntnis 54 (2):145-172.
Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.
Completeness and categoricity, part I: 19th century axiomatics to 20th century metalogic.Steve Awodey & Erich H. Reck - unknown
Expressivity and completeness for public update logics via reduction axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
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.
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.
Categoricity and indefinite extensibility.James Walmsley - 2002 - Proceedings of the Aristotelian Society 102 (3):217–235.
A Completeness Proof of Kiczuk’s Logic of Physical Change.Robert Trypuz - 2010 - Studia Logica 95 (1-2):139 - 159.
Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
Structures and Procedures.William M. Goodman - 1985 - Philosophy Research Archives 11:551-578.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.

Analytics

Added to PP
2013-06-05

Downloads
59 (#271,632)

6 months
15 (#165,714)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Georg Schiemer
University of Vienna

Citations of this work

Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
On the Axiom of Canonicity.Jerzy Pogonowski - forthcoming - Logic and Logical Philosophy:1-29.

View all 9 citations / Add more citations

References found in this work

Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.
Category Theory.[author unknown] - 2007 - Studia Logica 86 (1):133-135.

View all 18 references / Add more references