Логика

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

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

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

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

АПОРИЯ — «безысходность, безвыходное положение»; парадоксальная ситуация, трудная или неразрешимая проблема, связанная с наличием доводов против очевидного. В греческой философии апории известны со времен Сократа. Наибольшую известность получили апории философа V века до P. X. Зенона Элейского. Работы Зенона дошли до нас в изложении Аристотеля и комментариях к нему Симпликия, одного из последних философов-неоплатоников, жившего в первой половине VI века. Тема апорий и позднее разрабатывалась византийскими учеными — например, в XI в. Иоанном Италом в трактате «Апории и решения».

КОНФИГУРИРОВАНИЕ (лат. configuratio - взаимное расположение) - особый логико-методологический прием, мыслительная техника синтезирования разнопредметных знаний, различных представлений об одном и том же объекте. Принципы К. разрабатывались в Московском методологическом кружке (ММК) в связи с проблематикой полипредметного синтеза знаний. Методологами ММК было обращено внимание на то, что вторая половина 20 в. характеризуется выдвижением комплексных, междисциплинарных проблем в различных сферах деятельности.

ИНДУКЦИЯ (лат. inductio — наведение) — движение знания от единичных утверждений к общим положениям. Тесно связана с дедукцией. Логика рассматривает индукцию как вид умозаключения, различая индукцию полную и неполную. Психология изучает развитие и нарушение индуктивных рассуждений. Движение от единичного к общему знанию анализируется в его обусловленности всеми психическими процессами и строением мыслительной деятельности в целом.

МЕТАЯЗЫК - 1) в классической философии: понятие, фиксирующее логический инструментарий рефлексии над феноменами семиотического ряда, 2) в философии постмодернизма: термин, выражающий процессуальность вербального продукта рефлексии над процессуальностыо языка. Конституируется в процессе формирования постмодернистской концепции критики как стратегии отношения к тексту, характерной для культуры классического типа (см. Kritik) и противопоставлении ей стратегии имманентного анализа текстовой реальности. Постмодернистская трактовка М.

СМЫСЛ и ЗНАЧЕНИЕ - понятия, задающие разные формы осуществления основной языковой связи "знак - означаемое" в процессах понимания и в системе языка. Содержание этих понятий в логике (логической семантике), лингвистике и семиотике различно. В логической семантике, в традиции, идущей от Фреге, З. языкового выражения (предметным З.) называют его денотат, т.е. тот предмет (или класс предметов), который обозначается этим выражением. С. же называют то мысленное содержание, которое выражается и усваивается при понимании языкового выражения. В классической формальной логике понятиям З. и С.

ТОЖДЕСТВО И РАЗЛИЧИЕ - две взаимосвязанные категории философии и логики. При определении понятий Т. и Р. используют два фундаментальных принципа: принцип индивидуации и принцип Т. неразличимых. Согласно принципу индивидуации, который был содержательно развит в традиционной натурфилософии и эксплицитно сформулирован уже Боэцием, всякая вещь универсума обладает уникальными чертами. Из этого принципа вытекает проблема универсалий, которая формулируется в следующем виде: каким образом неповторимые индивиды содержат в себе нечто общее, т.е. можно ли считать свойство Т.