PhilosophyDay
Современная философия
ЗаключениеДругая философия / Основные законы мышления / Заключение
Рассмотренные выше основные формально-логические законы мышления открыты традиционной логикой. Как относится к ним символическая логика? Она основывается на них в своих построениях и процедурах, но в целях решения собственных специфических задач вносит в них необходимые уточнения и дает им свою символику.
Так, закон тождества выражается логической формулой А ≡ А (А равносильно А) или А->А («Если А, то А»).
Закон противоречия выражается формулой ┐ (А^ ┐А) («Неверно, что А и не-А).
Закон исключенного третьего – A v ┐А (А или не-А).
Считается, что закон достаточного основания символически выразить нельзя, так как это исключительно содержательный закон. Приведем пример толкования подобных формул. Так, сложные высказывания типа: «Закон принят, или закон не принят», «Решение суда правильное, или решение суда неправильное», имея формулу Av┐А (закон исключенного третьего), истинны независимо от того, истинны или ложны образующие их элементарные суждения. Вот таблица истинности этой формулы:
Наряду с тождественно-истинными формулами есть еще тождественно-ложные формулы. Ими выражаются логические противоречия.
Благодаря табличному способу символическая логика (логика высказываний) в состоянии эффективно выявлять как тождественно-истинные формулы, так и тождественно-ложные формулы – законы логики и логические противоречия. В этом ее громадный шаг вперед по сравнению с традиционной логикой.
Смотрите также
13.3 Критика психологии «первого
лица»
Наконец,
базовый метод самопознания – интроспекция – не ускользает от критического
внимания Райла. Он называет эту концепцию концепцией привилегированного
доступа к своему собственному со ...
Древнегреческая философия. Ксенофан, Параменид, Зенон.
Они – представители элейской школы. Главная мысль – отрицание
чувственного познания. Ксенофан. - первовещество – земля. - Бог – абсолютный,
вечный, бесконечный Космос, сливающийся с природой, следов ...
3.3 Основные положения физикализма в Венском кружке
Обе группы, о которых шла речь выше, исходят из
верификационного критерия значения, проводят резкое различие между
эмпирическими синтетическими и априорными аналитическими высказываниями, ...