Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics

&
History and Philosophy of Logic 23 (1):1-30 (2002)
  Copy   BIBTEX

Abstract

Steve Awodey and Erich H. Reck. Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics

Categories

Add categories

Keywords

DOI

10.1080/01445340210146889

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,377

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

Completeness and categoricity, part I: 19th century axiomatics to 20th century metalogic.Steve Awodey & Erich H. Reck - unknown
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.
Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.
Axiomatics and progress in the light of 20th century philosophy of science and mathematics.Dirk Schlimm - 2006 - In Benedikt Löwe, Volker Peckhaus & T. Rasch (eds.), Foundations of the Formal Sciences IV. College Publications. pp. 233–253.
Carnap, completeness, and categoricity:The gabelbarkeitssatz OF 1928. [REVIEW]S. Awodey & A. W. Carus - 2001 - Erkenntnis 54 (2):145-172.
So you're on the ethics committee? a primer and practical guidebook: 21st century practical ethics applied to 21st century health care.Richard E. Thompson - 2007 - Tampa, Fla.: American College of Physician Executives.
21st Century Christian Contribution to Philosophy.Domenic Marbaniang - 2008 - Basileia 1 (1):24.
Proofs are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript
Lectures for the XXIst century: 2008-2009.Bart Raymaekers (ed.) - 2008 - Leuven: Universitaire pers.
Reading Hayek in the 21st century: a critical inquiry into his political thought.Theo Papaioannou - 2012 - Basingstoke: Palgrave-Macmillan.
Mister bixby, monsieur Bernard, and some other 19th century scientist–philosophers on knowledge-based actions.Ulrich Charpa - 2006 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 37 (2):257 - 268.
Nietzsche and Mechanism. On the Use of History for Science.Pietro Gori - 2014 - In Helmut Heit & Lisa Heller (eds.), Handbuch Nietzsche und die Wissenschaften. de Gruyter. pp. 119-137.
The study of the regenesis of mind in the 21st century.Paul Walter Schönle & Brigitte Stemmer - 2000 - Brain and Cognition 42 (1):113-116.
From J. Krishnamurti to the Upanishads: world order for the 21st century: an Indian vision.V. G. Krishnamurti - 1990 - Calcutta: Writers Workshop.

Analytics

Added to PP
2010-09-08

Downloads
39 (#339,746)

6 months
4 (#244,383)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Awodey
Carnegie Mellon University

Citations of this work

Tracing Internal Categoricity.Jouko Väänänen - 2020 - Theoria 87 (4):986-1000.
On arbitrary sets and ZFC.José Ferreirós - 2011 - Bulletin of Symbolic Logic 17 (3):361-393.
On the Axiom of Canonicity.Jerzy Pogonowski - forthcoming - Logic and Logical Philosophy:1-29.

View all 21 citations / Add more citations

References found in this work

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.

View all 38 references / Add more references