Гетманова_1998 / Глава 10
Трехзначная система Гейтинга
В двузначной логике из закона исключенного третьего выводятся: 1) →х; 2) х. Исходя из утверждения, что истинным является лишь второе, нидерландский логик и математик А. Рейтинг (1898-1980) разработал трехзначную пропозициональную логику. В этой логической системе импликация и отрицание отличаются от определений этих операций у Лукасевича лишь в одном случае. “Истина” обозначается 1, “ложь” - 0, “неопределенность” -1/2. Тавтология принимает значение 1.
Yandex.RTB R-A-252273-3Содержание
- Глава X этапы развития логики как науки
- § 1. Краткие сведения из истории классической и неклассических логик
- Логика в Древней Индии
- Логика Древнего Китая
- Логика в Древней Греции
- Логика в средние века
- Логика эпохи Возрождения и Нового времени'
- Логика в России
- Математическая логика
- § 2. Развитие логики в связи с проблемой обоснования математики
- § 3. Интуиционистская логика
- § 4. Конструктивные логики
- Конструктивные исчисления высказываний в. И. Гливенко и а. Н. Колмогорова
- Конструктивная логика а. А. Маркова
- § 5. Многозначные логики
- Трехзначная система Лукасевнча
- Отрицание Лукасевича
- Трехзначная система Гейтинга
- Импликация Гейтинга
- Две бесконечнозначные системы Гетмановой:
- § 6. Законы исключенного третьего и непротиворечия в неклассических логиках (многозначных, интуиционистской, конструктивных)
- § 7. Модальные логики
- 1) P*qq*p;
- 4) (P*q)*rp*(q*r),
- 6)(Pq)*(qr) [pr};
- 7) P*(pq)q.
- § 8. Положительные логики
- § 9. Паранепротиворечивая логика