Circularity in soundness and completeness

Bulletin of Symbolic Logic 20 (1):24-38 (2014)
  Copy   BIBTEX

Abstract

We raise an issue of circularity in the argument for the completeness of first-order logic. An analysis of the problem sheds light on the development of mathematics, and suggests other possible directions for foundational research.

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2013.4

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,455

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

Richard Kaye. The mathematics of logic: A guide to completeness theorems and their applications. Cambridge University Press, Cambridge, 2007, xi + 204 pp. [REVIEW]Rafal Urbaniak - 2009 - Bulletin of Symbolic Logic 15 (2):216-218.
Polymorphism and the obstinate circularity of second order logic: A victims’ tale.Paolo Pistone - 2018 - Bulletin of Symbolic Logic 24 (1):1-52.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard Kaye - 2009 - Bulletin of Symbolic Logic 15 (2):216-218.
Svojstva klasične logike [Properties of Classical Logic].Srećko Kovač - 2013 - Zagreb: Hrvatski studiji Sveučilišta u Zagrebu.
A Hilbert-Style Axiomatisation for Equational Hybrid Logic.Luís S. Barbosa, Manuel A. Martins & Marta Carreteiro - 2014 - Journal of Logic, Language and Information 23 (1):31-52.
Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.Eli Dresner - 2011 - Notre Dame Journal of Formal Logic 52 (1):75-93.
Completeness and categoricity (in power): Formalization without foundationalism.John T. Baldwin - 2014 - Bulletin of Symbolic Logic 20 (1):39-79.

Analytics

Added to PP
2016-06-30

Downloads
44 (#594,646)

6 months
21 (#166,007)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

証明概念の形式化と量化子の解釈.Makoto Kikuchi - 2015 - Kagaku Tetsugaku 48 (2):33-48.

Add more citations

References found in this work

The Logic of Scientific Discovery.Karl R. Popper - 1959 - Les Etudes Philosophiques 14 (3):383-383.
What The Tortoise Said To Achilles.Lewis Carroll - 1895 - Mind 104 (416):691-693.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos, Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.

Add more references