Практическая логика

Аксиоматический метод. Исчисление высказываний

Хотя для проверки логических рассуждений можно использовать алгебру логики, сами рассуждения представляют собой цепочку утверждений, каждое из которых либо является исходной посылкой (постулатом, аксиомой, гипотезой), либо получается из предыдущих утверждений с помощью определённых правил - правил логического вывода. Эти правила вывода применяются к утверждениям формально, т.е., исходя только из их формы, структуры, а не содержания. Весь содержательный анализ происходит при формулировании аксиом.

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

Наиболее убедительным примером применения аксиоматического метода явился математический трактат "Начала" древнегреческого математика Евклида (ок. 300 г. до н.э.). По примеру Евклида нидерландский философ Бенедикт Спиноза применил аксиоматический метод в своём основном труде «Этика, доказанная в геометрическом порядке» (1675), а великий русский учёный Михаил Ломоносов аксиоматически изложил основы физической химии.

Более двух тысяч лет учёные старались выяснить, какими же правилами вывода пользуются люди в логически правильных рассуждениях. Крупные достижения были сделаны и древнегреческими философами (Аристотель), и средневековыми европейскими схоластами, и учёными-логиками конца 19 - начала 20 века.

Сформулируем здесь лишь некоторые наиболее простые правила логического вывода, которыми мы пользуемся постоянно и зачастую неосознанно.

Правило отделения (modus ponens):
"Если истинно утверждение j и истинно, что из j следует y, то истинно и утверждение y".
Формально это правило записывается в следующей форме:

Правило силлогизма (barbara):
"Если истинно утверждение, что из j следует y, и истинно утверждение, что из y следует x, то истинно и утверждение , что из j следует x" или, формально,

Правило эквивалентной замены:
"Если утверждение j истинно и в него входит утверждение y, о котором известно, что оно эквивалентно другому утверждению x, то истинно и утверждение, полученное из j заменой любых вхождений y на x" или, формально,

Это правило аналогично часто используемому в математике правилу замены "на равное"

Правило подстановки:
"Если утверждение j истинно независимо от истинности или ложности входящего в него утверждения y, то истинно и утверждение, полученное из j заменой всех вхождений y на любое утверждение x" или, формально,

Произвольное правило логического вывода называется корректным, если из истинности его посылок всегда следует истинность заключения.