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