Formalization and infinity

Manuscrito 31 (1):25-43 (2008)
Download Edit this record How to cite View on PhilPapers
Abstract
This article discusses some of Chateaubriand’s views on the connections between the ideas of formalization and infinity, as presented in chapters 19 and 20 of Logical Forms. We basically agree with his criticisms of the standard construal of these connections, a view we named “formal proofs as ultimate provings”, but we suggest an alternative way of picturing that connection based on some ideas of the late Wittgenstein.
PhilPapers/Archive ID
PORFAI
Revision history
Archival date: 2015-11-21
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2013-04-12

Total views
105 ( #26,097 of 43,036 )

Recent downloads (6 months)
23 ( #25,674 of 43,036 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.