Логика

ФОРМАЛЬНОЕ И СОДЕРЖАТЕЛЬНОЕ — понятия, употребляемые в философии, логике и методологии науки в следующих основных значениях: 1) производных от категорий содержания и формы в их общефилософском понимании, когда к Ф. относят правила, операции, методы, ориентированные преимущественно на исследование формы (структуры) предмета или явления (математические, системно-структурные методы, функциональный метод кибернетики и т. д.), а все остальные правила, операции и методы рассматриваются как С.; 2) производных от понятий содержания и формы мышления; в этом случае Ф. наз.

ФОРМАЛЬНАЯ ЛОГИКА — наука, изучающая формы мысли — понятия, суждения, умозаключения, доказательства — со стороны их логической структуры, т. е. отвлекаясь от конкретного содержания мыслей и вычленяя лишь общий способ связи частей этого содержания. Основная задача Ф. л.— сформулировать законы и принципы, соблюдение которых является необходимым условием достижения истинных заключений в процессе получения выводного знания. Начало Ф. л. было положено трудами Аристотеля, разработавшего силлогистику. Дальнейший вклад в развитие Ф. л.

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

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

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

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

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

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

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

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

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