Паранепротиворечивая Логика

Логика, не позволяющая выводить из противоречия произвольное предложение. В классической логике теория называется противоречивой, когда в ней можно доказать одновременно и предложение, и его отрицание. Если при этом в теории можно доказать и произвольное предложение, она называется тривиальной.П.л. Трактует противоречие иначе, чем классическая логика. Исключается возможность выводить из противоречий любые предложения, противоречие перестает быть угрозой разрушения теории. Этим не устраняется, ко..

— доказуемые в логике классичес­кой и некоторых других логических системах утверждения с импли­кацией, плохо согласующиеся с обычным пониманием условной связи («если ..., то ...») и логического следования. П. И. — это пара­доксы в широком смысле, их наличие не свидетельствует о внут­ренней противоречивости соответствующих логических теорий, но указывает на определенное рассогласование последних с привыч­ными, или интуитивными, представлениями о логических связях. Условные высказывания, формулиру..

(от греч. Paralogismos — неправильное, ложное рассуждение) — непреднамеренная логическая ошибка, связанная с нарушением законов и правил логики. П. Следует отличать от со­физма — ошибки, совершаемой намеренно, с целью ввести в заб­луждение оппонента, обосновать ложное утверждение и т. П. (см. Ошибка логическая).. ..

- а) П. Величина, которая может принимать в процессе своего изменения различные значения. Б) неопределенное имя предмета из некоторой области значений этой П., вместо кото­рого могут подставляться имена предметов этой области. П. Величи­на характеризуется тем, что относит к значениям одной (независи­мой) П. Величины значения другой П. Величины, зависящей от пер­вой (см. Функция). С такими П. Величинами мы встречаемся в формулах математики (напр., у=х2), физики (f = т. ..

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