When the proof doesnt show the truth
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
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
James 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.
Sorry, there are not enough data points to plot this chart.
Added to index2010-03-04
Recent downloads (6 months)0
How can I increase my downloads?