Publishing House SB RAS:

Publishing House SB RAS:

Address of the Publishing House SB RAS:
Morskoy pr. 2, 630090 Novosibirsk, Russia



Advanced Search

Philosophy of Sciences

2018 year, number 4

INTENTIONALITY OF MATHEMATICAL DISCOURSE: THE NECESSITY OF MATHEMATICAL TRUTHS

Vitaliy Valentinovich Tselishchev1,2
1Institute of Philosophy and Law, Siberian Branch of the Russian Academy of Science, 8, Nikolaev st. 630090, Novosibirsk, Russia
2Novosibirsk National Research State University, 2, Pirogov st. 630090, Novosibirsk, Russia
Keywords: математика, логика, модальность, необходимость, интенсиональность, mathematics, logic, modality, necessity, intensionality

Abstract

The article discusses the application of modal logic to the analysis of mathematical discourse. It is shown that such an application requires caution, as it often leads to absurd results. In particular, the thesis is being analyzed that the necessity of mathematical truths is provable in mathematics. It is shown that such a mixture of metaphysics and mathematical logic is illegal.