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