Some considerations on arithmetical truth and the co-rule

In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 94 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,139

External links

  • This entry has no external links. Add one.
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.
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 (eds.), From Logic to Practice: Italian Studies in the Philosophy of Mathematics. Cham: Springer International Publishing.
The single-conclusion proof logic and inference rules specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.
A Proof Theory for the Logic of Provability in True Arithmetic.Hirohiko Kushida - 2020 - Studia Logica 108 (4):857-875.
Two Proof-Theoretic Remarks on EA + ECT.Volker Halbach & Leon Horsten - 2000 - Mathematical Logic Quarterly 46 (4):461-466.
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.
On the proof-theory of a first-order extension of GL.Yehuda Schwartz & George Tourlakis - 2014 - Logic and Logical Philosophy 23 (3).

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

Daniel Isaacson
University of Oxford

Citations of this work

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

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references