Historical, Philosophical, Political and Law Sciences, Culturology and Study of Art. Issues of Theory and Practice. Tambov: Gramota, 2015. № 8. Part 2. P. 191-193.
Sultanova Linera Bairakovna
Bashkir State University
Abstract. In the article the problem of implicit knowledge is posed and detailed that is interpreted by the author as a problem of revealing the implicit elements of mathematical knowledge while justifying mathematical theories. The problem is conditioned by the lack of the rational gnoseological mechanisms of implementing this procedure, and also by the fact that not all implicit elements are generally subject to revealing. The researcher relies on the broad context of modern philosophy of mathematics, and also on her own previous works.
Key words and phrases: неявные элементы знания, обоснование, доказательство, логика, уровень строгости, геометрия, скрытые леммы, implicit elements of knowledge, substantiation, proving, logic, level of rigor, geometry, latent lemmas
Open the whole article in PDF format. Free PDF-files viewer can be downloaded .
References:
Veil' G. Matematicheskoe myshlenie / per. s angl. i nem. M.: Nauka. Gl. red. fiz.-mat. lit., 1989. 400 s.
Kun T. Struktura nauchnykh revolyutsii // Kun T. Struktura nauchnykh revolyutsii: sb. / per. s angl. M.: AST; Ermak, 2001. S. 5-311.
Lakatos I. Dokazatel'stva i oproverzheniya / per. s angl. I. N. Veselovskogo. M.: Nauka, 1967. 152 s.
Miroshnichenko P. N. Chto zhe razrushal paradoks Rassela v sisteme Frege? // Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke: materialy VI Obshcheros. nauch. konf. (g. Sankt-Peterburg, 22-24 iyunya 2000 g.). SPb., 2000. S. 512-514.
Polani M. Lichnostnoe znanie / per. s angl. M.: Progress, 1985. 344 s.
Sultanova L. B. Neyavnoe znanie v razvitii matematiki. Ufa: RITs BashGU, 2009. 260 s.
Cherch A. Matematika i logika // Matematicheskaya logika i ee primeneniya: sb. st. / per. s angl.; pod red. E. Nagela, P. Sappsa, A. Tarskogo. M.: Mir, 1965. 341 s.
Русский
