Логика

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

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

Аргумент

АРГУМЕНТ (лат. argumentum). 1. В логике — суждение (или система суждений), приводимое в подтверждение истинности какого-либо другого суждения (или системы суждений); посылка доказательства, иначе наз. основанием, или доводом, доказательства; иногда аргументом называют все доказательства в целом. 2. В математике и математической логике — независимая переменная, от значения которой зависит значение данной функции или предиката.

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

Априори (Фролов)

АПРИОРИ (лат. a priori — изначально) — термин, означающий знание, полученное до и независимо от опыта, изначально присущее сознанию (сравни Апостериори). Противопоставление априори и апостериори особенно характерно для философии Канта, который, считая знание, полученное при помощи чувственных восприятий, неупорядоченным и недостоверным, противопоставлял ему в качестве условий достоверного знания априорные формы чувственности (пространство и время) и рассудка (причина, необходимость и т. д.).

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

Антиципация

АНТИЦИПАЦИЯ (лат. anticipo— предвосхищаю) — предвосхищение, заранее составленное представление о чем-либо. Идея антиципации встречается уже у стоиков и эпикурейцев, означает общее понятие, которое появляется в сознании еще до восприятия конкретных единичных вещей непосредственно из логоса. У Канта антиципация восприятия выступает как принцип познания, формально, априори определяющий любой опыт. В современной философии термин «Антиципация» употребляется в значении предвидения возможного опыта, предположения результатов исследования, разрабатывается в связи с изучением категорий «цель», «научное предвидение». В психологии антиципация — ожидание организмом определенной ситуации, проявляющееся в некоторой позе или движении; представление человеком результатов своего действия еще до его осуществления. В логике под антиципацией понимается временное принятие в качестве доказанной посылки, которую предполагается обосновать позднее.

Антиномия (Фролов)

АНТИНОМИЯ (греч. antinomia — противоречие в законе) — появление в ходе рассуждений двух противоречащих, но представляющихся одинаково обоснованными суждений. Понятие «Антиномия» возникло в античности (Платон, Аристотель); в древнегреческой философии в смысле антиномии чаще употреблялся термин «апория»; тогда же были сформулированы некоторые антиномии, относимые ныне к семантическим («Лжец»), Много внимания формулировке и анализу антиномий уделяли схоластические логики.

Анализ и синтез

АНАЛИЗ И СИНТЕЗ (греч. analy sis — разложение и synthesis — соединение) — в самом общем значении процессы мысленного или фактического разложения целого на составные части и воссоединения целого из частей. Анализ и синтез играют важную роль в познавательном процессе и осуществляются на всех его ступенях. В мыслительных операциях анализ и синтез выступают как логические приемы мышления, совершающиеся при помощи абстрактных понятий и тесно связанные с рядом мыслительных операций: абстракцией, обобщением и т. д.

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

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

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

Алогизм

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

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

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

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

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

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

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

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

Страницы