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