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