Словарь логики - "М"

Главная - Словарь логики - буква М
Содержит 23 слов

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

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