Словари

Главная / Словарь логики / П / Паранепротиворечивая Логика

Что такое Паранепротиворечивая Логика? Значение и толкование слова paraneprotivorechivaja logika, определение термина

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Переменная -  - а) П. величина, которая может принимать в процессе своего изменения различные значения; б)...
Пересечение Классов (Множеств) -  - логическая опера­ция по нахождению общих для класса (множества) элементов. Так, П. к....
Подмена Тезиса - (лат. ignoratio elenchi)  — логическая ошибка в доказательстве, состоящая в том, что начав...
Подтверждение -  — соответствие теории, закона, гипотезы некоторому факту или экспериментальному результату. В...
Познание -  — высшая форма отражения объективной действи­тельности, процесс выработки истинных знаний....
Полемика -  - разновидность спора, отличающаяся тем, что ос­новные усилия спорящих сторон направлены на...
Полнота - (в логике и дедуктивных науках)  — логико-методо­логическое требование, предъявляемое к...
Понимание -  — универсальная операция мышления, связанная с усвоением нового содержания, включением его в...
Понятие -  - общее имя, имеющее относительно ясное и устой­чивое содержание и сравнительно четко очерченный...
Порочный Круг -  — логическая ошибка в определении понятий и в доказательстве, суть которой заключается в том,...