Informal proof, formal proof, formalism

Review of Symbolic Logic 9 (1):23-43 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1755020315000234

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

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

Truth Through Proof: A Formalist Foundation for Mathematics.Alan Weir - 2010 - Oxford, England: Oxford University Press.
Truth Through Proof, by Alan Weir.P. Smith - 2011 - Mind 120 (480):1318-1324.
Alan Weir , Truth Through Proof: A Formalist Foundation for Mathematics . Reviewed by.Julian C. Cole - 2012 - Philosophy in Review 32 (6):529-532.
Truth through proof: A formalist foundation for mathematics * by Alan Weir.Z. Damnjanovic - 2012 - Analysis 72 (2):415-418.
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.
Truth, Proof and Formal Methods: Philosophical Background.Gerard O'Regan - 1995 - Trinity College, Department of Computer Science.
A formal proof of gödel's theorem.Leon Chwistek - 1939 - Journal of Symbolic Logic 4 (2):61-68.
A Formal Proof of Godel's Theorem.Leon Chwistek - 1940 - Journal of Symbolic Logic 5 (1):28-30.
Informal and formal proofs, metalogic, and the groundedness problem.Mario Bacelar Valente - manuscript
Chwistek Leon. A formal proof of Gödel's theorem.Helen Brodie - 1940 - Journal of Symbolic Logic 5 (1):28-30.

Analytics

Added to PP
2015-08-08

Downloads
112 (#197,758)

6 months
10 (#312,841)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alan Weir
University of Glasgow

Citations of this work

Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.
Is There a “Hilbert Thesis”?Reinhard Kahle - 2019 - Studia Logica 107 (1):145-165.

View all 9 citations / Add more citations

References found in this work

Realism, Mathematics, and Modality.Hartry Field - 1988 - Philosophical Topics 16 (1):57-107.
Steps toward a constructive nominalism.Nelson Goodman & Willard van Orman Quine - 1947 - Journal of Symbolic Logic 12 (4):105-122.
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
From Stimulus to Science.W. V. Quine, Paolo Leonardi & Marco Santambrogio - 1997 - Philosophical Quarterly 47 (189):519-523.

View all 14 references / Add more references