Математическая Логика
— одно из названий современной формальной логики, пришедшей во второй половине XIX — начале XX в. на смену традиционной ... | Материальная Суппозиция
см.: Суппозиция. ... |
Метаматематика
— раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает ... | Метатеория
(от греч. meta - после, за, позади) - теория, изучающая язык, структуру и свойства некоторой другой теории. Теория, свойства ... |
Метафора
(от греч, metaphora - перенос, образ) - перенесение свойств одного предмета (явления или аспекта бытия) на другой по принципу ... | Метаязык
(от греч. meta - после, за, позади) - язык, средствами которого исследуются и описываются свойства другого языка, называемого предметным, ... |
Метод
(от греч. methodos — путь, способ исследования, обучения, изложения) — совокупность приемов и операций познания и практического преобразования действительности; ... | Методологическая Аргументация
- обоснование отдельного утверждения или целостной концепции путем ссылки на тот несомненно надежный метод, с помощью которого получено обосновываемое ... |
Методология Науки
- часть науковедения, исследующая структуру научного знания, средства и методы научного познания, способы обоснования и развития знания. Систематическое решение ... | Многозначная Логика
- совокупность логических систем, опирающихся на принцип многозначности. В классической двузначной логике выражения при интерпретации принимают только два значения ... |
Многозначности Принцип
см.: Принцип многозначности. ... | Многозначность
— характеристика выражения, имеющего в разных контекстах разное значение. Напр., слово «закон» может означать как регулярность, имеющую место в ... |
Множеств Теория
— математическая теория, изучающая точными средствами проблему бесконечности. Предмет М. л. — свойства множеств (совокупностей, классов, ансамблей), гл. обр. ... | Модальная Логика
— раздел неклассической логики, в котором исследуются логические связи модальных высказываний, т. е. высказываний, включающих модальности. М. л. слагается ... |
Модальность
(от лат., modus — мера, способ) — оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается ... | Модель
(от лат. modulus — мера, образец, норма) — а) в самом широком смысле — любой мысленный или знаковый образ ... |
Модель Семантическая
- система значений, приписываемых выражениям некоторого формализованного языка, то же, что интерпретация. Логические системы часто строятся в виде формального ... | Модус
(лат. modus - мера, способ, образ, вид) - философский термин, обозначающий свойство предмета, присущее ему только в некоторых состояниях ... |
Модус Понендо Толленс
(лат. modus ponendo tollens) - термин средневековой логики, обозначающий следующие схемы рассуждения: Здесь A и В — некоторые высказывания; ... | Модус Поненс
(лат. modus ponens) — термин средневековой логики, обозначающий правило вывода и соответствующий ему логический закон. Правило вывода М. п., ... |
Модус Толлендо Поненс
(лат. modus tollendo ponens) - термин средневековой логики, обозначающий разделительно-кате- горическое умозаключение: первое или второе; не первое; значит, ... | Модус Толленс
(лат. modus tollens) - термин средневековой логики, обозначающий следующую схему рассуждения: Здесь A и В — некоторые высказывания; «если ... |
Мышление
— активный процесс отражения объективного мира в понятиях, суждениях, научных теориях, гипотезах и т. п., имеющий опосредованный, обобщенный характер, ... |