Словарь логики

  • одно из названий современной формальной логики, пришедшей во второй половине XIX - начале XX в. на смену традиционной логике. В качестве друго

  • см.: Суппозиция

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

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

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

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

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

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

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

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

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

  • характеристика выражения, имеющего в разных контекстах разное значение. Напр., слово "закон" может означать как регулярность, имеющую мест

  • КЛАСС (МНОЖЕСТВО)(В ЛОГИКЕ И МАТЕМАТИКЕ) конечная или бесконечная совокупность объектов, выделенная по общему для них признаку (свойству и

  • - логическая операция по нахождению общих для класса (множества) элементов. Так, П. к. студентов (A) и спортсменов (В) будет класс тех студенто

  • логическая операция, позволяющая из исходных классов образовывать новый класс (множество), в который войдут все элементы каждого из исход

  • математическая теория, изучающая точными средствами проблему бесконечности. Предмет М. л. - свойства множеств (совокупностей, классов, анс

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

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

  • (от лат. modulus - мера, образец, норма) а) в самом широком смысле - любой мысленный или знаковый образ моделируемого объекта (оригинала). К их чис

  • система значений, приписываемых выражениям некоторого формализованного языка, то же, что интерпретация. Логические системы часто строятс

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

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

  • (лат. modus ponens) термин средневековой логики, обозначающий правило вывода и соответствующий ему логический закон. Правило вывода М. п., обычно

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

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

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