Can There Be A Proof That Some Unprovable Arithmetic Sentence Is True?

&
Dialectica 43 (3):289-292 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1111/j.1746-8361.1989.tb00945.x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Can There Be A Proof That Some Unprovable Arithmetic Sentence Is True?Charles Sayward Philip Hugly - 1989 - Dialectica 43 (3):289-292.
Philip Hugly and Charles Sayward, Arithmetic and Ontology: A Non-Realist Philosophy of Arithmetic Reviewed by.Manuel Bremer - 2007 - Philosophy in Review 27 (3):188-191.
Philip Hugly & Charles Sayward: Arithmetic and Ontology: A Non-Realist Philosophy of Arithmetic, edited by Pieranna Garavaso . Amsterdam/New York: Rodopi, 2006.Claus Festersen - 2007 - SATS 8 (2).
Can There be a Proof that an Unprovable Sentence of Arithmetic is True?Philip Hugly & Charles Sayward - 1989 - Dialectica 43 (43):289-292.
Philip Hugly and Charles Sayward.Null Sentences - 1999 - Iyyun 48:23.
Philip Hugly & Charles Sayward: Arithmetic and Ontology: A Non-Realist Philosophy of Arithmetic, edited by Pieranna Garavaso (Poznan Studies in the Philosophy of the Sciences and the Humanities, vol. 90). Amsterdam/New York: Rodopi, 2006 (393 pp.). [REVIEW]Claus Festersen - 2007 - SATS 8 (2):147-155.
Reply to Hugly and Sayward.Robert L. Martin - 1979 - Analysis 39 (4):169-174.
Reply to Hugly and Sayward.Robert C. Cummins - 1977 - Journal of Philosophical Logic 6 (1):353-354.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
The diagonalization lemma, Rosser and Tarski.Peter Smith - unknown

Analytics

Added to PP
2014-04-08

Downloads
11 (#1,147,580)

6 months
4 (#1,005,419)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Philip Hugly
University of California, Berkeley (PhD)
Charles Sayward
University of Nebraska, Lincoln

Citations of this work

No citations found.

Add more citations

References found in this work

Elementary logic.Benson Mates - 1972 - New York,: Oxford University Press.
Formal logic: its scope and limits.Richard C. Jeffrey - 1967 - Indianapolis, IN: Hackett.
Sets, Logic, and Axiomatic Theories.Alfons Borgers - 2003 - San Francisco, CA, USA: W.H. Freeman.
Introduction to symbolic logic.John L. Pollock - 1969 - New York,: Holt, Rinehart and Winston.
Understanding symbolic logic.Gerald J. Massey - 1970 - New York,: Harper & Row.

Add more references