Логика

ФОРМАЛИЗОВАННЫЙ ЯЗЫК — исчисление, которому приписана интерпретация (Интерпретация и модель). Синтаксическая часть Ф. я. (Логический синтаксис), или само исчисление, образуется чисто формально (Логистический метод). Исчисление становится Ф. я. при добавлении семантических правил, приписывающих значения (Значение и смысл) правильно построенным выражениям исчисления. Ф. я. может помимо чисто логических аксиом содержать также некоторые утверждения нелогического характера (напр., некоторые законы биологии, аксиомы арифметики и др.), тогда Ф. я.

ФАЛЬСИФИКАЦИЯ (лат. falsus— ложный и facio — делать) — один из способов проверки истинности теоретических утверждений (гипотез, теорий) посредством их опровержения путем сопоставления с полученными в результате опыта эмпирическими данными. В основе фальсификации лежит формально-логическое отношение, согласно которому теоретическое высказывание является опровергнутым, если его отрицание логически следует из множества совместимых между собой утверждений наблюдения. Опираясь на это логическое отношение, Поппер ввел в противовес неопозитивистскому принципу верификации (Верифицируемости принцип) принцип фальсификации, который был истолкован им не как способ определения осмысленности научных утверждений, а как метод отделения науки от ненауки. Согласно Попперу, статусом научности обладают лишь такие высказывания, которые в принципе могут быть фальсифицированными, принципиально же нефальсифицируемые утверждения лишаются его. В марксистской концепции логики и методологии науки фальсификация рассматривается как подчиненный практике частный способ проверки научных теорий.

УМОЗРЕНИЕ — способ теоретического постижения истины, основанный на отвлеченных логических построениях, не связанных зачастую с научно установленными фактами наблюдения и эксперимента. Поэтому умозрение может приобретать ненаучный характер. Умозрительный характер носили первоначальные философские построения многих древнегреческих мыслителей, теории средневековых схоластов, натурфилософские теории философов 18—19 вв., в частности Шеллинга и Гегеля, а также некоторых естествоиспытателей. С прогрессом научного знания умозрительные воззрения постепенно заменяются научными.

УМОЗАКЛЮЧЕНИЕ — рассуждение, в ходе которого из одного или нескольких суждений, называемых посылками У., выводится новое суждение (называемое заключением или следствием), логически вытекающее из посылок. Переход от посылок к заключению всегда совершается по какому-либо правилу логики (правилу вывода). Выделение в У. посылок и заключения и установление его структуры составляют его логический анализ. У., совершающиеся по одним и тем же правилам вывода и законам логики, являются У. одной и той же логической формы. Таким образом, анализ У. служит для выявления их логических форм. У.

ТРАДУКЦИЯ (лат. traductio — перемещение) — вид опосредствованного умозаключения, в котором посылки и вывод являются суждениями одинаковой степени общности. Традуктивным умозаключением является аналогия. По характеру посылок и вывода традукция может быть трех типов: 1) заключение от единичного к единичному, 2) заключение от частного к частному, 3) заключение от общего к общему.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 465.

ТОЧНОСТЬ—1) качество человеческого знания и действия, означающее строгое соответствие исторически сложившемуся или заранее установленному стандарту, образцу, норме, принципу, правилу, заданному способу действия, противопоставляемое неопределенности, расплывчатости, двусмысленности, необязательности, неточности; 2) одно из фундаментальных понятий гносеологии, логики и методологии науки, характеризующее степень (меру) соответствия научного знания реальности и особенности его организации, регулирующее процессы воспроизведения объекта в рамках научной теории.

ТОЖДЕСТВО — категория, выражающая равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, неразличимыми, если и только если все свойства (и отношения), которые характеризуют А, характеризуют и В, и наоборот (закон Лейбница). Однако, поскольку материальная действительность постоянно изменяется, абсолютно тождественных самим себе предметов, даже в их существенных, основных свойствах, не бывает. Тождество является не абстрактным, а конкретным, т. е.

ТОЖДЕСТВА ЗАКОН — закон логики, согласно к-рому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле. Предпосылкой его выполнимости является возможность различения и отождествления тех объектов, о которых идет речь в данном рассуждении. На деле, однако, такое различение и отождествление не всегда возможно (Различие, Тождество).

ТИПОВ ТЕОРИЯ (иерархия типов) — способ построения формальной (математической) логики, при котором вводится различение объектов различных уровней (типов); один из способов исключения из логики и теории множеств парадоксов и антиномий. Впервые Типов теорию развил Э. Шрёдер в применении к логике классов (1890). В 1908— 1910 годы Рассел построил детальную систему Типов теории в применении к исчислению предикатов; ее смысл состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д.; внутри типов вводится деление на порядки.

ТЕРМИН (лат. terminus — предел, граница) — 1. Однозначное слово, фиксирующее определенное понятие науки, техники, искусства и т. п. Термин является элементом языка науки, введение которого обусловлено необходимостью точного и однозначного обозначения данных науки, особенно тех, для которых в обыденном языке нет соответствующих названий. В отличие от слов обыденного языка, термины лишены эмоциональной окраски.