Закон исключения третьего
Так, закон тождества выражается логической формулой А ≡ А (А равносильно А) или А->А («Если А, то А»).
Закон противоречия выражается формулой ┐ (А^ ┐А) («Неверно, что А и не-А).
Закон исключенного третьего — A v ┐А (А или не-А).
Считается, что закон достаточного основания символически выразить нельзя, так как это исключительно содержательный закон. Приведем пример толкования подобных формул. Так, сложные высказывания типа: «Закон принят, или закон не принят», «Решение суда правильное, или решение суда неправильное», имея формулу Av┐А (закон исключенного третьего), истинны независимо от того, истинны или ложны образующие их элементарные суждения. Вот таблица истинности этой формулы:
Наряду с тождественно-истинными формулами есть еще тождественно-ложные формулы. Ими выражаются логические противоречия.
Благодаря табличному способу символическая логика (логика высказываний) в состоянии эффективно выявлять как тождественно-истинные формулы, так и тождественно-ложные формулы — законы логики и логические противоречия. В этом ее громадный шаг вперед по сравнению с традиционной логикой.
Список используемой литературы
1. Логика. Учеб. Под ред. Иванова Е.И., Москва, 2000 г.
2. Аристотель. Соч. т.1 с. 141, т.2 с.257.
3. Лейбниц Г. Избранные философские сочинения. М. 1968 с. 377.
4. Философские науки 1992 №1 с.7
Скачать реферат
