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