Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
.
ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ — правило, согласно к рому в случае, если два выражения p и q равны,. во всяком истинном высказывании, содержащем p или q, можно одно из них заменить на другое, не нарушая истинности этого высказывания. Выражение р и q равны следует понимать в том… … Философская энциклопедия
ВЗАИМОЗАМЕНИМОСТИ ОТНОШЕНИЕ — (в л о г и к е) – отношение между двумя языковыми выражениями, при к ром замена одного другим в любом контексте данного языка (или к. л. выделенной его части) не меняет значения нек рой (для различных видов В. о. различной) логич. характеристики… … Философская энциклопедия
ДЖЕВОНС — (Jevons) Уильям Стенли (род. 1 сент. 1835, Ливерпуль – ум. 13 авг. 1882, близ Хастингса, Суссекс) – англ, логик, экономист и философ, последователь Джорджа Буля. Джевонс – создатель системы логики, основанной на принципе замещения равных,… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ — АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ антиномии, возникающие в ситуациях именования при применении правила замены равного равным (принципа взаимозаменимости). Напр., в предложении “Птолемей считал, что Солнце вращается вокруг Земли”, замена… … Философская энциклопедия
ЭКСТЕНСИОНАЛЬНЫЕ И НЕЭКСТЕНСИОНАЛЬНЫЕ ЯЗЫКИ — (от лат. extensio – протяжение, расширение) – понятия, являющиеся экспликатами традиционного (восходящего к Пор Рояля логике) подхода к выражениям языка с т. зр. их объемной (означение) и содержательной (соозначение) характеристики.… … Философская энциклопедия
ТОЖДЕСТВО — понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… … Философская энциклопедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
ПРИНЦИП ЗАМЕЩЕНИЯ — правило логич. вывода, основанное на отношении тождества (равенства). В формулировке Джевонса, положившего его в основу своей теории логики, П. з. имеет след. смысл: если А = В и В * С., то А * С., т.е. из равенства Α и Β и того, что В находится… … Философская энциклопедия
