A Proof of the Inconsistency of Quine's System "Mathematical Logic."

Journal of Symbolic Logic 21 (3):322-322 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269132

Links

PhilArchive



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

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

Christian Curt. A proof of the inconsistency of Quine's system “Mathematical logic .” Theoria , vol. 3 no. 9 , pp. 135–136. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):322-322.
A proof of the inconsistency of Quine's system "Mathematical Logic ".Alonzo Church - 1955 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 3 (1):135-136.
Proofs and rebuttals: Applying Stephen Toulmin's layout of arguments to mathematical proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Inconsistency lemmas in algebraic logic.James G. Raftery - 2013 - Mathematical Logic Quarterly 59 (6):393-406.
Proof-theoretic modal PA-Completeness III: The syntactic proof.Paolo Gentilini - 1999 - Studia Logica 63 (3):301-310.
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.Franco Montagna, G. Michele Pinna & Elisa B. P. Tiezzi - 2000 - Mathematical Logic Quarterly 46 (2):171-182.
Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL.Guido Vanackere - 2000 - Logic and Logical Philosophy 8:47.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
Relating Quine's NF to Feferman's EM.Andrea Cantini - 1999 - Studia Logica 62 (2):141-162.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
A complete and consistent formal system for sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
The adaptive logic of compatibility.Diderik Batens & Joke Meheus - 2000 - Studia Logica 66 (3):327-348.
A temporal logic for sortals.Max A. Freund - 2001 - Studia Logica 69 (3):351-380.

Analytics

Added to PP
2017-02-21

Downloads
3 (#1,712,963)

6 months
1 (#1,473,216)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references