Idea of the Proof
The article explores the informal side of the idea of the proof. The word "idea" is used in a sense dating back to Plato. Proof is understood as a precisely established connection of precisely formulated and objectively existing ideas. This connection of ideas belongs to the realm of the p...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Peoples’ Friendship University of Russia (RUDN University)
2020-12-01
|
| Series: | RUDN Journal of Philosophy |
| Subjects: | |
| Online Access: | http://journals.rudn.ru/philosophy/article/viewFile/23678/18195 |
| _version_ | 1819157789687152640 |
|---|---|
| author | A. M. Anisov |
| author_facet | A. M. Anisov |
| author_sort | A. M. Anisov |
| collection | DOAJ |
| description | The article explores the informal side of the idea of the proof. The word "idea" is used in a sense dating back to Plato. Proof is understood as a precisely established connection of precisely formulated and objectively existing ideas. This connection of ideas belongs to the realm of the possible and can be present in some possible worlds and absent in others. Attempts to interpret the proof as a procedure of convincing argumentation are criticized. It is shown that the proof is not necessarily convincing, and that persuasiveness may be inherent outside the proof-based forms of argument. The genesis of the idea of the proof is briefly traced from its origins to the present day. Arguments are made in favor of the thesis of the idea of the proof in Pythagorean philosophy. The question of why the idea of the proof has not been rediscovered anywhere and never is discussed. The problem of the time gap between the appearance of the proof and the exact definition of the concept of the proof in modern logic is considered. An accessible example substantiates the inseparability of the idea of the proof from its formal presentation in one or another logic. A list of some basic informal predicates of the proof is given and a brief description is given. |
| first_indexed | 2024-12-22T16:14:21Z |
| format | Article |
| id | doaj.art-6c54c0cad6c444808f011941ff69c38c |
| institution | Directory Open Access Journal |
| issn | 2313-2302 2408-8900 |
| language | deu |
| last_indexed | 2024-12-22T16:14:21Z |
| publishDate | 2020-12-01 |
| publisher | Peoples’ Friendship University of Russia (RUDN University) |
| record_format | Article |
| series | RUDN Journal of Philosophy |
| spelling | doaj.art-6c54c0cad6c444808f011941ff69c38c2022-12-21T18:20:23ZdeuPeoples’ Friendship University of Russia (RUDN University)RUDN Journal of Philosophy2313-23022408-89002020-12-0124222824310.22363/2313-2302-2020-24-2-228-24318872Idea of the ProofA. M. Anisov0Institute of Philosophy RASThe article explores the informal side of the idea of the proof. The word "idea" is used in a sense dating back to Plato. Proof is understood as a precisely established connection of precisely formulated and objectively existing ideas. This connection of ideas belongs to the realm of the possible and can be present in some possible worlds and absent in others. Attempts to interpret the proof as a procedure of convincing argumentation are criticized. It is shown that the proof is not necessarily convincing, and that persuasiveness may be inherent outside the proof-based forms of argument. The genesis of the idea of the proof is briefly traced from its origins to the present day. Arguments are made in favor of the thesis of the idea of the proof in Pythagorean philosophy. The question of why the idea of the proof has not been rediscovered anywhere and never is discussed. The problem of the time gap between the appearance of the proof and the exact definition of the concept of the proof in modern logic is considered. An accessible example substantiates the inseparability of the idea of the proof from its formal presentation in one or another logic. A list of some basic informal predicates of the proof is given and a brief description is given.http://journals.rudn.ru/philosophy/article/viewFile/23678/18195ideaproofconclusionlogiccalculusaxiomscienceargumentation |
| spellingShingle | A. M. Anisov Idea of the Proof RUDN Journal of Philosophy idea proof conclusion logic calculus axiom science argumentation |
| title | Idea of the Proof |
| title_full | Idea of the Proof |
| title_fullStr | Idea of the Proof |
| title_full_unstemmed | Idea of the Proof |
| title_short | Idea of the Proof |
| title_sort | idea of the proof |
| topic | idea proof conclusion logic calculus axiom science argumentation |
| url | http://journals.rudn.ru/philosophy/article/viewFile/23678/18195 |
| work_keys_str_mv | AT amanisov ideaoftheproof |