ТОЖДЕСТВЕННАЯ ИСТИННОСТЬ — свойство сложных высказываний, истинных в силу их формально ло гич. структуры и смысла (интерпретации) входящих в них логич. операций. Такие высказывания лишь «по видимости» описывают факты (классы фактич. ситуацпй), о которых говорят… … Философская энциклопедия
ТОЖДЕСТВЕННАЯ ИСТИННОСТЬ — свойство сложных высказываний быть истинными в силу своей формально логической структуры и смысла используемых в них логических операций. Будучи независимыми от содержания входящих в них конкретных высказываний, тождественно истинные высказывания … Большой Энциклопедический словарь
ТОЖДЕСТВЕННАЯ ИСТИННОСТЬ — логическая истинность, общезначимоеть, свойство формул языка исчисления предикатов, означающее истинность формулы во всех ее интерпретациях и цри всех допустимых значениях ее свободных переменных. Так, для формул, содержащих только один… … Математическая энциклопедия
тождественная истинность — свойство сложных высказываний быть истинными в силу своей формально логической структуры и смысла используемых в них логических операций. Будучи независимыми от содержания входящих в них конкретных высказываний, тождественно истинные высказывания … Энциклопедический словарь
Тождественная истинность — свойство сложных высказываний (См. Высказывание), истинных в силу их формально логической структуры и смысла (интерпретации) входящих в них логических операций. Такие высказывания лишь «по видимости» описывают факты (классы фактических… … Большая советская энциклопедия
ФАКТИЧЕСКАЯ ИСТИННОСТЬ — (в л о г и к е) – истинность предложения (суждения, высказывания), обусловленная, в отличие от т.н. логич. истинности, содержанием этого предложения. Иначе говоря, предложение является фактически истинным, когда его истинность зависит от значений … Философская энциклопедия
тавтология — и; ж. [от греч. tauto то же самое и logos слово] 1. Повторение того же самого другими словами, не уточняющее смысла. Явная т. Строить рассуждение на тавтологии. Да это типичная т.! 2. Лог. Суждение, в котором определяемый предмет определяется… … Энциклопедический словарь
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
ТАВТОЛОГИЯ — в обычном языке: повторение того, что уже было сказано. Напр.: «Стол есть стол». Т. бессодержательна и пуста, она не несет никакой информации, и от нее стремятся избавиться как от ненужного балласта, загромождающего речь и затрудняющего общение.… … Философская энциклопедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия