Словарь терминов по логике

Последнее обновление: 29 Ноябрь 2018.

Математическая Логика — одно из названий современной формальной логики, пришедшей во второй половине XIX — начале XX в. на смену традиционной логике. В качестве другого названия современного этапа в развитии науки логики используется также термин логика символическая. Определение «математическая» подчеркивает сходство новой логики с математикой, основывающееся прежде всего на применении особого символического языка, аксиоматического метода, формализации. М. л. исследует предмет формальной логики методом построения специальных формализованных языков, или исчислений. Они позволяют избежать двусмысленной и логической неясности естественного языка, которым пользовалась при описании правильного мышления традиционная логика.

Материальная Суппозиция — см.: Суппозиция.

Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов.

Метатеория — (от греч. meta — после, за, позади) — теория, изучающая язык, структуру и свойства некоторой другой теории.

Метафора — (от греч, metaphora — перенос, образ) — перенесение свойств одного предмета (явления или аспекта бытия) на другой по принципу их сходства в к.л. отношении или по контрасту.

Метаязык — (от греч. meta — после, за, позади) — язык, средствами которого исследуются и описываются свойства другого языка, называемого предметным, или объектным.

Метод — (от греч. methodos — путь, способ исследования, обучения, изложения) — совокупность приемов и операций познания и практического преобразования действительности; способ достижения определенных результатов в познании и практике.

Методологическая Аргументация — обоснование отдельного утверждения или целостной концепции путем ссылки на тот несомненно надежный метод, с помощью которого получено обосновываемое утверждение или отстаиваемая концепция.

Методология Науки — часть науковедения, исследующая структуру научного знания, средства и методы научного познания, способы обоснования и развития знания.

Многозначная Логика — совокупность логических систем, опирающихся на принцип многозначности.

Многозначности Принцип — см.: Принцип многозначности.

Многозначность — характеристика выражения, имеющего в разных контекстах разное значение.

Множеств Теория — математическая теория, изучающая точными средствами проблему бесконечности.

Модальная Логика — раздел неклассической логики, в котором исследуются логические связи модальных высказываний, т. е. высказываний, включающих модальности.

Модальность — (от лат., modus — мера, способ) — оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «возможно», «доказуемо», «опровержимо», «обязательно», «разрешимо» и т. п.

Модель Семантическая — система значений, приписываемых выражениям некоторого формализованного языка, то же, что интерпретация.

Модус — (лат. modus — мера, способ, образ, вид) — философский термин, обозначающий свойство предмета, присущее ему только в некоторых состояниях и зависящее от окружения предмета и тех связей, в которых он находится.

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