Словарь логики

— в обычном языке: повторение того, что уже было сказано. Напр.: «Жизнь есть жизнь». «Не повезет, так не пове­зет». Т. бессодержательна и пуста, она не несет никакой информации, и от нее стремятся избавиться как от ненужного балласта, загромож­дающего речь и затрудняющего общение. С 20-х годов этого века слово Т. (по предложению Л. Витген­штейна) стало широко использоваться для характеристики логи­ческих законов. Став логическим термином, оно получило строгие определения применительно к отдельным разделам логики. В об­щем случае логическая Т. - это выражение, остающееся истин­ным независимо от того, о какой области объектов идет речь, или «всегда истинное выражение». Все законы логики являются ло­гическими Т. Если в формуле, представляющей закон, заменить переменные любыми постоянными выражениями соответствующей категории, эта формула превратится в истинное высказывание. Напр., в формулу «p v ~ р» («р или не-p»), представляющую закон исклю­ченного третьего, вместо переменной должны подставляться выс- казывания, т. е. выражения языка, являющиеся истинными или лож­ными. Результаты таких подстановок: «Дождь идет или не идет», «Два плюс два равно нулю или не равно нулю» и т. п. Каждое из этих сложных высказываний является истинным. Т. в логике иногда наз. также разновидность порочного круга, логической ошибки, заключающейся в том, что определяемое по­нятие характеризуется посредством самого себя или при доказа­тельстве некоторого положения в качестве аргумента используется само это положение. Напр., определение «небрежность есть не­брежное отношение к окружающим людям и предметам» является тавтологичным.