ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.
Читайте подробное определение понятия Логика.
АНТИНОМИЯ (греч. antinomia — противоречие в законе) — появление в ходе рассуждений двух противоречащих, но представляющихся одинаково обоснованными суждений. Понятие «Антиномия» возникло в античности (Платон, Аристотель); в древнегреческой философии в смысле антиномии чаще употреблялся термин «апория»; тогда же были сформулированы некоторые антиномии, относимые ныне к семантическим («Лжец»), Много внимания формулировке и анализу антиномий уделяли схоластические логики.
АНАЛИЗ И СИНТЕЗ (греч. analy sis — разложение и synthesis — соединение) — в самом общем значении процессы мысленного или фактического разложения целого на составные части и воссоединения целого из частей. Анализ и синтез играют важную роль в познавательном процессе и осуществляются на всех его ступенях. В мыслительных операциях анализ и синтез выступают как логические приемы мышления, совершающиеся при помощи абстрактных понятий и тесно связанные с рядом мыслительных операций: абстракцией, обобщением и т. д.
АЛЬТЕРНАТИВА (лат. alternus — попеременный) — необходимость выбора одного из двух (или нескольких) взаимно исключающих решений (возможностей); в математической логике — функция-высказывание, в котором два аргумента связаны союзом «или» (дизъюнкция).
Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 16.
АЛОГИЗМ (греч. а — отрицание и logos — разум) — отрицание или резкое преуменьшение роли логического мышления как средства достижения истины; противопоставление логике интуиции, религиозной веры, откровения. Используется реакционными философами для оправдания иррационализма, мистицизма, фидеизма. Опровергается всей общественной практикой человечества и историей науки.
Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 15.
АЛГОРИТМ (алгорифм) (лат. Algorithmi — имя среднеазиатского математика аль-Хорезми) —точное предписание о выполнении в определенном порядке некоторой системы операций, ведущих к решению всех задач данного типа. Простейшими примерами алгоритма являются арифметические правила сложения, вычитания, умножения и деления, правила извлечения квадратного корня, способ нахождения общего наибольшего делителя для двух любых натуральных чисел и др. По существу, с алгоритмом мы имеем дело всегда, когда обладаем средствами решать ту или иную задачу в общем виде, т. е.
АЛГЕБРА ЛОГИКИ — раздел математической логики, основанный на применении алгебраических методов к изучению логических объектов — классов, высказываний и др. Исторически алгебра логики возникла как алгебра классов и как алгебра высказываний (Буль). Алгебра логики рассматривает высказывания только со стороны значения их истинности, причем равносильными считаются высказывания, имеющие одно и то же значение истинности. Алгебра логики использует буквенную символику.
АКСИОМА СИЛЛОГИЗМА — основной принцип силлогизма, сформулированный Аристотелем: «Когда одно сказывается о другом, как о подлежащем, то все, что говорится о сказуемом, будет говориться и о подлежащем». В традиционной формальной логике значение аксиомы силлогизма обнаруживается в связи с операцией сведения всех силлогизмов к силлогизмам первой фигуры (Силлогистика). В современной формальной логике вопрос об аксиоме силлогизма решается в контексте более широкой задачи — аксиоматизации силлогистики.
ЭНТИМЕМА (греч. en timo — в уме) — в традиционной формальной логике такое дедуктивное умозаключение, в котором не выражена в явной форме какая-либо часть: либо одна из посылок, либо заключение. Так, в энтимеме «все марксисты — материалисты, следовательно, и этот человек — материалист» пропущена меньшая посылка силлогизма: «этот человек — марксист».
Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 541.
ЭКСПЛИКАЦИЯ (лат. explicatio— объяснение, развертывание) — 1. Этап исследования, заключающийся в раскрытии сущности того или иного предмета, явления,— объяснение. 2. Процесс развертывания, в результате которого раскрывается содержание какого-либо единства, а его части получают самостоятельность и могут быть отличены друг от друга. Термин «экспликация» в этом смысле широко используется в идеалистической философии.
ЭКВИВАЛЕНТНОСТЬ (лат. aequivalens — равносильный, равнозначащий) в логике — отношение между высказываниями (суждениями, предложениями, формулами), выражающее тот факт, что два высказывания имеют одинаковые значения истинности (т. е. оба истинны или оба ложны). Термин «Эквивалентность» употребляют и в более широком смысле — для обозначения всевозможных отношений типа равенства, т. е. отношений, обладающих свойствами рефлексивности, симметричности и транзитивности.