- логик а , не позволяющая выводить из противоречия произвольное предложение . В логике классической некоторая теория называется противоречивой, когда в ней можно доказать одновременно и предложение, и его отрицание . Если при этом в теории можно доказать и произвольное предложение, она называется тривиальной. П. л. трактует противоречие иначе , чем классическая логика. Исключается возможность выводить из противоречий любые предложения, противоречие перестает быть угрозой разрушения теории. Этим не устраняется, конечно , принципиальная необходимость избавляться от противоречий в ходе дальнейшего развития теории. Такой подход к противоречию сложился относительно недавно . В конце 40-х годов польским логиком С. Яськовским (1906—1965) была построена «логика дискуссии», не позволяющая выводить из противоречия произвольные предложения. Более совершенная версия П. л. была предложена позднее бразильским логиком Н. да Костой. Паранепротиворечивой является также релевантная логика, в которой новая трактовка противоречия оказалась естественным следствием решения другой задачи — более адекватной, чем в классической логике, формализации условного высказывания. О новом отношении к противоречию и возможности логики без непротиворечия закона еще в начале этого века говорили рус. логик Н. А. Васильев (1880-1940) и польский логик Я. Лукасевич (1878-1956).
Что такое Паранепротиворечивая Логика? Значение Паранепротиворечивая Логика в словаре логики
Паранепротиворечивая Логика - - логика, не позволяющая выводить из противоречия произвольное предложение. В логике классической некоторая теория называется противоречивой, когда в ней можно доказать одновременно и предложение, и его отрицание. Если при этом в теории можно доказать и произвольное предложение, она называется тривиальной. П. л. трактует противоречие иначе, чем классическая логика. Исключается возможность выводить из противоречий любые предложения, противоречие перестает быть угрозой разрушения теории. Этим не устраняется, конечно, принципиальная необходимость избавляться от противоречий в ходе дальнейшего развития теории. Такой подход к противоречию сложился относительно недавно. В конце 40-х годов польским логиком С. Яськовским (1906—1965) была построена «логика дискуссии», не позволяющая выводить из противоречия произвольные предложения. Более совершенная версия П. л. была предложена позднее бразильским логиком Н. да Костой. Паранепротиворечивой является также релевантная логика, в которой новая трактовка противоречия оказалась естественным следствием решения другой задачи — более адекватной, чем в классической логике, формализации условного высказывания. О новом отношении к противоречию и возможности логики без непротиворечия закона еще в начале этого века говорили рус. логик Н. А. Васильев (1880-1940) и польский логик Я. Лукасевич (1878-1956).
Соседние слова
Что такое ПарадигмаЧто значит Парадокс
Что означает Парадоксы Импликации
Значение Паралогизм
↑ Паранепротиворечивая Логика ↓
Что такое Переменная
Что значит Пересечение Классов (Множеств)
Что означает Подмена Тезиса
Значение Подтверждение
Узнайте лексическое, прямое, переносное значение следующих слов:
- Прескриптивное Высказывание - см.: Нормативное высказывание. ...
- Предпочтений Логика - логика сравнительных оценок, выражаемых при помощи понятий ...
- Предложение - соединение слов, имеющее самостоятельный смысл, т. е. ...
- Предвосхищение Основания - (лат. petitio principii) ошибка логическая в доказательстве, ...
- Прагматика - — раздел семиотики, изучающий отношения между знаковыми системами ...
- Правило Локка - — правило, формулируемое так: если некоторое свойство A ...
- Поспешное Обобщение - — логическая ошибка в индуктивном выводе. Суть ее ...
- Отрицание - — логическая операция, с помощью которой из данного ...
- Отношение Транзитивное - двухместное отношение R, определенное на некотором множестве, ...
- Отношение Симметричное - бинарное (двухместное) отношение R, определенное на некотором ...
- Отношение Принадлежности Элемента Классу (МножеСтву) - см.: Множеств теория. ...
- Отношение Включения Класса В Класс - см.: Множеств теория. ...
- Основание И Следствие - части условного высказывания, устанавливающего, что одно событие, ...
- Опровержение - — рассуждение, направленное против выдвинутого тезиса и имеющее ...
- Иррациональное - (от лат. irrationalis неразумный, бессознательный) находящееся ...