Пес Ебленский - Апостериорная Аналитика Аристотеля альфа 2: научное знание и формальное доказательство

Пес Ебленский - Апостериорная Аналитика Аристотеля альфа 2: научное знание и формальное доказательство

rex_weblen

[	website	\|	Наши рисуночки	]
[	userinfo	\|	ljr userinfo	]
[	archive	\|	journal archive	]

Links

[

Links:

update journal edit friends fif tiphareth recent comments

]

Апостериорная Аналитика Аристотеля альфа 2: научное знание и формальное доказательство

[Jul. 26th, 2020|11:51 am]

[Tags

aristotle, epistemology, logic, marginalia, organon, philosophy, proof theory, second analytics

]

[	Current Mood	\|	aggravated	]
[	Current Music	\|	The Rainfall Years - 33rd Of March	]

Как и Платон с Сократом Аристотель разделяет знание (epistema) и мнение (doxa). Однако, согласно Аристотелю возможны разные рода знания. И в этом трактате речь пойдет только о научном знание. Научное знание определяется наличием формального доказательства, устроенного как логический дедуктивный вывод из предпосылок.

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

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

Link