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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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 Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.
Proof and explication: response to José Seoane.O. Chateaubriand - 2008 - Manuscrito 31 (1):293-297.
Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.
Objects and Processes in Mathematical Practice.Uwe V. Riss - 2011 - Foundations of Science 16 (4):337-351.
Truth Through Proof: A Formalist Foundation for Mathematics.Alan Weir - 2010 - Oxford, England: Oxford University Press.
Kilka uwag o dowodzie w matematyce.Roman Murawski - 2013 - Filozofia Nauki 21 (1).
Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.
Proofs and rebuttals: Applying Stephen Toulmin's layout of arguments to mathematical proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..
Surveyability and Mathematical Certainty.Kai Michael Büttner - 2017 - Axiomathes 27 (1):113-128.
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.
Burden of proof.DouglasN Walton - 1988 - Argumentation 2 (2):233-254.
Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.
Lakatos and Hersh on Mathematical Proof.Hossein Bayat - 2015 - Journal of Philosophical Investigations at University of Tabriz 9 (17):75-93.
Assertion-level Proof Representation with Under-Specification.Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek & Bao Quoc Vo - 2004 - Electronic Notes in Theoretical Computer Science 93:5-23.

Analytics

Added to PP
2015-08-08

Downloads
93 (#178,015)

6 months
10 (#213,340)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alan Weir
University of Glasgow

Citations of this work

Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.
Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.
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.
The Taming of the True.Michael Glanzberg & Neil Tennant - 2000 - Philosophical Review 109 (2):290.

View all 14 references / Add more references