Логика

АРГУМЕНТ, -а, м. (окказионально в XVI в., регулярно с нач. XVIII в.). Довод, основание для доказательства чего-л. Серьёзные аргументы. Убедительный аргумент. Согласиться с аргументами оппонента. «Аргументы и факты» (назв. газ.). Приводить аргументы в доказательство чего-л. «Он внимательно следит за аргументами следователя и пытается их понять» (А. Маринина).

АПРИОРИ, неизм. (нач. XIX в.). Умозрительно, без учёта фактов, независимо от опыта. Утверждать априори. Априори решения принимать нельзя. «Депутатам проект бюджета не понравится априори» (TV). 

—           Нем. a priori — априори < лат. a priori — букв, от предшествующего (а — от, prior — первый).

Ср. апостериори.

АЛЬТЕРНАТИВА, -ы, ж. (кон. XVII в.). 1. Необходимость выбора из двух или нескольких возможностей решения вопроса, обычно исключающих друг друга. Сформулировать вопросы в виде альтернативы. Стоять перед альтернативой. В любом случае альтернативы нет. 2. Каждая из этих возможностей. Предлагается альтернатива. Содержать в себе альтернативу. Этому решению нет альтернативы.

АЛГОРИТМ, -а, м. 1. (кон. XIX в.; в форме алгорифм — с кон. XVIII в.). В математике и информатике — совокупность и последовательность проведения вычислений. Сложный алгоритм. Алгоритм управления ЭВМ. Алгоритм извлечения корня. Построение системы алгоритма. Теория алгоритмов. 2. (сер. XX в.). Обобщённая схема действия для решения той или иной задачи. Алгоритм чтения. Алгоритм мышления. Разработать алгоритм поведения. «У неё был готов алгоритм действий» (журн.).

Алгоритмизация, -и, ж.

АБЕРРАЦИЯ, -и, ж. 1. (2 пол. XVIII в.). Астрон. Кажущееся отклонение светил от их истинного местоположения на небесном своде, вызванное вращением Земли вокруг Солнца (годичная аберрация) и вращением Земли вокруг своей оси (суточная аберрация). «Наблюдая звезды, всегда надо иметь в виду аберрацию и делать на нее поправку» (журн.).

2. (1 пол. XIX в.). Физ. Искажения и недостаточная четкость, расплывчатость изображения, образующиеся в результате деформаций, свойственных всем оптическим системам (телескопам, микроскопам, фотоаппаратам и т.п.). Сферическая аберрация. Хроматическая аберрация.

3. (1 пол. XX в.). Перен. Заблуждение, отклонение от истины в результате ошибочного хода мысли. Аберрация восприятия. Аберрация вкуса...

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

ФОРМАЛИЗОВАННЫЙ ЯЗЫК - искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, выражения логических законов и способов правильных рассуждений средствами строящихся на его основе логик. Построение Ф.я. начинается с задания его алфавита — совокупности исходных, примитивных символов языка. В алфавит включаются логические символы (знаки логических операций и отношений, например, пропозициональные связки и кванторы), нелогические символы (параметры дескриптивных составляющих естественного языка) и технические символы (например, скобки).

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

ФИКЦИОНАЛИЗМ МАТЕМАТИЧЕСКИЙ — представление о математических понятиях и теориях как об определенного рода логических фикциях, не имеющих отношения к структуре реальности, а лишь полезных для решения внутренних задач математики. Существуют две основные разновидности Ф.м. Первая из них возникает при различении значимых (реальных) и незначимых (нереальных) объектов математики, фикции относятся только к последним объектам. В этом случае идеальные объекты противопоставляются объектам реальным, или значимым. Фикционализм второго типа относит понятие фикции ко всем математическим понятиям.

УМОЗАКЛЮЧЕНИЕ - процедура непосредственного выведения некого высказывания из одного или нескольких высказываний. Высказывания, из которых делается вывод, называют посылками У., а высказывание, которое выводится из посылок, - заключением. У. представляет собой познавательный прием, с помощью которого осуществляется преобразование содержащейся в посылках информации.

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