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

Модус Понендо Толленс — (лат. modus ponendo tollens) - термин средневековой логики, обозначающий следующие схемы рассуждения: Либо A, либо В; А. и Либо A, либо В; В. Неверно В. Неверно A. Здесь A и В - некоторые высказывания; "либо A, либо В" и "A" -...

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

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

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

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

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

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

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

Модус Толлендо Поненс — (лат. modus tollendo ponens) - термин средневековой логики, обозначающий разделительно-категорическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения - разделительное (дизъюнктивное) высказывание; вторая -...