On formal and informal provability

In Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics. pp. 263--299 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.
The Relation between Formal and Informal Logic.Ralph H. Johnson - 1999 - Argumentation 13 (3):265-274.
Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.
Explicit modal logic, informal provability and Montague's Paradox.W. Dean - forthcoming - Notre Dame Journal of Formal Logic.
Managing Informal Mathematical Knowledge: Techniques from Informal Logic.Andrew Aberdein - 2006 - Lecture Notes in Artificial Intelligence 4108:208--221.
Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.
How Philosophical is Informal Logic?John Woods - 2000 - Informal Logic 20 (2).
La relación entre la comunicación formal e informal en las organizaciones: Un estudio de caso (The relation between formal communication and informal communication: A case study).J. L. Valdez, M. H. Badii & J. L. Abreu - 2008 - Daena 3 (1):186-222.
Fromal statements of Godel's second incompleteness theorem.Harvey Friedman - manuscript
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.
Three Misrepresentations of Logic.Brian MacPherson - 1999 - Informal Logic 19 (2):185–199.
Предизвикателството информално образованиe.Таня Желязкова-Тея - unknown
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
Making Sense of “Informal Logic”.Ralph H. Johnson - 2006 - Informal Logic 26 (3):231-258.
Communication and ethics: The informal and formal curricula.Thomas W. Cooper - 1986 - Journal of Mass Media Ethics 2 (1):71 – 79.

Analytics

Added to PP
2014-01-29

Downloads
32 (#471,613)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hannes Leitgeb
Ludwig Maximilians Universität, München

Citations of this work

Groundwork for a Fallibilist Account of Mathematics.Silvia De Toffoli - 2021 - Philosophical Quarterly 7 (4):823-844.
Reconciling Rigor and Intuition.Silvia De Toffoli - 2020 - Erkenntnis 86 (6):1783-1802.
A formal system for euclid’s elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.

View all 44 citations / Add more citations

References found in this work

No references found.

Add more references