Theoria 85 (6):459-484 (2019)

Abstract This article has no associated abstract. (fix it)
Keywords Peano  arithmetic  conjecture  conservative extension  counterexample  harmony  stability
Categories No categories specified
(categorize this paper)
DOI 10.1111/theo.12217
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,304
Through your library

References found in this work BETA

General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38.

View all 21 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the No-Counterexample Interpretation.Ulrich Kohlenbach - 1999 - Journal of Symbolic Logic 64 (4):1491-1511.
On the No-Counterexample Interpretation.Ulrich Kohlenbach - 1999 - Journal of Symbolic Logic 64 (4):1491-1511.
Peano e la filosofia della matematica.Enrico Pasini - 2004 - In Elisa Gallo - Livia Giacardi - Clara Silvia Roero (ed.), Conferenze E Seminari 2003-2004. Associazione Subalpina Mathesis. pp. 203-220.
The Philosophy of Harmony in Classical Confucianism.Chenyang Li - 2008 - Philosophy Compass 3 (3):423–435.
Peano. Life and Works of Giuseppe Peano.Hubert C. Kennedy - 1983 - Journal of Symbolic Logic 48 (2):503-504.
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.
Kaplan’s Counterexample to Quine’s Theorem.Paolo Bonardi - 2018 - Grazer Philosophische Studien 95 (2):196-223.
Abstraction and Intuition in Peano's Axiomatizations of Geometry.Davide Rizza - 2009 - History and Philosophy of Logic 30 (4):349-368.

Analytics

Added to PP index
2019-12-31

Total views
9 ( #852,039 of 2,330,104 )

Recent downloads (6 months)
4 ( #193,234 of 2,330,104 )

How can I increase my downloads?

Downloads

My notes