Логика

ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.

Читайте подробное определение понятия Логика.

Альтернатива

АЛЬТЕРНАТИВА (лат. alternus — попеременный) — необходимость выбора одного из двух (или нескольких) взаимно исключающих решений (возможностей); в математической логике — функция-высказывание, в котором два аргумента связаны союзом «или» (дизъюнкция).

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

Алогизм

АЛОГИЗМ (греч. а — отрицание и logos — разум) — отрицание или резкое преуменьшение роли логического мышления как средства достижения истины; противопоставление логике интуиции, религиозной веры, откровения. Используется реакционными философами для оправдания иррационализма, мистицизма, фидеизма. Опровергается всей общественной практикой человечества и историей науки.

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

Алгоритм (Фролов)

АЛГОРИТМ (алгорифм) (лат. Algorithmi — имя среднеазиатского математика аль-Хорезми) —точное предписание о выполнении в определенном порядке некоторой системы операций, ведущих к решению всех задач данного типа. Простейшими примерами алгоритма являются арифметические правила сложения, вычитания, умножения и деления, правила извлечения квадратного корня, способ нахождения общего наибольшего делителя для двух любых натуральных чисел и др. По существу, с алгоритмом мы имеем дело всегда, когда обладаем средствами решать ту или иную задачу в общем виде, т. е.

Алгебра логики (Фролов, 1991)

АЛГЕБРА ЛОГИКИ — раздел математической логики, основанный на применении алгебраических методов к изучению логических объектов — классов, высказываний и др. Исторически алгебра логики возникла как алгебра классов и как алгебра высказываний (Буль). Алгебра логики рассматривает высказывания только со стороны значения их истинности, причем равносильными считаются высказывания, имеющие одно и то же значение истинности. Алгебра логики использует буквенную символику.

Аксиома силлогизма

АКСИОМА СИЛЛОГИЗМА — основной принцип силлогизма, сформулированный Аристотелем: «Когда одно сказывается о другом, как о подлежащем, то все, что говорится о сказуемом, будет говориться и о подлежащем». В традиционной формальной логике значение аксиомы силлогизма обнаруживается в связи с операцией сведения всех силлогизмов к силлогизмам первой фигуры (Силлогистика). В современной формальной логике вопрос об аксиоме силлогизма решается в контексте более широкой задачи — аксиоматизации силлогистики.

Энтимема

ЭНТИМЕМА (греч. en timo — в уме) — в традиционной формальной логике такое дедуктивное умозаключение, в котором не выражена в явной форме какая-либо часть: либо одна из посылок, либо заключение. Так, в энтимеме «все марксисты — материалисты, следовательно, и этот человек — материалист» пропущена меньшая посылка силлогизма: «этот человек — марксист».

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

Экспликация (Фролов)

ЭКСПЛИКАЦИЯ (лат. explicatio— объяснение, развертывание) — 1. Этап исследования, заключающийся в раскрытии сущности того или иного предмета, явления,— объяснение. 2. Процесс развертывания, в результате которого раскрывается содержание какого-либо единства, а его части получают самостоятельность и могут быть отличены друг от друга. Термин «экспликация» в этом смысле широко используется в идеалистической философии.

Эквивалентность

ЭКВИВАЛЕНТНОСТЬ (лат. aequivalens — равносильный, равнозначащий) в логике — отношение между высказываниями (суждениями, предложениями, формулами), выражающее тот факт, что два высказывания имеют одинаковые значения истинности (т. е. оба истинны или оба ложны). Термин «Эквивалентность» употребляют и в более широком смысле — для обозначения всевозможных отношений типа равенства, т. е. отношений, обладающих свойствами рефлексивности, симметричности и транзитивности.

Формальное и содержательное

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

Формальная логика (Фролов, 1991)

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

Страницы