высказывание

  • 161семантика возможных миров —         СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ совокупность семантических конструкций для истинностной интерпретации неклассических (не булевых) логических связок, главной особенностью которых является введение в рассмотрение так называемых возможных миров.… …

    Энциклопедия эпистемологии и философии науки

  • 162Грайс, Герберт Пол — Герберт Пол Грайс Herbert Paul Grice Дата рождения: 13 мая 1913(1913 05 13) Место рождения: Бирмингем, Великобритания Дата смерти: 28 августа …

    Википедия

  • 163закон исключенного третьего — логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Напр.: Аристотель умер в 322 г. до н. э. или он… …

    Словарь терминов логики

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

    Словарь терминов логики

  • 165лжеца парадокс — один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: Я лгу . Или говорит: Высказывание, которое я сейчас произношу, является ложным . Или: Это высказывание ложно . Если высказывание ложно, то… …

    Словарь терминов логики

  • 166непротиворечия закон — логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными. Закон говорит о противоречащих друг другу высказываниях, т. е. высказываниях, одно из которых является отрицанием другого. Отсюда иное название …

    Словарь терминов логики

  • 167основание и следствие — части условного высказывания, устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другого. Условное высказывание обычно формулируется с помощью связки если..., то... . Высказывание,… …

    Словарь терминов логики

  • 168принцип многозначности — положение, в соответствии с которым всякое высказывание имеет одно (и только одно) из трех или более истинностных значений. П. м. лежит в основе многозначной логики и противопоставляется лежащему в фундаменте классической логики двузначности… …

    Словарь терминов логики

  • 169семантическое понятие истины — классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе Понятие истины в формализованных языках (1935). Тарский исходит из… …

    Словарь терминов логики

  • 170Алгебра логики —         раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… …

    Большая советская энциклопедия

  • 171АНТИНОМИЯ — (от греч. antinomia противоречие в законе) рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого. Характерным примером логической А. является «Лжеца» парадокс. Наибольшую известность из… …

    Философская энциклопедия

  • 172ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …

    Философская энциклопедия

  • 173ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …

    Философская энциклопедия

  • 174ЛОГОС — (греч. logos речь, слово, высказывание, понятие, основание, мера) понятие 1) антич. философии и 2) христианского богословия, обозначающее а) разумный принцип, управляющий миром и б) Бога Сына как Посредника между Богом Отцом и миром. Как филос.… …

    Философская энциклопедия

  • 175МНОГОЗНАЧНОСТИ ПРИНЦИП — положение, в соответствии с которым всякое высказывание имеет одно (и только одно) из трех или более истинностных значений. М.п. лежит в основе многозначной логики и противопоставляется лежащему в фундаменте классической логики принципу… …

    Философская энциклопедия

  • 176ОТРИЦАНИЕ —         филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает …

    Философская энциклопедия

  • 177ПАРАДОКСЫ СЕМАНТИЧЕСКИЕ — парадоксы (антиномии), обусловленные неограничиваемым употреблением нек рых лингвистич. и семантич. понятий, напр. истинный , самоприменимый или самоотносимый , определяемый и др. П. с. называются также иногда синтаксическими или эпистемоло г и ч …

    Философская энциклопедия

  • 178АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч …

    Математическая энциклопедия

  • 179Евбулид — Εὑβουλίδης Дата рождения: IV век до н. э. Дата смерти: IV век до н. э. Школа/традиция: мегарская Основные интересы: парадоксы и апории Евбулид (из Милета; Эвбулид, Eubul …

    Википедия

  • 180Квантор — Квантор  общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» …

    Википедия