Формальные науки
Формальные науки — мощные науки, которые развиваются посредством делания логических выводов и размышлений, и рассматривают умопостроения, а не физические объекты. То бишь это науки об идеальных объектах в логических системах, в которых гнездится почтенный мозг.
Описание[править]
Они не описывают непосредственно физический мир или человеческое поведение, а предоставляют инструменты и языки для анализа произвольных систем. За счёт этого они хорошо масштабируются и обладают определённой универсальностью, да и сам анализ есмь высочайшая функция разума.
Объекты исследования формальных наук по сути своей идеализированные структуры (числа, множества, функции, алгоритмы, доказательства). Знание получается путём логического вывода из аксиом и определений без использования эмпирических знаний. Истинность утверждений формальных наук не зависит от опыта, она устанавливается внутри формальной системы и там самым начинена априорностью.
Обычно для размышлений формальных наук применяется строгий символический язык, обладающий однозначностью.
Эти науки зародились в мощных философах. Евклидова геометрия, изложенная в Началах, является первым известным образцом полностью аксиоматической системы. Аристотель создал формальную логику. В дальнейшем начались попытки алгебраизации математики. Декартова аналитическая геометрия связала алгебру и геометрию, позволив куда более мощный и потужный анализ всего творения через посредничество символов.
Однако сочинить полную модель мира таким образом не вышло. Теорема Гёделя о неполноте подтверждает, что любая достаточно мощная аксиоматическая система либо неполна, либо противоречива, то бишь может применяться только в ограниченном объёме.
