1.2. Структура науки

Позиция Аристотеля правдоподобна. Мы, например, считаем, что «все люди являются млекопитающими» - это всегда верно, в то время как «все вороны чёрные» - только случайно. Аристотель сказал бы, что хотя человек не мог быть не млекопитающим, ворон может также быть не чёрным. Хотя Аристотель привёл примеры, противопоставляющие «сущностную предикацию» и «случайную предикацию», он не смог сформулировать общий критерий для определения того, какие предикации являются сущностными.

Хотя Аристотель не указал критерий «сущностности», приписываемый предикату класса предметов, он настаивает на том, что каждая конкретная наука имеет характерный предметный класс и набор предикатов. Предметный класс физики, например, - класс случаев, в которых тела меняют свое местоположение в пространстве. Среди предикатов, которые относятся к этой науке, - «положение», «скорость» и «сопротивление». Аристотель подчеркивал, что для удовлетворительного объяснения явления следует использовать предикаты той науки, к которой принадлежит явление. Было бы неуместно, например, объяснить движение снаряда с точки зрения чисто биологических предикатов таких, как «рост» и «развитие».

Аристотель считал, что конкретная наука является дедуктивно организованной группой суждений. На самом высоком уровне обобщения - первые законы всех доказательств – это законы тождества, непротиворечивости и исключенного третьего. Эти законы применимы ко всем дедуктивным суждениям. На следующем высоком уровне обобщения есть первые законы и определения конкретной науки. Первые принципы физики, например, будет включать в себя:

Всё движение является либо естественным, либо насильственным.

Всё естественное движение есть движение к естественному положению.

Например, тяжёлые объекты движутся по природе к центру Земли.

Насильственное движение вызвано продолжающимся действием внешней движущей силы. (Действие внешней силы на расстоянии невозможно.)

Вакуум невозможен.

Первые законы науки не являются предметом дедукции из более фундаментальных принципов. Они являются наиболее общими истинными суждениями, которые могут быть сделаны о предикатах, присущих науке. Таким образом, первые законы являются отправными точками всех демонстраций в рамках науки. Они функционируют как предпосылки для дедукции тех отношений, которые находятся на более низких уровнях обобщения.

1.3. Демаркация эмпирической науки

Аристотель стремился не только выделять предмет каждой отдельной науки, но и в целом отличать эмпирическую науку от чистой математики. Он достиг этой демаркации через различие прикладной математики, практикуемой в комплексных науках, и чистой (теоретической) математики, которая занимается с числами и фигурами.

Аристотель утверждал, что, в то время как предмет эмпирической науки подвергается изменениям, предмет чистой математики неизменен. Чистая математика абстрагируется от физических состояний к определенным количественным характеристикам объектов и их отношениям, и занимается исключительно этими аспектами. Аристотель считал, что эти математические формы не имеют объективного существования. Только в уме математика происходит сохранение формы объекта, разрушенного в процессе абстрагирования.