Some considerations on arithmetical truth and the co-rule

In Michael Detlefsen, Proof, Logic and Formalization. Routledge. pp. 94 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

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

A defense of Isaacson’s thesis, or how to make sense of the boundaries of finite mathematics.Pablo Dopico - 2024 - Synthese 203 (2):1-22.
Solovay’s Theorem and the Unexpected Examination.Graham Leach-Krouse - 2024 - In Mattia Petrolo & Giorgio Venturi, Paradoxes Between Truth and Proof. Cham: Springer Nature Switzerland. pp. 247-278.
Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic.Paolo Pistone - 2014 - In Giorgio Venturi, Marco Panza & Gabriele Lolli, From Logic to Practice: Italian Studies in the Philosophy of Mathematics. Cham: Springer Verlag.
Isaacson’s thesis on arithmetical truth.Yong Cheng - 2025 - Synthese 206 (3):1-24.
The single-conclusion proof logic and inference rules specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.
A Proof Theory for the Logic of Provability in True Arithmetic.Hirohiko Kushida - 2020 - Studia Logica 108 (4):857-875.
A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
Internal Categoricity, Truth and Determinacy.Martin Fischer & Matteo Zicchetti - 2023 - Journal of Philosophical Logic 52 (5):1295-1325.
Kreisel's Interests: On the Foundations of Logic and Mathematics.Paul Weingartner & Hans-Peter Leeb (eds.) - 2020 - London, Vereinigtes Königreich: College Publications.

Analytics

Added to PP
2014-01-31

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
A new solution to the paradoxes of rational acceptability.Igor Douven - 2002 - British Journal for the Philosophy of Science 53 (3):391-410.
Infinite Reasoning.Jared Warren - 2020 - Philosophy and Phenomenological Research 103 (2):385-407.

View all 18 citations / Add more citations

References found in this work

No references found.

Add more references