Четверг, 04.06.2020, 20:24
Мой сайт
Приветствую Вас Гость | RSS
Меню сайта
Категории раздела
Основы логики [11]
История логики [8]
Логика мышления [4]
Практическая логика [5]
Законы логики [13]
Наш опрос
Оцените мой сайт
Всего ответов: 794
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Главная » Статьи » Логика » Основы логики

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

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

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

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

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

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

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

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

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

jj®y

, где над чертой записываются посылки, а под чертой - заключение.

y

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

j®yy®x

.

j®x

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

j(y), y«x

, где j[y¬x] обозначает замену в j некоторых вхождений y на утверждение x.

j[y¬x]

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

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

j(y)

, где j[yЬx] обозначает замену в j всех вхождений y на утверждение x.

j[yЬx]

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



Источник: http://public.uic.rsu.ru/~skritski/math-inf/Sect01.htm
Категория: Основы логики | Добавил: sova (29.05.2009)
Просмотров: 2279 | Комментарии: 1 | Теги: логика | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Форма входа
Поиск
Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
  • Copyright MyCorp © 2020Бесплатный конструктор сайтов - uCoz