When the proof doesnt show the truth
| Abstract |
Abstract: Throughout this paper, by representing some paradoxes and their associated proofs and arguments, we try to show the cases which proving some assertions doesn’t conclude the truth of them . In the next step, we try to find out Which proofs could be considered as reliable in a way that it shows the Truth of their related assertion, specially We claim that math- metical proofs could be considered as reliable ones in this sense. Nevertheless, we claim that the validation of the previous assertion is comparable to validation of Church Thesis in Computability Theory. So, we could use it and we consider these proofs as reliable ones but we should be doubtful about their truth. At last we give a possible explanation for this subject (based on local arguments and global arguments, the concepts which we introduce them throughout this paper), and we investigate the validity of this explanation. What we should bold it here is: In this approach we know the proofs in these paradoxes as correct proofs, but the point which we want to stress on that would be: the proof doesn’t show the truth. . |
|||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links | This entry has no external links. Add one. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJames Robert Brown (1990). Proof and Truth in Lakatos's Masterpiece. International Studies in the Philosophy of Science 4 (2):117 – 130.
David Sherry (2009). The Role of Diagrams in Mathematical Arguments. Foundations of Science 14 (1-2):59-74.
R. B. J. T. Allenby (1997). Numbers and Proofs. Copublished in North, South, and Central America by John Wiley & Sons Inc..
Dag Prawitz (2012). Truth as an Epistemic Notion. Topoi 31 (1):9-16.
Peter Pagin (1994). Knowledge of Proofs. Topoi 13 (2):93-100.
Jeremy Avigad (2006). Mathematical Method and Proof. Synthese 153 (1):105 - 159.
Thomas Studer (2008). On the Proof Theory of the Modal Mu-Calculus. Studia Logica 89 (3):343 - 363.
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
Luca Tranchini (2012). Truth From a Proof-Theoretic Perspective. Topoi 31 (1):47-57.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-03-04Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
