Логика

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

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 5.

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ — одна из основных абстракций математики и логики, позволяющая исследовать бесконечные совокупности (множества), применяя к ним логические принципы (в частности, исключенного третьего закона, произвольного выбора принцип и др.).

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 4-5.

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

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 49-50.

A PRIORI. Все то, что в духовной жизни существует независимо от опыта, в частности то, что делает сам опыт возможным (трансцендентальность), следовательно, все то, что должно, по меньшей мере, рассуждая логически, предшествовать опыту. У Канта таковы априорные формы чувственности (пространство и время) и рассудка (категории).

АПОРИЯ (APORIE). Неразрешимое противоречие; трудность, непреодолимая для мысли. Например, апорией является вопрос о происхождении бытия. Всякое происхождение подразумевает уже нечто сущее, то есть какое-то бытие, следовательно, объяснить одно другим нельзя. Апория — своего рода загадка, но скорее логического, чем мистического или духовного характера. Это или проблема, от решения которой приходится отказаться, во всяком случае временно, или тайна, не вызывающая желания поклоняться.

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 46.

АПОДИКТИЧЕСКИЙ (APODICTIQUE). Логически необходимый, например, в доказательстве (термин происходит от греческого apodeiktikos, что значит доказательный). Одновременно эпитетом аподиктический называют один из модусов суждения. То или иное высказывание может быть ассерторическим (если сводится к сообщению факта), проблематическим или гипотетическим (если сообщает о возможности) и, наконец, аподиктическим (если выражает необходимость). Следует различать между собой эти два значения термина «аподиктический», поскольку первое выражает достоверность, чего нельзя сказать о втором.

АНТИНОМИЯ (ANTINOMIE). Необходимое противоречие между двумя в равной мере правдоподобными или доказуемыми тезисами. Кант называет антиномиями чистого разума конфликтные столкновения разума с самим собой, в которые он неизбежно приходит при малейшей попытке достичь абсолюта.

АНАЛИЗ (ANALYSE). Подвергать что-либо анализу значит разнимать целое на составляющие его части или элементы, что обычно подразумевает разъединение или отделение этих частей или элементов друг от друга, во всяком случае на какое-то время и если не физически, то «в уме». Следовательно, анализ является противоположностью (но одновременно и условием) синтеза как воссоединения разрозненных элементов.

АЛЬТЕРНАТИВА (ALTERNATIVE). Вынужденный выбор одного из двух терминов при невозможности принять или отклонить сразу оба. Пример альтернативы: быть или не быть. Альтернатива — такой выбор, при котором отсутствует возможность сделать выбор в пользу или против выбора. Понятие альтернативы употребляется, в частности, в логике, когда речь идет о двух суждениях, одно из которых обязательно истинно, а второе — обязательно ложно. Эта операция носит название исключающей дизъюнкции: р или q, но не р и q.

АКСИОМА (AXIOME). Недоказуемое положение, служащее для доказательства других положений. Являются ли аксиомы истинными? Долгое время считалось, что являются. По мнению Спинозы или Канта, аксиома — это истина, очевидность которой ясна без доказательств, а потому и не нуждается в них. Современные математики и логики склонны рассматривать аксиомы как чистые конвенции или гипотезы, которые не могут быть очевидными истинами.