Бернард Больцано | страница 53
Положение о не-наглядности понятий является для Больцано исходным при разработке аксиоматического метода. Аксиомы суть недоказуемые предложения. Составные части любой аксиомы просты, т. е. субъект и объект аксиомы не могут быть расчленены на более простые понятия. Критерием простоты понятия является отсутствие для него видового отличия. Если взять понятие точки, то родовым по отношению к нему будет понятие предмета вообще, а еще шире — понятие представления вообще. Но при попытке найти видовое отличие обнаруживается, что им является само понятие точки (см. 16, 35). Очевидность не может быть критерием при выборе аксиом, так как она допускает бесчисленные различия в степени и нельзя определить, какая степень достаточна для аксиом. Очевидность истины зависит также от многих случайных обстоятельств, например от нашего опыта, обучения и т. д. Для различных людей степень очевидности тех или иных истин различна. То, что очевидно для одних, может не быть таковым для других (см. там же, 40–41). Многие положения, которые у Евклида считались аксиомами, на самом деле ими не являются, полагает Больцано. По его мнению, положение о параллельных прямых не аксиома. Его рассматривали в качестве таковой лишь потому, что не могли доказать. Философ ошибался. Он был одним из тех математиков, которые безуспешно пытались доказать постулат о параллельных, т. е. вывести его из других аксиом как теорему. Для того чтобы быть аксиомой, совсем не обязательно, полагает Больцано, обладать свойством очевидности. Многие теоремы значительно яснее и очевиднее, чем аксиомы, из которых они выводятся.