Логика

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

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

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

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

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

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

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

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

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

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

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

ТРАДИЦИОННАЯ ЛОГИКА - этап исторического развития логики, противопоставляемый современной символической логике и характеризующийся рядом специфических черт.

ТОЖДЕСТВО - категория, выражающая равенство, одинаковость предмета (вещи, процесса и т.п.) с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, если все свойства (и отно-шения), которые характеризуют А, характе-ризуют и В, и наоборот (закон Лейбница). Категория абстрактного Т. характеризует внешнее Т., сходство, одинаковость. Однако, поскольку материальная действительность постоянно изменяется, абсолютно тождественных самим себе предметов (вещей, процессов и т.п.), даже в их существенных свойствах, не бывает.

ТОЖДЕСТВА ПРИНЦИП - методологическое требование определенности мышления, в соответствии с которым в процессе рассуждения некий термин должен употребляться в одном и том же смысле. Хотя предметы, существующие в объективной действительности, непрерывно изменяются, в понятиях об этих предметах выделяется нечто неизменное. В процессе рассуждения нельзя изменять понятия без специальной оговорки, т.е. при изменении смысла термина следует об этом сообщить, чтобы не быть понятым неправильно.