Jump to content

Глоссарий логики

Это глоссарий логики . Логика – это изучение принципов обоснованного рассуждения и аргументации.

А [ править ]

А-предложение
Тип категорического суждения стандартной формы, утверждающий, что все члены субъектной категории включены в категорию предикатов; обозначается как «Все S есть P». [1] [2]
похищение
Форма рассуждения, характеризующаяся получением вывода на основе наилучшего доступного объяснения набора предпосылок. Часто используется при формировании гипотез.
Абелева логика
Тип логики релевантности , которая отвергает сжатие и принимает, что ((A → B) → B) → A. [3] [4] [5]
поглощение
Логическое правило, гласящее, что если одно предложение подразумевает другое, то добавление любого дополнительного союза к первому предложению не меняет импликацию. Обозначается как .
абстрактный объект
Объект, который не существует в какое-то конкретное время или в каком-то конкретном месте, а скорее существует как тип вещи, то есть идея или абстракция.
абстракция
Процесс или результат обобщения путем уменьшения информационного содержания понятия или наблюдаемого явления, обычно с целью сохранения только информации, имеющей отношение к определенной цели.
оператор абстракции
Функция, неявно определяемая принципом абстракции . [6]
принцип абстракции
Формула вида (∀α)(∀β)(Abst(α) = Abst(β) ↔ Equ(α, β)), где Abst — оператор абстракции , отображающий тип объектов, ранжированных по α и β, в объекты, а «Equ» — это отношение эквивалентности для типов объектов, ранжированных значениями α и β. [6] Например, принцип Юма и Основной закон V.
отношение доступности
В модальной логике - отношение, описывающее, какие миры доступны из других миров в семантике возможных моделей мира.
реальный мир
В модальной логике - мир, который считается реальным миром, в отличие от возможных миров, которые рассматриваются в модальном рассуждении.
добавление
Правило вывода в формальной логике, согласно которому из любого предложения можно образовать дизъюнкцию, отделив его от любого другого предложения. Обозначается как .
человеку
Ошибка в аргументации, нацеленная на человека, выдвигающего аргумент, а не на сам аргумент.
для невежественных
Логическая ошибка, при которой утверждение считается истинным, поскольку не доказано его ложность, и наоборот.
до бесконечности
Спор или процесс, который должен продолжаться бесконечно, так и не достигнув конца или заключения.
присоединение
См . введение в союз .
аффинная логика
Подобласть линейной логики, специализирующаяся на изучении аффинных преобразований и их последствий в логических рассуждениях.
утвердительное предложение
Предложение, которое утверждает истинность утверждения, а не отрицает его. [7] [8] [9]
подтверждение вытекающего из этого
Логическая ошибка, при которой условное утверждение неправильно используется для вывода обратного. Например, из «Если Р, то Q» и «Q», заканчивая «Р».
алетическая модальная логика
Тип модальной логики, которая имеет дело с модальностями истины, такими как необходимость и возможность.
двусмысленность
Свойство утверждения или фразы, имеющее более одного значения или интерпретации.
амфиболия
Тип двусмысленности, возникающий из-за неоднозначной грамматической структуры, а не из-за двусмысленности отдельных слов.
аналитическая логика
Трехзначная логика , в которой третье истинностное значение представляет собой разрыв между истинностными значениями «ни истинно, ни ложно» («N»), а обозначенные значения являются «истинными» и «ни истинными, ни ложными». [10]
анализ
1. Анализ — процесс разбиения концепции на более простые части для отображения ее логической структуры.
2. Математический анализ
аналитический
Утверждение, которое истинно в силу своего значения, например, определения или утверждения, основанные на логических законах.
анафора
Риторический прием, заключающийся в повторении последовательности слов в начале соседних предложений, тем самым придавая им выразительность.
наследственный
В логике и математике — транзитивное замыкание отношения, отражающее идею косвенных связей между поколениями или итерациями.
антецедент
Первая часть условного оператора, предложение «if», которое определяет условие для последующего выражения.
антирасширение
В теории множеств и логике — дополнение расширения понятия или предиката, состоящее из всех объектов, не подпадающих под это понятие. [11] [12] [13]
антилогизм
Силлогизм с тремя посылками, приводящий к противоречию, показывающий противоречивость посылок. [14] [15] [16]
антиномия
Противоречие между двумя убеждениями или выводами, которые сами по себе разумны; парадокс.
антисимметрия
Свойство отношения , где для любых двух элементов и , если и , затем .
в ретроспективе
Знание или обоснование называется апостериорным, если оно зависит от эмпирических данных или опыта.
априори
Знание или обоснование считается априорным, если оно не зависит от эмпирических данных или опыта, таких как логика или математика.
аргумент
Ряд утверждений, обычно используемых для того, чтобы убедить кого-либо в чем-либо или представить причины принятия какого-либо вывода.
Аристотелевская схема понимания
Эта формула в логике второго порядка : (∃x)Φ → (∃Y)(∀x)(Yx ↔ Φ). [6]
Аристотелевская логика
Традиционная логика, разработанная Аристотелем, основана на изучении силлогизма и принципа непротиворечия.
Морское сражение Аристотеля
Мысленный эксперимент Аристотеля, направленный на изучение концепции будущих контингентов и проблемы детерминизма и свободы воли.
тезисы Аристотеля
Формулы ¬ (¬ A → A) и ¬ (A → ¬A) в логике высказываний ; это теоремы связной логики , но не классической логики . [17] [18] [19] См. также тезисы Боэция .
арность
Количество аргументов или операндов, которые принимает функция, операция или отношение. В логике это относится к количеству терминов, которые имеет предикат.
утверждение
Принцип или аксиома, согласно которой (A ∧ (A → B)) → B. [20] [21] Также называется настройкой псевдорежима .
ассоциативность
Свойство некоторых бинарных операций, при которых группировка операций не влияет на результат. Например, в арифметике сложение и умножение ассоциативны.
асимметрия
Связь между двумя объектами, при которой, если первый связан со вторым, второй не связан с первым.
атомная формула
Самый простой тип формулы в логике, состоящий из одного предиката, применяемого к последовательности терминов без каких-либо логических связок.
атомарное предложение
Предложение, не содержащее логических связок или кванторов, выражающее основное утверждение об объектах.
аутологичный
Термин, который описывает сам себя. Например, слово «короткий» аутологично, потому что это короткое слово.
автомат
Самодействующая машина или, в информатике, теоретическая модель вычислений, выполняющая задачи в соответствии с набором правил или программы.
автоморфизм
Изоморфизм математического объекта самому себе, сохраняющий всю структуру объекта. В логике это часто относится к симметрии внутри логических структур.
аксиологическая логика
Раздел логики, занимающийся изучением ценностей, включая этические и эстетические ценности, часто в контексте модальной логики. [22] [23] [24]
аксиома
Утверждение или предложение, которое принимается как истинное без доказательств и служит отправной точкой для дальнейших рассуждений и аргументов.

Б [ править ]

плохое возражение компании
Возражение против математического абстракционизма, указывающее на сложность различения законных и незаконных форм абстракции, особенно в контексте V Основного закона Фреге и парадоксов, которые он порождает. [25] [26] [27]
Барбара
Стандартная форма категорического силлогизма в аристотелевской логике, где все три предложения (большая посылка, второстепенная посылка и заключение) являются универсальными утвердительными утверждениями, обозначенными как ААА. Форма: Все М есть Р, Все S есть М, следовательно, Все S есть Р. [28] [29] [30]
формула баркана
Принцип модальной логики, утверждающий взаимозаменяемость количественного определения и возможности: обязательно, если что-то существует, то обязательно что-то существует.
Основной закон V
Принцип, предложенный Готтлобом Фреге в его попытке свести арифметику к логике, утверждающий, что расширение понятия определяется объектами, подпадающими под это понятие. Это приводит к парадоксу Рассела.
основа
Начальный случай доказательства методом математической индукции.
Теорема Байеса
Теорема в теории вероятностей, используемая для обновления вероятности гипотезы по мере появления новых доказательств или информации.
умоляю о вопросе
Логическая ошибка, когда в посылке предполагается заключение аргумента, что делает аргумент зацикленным.
Бью
См. предикат доказуемости .
BHK-интерпретация
Интерпретация Брауэра-Хейтинга-Колмогорова, конструктивистская интерпретация интуиционистской логики, в которой истинность утверждения приравнивается к существованию для него доказательства.
предвзятость
Систематическое отклонение от нейтральности, объективности или справедливости, часто являющееся результатом определенной тенденции или склонности, особенно в статистическом или когнитивном контексте.
двуусловный
Логическая связь между утверждениями, когда оба утверждения подразумевают друг друга; часто обозначается как , что означает «P тогда и только тогда, когда Q».
биективный
Функция, которая является одновременно инъективной (никакие два элемента домена не отображаются в один и тот же элемент кодомена) и сюръективной (каждый элемент кодомена сопоставляется с некоторым элементом домена), устанавливающей взаимно однозначное соответствие между домен и кодомен.
двоичная функция
Функция, принимающая два аргумента. В логике и математике это часто функция, которая объединяет два значения для получения третьего значения, например сложение или умножение в арифметике.
бинарное отношение
Отношение, включающее два термина или элемента, определяющее конкретную связь между парами объектов из двух наборов (или между одним набором самого себя).
двухвалентность
Принцип, согласно которому любое предложение либо истинно, либо ложно, без какой-либо золотой середины; Основа классической логики.
тезисы Боэция
Формулы (A → B) → ¬ (A → ¬ B) и (A → ¬ B) → ¬ (A → B) в логике высказываний ; это теоремы связной логики , но не классической логики . [31] [32] [33] См. также тезисы Аристотеля .
Булева алгебра
Область алгебры, в которой значения переменных являются истинностными значениями «истина» и «ложь», обычно используемая в информатике, логике и математической логике.
Булево отрицание
Форма отрицания , при которой отрицание неистинного суждения является истинным, а отрицание неложного суждения является ложным. [34] [35] [36]
Булев оператор
Оператор, используемый в логике и информатике, выполняющий логические операции над своими операндами, такие как И, ИЛИ и НЕ.
пограничный случай
Ситуация или случай, который находится на границе между категориями или классификациями, часто бросая вызов строгим определениям или различиям. [37] [38] [39] [40]
нижний
В логике символ, используемый для обозначения противоречия или абсурда; часто обозначается символом .
связанная переменная
Переменная, которая определяется количественно в логическом выражении, в отличие от свободной переменной, которая не связана квантором.
ограниченный квантор
Квантор, который действует в пределах определенной области или набора, в отличие от неограниченного или универсального квантора, который применяется ко всем элементам определенного типа.
квантор ветвления
Тип квантора в формальной логике, который позволяет выражать зависимости между различными количественными переменными, представляя более сложные отношения, чем можно выразить с помощью стандартной линейной количественной оценки.
Брауэровская модальная логика
Форма модальной логики, включающая принципы интуиционизма, разработанные Л. Дж. Брауэром , с упором на понятие возможности, основанное на конструктивистской или интуиционистской математике. [41] [42] [43]
Софизмы Буридана
Сборник парадоксов и логических упражнений, приписываемый средневековому философу Жану Буридану и призванный бросить вызов логической и лингвистической интуиции. [44] [45] [46]
проблема занятого бобра
Задача теории вычислимости, которая ищет машину Тьюринга с максимально возможным поведением (например, производящую наибольшую производительность, работающую дольше всех) среди всех машин Тьюринга определенного размера, иллюстрирующую пределы вычислимости.

С [ править ]

Проблема Цезаря
Проблема философии языка и логики, касающаяся применимости математических понятий к нематематическим объектам, хорошо проиллюстрированная вопросом Готлоба Фреге о том, применимо ли понятие числа преемников к Юлию Цезарю. [47] [48] [49]
Предложение Карнапа-Рэмси
Предложение, сформулированное для выражения эмпирического содержания теории логического позитивизма, названное в честь Рудольфа Карнапа и Фрэнка П. Рэмси, направленное на отделение теоретических терминов от терминов наблюдения.
категоричный
Теория является категоричной, если все ее модели изоморфны, то есть они описывают одни и те же математические структуры по-разному.
категорическая логика
Раздел логики, изучающий категоризацию объектов и логические основы категорий, часто использующий теорию категорий.
категорическое утверждение
Предложение, которое утверждает или отрицает, что все или некоторые члены одной категории включены в другую категорию, является фундаментальным в силлогистическом рассуждении.
категорический силлогизм
Форма дедуктивного рассуждения в аристотелевской логике, состоящая из трех категоричных утверждений, которые включают три термина и выводят заключение из двух посылок.
категория
В математике и логике — совокупность объектов и морфизмов между ними, удовлетворяющая определённым аксиомам, фундаментальным для теории категорий.
теория категорий
Раздел математики, который занимается абстрактными алгебраическими структурами и связями между ними, обеспечивая объединяющую основу для различных областей математики.
причинная логика
Раздел логики, занимающийся изучением причинно-следственных связей, включая представление и рассуждение о причинах и следствиях. [50] [51]
причинно-модальная логика
Расширение модальной логики, включающее модальности необходимости и возможности наряду с причинными отношениями, позволяющее проводить формальный анализ причинных утверждений. [52] [53]
хронологическая логика
См. временную модальную логику . [54] [55]
Теорема Чёрча
Теорема, устанавливающая неразрешимость некоторых проблем решения в логике, таких как проблема Entscheidungs, доказывающая, что не существует последовательной, полной и эффективно вычислимой логики.
Тезис Чёрча – Тьюринга
Гипотеза, предполагающая, что любая функция, которую естественным образом можно считать вычислимой человеком, может быть вычислена с помощью машины Тьюринга, тем самым определяя пределы того, что можно вычислить.
классическая дилемма
Форма аргументации, представляющая две альтернативы, ведущие к одному и тому же выводу, часто используемая в классической риторике и логике для демонстрации неизбежности.
классическая логика
Традиционная структура логики, основанная на принципах бивалентности, непротиворечивости и исключенного третьего, в первую очередь с упором на логику высказываний и предикатов.
классическое сведение к абсурду
Более сильная форма доведения до абсурда . [56] где вместо того, чтобы просто выводить от того, чтобы показать это приводит к противоречию, можно также вывести от того, чтобы показать это приводит к противоречию.
со-экстенсивный
Иметь одинаковую область действия или диапазон, особенно в отношении двух терминов или концепций, применимых к одному и тому же набору объектов. [57] [58]
убедительный индуктивный аргумент
Сильный индуктивный аргумент , в котором все предпосылки верны. [59] [60] [61] [62]
когерентная теория истины
Теория, которая считает истиной связь между набором убеждений или утверждений, а не соответствие реальности или фактам.
комбинатор
Функция или выражение в комбинаторной логике, которая воздействует на аргументы для получения результатов без необходимости привязки переменных.
комбинаторизм
Комбинаторизм — это точка зрения, согласно которой любая произвольная комбинация элементов представляет собой законную математическую структуру, независимо от того, определима эта структура или нет. [63] [64] [65]
комбинаторная логика
Раздел математической логики, целью которого является устранение необходимости использования переменных в математических выражениях с помощью комбинаторов.
комбинационные термины
Смотри комбинатор .
коммутативность
Свойство бинарных операций, при которых порядок операндов не меняет результат, как сложение и умножение в арифметике.
теорема о компактности
Теорема в логике, утверждающая, что если каждое конечное подмножество набора предложений имеет модель, то и все множество имеет модель.
полная бесконечность
Концепция в философии и математике, относящаяся к актуальной бесконечности, которая рассматривается как законченное целое, в отличие от потенциальных бесконечностей, которые можно бесконечно расширять.
полнота
В логике - свойство логической системы, при котором каждая логически обоснованная формула может быть выведена с использованием аксиом системы и правил вывода.
класс сложности
Классификация проблем принятия решений, основанная на присущей им вычислительной сложности, группирующая проблемы, которые можно решить в рамках аналогичных ограничений ресурсов.
теория сложности
Изучение внутренней сложности вычислительных задач с упором на ресурсы, необходимые для их решения, такие как время и память.
композиция
Акт объединения простых объектов или идей в сложное целое или сама результирующая комбинация.
композиционность
Принцип семантики, согласно которому значение сложного выражения определяется значениями составляющих его выражений и правилами их объединения.
формула соединения
Формула, представляющая составное утверждение . [66]
составное заявление
Логическое высказывание, которое образуется путем объединения двух или более высказываний логическими связками, что позволяет строить более сложные высказывания из более простых. [67] [68]
схема понимания
Принцип теории множеств и логики, позволяющий формировать множества на основе определяющего свойства или условия.
вычислимая функция
Функция, для которой существует алгоритм, который может вычислить значение функции для любого допустимого входного сигнала за конечный промежуток времени.
вычисление
Процесс систематического выполнения последовательности вычислений или логических операций для получения результата.
концепция
Абстрактная идея, представляющая фундаментальные характеристики того, что она описывает.
заключение
Утверждение, которое логически вытекает из предпосылок аргумента и служит его окончательным утверждением.
конкретный объект
Объект, существующий в физической реальности, в отличие от абстрактных объектов, не имеющих физического существования.
условный
Логическая связка, представляющая отношение «если… то…» между двумя утверждениями.
условная логика
Раздел логики, изучающий свойства условной связки и связанных с ней логических понятий. [69] [70]
условная вероятность
Вероятность наступления события при условии, что другое событие уже произошло.
условное доказательство
Логический метод доказательства условного утверждения, предполагающий антецедент и показывающий, что из него следует консеквент.
обусловленность
Условное выражение, полученное путем принятия соединения посылок аргумента как антецедента и заключения аргумента как следствия. Например, обусловленность modus ponens, , это формула , называемая настройкой псевдорежима . [6]
отношение конгруэнтности
Отношение эквивалентности, которое учитывает операции алгебраической структуры, в которой оно определено, например сложение или умножение в группе.
соединение
Утверждение-компонент внутри союза, каждое из которых должно быть истинным, чтобы весь союз был истинным. [71]
соединение
Логическая связка, представляющая связь «и» между двумя утверждениями, требующая, чтобы оба были истинными.
устранение конъюнкции
Правило вывода в логике высказываний, позволяющее вывести союз из союза.
введение союза
Правило вывода, позволяющее образовать союз из двух отдельных высказываний.
конъюнктивная нормальная форма
Способ выражения логической формулы в виде соединения предложений, где каждое предложение является дизъюнкцией литералов.
подключен
Свойство графа, в котором существует путь между любыми двумя вершинами, или свойство топологического пространства, в котором его нельзя разделить на два непересекающихся непустых открытых множества.
связная логика
Раздел логики, изучающий принципы связи между предложениями, например, отношения между высказыванием и его противоположностью.
отношение следствия
Отношение между наборами предложений или предложений, при котором истинность первого набора (посылок) требует истинности второго набора (следствий).
последующий
Вторая часть условного оператора, указывающая результат или результат, если предшествующее условие выполнено.
чудесное последствие
Принцип классической логики, утверждающий, что если отрицание предложения приводит к противоречию, то само предложение должно быть истинным.
консервативное расширение
Свойство теории, которое расширяется за счет новых аксиом или правил без изменения истинностных значений утверждений исходной теории.
постоянный
Символ в логике и математике, обозначающий фиксированную и неизменную величину.
постоянная функция
Функция, которая всегда возвращает одно и то же значение, независимо от входных данных.
конструктивная дилемма
Форма аргументации, при которой на основании двух условных утверждений и доказательств того, что хотя бы один из их антецедентов истинен, можно заключить, что хотя бы один из консеквентов истинен.
конструктивная логика
Раздел логики, который делает упор на конструктивное доказательство существования, требуя явного построения объекта для утверждения его существования, а не полагаясь на косвенные аргументы.
конструктивная математика
Философия математики, которая требует, чтобы математические объекты были конструируемыми и вычислимыми, отвергая неконструктивные доказательства, такие как те, которые включают закон исключенного третьего в его полной общности.
конструктивное доказательство
Доказательство, которое демонстрирует существование математического объекта, предоставляя метод его явного построения, в отличие от косвенного доказательства от противного.
контекстуализм
Теория, согласно которой контекст, в котором сделано утверждение, важен для понимания условий его истинности и значения.
непредвиденный случай
Свойство быть ни обязательно истинным, ни обязательно ложным, в зависимости от некоторых условий или состояния мира.
сокращение
В логике и математике — процесс устранения дубликатов в выражениях или уравнениях с целью их упрощения.
противоречие
Утверждение или предложение, которое утверждает как утверждение, так и его отрицание, считается в классической логике универсально ложным.
противоречивый
Относится к паре утверждений или предложений, одно из которых является отрицанием другого, так что они не могут быть одновременно истинными или оба ложными.
противопоставление
Логический принцип, который утверждает, что условное утверждение логически эквивалентно своему контрапозитиву, преобразуя «Если P, то Q» в «Если не Q, то не P».
контрапозитивный
Утверждение, возникающее в результате замены антецедента и консеквента условного утверждения и отрицания обоих, сохраняя логическую эквивалентность.
вопреки
Относится к паре утверждений или предложений, которые не могут быть одновременно истинными, но оба могут быть ложными.
конвенция Т
Критерий истины, предложенный Альфредом Тарским, утверждающий, что предложение истинно тогда и только тогда, когда оно соответствует фактам или реальности, которые оно описывает.
беседовать
Утверждение, сформированное путем изменения местами антецедента и следствия условного утверждения, не обязательно сохраняющее логическую эквивалентность.
обратный домен
В теории множеств и логике — совокупность всех элементов, которые связаны с любым элементом данного множества определенным отношением. [72]
формула обратного баркана
Принцип модальной логики, предполагающий, что возможность предшествует существованию, что является противоположностью формулы Баркана.
преобразование
Логическая операция замены подлежащего и предиката категорического суждения, иногда влияющая на его истинность.
связка
Часть предложения, которая связывает подлежащее с сказуемым, обычно представленная формами глагола «быть».
сопутствующий
Обращение к разным выражениям, которые обозначают один и тот же объект или сущность в мире.
основная гибкость
Свойство бинарного отношения, в котором каждый элемент связан сам с собой, что подразумевает рефлексивность.
следствие
Предложение, которое следует непосредственно из другого предложения или теоремы с небольшим дополнительным доказательством или без него.
корреспондентная теория истины
Философское учение, согласно которому истинность или ложность высказывания определяется тем, как оно соотносится с миром и точно ли оно описывает (соответствует) этот мир.
контрпример
1. ( в широком смысле ) Пример, опровергающий утверждение или предложение, показывающий, что оно не является универсально истинным.
2. ( к форме аргумента ) Контрпример к форме аргумента , или секвенция , — это аргумент в той же логической форме , в котором посылки явно истинны, но вывод явно ложен, показывая, что форма недействительна , поскольку в ней отсутствует семантика. действительность . [73]
контрфактическое условное
Условное утверждение (если... то...) относительно события, которое на самом деле не произошло, но рассматривается ради аргументации.
контрфактическая логика
Раздел логики, изучающий контрфактические кондиционалы и их последствия, часто используемый в философских дискуссиях о причинности и теории принятия решений. [74] [75] [76]
контрмодель
Контрмодель аргумента — это модель, в которой посылки истинны, а вывод ложен, что показывает, что аргумент недействителен. [77] [78] [73]
контрнеобходимое условное
Условное утверждение, которое рассматривает ситуацию на обязательно истинном фоне, исследуя последствия гипотетических сценариев, противоречащих необходимым истинам; также известный как контрвозможный. [79]
теория контрагента
Философская теория, предложенная Льюисом, которая рассматривает семантику модальной логики и предполагает, что объекты в возможных мирах имеют аналоги в других возможных мирах.
курс рекурсии значений
Принцип в математике и логике, определяющий функцию на основе значений, которые она принимает для меньших аргументов, необходимый для определения таких функций, как факториалы и другие рекурсивные функции.
Парадокс карри
Парадокс в логике, возникающий при рассмотрении утверждения, утверждающего свою недоказуемость, приводящий к противоречиям в некоторых системах формальной логики.
резать
В теории доказательств - правило или этап дедуктивного доказательства, который вводит промежуточный вывод, который позже используется для получения дальнейших выводов.
исключение сокращения
Процедура в теории доказательств, которая систематически удаляет сокращения из доказательства, упрощая его и показывая, что любой результат, который можно доказать с помощью сокращений, можно доказать и без них.

Д [ править ]

кинжал
Имя для совместного отрицания или логического НИ . [80]
разрешимая теория
Теория, для которой существует процедура принятия решения, означающая, что для любого утверждения в теории можно алгоритмически определить, является ли это утверждение истинным или ложным в рамках теории.
процедура принятия решения
Алгоритм или систематический метод, который может решить, являются ли данные утверждения теоремами (истинными) или не теоремами (ложными) в логической системе или математической теории.
из сказанного
Относится к тому, как утверждение приписывает свойство именной группе в целом, что часто контрастирует с de re, которое приписывает свойство самой вещи.
вычет
Процесс рассуждения на основе одного или нескольких утверждений (посылок) для достижения логически определенного вывода.
теорема о дедукции
Теорема, утверждающая, что если утверждение может быть получено из набора посылок вместе с другим утверждением, то заключение можно получить только из посылок, добавив это утверждение в качестве условного.
дедуктивный аргумент
Аргумент, в котором вывод обязательно следует из посылок и призван обеспечить убедительное доказательство вывода.
дедуктивное следствие
См. синтаксическое следствие . [81]
дедуктивная валидность
1. Свойство дедуктивного аргумента, при котором, если посылки истинны, вывод также должен быть истинным. [82]
2. Теоретико-доказательная валидность , когда доказательство следует из правил формальной системы. [83] (См. семантику теории доказательств .)
дедуктивно эквивалентный
Две теории дедуктивно эквивалентны, если они доказывают одни и те же теоремы. [84] [85] [86] .
дедуктивизм
Философская позиция, подчеркивающая дедукцию как основной метод рассуждения или получения знаний.
быть определен
Термин или фраза, которая определяется в определении.
определенно
Слова или фразы, которые используются для определения определения.
определенное описание
Фраза, которая однозначно идентифицирует конкретного человека или концепцию, часто используя «the» для обозначения уникальности.
определение
Утверждение, объясняющее значение термина или понятия, раскрывающее его сущность или уточняющее его характеристики.
дефляционизм
Теория истины, которая утверждает роль термина «истина», заключается просто в том, чтобы позволить выражение утверждений, которые не могут быть выражены иначе, не подразумевая при этом существенного свойства истины.
теоретико-степенная семантика
Подход в семантике, при котором истинность предложений измеряется в степенях, а не как строго истинные или ложные, применимый в нечеткой логике и некоторых теориях неопределенности. [87] [88] [89]
демонстрация
Смотрите доказательство .
демонстративный
Слово, указывающее, о каком объекте идет речь, например «это», «то», «он», «она» и «они».
Двойственность де Моргана
Принцип, утверждающий, что отрицание союза эквивалентно дизъюнкции отрицаний, и наоборот, отражает двойственность между логическими операторами И и ИЛИ.
Отрицание де Моргана
Отрицание де Моргана — это простое отрицание, удовлетворяющее исключению двойного отрицания : ложно тогда и только тогда, когда это правда, и верно тогда и только тогда, когда является ложным. [90] [91] [92]
Правила Де Моргана
Два правила преобразования, гласящие, что отрицание союза есть дизъюнкция отрицаний, а отрицание дизъюнкции есть соединение отрицаний.
обозначение
Прямая ссылка или буквальное значение слова или фразы в отличие от его коннотации или подразумеваемого значения.
плотный
Отношение является плотным, если для любых двух элементов существует третий элемент, лежащий между ними согласно отношению.
счетный
Эквивалент счетной бесконечности; множество является счетным, если его элементы можно поставить во взаимно однозначное соответствие натуральным числам.
отрицание антецедента
Логическая ошибка, при которой используется недопустимая форма аргумента: «Если P, то Q, а не P, следовательно, не Q».
деонтическая модальная логика
Раздел модальной логики, касающийся обязательств, разрешений и связанных с ними модальностей.
выводимое правило
Правило, которое можно вывести из аксиом и правил вывода логической системы, в отличие от аксиомы или примитивного правила системы. [93] [94] [95]
назначенное значение
Семантическое значение, которое играет для логического следствия ту же роль, что и роль истины в классической логике, так что для того, чтобы следствие имело силу, назначенное значение должно быть присвоено заключению, если оно присвоено посылкам. [96] [97] [98]
разрушительная дилемма
Форма аргументации, включающая два условных утверждения и их отрицаемые последствия, ведущая к отрицанию хотя бы одного из антецедентов.
определитель
Слово, фраза или аффикс, указывающий ссылку на существительное или именное словосочетание, например «the», «some», «every».
детерминированное полиномиальное время
Класс сложности (P), состоящий из задач решения, которые могут быть решены детерминированной машиной Тьюринга за полиномиальное время. [99] [100] [101]
детерминированная машина Тьюринга
Теоретическая вычислительная машина, которая для любого заданного состояния и входного символа имеет один определенный переход в новое состояние.
девиантная логика
Термин, используемый для описания нестандартных или альтернативных логических систем, отклоняющихся от классической логики.
лемма о диагонализации
Лемма, используемая при доказательстве теорем Гёделя о неполноте, утверждающая, что для любой формулы с одной свободной переменной существует предложение, которое утверждает свою недоказуемость.
диалетеизм
Убеждение в том, что существуют истинные противоречия, то есть утверждения, которые одновременно истинны и ложны.
диалетическая логика
Логика, допускающая существование истинных противоречий, бросающая вызов принципу непротиворечия.
дилемма
Ситуация, в которой приходится делать трудный выбор между двумя или более альтернативами, часто одинаково нежелательна.
разбавление
В логике ослабление утверждения путем добавления разделительных предложений, которые не влияют на истинность исходного утверждения.
направленный
Отношение является направленным, если для каждой пары элементов существует третий элемент, связанный с обоими, что обеспечивает своего рода связность или согласованность внутри множества.
увольнять
Действие по устранению предположения при логическом выводе, часто с использованием его для доказательства условного утверждения. [102] [103] [104]
дизъюнктный
Одно из составляющих суждений в дизъюнкции , каждое из которых является альтернативой другим. [71]
дизъюнкция
Логическая связка, представляющая связь «или» между двумя утверждениями, требующая, чтобы хотя бы одно было истинным.
устранение дизъюнкции
Правило вывода, позволяющее сделать вывод из дизъюнкции и условных высказываний, если и оба и , затем .
введение дизъюнкции
Логический принцип, позволяющий вводить дизъюнкцию из любого отдельного предложения — из , сделать вывод .
свойство дизъюнкции
Свойство интуиционистской логики, утверждающее, что если дизъюнкция доказуемо, то либо доказуемо или доказуемо.
дизъюнктивная нормальная форма
Стандартизация логических формул, в которой формула выражается как дизъюнкция союзных предложений.
дизъюнктивный силлогизм
Форма дедуктивного рассуждения, заключающая одно дизъюнкция, должна быть ложной, если другое истинно и дизъюнкция задана (если и не , затем ).
дискотечество
Теория истины, основанная на принципе дисцитации, который предполагает, что функция предиката истины состоит в удалении кавычек для формирования эквивалентных предложений.
распределение
Термин распределяется внутри категориального предложения тогда и только тогда, когда это предложение что-то говорит обо всех объектах, реализующих этот термин.
аксиома распределения
1. В модальной логике аксиома (называемая K) гласит: □( p q ) → (□ p → □ q ) . [105]
2. В эпистемической модальной логике аксиома (также называемая К), согласно которой .
законы распределения
См. дистрибутивность .
распределительная предикация
Свойство предикатов в логике, позволяющее применять их к каждому элементу предметного класса в отдельности, а не к классу в целом. [106] [107]
распределительность
Свойство одних бинарных операций распределять среди других в определенной алгебраической структуре, сохраняя эквивалентность.
разделение
См. ошибочность разделения .
домен
Набор всех возможных входных данных для функции или, в более общем смысле, предмет или вселенная дискурса в логическом аргументе.
область дискурса
Совокупность объектов, обсуждаемых в определенном логическом контексте, определяющем диапазон кванторов.
доминантная связка
Связка с наибольшей областью действия в формуле. [108] [109]
двойное отрицание
Дважды применение отрицания к предложению, которое в классической логике приводит к исходному предложению ( ).
устранение двойного отрицания
Принцип классической логики, утверждающий, что двойное отрицание утверждения можно устранить без изменения его истинностного значения ( эквивалентно ).
введение двойного отрицания
Принцип, согласно которому для любого предложения , подразумевает , подкрепляя утверждение отрицая его отрицание.
двойной турникет
Символ ( ) используется в логике для обозначения семантического следствия или логического следствия, указывая на то, что истинность одного предложения требует истинности другого.
нисходящая теорема Левенхайма – Скулема
Часть теоремы Левенхайма–Скулема .
доксастическая модальная логика
Раздел модальной логики, который занимается логикой убеждений и моделирует убеждения рациональных агентов.
двойной
Двойник таблицы истинности получается путем замены значений истинности «истина» и «ложь» (или 0 и 1) по всей таблице. Связки двойственны, если их таблицы истинности двойственны: конъюнкция и дизъюнкция двойственны, а отрицание самодвойственно. [110] Двойственная формула получается заменой каждой связки двойственной ей: [110] [111] например, для формулы, содержащей только конъюнкция, дизъюнкция и отрицание (например, формула в дизъюнктивной нормальной форме ), ее двойственная форма является результатом замены каждого конъюнкции дизъюнкцией, а каждой дизъюнкции - конъюнкцией. (Для формулы в дизъюнктивной нормальной форме двойственной является формула в конъюнктивной нормальной форме .) [112] [113]
динамическая модальная логика
Раздел модальной логики , изучающий необходимые и возможные связи между событиями. [114] [115]

Э [ править ]

эффективная процедура
Метод или процесс, гарантирующий решение конкретной проблемы или класса проблем, обычно посредством конечного числа шагов, которые можно точно выполнить.
эффективно вычислимая функция
Функция, для которой существует алгоритм или механическая процедура, позволяющая вычислить значение функции для любого допустимого входного сигнала за конечный промежуток времени.
эффективно разрешимое соотношение
Бинарное отношение, для которого существует механический метод определения для любой данной пары элементов, сохраняется ли между ними отношение. [116] [117]
эффективно разрешимая теория
Теория, в которой существует алгоритм, способный определить, является ли какое-либо данное утверждение теории истинным или ложным. [118] [78]
элементарная эквивалентность
Отношения между двумя структурами в логике и математике, при которых они удовлетворяют одним и тем же предложениям первого порядка.
устранение кванторов
Процесс логической дедукции, при котором кванторы удаляются из логических выражений с сохранением эквивалентности, часто используемый в теории реальных закрытых полей.
правило исключения
Правило логического вывода, позволяющее выводить более простые формулы из более сложных, часто путем удаления логических связок или кванторов.
пустое понятие
Концепция, которая не имеет какого-либо воплощения в реальности или не относится к какому-либо существующему объекту или группе объектов. [119] [120]
эндоморфизм
Функция преобразования математического объекта в самого себя, сохраняющая структуру объекта.
логическое следствие
Логические отношения, при которых истинность одного набора утверждений (посылок) требует истинности другого утверждения (заключения).
энтимем
Риторический аргумент, который представлен с одной или несколькими предпосылками, оставленными подразумеваемыми, а не явно сформулированными.
Проблема решения
Проблема принятия решения - задача, поставленная Дэвидом Гильбертом с просьбой разработать алгоритм для определения истинности или ложности любого данного математического утверждения. Неразрешимость проблемы доказали Алан Тьюринг и Алонсо Чёрч.
Парадокс Эпименида
Парадокс самореференции, включающий заявление Эпименида, критянина, который заявил, что все критяне — лжецы, что приводит к логическому противоречию, если принять его за истину.
эпиморфизм
Морфизм в теории категорий, который можно сокращать справа, то есть он ведет себя как сюръективная функция в контексте множеств.
эпистемическое ограничение
Принцип, согласно которому истины должны быть познаваемы. Он поднимается в контексте верификационизма. [121] и парадокс познаваемости Фитча . [122]
эпистемическая модальная логика
Раздел модальной логики, который занимается рассуждениями о знаниях и убеждениях, используя модальности для выражения того, что известно и во что верят.
эпистемический парадокс
Парадокс, возникающий из базовых интуиций относительно знаний, убеждений или связанных с ними эпистемических представлений. Например, парадокс знающего и парадокс Фитча .
эпистемическая неопределенность
Мнение о том, что неопределенность является особенностью человеческого знания, а не мира или языка. [123] Контраст неопределённости ребуса и смысловой неопределённости .
эпистемизм
Философская позиция о том, что существуют истины, которые невозможно познать, обычно применяется к дискуссиям о неопределенности и парадоксе соритов.
Электронное предложение
В традиционной логике — универсальное отрицательное категорическое суждение, утверждающее, что ни один член одного класса не является членом другого класса. [124] [2]
эквивалентность
См. дедуктивно эквивалентный , логически эквивалентный , материально эквивалентный .
отношение эквивалентности
Бинарное отношение, которое является рефлексивным, симметричным и транзитивным, что указывает на то, что элементы, к которым оно относится, в некотором смысле «эквивалентны».
эквивалент
См. дедуктивно эквивалентный , логически эквивалентный , материально эквивалентный .
двусмысленность
Логическая ошибка, заключающаяся в использовании слова, имеющего более одного значения, в ходе аргументации, приводящая к вводящему в заблуждение или необоснованному выводу.
эротическая логика
Логика вопросов, включая изучение форм и принципов вопросов и их отношений к ответам.
Парадокс Евбулида
Парадокс, представленный Евбулидом Милетским, включая парадокс лжеца, который включает в себя утверждение, объявляющее себя ложным, что создает противоречие.
евклидов
Отношение R, где для любых объектов x, y и z верно, что если Rxy и Rxz, то Ryz.
обмен
Смотрите перестановку .
исключенный средний
Принцип, согласно которому для любого предложения истинно либо это предложение, либо его отрицание, без какой-либо золотой середины.
исключение отрицание
В трехзначной логике форма отрицания, строго исключающая возможность истинности чего-либо, в отличие от конструктивного отрицания, утверждающего истинность противоположного суждения. [125] [126]
исключительная дизъюнкция
Логическая операция, которая истинна тогда и только тогда, когда истинно только один из ее операндов, также известная как «исключающее ИЛИ» или «исключающее или».
эксклюзивный или
Бинарная логическая операция, которая возвращает true только в том случае, если входные данные различны; обозначается как XOR или .
от всякой фальши
Принцип классической логики, утверждающий, что из ложности можно получить любой вывод, также известный как принцип взрыва.
предикат существования
Предикат, обычно встречающийся в свободной логике , который утверждает существование референта константы. [127] [128]
экзистенциальное обобщение
Правило вывода, позволяющее сделать вывод о существовании чего-либо с определенным свойством на основе существования конкретного примера.
экзистенциальный импорт
Импликация того, что что-то существует, посредством утверждения определенного рода утверждений, особенно актуальна в традиционной силлогистической логике.
экзистенциальная реализация
Логическое правило, позволяющее сделать вывод о существовании конкретного индивидуума на основе утверждения, утверждающего существование такого индивидуума в общем виде.
экзистенциальное введение
Правило вывода, которое вводит квантор существования и утверждает существование хотя бы одного объекта, удовлетворяющего заданному свойству.
квантор существования
Квантор, используемый в логике предикатов, чтобы указать, что существует хотя бы один член домена, для которого предикат справедлив.
экзистенциальная переменная
Переменная в логике предикатов, связанная квантором существования , представляющая неуказанный член домена, удовлетворяющий предикату. [129] [130]
объяснить
Утверждение или явление, которое объясняется в объяснении.
объяснительные
Утверждение или набор утверждений, которые дают объяснение явлению или утверждению, упомянутому в объяснении.
объяснение
Акт прояснения, разъяснения или разъяснения чего-либо посредством детализации причин, причин или оправданий.
явное определение
Определение, которое предоставляет средства для замены каждого вхождения определения соответствующим экземпляром определения . [131] [132] Сравните неявное определение .
взрыв
Принцип логики, согласно которому любое утверждение может быть доказано в случае противоречия, связан с принципом ex falso quodlibet.
экспорт
Логический принцип, преобразующий высказывание формы в эквивалентную форму , по сути перераспределяя логические операции. [68] [133]
выразительная завершенность
Синоним функциональной полноты .
расширение
Совокупность объектов или сущностей, к которым применяется термин или концепция, в отличие от его значения, которое относится к свойствам или характеристикам, определяющим эти объекты или сущности.
экстенсиональная логика
Форма логики, в которой истинность предложений и аргументов зависит исключительно от расширения задействованных терминов, независимо от их значения или концептуального содержания.

Ф [ править ]

фактичность
Свойство определенных выражений или глаголов, подразумевающее истинность суждений, к которым они относятся, часто используемое в контексте знаний и убеждений. [134] [135]
заблуждение
Ошибка в рассуждении, которая приводит к недействительному или логически необоснованному аргументу.
ошибочность композиции
Логическая ошибка — полагать, что то, что верно в отношении частей, должно быть верно и в отношении целого.
ошибка деления
Логическая ошибка — полагать, что то, что верно в отношении целого, должно быть верно и в отношении его частей.
ошибка четырех терминов
Логическая ошибка в силлогистической логике, когда силлогизм включает четыре (а не необходимые три) различных термина, что делает аргумент недействительным.
ложная дихотомия
Неофициальное заблуждение , которое представляет два варианта как единственные возможности, хотя на самом деле возможностей больше.
ложная дилемма
Форма ложной дихотомии, при которой два варианта представлены как единственные варианты, когда доступны другие альтернативы, часто используется для принуждения к принятию решения.
производитель подделок
Сущность или набор условий, которые делают предложение ложным. В метафизике это считается аналогом создателя истины, который подтверждает истинность предложения.
ложь
Качество или состояние ложности или неправды.
ЛОЖЬ
Символ, используемый в логике для обозначения ложности или противоречия, часто обозначаемый как .
«Фидо» — принцип Фидо
Принцип философии языка, предполагающий, что значение слова — это объект, к которому оно относится, иллюстрируемый идеей о том, что значение слова «Фидо» — это сама собака Фидо. [136]
поле
Поле функции — это объединение области определения и диапазона этой функции.
фигура
См. силлогистический рисунок .
финитарий
Относится к методам или процессам, которые включают конечное число шагов или элементов.
финитная арифметика
Подход к арифметике, ориентированный на финитные методы, избегающий бесконечностей и подчеркивающий конструкции, которые можно выполнить за конечное число шагов. [137]
финитная формальная система
Формальная система, в которой все операции, доказательства и выражения являются финитными и полагаются только на объекты, которые можно построить или продемонстрировать за конечное число шагов. [138] [139]
конечный характер
Свойство определенных математических или логических систем, в котором каждая значимая особенность или свойство может быть определена путем изучения только конечной части системы.
теория конечных моделей
Раздел теории моделей, занимающийся изучением свойств структур (моделей), имеющих конечную область определения.
конечно аксиоматизируемый
Речь идет о теории, которую можно полностью описать конечным набором аксиом. [140] [141] [142]
финитизм
Философский взгляд, который отвергает существование бесконечных сущностей и бесконечных процессов, подчеркивая только те количества или процедуры, которые конечны.
влечения первой степени (FDE)
Логическая система, которая допускает существование как истинных, так и ложных атомарных предложений, но не требует, чтобы каждое предложение было либо истинным, либо ложным, отвергая закон исключенного третьего для определенных предложений. [143] [144]
логика первого порядка
Формальная логическая система, включающая кванторы «для всего» и «существует», которая может оценивать индивидуумов, но не предикатов или функций.
теория первого порядка
Теория, выраженная в логике первого порядка и имеющая дело с отношениями между людьми и свойствами или отношениями, которые могут иметь люди.
переменная первого порядка
Переменная в логике первого порядка, представляющая человека в области дискурса.
Парадокс Фитча
Парадокс в эпистемической логике, возникающий из, казалось бы, разумных предположений о знании и приводящий к выводу, что все истины известны.
фиксированная точка
В математике и логике — значение или элемент, сопоставленный с самим собой определенной функцией или операцией.
форсированный марш сориты
Тип парадокса соритов, включающий серию дополнительных шагов или изменений, которые приводят к противоречию, бросая вызов точности расплывчатых предикатов, заставляя переходить от одного конца спектра к другому. [145] [146]
формальное следствие
Вывод, который следует только в силу логической формы , в отличие от материального следствия , которое (также) зависит от содержания предложений. [147] [148] [149] См. также синтаксическое следствие .
формальная ошибка
Логическая ошибка в форме или структуре аргумента, в отличие от существенного заблуждения, связанного с содержанием аргумента.
формальный язык
Набор строк символов, построенных в соответствии с определенными синтаксическими правилами, используемых в математике, информатике и формальной логике для точного определения выражений без двусмысленности.
формальная логика
Исследование вывода с чисто формальным содержанием, где терминам не дается толкования, а рассматривается только логическая форма.
формальное доказательство
Доказательство, в котором каждый шаг оправдывается правилом вывода, построенным в рамках формальной системы для демонстрации истинности утверждения.
формальная семантика
Исследование того, как формальные системы, особенно те, которые используются в логике и лингвистике, связаны с концептуальными или референциальными интерпретациями.
формальная система
Система символов и правил для манипулирования этими символами, используемая для вывода утверждений или теорем в логической или математической области.
правила формирования
Правила, определяющие правильные способы объединения основных символов формального языка для формирования правильных формул.
формула
Выражение на формальном языке, которое можно оценить как истинное или ложное в рамках данной интерпретации, часто включающее переменные и логические связки.
рамка
В модальной логике — структура, состоящая из набора возможных миров и отношений между этими мирами, используемая для интерпретации модальных суждений.
семантика фрейма
Теория в лингвистике и логике, которая использует фреймы — концептуальные структуры для представления стереотипных ситуаций — как средство понимания того, как язык передает смысл.
последовательность свободного выбора
Последовательность (обычно натуральных чисел), в которой каждый член выбирается свободно, не определяется каким-либо правилом или алгоритмом, часто используется в дискуссиях о конструктивизме и интуиционизме.
свободная логика
Форма логики, допускающая использование терминов, не обозначающих какой-либо существующий объект, отличающаяся от классической логики тем, что не требуется, чтобы каждый термин относился к чему-то в области дискурса.
свободная переменная
Переменная в формуле, которая не связана квантором и не имеет определенного значения, присвоенного ей в контексте формулы.
Теорема Фреге
Результат в области логики и математики, демонстрирующий, что арифметика может быть получена из логики посредством введения понятия преемника и использования количественной оценки второго порядка.
функция
Отношение между множествами, которое связывает каждый элемент первого набора ровно с одним элементом второго набора, часто представляемое как отображение элементов одного набора на элементы другого.
нечеткая логика
Многозначная логика , допускающая степень истины и уверенности.

Г [ править ]

заблуждение игрока
Ошибочное убеждение, что если событие происходит чаще, чем обычно, в прошлом, оно с меньшей вероятностью произойдет в будущем (или наоборот), часто возникает в контексте азартных игр и неправильной интерпретации статистики.
теоретико-игровая семантика
Подход к семантике, который интерпретирует значение языковых выражений через результаты определенных идеализированных игр между проверяющим и фальсификатором, подчеркивая интерактивный процесс установления истины или ложности. [150]
зазор
См. разрыв истинностного значения .
Каждое предложение Каплана
Тип предложения, который поднимает вопросы философии языка и логики, касающиеся контекстной зависимости, референциальной непрозрачности и ограничений формального семантического анализа. Назван в честь философов Питера Гича и Дэвида Каплана.
обобщенный квантор
В логике и лингвистике - квантор, который может выражать более сложные отношения, чем стандартные кванторы, такие как «все» или «некоторые», позволяющий выражать такие понятия, как «большинство», «многие» и «немногие».
Теорема Гливенко
Результат в логике, утверждающий, что если формула доказуема в классической логике, то ее двойное отрицание доказуемо в интуиционистской логике, устанавливая связь между двумя логиками.
перенасыщение
См. избыток истинностного значения .
нумерация Гёделя
Метод кодирования математических и логических символов и выражений в виде натуральных чисел, введенный Куртом Гёделем как часть его теорем о неполноте.
предложение Гёделя
Самореферентное предложение, построенное в формальных системах для демонстрации теорем Гёделя о неполноте, утверждающее свою недоказуемость внутри системы.
Логика Гёделя-Даммета
Форма интуиционистской логики, включающая принцип максимальных элементов, позволяющий выражать определенные промежуточные значения истинности между истиной и ложью.
Первая теорема Гёделя о неполноте
Теорема, доказывающая, что в любой непротиворечивой формальной системе, способной выражать основные арифметические действия, существуют утверждения, которые невозможно доказать или опровергнуть внутри системы.
Вторая теорема Гёделя о неполноте
Теорема, устанавливающая, что ни одна непротиворечивая система, способная выполнять арифметические действия, не может доказать свою непротиворечивость, основанная на первой теореме о неполноте.
Аргумент о рогатке Гёделя
Аргумент, касающийся семантики ссылки и истины, бросающий вызов согласованности теорий, которые пытаются детально провести различие между фактами и истинными суждениями.
Парадокс Греллинга
Парадокс, связанный с самореференцией и лингвистическими категориями, особенно с тем, применимо ли к самому себе слово «гетерологический», означающее «неприменимый к самому себе».

Х [ править ]

проблема с остановкой
Проблема решения проблемы определения на основе описания произвольной компьютерной программы и входных данных, завершит ли программа работу или продолжит работать вечно. Неразрешимость доказана Аланом Тьюрингом.
гармония
В логике и философии существует представление о том, что правила введения и исключения для логической связки должны быть сбалансированы, гарантируя, что связка не вводит больше, чем может устранить, и наоборот.
поспешные обобщения
, Неофициальное заблуждение при котором вывод логически не обоснован достаточными или беспристрастными доказательствами; сделать общий вывод на основе слишком маленького размера выборки.
Семантика Хенкина
Обобщение стандартной семантики первого порядка, позволяющее создавать модели, в которых диапазон кванторов может быть ограничен, названное в честь Леона Хенкина.
Приговор Хенкина
Предложение, которое утверждает свою доказуемость, [151] [152] возможно, применив предикат доказуемости к самому себе.
наследственное имущество
Свойство объектов в математической или логической структуре, которое, если оно применяется к объекту, также применяется ко всем подобъектам или элементам этого объекта.
гетерологический
Описание прилагательного, которое не относится к самому себе. Например, «длинный» не является длинным, поэтому «длинный» является гетерологичным.
иерархия
Система, в которой сущности ранжируются друг над другом на основе определенных критериев, часто используемая в контексте наборов, классов или организационных структур. В логике важной является иерархия Тарского . В теории множеств важным является кумулятивная иерархия .
логика высшего порядка
Форма логики, которая расширяет логику первого порядка, позволяя проводить количественную оценку предикатов и, возможно, других объектов более высокого порядка, а не только отдельных лиц.
квантор высшего порядка
Квантор, связывающий переменную более высокого порядка . [153] [154]
неопределенность высшего порядка
Неясность применения самой концепции неопределённости, особенно в контексте предикатов, которые являются пограничными случаями пограничных случаев. [37] [155]
переменная высшего порядка
Переменная в логике высшего порядка, представляющая функцию, предикат или отношение, а не отдельный объект. [156] [157]
программа Гильберта
Амбициозный проект, предложенный Дэвидом Гильбертом, чтобы обеспечить прочную основу для всей математики путем ее формализации и доказательства ее непротиворечивости с помощью финитарных методов.
холизм
Идея о том, что системы и их свойства следует анализировать как целое, а не только как совокупность частей, часто обсуждается в контексте смысла, знания и философии науки.
гомоморфизм
Сохраняющее структуру отображение между двумя алгебраическими структурами одного типа, такими как группы, кольца или векторные пространства, которое учитывает операции структур.
рог
Относится к любой из двух альтернатив, представленных дилеммой . [158] [159]
Принцип Юма
Принцип, согласно которому количество объектов в одной коллекции равно количеству объектов в другой коллекции тогда и только тогда, когда между двумя коллекциями существует взаимно однозначное соответствие.
гибридная логика
Тип модальной логики, который включает дополнительные синтаксические элементы для прямой ссылки на миры в своих моделях, что обеспечивает большую выразительную силу, чем стандартная модальная логика.
гипотетический силлогизм
Форма логического аргумента, состоящая из трех утверждений: двух условных утверждений и заключения, которое выводит связь между антецедентом первого условного предложения и следствием второго.

Я [ править ]

идемпотент
Свойство определенных операций, при котором многократное применение операции имеет тот же эффект, что и однократное ее применение. Например, объединение множества само с собой и есть само множество.
личность
Отношение, которое каждая сущность имеет только к самой себе; или принцип, согласно которому сущность такая же, как и она сама.
функция идентификации
Функция, которая всегда возвращает входные данные в качестве выходных для любого заданного ввода.
личность неразличимого
Принцип, гласящий, что если две сущности имеют общие свойства, они должны быть идентичными.
если только
Аббревиатура от «тогда и только тогда», обозначающая двуусловную логическую связку, указывающую на взаимную импликацию.
Незнание списка.
Логическая ошибка, когда аргумент упускает суть или затрагивает проблему, отличную от той, которая была поднята, также известная как упущение сути.
изображение
Набор всех выходов функции из заданного набора входов.
немедленный вывод
Процесс рассуждения, при котором вывод выводится непосредственно из одной посылки без каких-либо промежуточных шагов.
императив
Тип лингвистического выражения или логической формы, выражающей команду, запрос или инструкцию.
императивная логика
Раздел логики, изучающий формальные свойства императивов или команд, отличные от указательных утверждений.
импликация
Логическое отношение, при котором истинность одного утверждения (антецедента) приводит к истинности другого утверждения (последствия).
неявное определение
Определение, которое определяет сущность или концепцию не путем прямого перечисления ее свойств, а через ее отношения к другим сущностям или концепциям. [131] [160]
невозможность
Состояние или состояние чего-то невозможного ни логически, ни физически.
невозможный мир
Гипотетическая конструкция в модальной логике, представляющая невозможное развитие вещей, используемая для исследования концепций необходимости и возможности.
непредикативное определение
Определение, которое относится к множеству, включающему определяемую сущность, что часто приводит к парадоксам в наивных теориях множеств.
инклюзивная дизъюнкция
Логическая операция, возвращающая значение true, если хотя бы один из ее операндов имеет значение true; соответствует логическому ИЛИ.
инклюзивная логика первого порядка
Вариант логики первого порядка, допускающий пустые домены, в отличие от стандартного требования, чтобы домены содержали хотя бы один объект.
включительно или
Логическая операция дизъюнкции, которая истинна, если один или оба ее операнда истинны.
незавершенность
Свойство логической или математической системы, в которой не все истины внутри системы могут быть доказаны с использованием правил системы.
теорема о неполноте
Теорема Гёделя, утверждающая, что любая непротиворечивая формальная система, способная выражать основные арифметические действия, не может быть одновременно полной и непротиворечивой.
непоследовательность
Состояние, содержащее противоречивые элементы, которые не могут быть истинными одновременно в рамках логической структуры.
непоследовательная арифметика
Арифметическая система, в которой можно вывести противоречие, нарушая принцип непротиворечивости.
неопределенное описание
Описание, которое не идентифицирует однозначно отдельное физическое или юридическое лицо, но относится к любому члену класса, удовлетворяющему определенному условию.
неограниченная расширяемость
Концепция, согласно которой определенные коллекции (например, набор всех наборов) не могут быть полностью перечислены, поскольку любая попытка их перечисления приводит к возможности создания новых членов. [161] [162] [163]
результат независимости
Открытие в логике и математике, согласно которому определенное утверждение не может быть подтверждено или опровергнуто в рамках данной системы, при условии, что аксиомы системы непротиворечивы.
логика, дружественная к независимости
Логика, которая расширяет логику первого порядка, чтобы обеспечить более тонкие выражения области действия и зависимости кванторов, особенно в контексте теоретико-игровой семантики.
независимый
Относится к паре предложений, которые не являются противоположными , субпротивоположными , противоречивыми , логически эквивалентными или не подразумеваются одно из другого (либо первое из второго, либо второе из первого). [164] [72]
неопределенность перевода
Инициация, предложенная WVO Quine, предполагающая, что ни один уникальный перевод между языками не может быть определен исключительно на основе эмпирических данных из-за недостаточного определения теорий данными.
индексный
Тип выражения, ссылка на которое может меняться в зависимости от контекста, в котором оно используется, например «я», «здесь» и «сейчас».
ориентировочный условный
Условное утверждение, используемое для выражения фактического значения или предсказания реальных ситуаций, в отличие от контрфактических или гипотетических утверждений.
косвенное доказательство
Метод доказательства, при котором предполагается отрицание доказываемого утверждения и выводится противоречие, тем самым доказывая исходное утверждение от противного.
неразличимость
Невозможность различать объекты из-за того, что они обладают всеми свойствами, связана с принципом тождества неразличимого.
неразличимость тождеств
Принцип, гласящий, что если два объекта идентичны, то они обладают одинаковыми свойствами.
аргумент незаменимости
Аргумент, предполагающий, что если математическая сущность необходима для наших лучших научных теорий, то мы должны согласиться на ее существование.
индивидуальный
Сущность, считающаяся неделимой или атомистической по своей природе, часто обсуждаемая в контексте метафизики, логики и философии языка.
индукция
См. индуктивный аргумент , индукция по правильно составленным формулам , математическая индукция , сильная математическая индукция , трансфинитная индукция , слабая математическая индукция.
индукция по корректным формулам
Метод, используемый в формальной логике и математике для доказательства свойств всех правильно составленных формул, показывая, что они справедливы для основных формул и сохраняются при операциях, генерирующих новые формулы. [6]
индукционная схема
Синоним математической индукции .
индуктивный аргумент
Аргумент, который обеспечивает вероятное подтверждение своего вывода, в отличие от дедуктивных аргументов, которые обеспечивают убедительную поддержку.
индуктивное доказательство
Метод доказательства, используемый в математике для доказательства утверждений обо всех натуральных числах или других упорядоченных множествах, основанный на принципе индукции.
индуктивный шаг
В индуктивном доказательстве - шаг, который показывает, выполняется ли свойство для произвольного элемента. , это также справедливо для следующего элемента .
вывод
Процесс вывода логических выводов из предпосылок, которые известны или считаются истинными.
правило вывода
Логическое правило, описывающее условия, при которых из посылок можно обоснованно сделать определенные выводы.
вывод к лучшему объяснению
Форма абдуктивного рассуждения, которая предполагает, что мы должны принять гипотезу, которая лучше всего объясняет соответствующие доказательства.
умозаключение
Философская точка зрения, согласно которой значение высказывания определяется правилами, регулирующими его использование, и выводами, которые можно из него сделать.
бесконечный
Относится к операциям, языкам или логике, которые допускают выражения бесконечной длины, например бесконечная логика.
бесконечно малый
Величина, которая ближе к нулю, чем любое положительное действительное число, но не ноль, используемое в нестандартном анализе.
инфиксная запись
Обозначение, в котором оператор помещается между операндами, как в стандартных арифметических выражениях.
неформальное заблуждение
Ошибка в рассуждении, возникающая в аргументах на естественном языке из-за двусмысленности, неуместности или других факторов, находящихся за пределами формальной структуры аргумента.
инъекция
Функция, которая отображает отдельные элементы своей области определения в отдельные элементы своей кодомена, также известная как инъективная функция или функция «один к одному».
инъективный
Описание функции, в которой каждый элемент кодомена сопоставляется не более чем с одним элементом домена.
внутренняя модель
Внутренняя модель теории — это модель, полученная путем использования подструктуры другой модели.
в ребусе неопределенность
Мнение о том, что неопределенность — это особенность мира, а не языка или человеческого знания. [123] Сравните эпистемическую неопределенность и семантическую неопределенность . См. также онтическая неопределённость .
нерастворимость
Неразрешимые проблемы или парадоксы, особенно те, которые связаны с самореференцией и логическими противоречиями, такие как парадокс лжеца.
создание экземпляра
Процесс замены связанных переменных константами с устранением связывающих их кванторов. [165] [166] [167]
предполагаемая интерпретация
Стандартное или общепринятое значение, присвоенное символам и выражениям формального языка в определенном контексте или теории.
намерение
Внутреннее содержание или существенные свойства и значения понятия или термина, в отличие от его расширения, которое относится к ряду вещей, к которым оно применимо.
намеренное определение
Определение, которое определяет основные свойства определяемого термина, уделяя особое внимание содержанию понятия, а не его расширению.
интенсиональная логика
Логика, которая имеет дело с интенсиональными аспектами значения, такими как убеждение, необходимость и возможность, различая логически эквивалентные выражения, имеющие разные модальные свойства.
промежуточная логика
Любая логическая система, которая по силе находится между интуиционистской логикой и классической логикой, допуская различия, недопустимые в классической логике.
интерполяционная теорема
Результат, утверждающий, что если формула доказуемо, то существует формула содержащий только нелогические символы, общие для и такой, что и оба доказуемы.
интерпретация
Присвоение значений символам и выражениям формального языка или способ понимания или интерпретации определенного набора терминов.
вопросительный
Относящийся к вопросам или самому акту допроса.
вопросительная логика
См. эротическую логику .
правило введения
В логике - правило, позволяющее вводить связку в доказательство и определяющее, как эту связку можно логически вывести.
интуиционизм
Философия математики, отрицающая реальность математической бесконечности и полноту математической истины, требующая конструктивных доказательств.
интуиционистская логика
Система логики, отражающая принципы интуиционизма, отвергающая закон исключенного третьего и требующая более конструктивных доказательств существования.
интуиционистская математика
Математика, основанная на интуиционистской логике, подчеркивающая конструктивные методы и отвергающая неконструктивные принципы, такие как закон исключенного третьего.
неверный
Относится к аргументу, вывод которого логически не следует из его посылок.
неверный дедуктивный аргумент
Дедуктивный аргумент, который не может убедительно подтвердить свой вывод из-за ошибки в логической структуре.
обратный
Операция или функция, которая обращает эффект другой операции или функции.
инволюция
Операция, обратная самой себе, то есть применение ее дважды возвращает в исходное состояние.
Я-предложение
В традиционной логике — определенное утвердительное категорическое суждение, утверждающее, что некоторые члены класса субъектов являются членами класса предикатов. [2] [168]
нерефлексивность
Свойство отношения, в котором ни один элемент не связан сам с собой.
«есть» идентичности
Использование глагола «is» для обозначения числового тождества между двумя объектами. [169] [170] [171]
«есть» предикации
Использование глагола «is» означает, что объекту приписывается свойство или характеристика. [169] [170] [171]
остров рыцарей и лжецов
Вымышленный сценарий, используемый в логических головоломках, где жители - либо рыцари, которые всегда говорят правду, либо мошенники, которые всегда лгут, что создает проблемы для дедуктивных рассуждений.
изоморфизм
Биективное (взаимно-однозначное и на) соответствие между двумя структурами, которое сохраняет операции и отношения структур, указывая, что они имеют одинаковую форму или структуру.
итерация
Процесс повторения набора операций или процедуры несколько раз, каждый раз применяя его к результату предыдущего шага.
итерационная теорема
Синоним слова S   m
n
 
теорема
.

Дж [ править ]

совместное отрицание
Логическая связка в логике высказываний, эквивалентная оператору nor , которая истинна тогда и только тогда, когда оба соединяемых ею предложения ложны. Он отрицает совместное утверждение обоих положений.

К [ править ]

К3
Трехзначная логика K 3 , принадлежащая Стивену Коулу Клини .
Соединения Клини
Логические связки, определяемые с использованием трехзначной логики Клини , которая включает в себя третье истинностное значение (неопределенное или неизвестное) в дополнение к истинным и ложным, вмещающим неопределенные суждения. [172]
мошенники
В логических головоломках фигурируют личности, которые всегда лгут. Используется в таких сценариях, как «Остров рыцарей и лжецов», для изучения логических выводов.
рыцари
В логических головоломках встречаются личности, которые всегда говорят правду. Они используются вместе с лжецами в сценариях, бросающих вызов дедуктивным рассуждениям.
парадокс познаваемости
Парадокс, возникающий из предположения, что если утверждение истинно, то можно знать, что оно истинно, что приводит к противоречиям в определенных эпистемических рамках.
парадокс знающего
Парадокс, связанный с самореференцией и эпистемической логикой, обычно включающий утверждение, которое утверждает свою недоказуемость или непознаваемость.
Логика Крейзеля-Патнэма
Логика, разработанная для обработки количественных оценок и модальностей высшего порядка, отражающая дискуссии об основах математики Крейзеля и Патнэма.
Семантика Крипке
Структура интерпретации модальной логики с использованием возможных миров, разработанная Солом Крипке и позволяющая проводить формальный анализ необходимости, возможности и других модальных понятий.
Структура Крипке
Математическая структура, используемая в модальной логике и информатике для моделирования систем, которые могут находиться в различных состояниях и переходах между ними, образуя основу семантики Крипке.

Л [ править ]

лямбда-исчисление
Формальная система в математической логике и информатике для выражения вычислений, основанная на абстракции и применении функций с использованием привязки и замены переменных.
Мягкое исчисление
Математическая система моделирования синтаксиса естественных языков, основанная на категориальной грамматике, подчеркивающая роль операций и типов.
язык
Система общения, которая позволяет людям сотрудничать, выражать идеи, эмоции и, в контексте формальных языков, создавать и передавать точные значения. См. формальный язык , метаязык , естественный язык , объектный язык , подъязык , перевод .
закон непротиворечия
Фундаментальный принцип классической логики, утверждающий, что противоречивые утверждения не могут быть истинными в одном и том же смысле одновременно.
левое поле
Смотрите домен .
Закон Лейбница
Принцип идентичности неразличимых , гласящий, что если две сущности обладают одинаковыми свойствами, то они идентичны.
лемма
Предложение, доказанное или предполагаемое истинным, используемое для доказательства других предложений или теорем.
парадокс лжеца
Парадокс самореференции, включающий утверждение, которое объявляет себя ложным, что приводит к противоречию, если оно истинно или ложно.
лжец приговор
Предложение, утверждающее свою ложность, например: «Это предложение ложно», создает основу для парадокса лжеца . [173]
результат ограничения
Результат, устанавливающий границу или предел того, чего можно достичь в рамках конкретной логической или математической системы, часто связанный с неполнотой или неразрешимостью. [6]
линейная логика
Подобласть логики, в которой особое внимание уделяется концепции ресурсов, в которой логические операции потребляют свои аргументы, в отличие от того, как классическая логика рассматривает предположения как допускающие многократное использование.
линейный порядок
Общий порядок в множестве, в котором каждая пара элементов сравнима, то есть из любых двух элементов один из них больше, меньше или равен другому.
линейный порядок
Другой термин, обозначающий линейный порядок, подчеркивающий расположение элементов в последовательности, где каждый из них сопоставим с другими одним и недвусмысленным образом.
Парадокс Леба
Парадокс в модальной логике, возникающий в результате попытки формализовать доказуемость утверждения внутри системы, приводящий к выводам, которые кажутся противоречивыми или противоречивыми.
Теорема Леба
Теорема математической логики, обеспечивающая условия, при которых утверждение о ее собственной доказуемости доказуемо, связано с теоремами Гёделя о неполноте.
логика
Систематическое изучение форм действительных выводов, включая структуры, которые позволяют или вынуждают к определенным выводам с учетом определенных предпосылок.
логический вентиль
Физическое устройство, реализующее логическую функцию, используемое в цифровых схемах для выполнения логических операций над одним или несколькими двоичными входами для получения одного двоичного выхода.
логическая машина
Механическое устройство для выполнения формальной логики, такое как демонстратор Стэнхоупа Джевона или логическое пианино .
логика атрибутов
См . монадическую логику первого порядка .
логика условных операторов
См. условную логику .
Логика парадокса
Логическая система, которая допускает истинность некоторых противоречий, бросает вызов традиционному закону непротиворечия и исследует последствия парадоксальных утверждений.
логика вопросов и ответов
См. эротическую логику .
логика отношений
Раздел логики, занимающийся изучением отношений, включая их свойства, состав и инверсию, а также того, как они взаимодействуют с логическими операторами.
логика слабого исключенного среднего
Промежуточная логика, полученная добавлением всех случаев слабого исключенного среднего к пропозициональной логике . [174] [175] Также называется «КС» и « Янкова ». логика [175]
логический антиреализм
Философская позиция, согласно которой логические истины не соответствуют независимой реальности, а являются продуктами человеческих соглашений, языка или мыслительных процессов. [6]
логическая связка
Символ или слово, используемые в логике для соединения предложений или предложений, образуя более сложные выражения, передающие такие отношения, как соединение, дизъюнкция и отрицание.
логическое следствие
Отношения между утверждениями, при которых истинность одной или нескольких посылок требует истинности вывода, основанного на логической структуре утверждений. См. семантическое следствие и синтаксическое следствие .
логическая константа
Символ в логике, который имеет одно и то же значение во всех интерпретациях, таких как связки и кванторы, в отличие от переменных, интерпретации которых могут различаться.
логическая эквивалентность
Связь между утверждениями, которые верны при одних и тех же условиях, позволяющая заменять их друг другом в логических доказательствах.
логическая ложь
Утверждение, которое является ложным при всех возможных интерпретациях, также известное как противоречие. [176]
логическая форма
Абстрактная структура утверждения или аргумента, представляющая логические связи между его компонентами независимо от конкретного содержания.
логическое следствие
Логическое отношение, которое существует между предложениями, когда истинность одного (антецедента) гарантирует истинность другого (последствия).
логический монизм
Философская позиция, согласно которой существует только одна правильная логика или логическая система, которая точно отражает принципы обоснованного рассуждения. [177]
логический оператор
Символ или функция в логике, которая применяется к одному или нескольким предложениям, создавая другое предложение, выражающее логическую операцию, такую ​​​​как отрицание, соединение или дизъюнкция.
логический парадокс
Утверждение или группа утверждений, которые приводят к противоречию или ситуации, которая бросает вызов интуиции, часто подчеркивая ограничения или проблемы внутри логической системы. Иногда выделяют смысловой парадокс .
логический плюрализм
Мнение о том, что существует множество одинаково правильных логик или систем логики, которые охватывают различные аспекты рассуждений или аргументации. [177] [178]
логическая структура
См. логическую форму .
логическая теорема
Утверждение, истинность которого доказана в рамках конкретной системы логики, основанной на аксиомах системы и правилах вывода.
логическая истина
Утверждение, которое верно во всех возможных мирах или при всех возможных интерпретациях благодаря своей логической форме, а не содержанию его терминов.
логическая обоснованность
Свойство аргумента, при котором, если посылки истинны, вывод обязательно следует из-за структуры аргумента, а не из-за специфической природы посылок или заключения.
логически эквивалентен
Обращение к утверждениям, которые имеют одинаковое истинностное значение во всех возможных сценариях, что указывает на то, что они взаимозаменяемы в логических рассуждениях.
логицизм
Философская вера в то, что математику можно свести к логике и что все математические истины можно вывести из логических аксиом и определений.
Теорема Левенхайма – Скулема
Теорема математической логики, утверждающая, что любая счетная теория с бесконечной моделью имеет модели всех бесконечных мощностей, подчеркивает ограничения логики первого порядка в управлении размерами ее моделей.
LP
См. «Логика парадокса» .

М [ править ]

главный соединительный элемент
См. доминантную связку .
главный оператор
См. доминантную связку .
главный соединительный элемент
См. доминантную связку . [179]
основная предпосылка
Посылка силлогизма, содержащая главный термин, который является предикатом заключения.
основной термин
Термин, выступающий в качестве сказуемого в заключении силлогизма.
многосортная логика
Вариант логики первого порядка, который допускает несколько областей дискурса, при этом переменные и кванторы различаются по сорту или типу объектов, в пределах которых они располагаются.
многозначная логика
Логическая система, которая выходит за рамки классической двузначной логики истинно/ложно и включает дополнительные значения истинности, учитывающие неопределенность, неопределенность или уровни истинности.
принцип Маркова
Принцип конструктивной математики, утверждающий, что если математический объект не может не обладать определенным свойством, то существует объект с этим свойством.
материал двуусловный
Логическая связка, которая истинна тогда и только тогда, когда оба операнда имеют одинаковое истинностное значение, также известная как оператор «тогда и только если».
материал условный
Логическая связка, обычно представляемая словами «если… то…», которая является истинной, если только антецедент не истинен, а консеквент – ложен.
материальное последствие
Отношения между утверждениями, при которых истинность одного (антецедента) приводит к истинности другого (последствия), основанные на содержании утверждений, а не на их логической форме . [147] [148] [149] Сравните формальное следствие . См. также семантическое последствие . Не путать с материальным смыслом .
материальный эквивалент
Отношение между предложениями, имеющими одно и то же истинностное значение; их истинность или ложность при всех возможных условиях одинакова.
материальный смысл
Другой термин для обозначения материального условного предложения, подчеркивающий импликацию, основанную на содержательном содержании задействованных предложений.
материально эквивалентный
Описание предложений, которые истинны при одних и тех же условиях или имеют одинаковое истинностное значение во всех возможных мирах.
математический абстракционизм
Философская позиция, рассматривающая математические сущности как абстракции физических объектов или свойств, а не как существующие по своей сути объекты. [180] [181]
математическая индукция
Метод доказательства, используемый в математике для доказательства утверждений о натуральных числах, основанный на доказательстве базового случая и индуктивном шаге.
схема математической индукции
Синоним математической индукции . [182] [183]
математическая логика
Изучение логики в рамках математических рассуждений с упором на математические свойства логических систем.
матрица
часть Свободная от кванторов формулы в пренексной нормальной форме . [184] [185]
максимальное согласованное множество
Набор формул в логической системе, последовательный (из него не могут быть выведены противоречия) и максимальный (нельзя добавить никакие дополнительные формулы, не вызвав противоречия).
Мейнонгианство
Философская теория, постулирующая существование несуществующих объектов , названная в честь Алексиуса Мейнонга , бросающая вызов традиционным онтологическим категориям. [180]
упомянуть
В философии, особенно при обсуждении языка, «упоминание» предполагает ссылку на само слово или фразу, а не на использование их семантического содержания. Обычно это происходит при обсуждении слова как лингвистической сущности. В различении использования и упоминания «упоминание» обозначается использованием кавычек или других индикаторов того, что слова являются предметом обсуждения, а не инструментом для общения. Например, в предложении «Слово «книги» состоит из пяти букв» слово «книги» упоминается, а не употребляется .
просто возможно
Гипотетические или возможные сущности, которые на самом деле не существуют, но могли бы существовать при других обстоятельствах. [186]
метаязык
Язык, используемый для описания, обсуждения или анализа другого языка (объектного языка), особенно в контексте логики и лингвистики.
металогика
Изучение свойств логических систем и языков, включая их непротиворечивость, полноту и разрешимость.
метаматематика
Раздел математики, изучающий математические системы и теории с точки зрения более высокого уровня, часто с использованием методов математической логики.
метатеория
Теорема о математической теории или логической системе, устанавливающая свойства или результаты о самой системе.
метатеория
Теоретический анализ математических теорий или логических систем с акцентом на их свойства, структуру и основы.
средний срок
В силлогизме - термин, который появляется в обеих посылках, но не в заключении и служит связующим звеном между главным и второстепенным терминами.
минимализм
Дефляционистский ) на истину, согласно которому все примеры Тарского Т -схемы тривиально или ( аналитически взгляд истинны . [187]
минимизация
В теории рекурсивных функций — операция поиска наименьшего свидетеля разрешимого предиката. [188]
второстепенная посылка
Посылка силлогизма, включающая в себя второстепенный термин, являющийся предметом заключения.
второстепенный срок
Термин, который выступает в качестве подлежащего в заключении силлогизма.
Философская позиция, согласно которой возможны только действительные, существующие объекты, отрицающая существование просто возможных объектов.
Позиция нейтралитета или скептицизма относительно истинности модальных суждений, особенно относительно необходимости и возможности. [189] [190]
Мнение о том, что модальные утверждения (о возможности и необходимости) можно рассматривать как полезные фикции, не предполагая при этом существования возможных миров.
Раздел логики, изучающий такие модальности, как необходимость, возможность и связанные с ними понятия, часто формализуемые с помощью модальных операторов.
Логический оператор , который изменяет истинностное значение утверждения, выражая модальность, например необходимость ( ) или возможность ( ).
Мнение о том, что возможные, но неактуальные сущности существуют в некотором смысле или в возможных мирах, в отличие от актуализма . [186]
Философская позиция, согласно которой возможные миры так же реальны, как и реальный мир, и что люди могут существовать в разных возможных мирах.
модальность
Качество предложений, которое выражает способ или способ, особенно с точки зрения необходимости, возможности и других связанных понятий.
модель
В логике и математике — структура, интерпретирующая символы языка и удовлетворяющая утверждениям теории или системы.
теоретико-модельное следствие
См. семантическое следствие . [191] [192] [193]
теоретико-модельная валидность
См. семантическая достоверность .
теория моделей
Раздел математической логики, изучающий отношения между формальными языками и их интерпретациями или моделями.
установка настроения
Правило вывода, позволяющее вывести заключение из условного высказывания и его антецедента, формализованного так, как будто и , затем .
модус толленс
Правило вывода, позволяющее вывести вывод из условного высказывания и отрицания его следствия, формализованного так, как будто и , затем .
молекула
В логике и философии часто используется метафорически для обозначения сложной сущности или концепции, состоящей из более простых, атомарных частей. [194]
монадическая логика первого порядка
Вариант логики первого порядка, ограниченный предикатами, принимающими только один аргумент, фокусирующийся на свойствах отдельных объектов, а не на отношениях между ними.
монадическая функция
См. унарную функцию .
монадический предикат
Предикат, принимающий один аргумент и используемый для выражения свойств объектов или сущностей в области дискурса. [195]
монадическая логика предикатов
Логика первого порядка с предикатами, принимающими только один аргумент, позволяющая выражать свойства отдельных лиц.
монадическое отношение
См. унарное отношение .
монизм
См. логический монизм .
мономорфизм
Морфизм в теории категорий, который можно сокращать слева, что означает, что если две композиции с ним равны, то и другие морфизмы должны быть равны, что похоже на инъективную функцию в теории множеств.
монотонная логика
Тип логики, в котором добавление новых посылок к набору не уменьшает набор выводов, которые могут быть получены, гарантируя, что выводы сохраняются при добавлении новой информации.
монотонность
Свойство функции или процесса, сохраняющее порядок, в логике относится к системам, в которых выводы, полученные на основе набора предпосылок, не становятся недействительными при добавлении дополнительных предпосылок.
настроение
См. силлогическое наклонение .
мультимодальная логика
Система модальной логики, которая включает в себя более одного вида модальности, например необходимость, возможность, знание и убеждение.
многовалентная логика
Другой термин для обозначения многозначной логики, подчеркивающий наличие более двух истинностных значений помимо классических истинного и ложного.
взаимоисключающие
Относится к событиям или утверждениям, которые не могут произойти или быть истинными одновременно, что указывает на логические или статистические отношения исключения.

Н [ править ]

нанд
Логическая операция, означающая «не и»; он дает истинный результат для всех входных комбинаций, за исключением случая, когда все входные данные истинны. Это фундаментальная операция, поскольку любая логическая функция может быть построена с использованием только операций NAND.
n-арная функция
Функция, принимающая n аргументов, где n — натуральное число, обобщающая концепцию бинарных функций на функции любой арности.
n-арное отношение
Отношение, включающее n элементов, где n — натуральное число, расширяющее концепцию бинарных отношений на отношения между более чем двумя объектами.
естественный вычет
Система логического вывода, которая пытается отразить интуитивные способы мышления человека, состоящая из набора правил вывода для введения и устранения логических связок.
естественный язык
Язык, который естественным образом развился в человеческом обществе как средство общения, в отличие от искусственных или сконструированных языков.
натуральные числа
Набор положительных целых чисел, часто обозначаемый , и обычно включает ноль. Используется в качестве основы для подсчета и упорядочения.
необходимое условие
Условие, которое должно быть удовлетворено, чтобы утверждение было истинным, но само по себе недостаточно для гарантии истинности утверждения.
правило необходимости
В модальной логике — правило, гласящее, что если предложение является теоремой, то его необходимость также является теоремой. [105]
необходимость
Модальное качество, указывающее, что предложение истинно во всех возможных мирах или при всех возможных обстоятельствах.
необходимость удостоверения личности
Принцип, гласящий, что если два объекта идентичны, они обязательно идентичны во всех возможных мирах.
отрицание
Логическая операция, инвертирующая истинностное значение предложения; оно превращает истинное утверждение в ложное и наоборот.
полнота отрицания
Свойство логической системы, в которой каждое утверждение или его отрицание доказуемо внутри системы. [196] [197]
последовательность отрицания
Непротиворечивость логической системы, в которой ни одно утверждение не является одновременно доказуемым и опровергнутым, включая его отрицание. [198] [199] [200]
устранение отрицания
Правило естественной дедукции, позволяющее при определенных условиях получить вывод путем устранения отрицания.
введение отрицания
Правило естественной дедукции, позволяющее вводить отрицание в доказательство, обычно путем вывода противоречия из предположения, что отрицание ложно.
нормальная форма отрицания
Способ выражения логических формул, при котором отрицание применяется только непосредственно к атомарным суждениям, а единственными другими разрешенными связками являются конъюнкция и дизъюнкция.
отрицательное предложение
Предложение, утверждающее несуществование или отсутствие чего-либо или отрицающее какое-либо свойство объекта. [201] [202]
неофреганство
Философская позиция, пересматривающая логицизм Фреге с целью обосновать математику, особенно арифметику и анализ, в логике посредством использования принципа Юма и других аксиом.
неологизм
Движение в философии математики, стремящееся возродить логицизм, проект основания математики на логике посредством новых идей и подходов, особенно после критики традиционного логицизма.
Новые фонды
Система теории множеств, предложенная У. В. Куайном с характерной схемой аксиом, призванной избежать парадоксов наивной теории множеств, допуская при этом универсальное множество.
номинализм
Философская точка зрения, согласно которой абстрактные понятия, общие термины или универсалии не имеют независимого существования, а существуют только как имена или ярлыки для групп отдельных объектов.
неалетическая модальная логика
Форма модальной логики, которая имеет дело с модусами истины, выходящими за рамки алетических модусов необходимости и возможности, такими как деонтические (долг и разрешение) или эпистемические (знание и убеждение) модальности. [203] [204]
неклассическая логика
Любая логическая система, которая расходится с принципами классической логики, включая интуиционистскую логику, многозначную логику, модальную логику и другие, которые бросают вызов классическим предположениям или вводят новые принципы.
некоммутативная логика
Логическая система, в которой порядок применения операций влияет на результат, в отличие от классической логики, где такие операции, как соединение и дизъюнкция, являются коммутативными.
недетерминированное полиномиальное время
Класс сложности NP, состоящий из задач решения, для которых ответ «да» может быть проверен детерминированной машиной Тьюринга за полиномиальное время при наличии правильного сертификата или свидетеля.
недетерминированная машина Тьюринга
Теоретическая модель вычислений, которая на каждом этапе может делать «выбор» из множества возможностей, позволяя одновременно исследовать множество возможных ветвей выполнения.
нестандартная логика
Логики, которые расходятся с классической логикой или расширяют ее, включая, среди прочего, неклассическую логику, многозначную логику и модальную логику. [205] [206] Также называется неклассической логикой .
нестандартная модель
Модель теории, которая удовлетворяет аксиомам теории, но имеет свойства, не предусмотренные исходной формулировкой, часто раскрывающие результаты непротиворечивости или независимости теории.
нормальная форма
В логике - стандартизированный способ выражения логических формул, таких как конъюнктивная нормальная форма (КНФ) или дизъюнктивная нормальная форма (ДНФ), для облегчения анализа или вычислений.
нормальная модальная логика
Класс модальных логик, включающий правило необходимости и аксиому распределения, позволяющий вывести необходимые истины из заданных аксиом и правил вывода.
НАПРИМЕР
Класс сложности (недетерминированное полиномиальное время), включающий задачи решения, для которых ответ «да» может быть проверен за полиномиальное время с помощью детерминированной машины Тьюринга.
NP-полный
Класс задач решения в NP, для которых любая проблема в NP может быть сведена к ней за полиномиальное время и чье решение может быть проверено за полиномиальное время; считается одной из самых сложных проблем в НП.
числовой квантификатор
Квантор, определяющий точное количество случаев, для которых предикат имеет место в области дискурса, например «ровно три», «по крайней мере пять». [207] [208] [209]

О [ править ]

объектный язык
Язык, который изучается, анализируется или используется для построения утверждений в логической системе, в отличие от метаязыка, используемого для разговоров об объектном языке. [210] [211]
объективная количественная оценка
Тип квантора в формальной логике, который количественно оценивает объекты в области дискурса, в отличие от замены переменных константами или другими выражениями. [212] [213]
лицевой
В традиционной логике - процесс отрицания предиката категорического суждения и изменения его качества (с утвердительного на отрицательное или наоборот) без изменения его истинностного значения.
неприятие
Операция формирования лицевой стороны категорического суждения, приводящая к эквивалентному высказыванию с отрицаемым предикатом и противоположным качеством.
один к одному
Функция или отображение одного набора в другой, где каждый элемент первого набора связан с уникальным элементом второго набора; также известный как инъективный.
онтическая неопределенность
Неясность, присущая природе самой реальности, в отличие от семантической или эпистемической неопределенности , которая относится к языку или знанию соответственно. [214] [215] См. также в ребусе Неясность .
на
Функция или отображение одного набора в другой, где каждый элемент второго набора связан хотя бы с одним элементом первого набора; также известный как сюръективный.
открытая формула
Формула на формальном языке, содержащая свободные переменные, то есть ее нельзя определить как истинную или ложную, пока переменные не будут связаны или указаны.
открытая пара
Парадокс о паре утверждений, отрицающих друг друга. [216] [217]
открытый срок
Выражение на формальном языке, содержащее свободные переменные , которое не обозначает конкретный объект или значение истинности до тех пор, пока переменные не будут созданы.
о-предложение
В традиционной логике — конкретное отрицательное категорическое суждение, утверждающее, что некоторые члены класса субъектов не являются членами класса предикатов. [2] [218]
или
Логическая связка (дизъюнкция), которая связывает предложения таким образом, что сложное предложение истинно, если хотя бы одно из связанных предложений истинно.
упорядоченная логика
Логика без ослаблений и перестановок . [219] [220]
упорядоченный n-кортеж
Последовательность элементов, в которой порядок элементов имеет значение, обобщая концепцию упорядоченной пары на последовательности любой длины.
заказанная пара
Фундаментальная структура в математике и логике, состоящая из двух элементов, расположенных в определенном порядке, обычно представленном как (a, b).
наглядное определение
Определение, которое объясняет значение термина или символа, указывая на примеры и контрпримеры концепции, которую он представляет.

П [ править ]

функция сопряжения
Функция, которая уникальным образом связывает пары чисел с одним числом, позволяя кодировать пары как отдельные значения.
паранепротиворечивая логика
Неклассическая логика, допускающая существование противоречий, не приводящая к абсурду, полезная при моделировании противоречивых, но нетривиальных систем.
парадокс
Утверждение или ситуация, которые противоречат сами себе или бросают вызов интуиции, часто бросая вызов существующему пониманию логики и истины.
парадоксы материального подтекста
Парадоксы, возникающие из-за контринтуитивных последствий материального условного предложения, особенно когда антецедент ложен или когда между антецедентом и следствием нет причинной или необходимой связи.
параметр
Параметр — это выражение, референт которого предполагается фиксированным относительно конкретной ситуации, но значение которого может меняться в зависимости от ситуации.
частичная логика
Логическая система, которая допускает утверждения, которые не являются ни истинными, ни ложными, вмещающими неопределенные термины или неопределенные значения истинности. [221] [222]
частное предложение
В традиционной логике — утверждение, утверждающее что-то о некоторых членах класса, а не обо всех членах.
Арифметика Пеано
Формальная система арифметики, основанная на аксиомах, предложенных Джузеппе Пеано и лежащих в основе теории натуральных чисел.
Закон Пирса
Принцип в логике(( это справедливо в классической, но не в интуиционистской логике, названной в честь Чарльза Сандерса Пирса.
перестановка
Структурное правило , позволяющее поменять местами две формулы, находящиеся по одну сторону стрелки. [223] [224]
инвариант перестановки
Свойство функции или отношения, которое остается неизменным при перестановке элементов ее аргументов. [225] [226]
убедительное определение
Определение, призванное повлиять на отношение или вызвать эмоции путем включения оценочного компонента, часто используемое в этических или политических аргументах.
принципиальная просьба
Также известное как постановка вопроса, неформальное заблуждение , когда заключение аргумента предполагается в одной из посылок.
Филонианский условный
Другой термин для обозначения материального условного выражения, подчеркивающий его использование в логике высказываний для представления утверждений типа «если… то…», не подразумевая причинной связи. [227]
философская логика
Изучение более абстрактных или теоретических аспектов логики, часто касающихся вопросов о референции, модальности, количественной оценке и структуре предложений и аргументов.
философия логики
Раздел философии, изучающий природу и сферу применения логики, включая предположения, методологии и последствия различных логических систем.
платонизм
В философии математики — точка зрения, согласно которой абстрактные математические объекты существуют независимо от человеческого мышления.
Платоновая борода
Метафорическое выражение, приписываемое Уилларду Ван Орману Куайну и относящееся к проблеме несуществующих сущностей и их свойств.
количественное определение множественного числа
Количественная оценка нескольких объектов или сущностей, рассматриваемых вместе, выходит за рамки единичной количественной оценки и позволяет выразить утверждения о множествах или группах.
плюрализм
См. логический плюрализм .
Польские обозначения
Префиксная запись для логики и арифметики, в которой операторы предшествуют своим операндам, что устраняет необходимость в круглых скобках для указания порядка операций.
полиадическая логика первого порядка
Логика первого порядка расширена за счет включения предикатов с более чем одним аргументом, что позволяет выражать отношения между несколькими объектами. [228] [229]
возможность
Модальность , указывающая, что предложение может быть истинным, даже если оно на самом деле не истинно; возможность возникновения какого-либо состояния вещей. [230] [231]
возможный мир
Гипотетический общий способ, которым все могло быть или могло быть, используемый в модальной логике для анализа возможности, необходимости и других модальных концепций.
Последовательность сообщений
Теория является «пост-непротиворечивой» (или абсолютно непротиворечивой) тогда и только тогда, когда на языке теории есть хотя бы одно утверждение, которое не является теоремой; в противном случае это «Сообщение несовместимо». [232] [233]
после этого, то из-за этого
Логическая ошибка, предполагающая, что если одно событие происходит после другого, то первое событие должно быть причиной второго.
прагматика
Изучение того, как контекст влияет на интерпретацию значения языка, помимо буквального значения слов или структуры предложений.
предикат
Функция или отношение, которое утверждает свойство или связь между индивидами или объектами в области дискурса.
функтор предиката
В логике - символ, представляющий функцию от отдельных лиц или кортежей отдельных лиц к истинностным значениям, по существу являющийся обобщением предиката. [234]
логика функтора предикатов
Логическая система, сочетающая элементы логики предикатов с концепцией функторов, позволяющая более выразительно представлять свойства и отношения.
предикатный термин
Второй член предложения в силлогизме . [235] [236]
префиксная запись
Способ написания математических и логических выражений, в которых оператор предшествует своим операндам, что облегчает однозначную интерпретацию без круглых скобок.
аксиома прелинейности
Формула (P → Q) ∨ (Q → P). [237] [238]
помещение
Утверждение в аргументе, которое обеспечивает поддержку или доказательство вывода.
пренексная нормальная форма
Форма логического выражения, в которой все квантификаторы перемещаются вперед, стандартизируя структуру логических операторов первого порядка.
примитивная рекурсия
Форма рекурсии, в которой функция определяется сама по себе с использованием более простых случаев с базовым случаем для остановки рекурсии.
примитивная рекурсивная функция
Функция, вычислимая с помощью примитивно-рекурсивного алгоритма, представляющая класс функций, которые могут быть определены начальными функциями и операциями композиции и примитивной рекурсии. [188]
примитивно-рекурсивное отношение
Отношение, которое может быть определено примитивно-рекурсивными функциями, характеризующими подмножество вычислимых отношений. [188]
главная связка
См. доминантную связку . [179]
вероятностное исчисление
Раздел математики, изучающий вероятность, включая законы и формулы, управляющие случайными величинами и событиями.
вероятностная логика
Логическая система, включающая вероятностные элементы для работы с неопределенностью и расширяющая классическую логику для управления степенями уверенности или вероятности.
теория вероятностей
Математическое исследование случайности и неопределенности с упором на анализ случайных величин, событий и процессов.
доказательство
Логический или математический аргумент, демонстрирующий истинность утверждения или теоремы, основанный на аксиомах, определениях и ранее установленных теоремах.
доказательство делами
Техника доказательства, которая делит доказательство на несколько случаев, показывая, что доказываемое утверждение справедливо в каждом случае.
доказательство по индукции
Метод математического доказательства, используемый для установления истинности бесконечного числа случаев, основанный на базовом случае и индуктивном шаге.
теория доказательств
Раздел математической логики, изучающий структуру и свойства математических доказательств с целью понять и формализовать процесс математических рассуждений.
теоретико-доказательное следствие
См. синтаксическое следствие . [239] [240]
теоретико-доказательная семантика
Альтернатива семантике условий истинности (также известной как теоретико-модельная семантика), ориентированная на доказательство, а не на истину. [83]
теоретико-доказательная валидность
Ссылка на действительное доказательство в теоретико-доказательной семантике . [83]
свойство
См. концепцию .
предложение
Декларативное утверждение, способное быть истинным или ложным, служащее основной смысловой единицей в логике и философии.
пропозициональная установка
Психическое состояние, выражаемое такими глаголами, как верить, желать, надеяться и знать, за которым следует предложение, отражающее отношение человека к истинности предложения.
пропозициональная связка
См. логическую связку .
пропозициональная функция
Выражение, которое становится предложением, когда его переменным присваиваются значения, по существу предикат, который может принимать один или несколько аргументов.
письмо с предложением
Переменная в логике высказываний, представляющая конкретное неопределенное предложение, используемая в качестве заполнителя в логических формулах.
пропозициональная логика
Раздел логики, который рассматривает предложения как единицы и использует пропозициональные связки для построения сложных утверждений, уделяя особое внимание истинностным значениям предложений.
прозентенциальный
Относится к теории, согласно которой некоторые выражения функционируют как целые предложения, а не относятся к объектам или описывают свойства.
прозентенциальная теория истины
Теория, которая рассматривает истину как прозентенциальный оператор, упрощающий анализ истинностных утверждений без привлечения суждений как сущностей. [241]
логика доказуемости
Раздел модальной логики, изучающий свойства доказуемости и модальностей, которые выражают понятия необходимости как доказуемости внутри формальной системы.
предикат доказуемости
Предикат, часто называемый « Бью », который выражает концепцию доказуемости утверждения в рамках данной формальной системы. [242]
установка псевдорежима
Синоним утверждения — аксиома о том, что (A ∧ (A → B)) → B. [243] [244]
пунктуация
В логике относится к круглым скобкам и скобкам . [245]
чистая логика первого порядка
Система логики первого порядка, не содержащая функциональных символов или тождеств, а только символы предикатов. [246]
чистая логика предикатов
См. чистую логику первого порядка .
Теоретико-модельный аргумент Патнэма
Аргумент Хилари Патнэм, бросающий вызов традиционному пониманию ссылки и истины, предполагающий, что семантический экстернализм приводит к радикальному скептицизму в отношении значений терминов и содержания мыслей. [247]

Вопрос [ править ]

качество
Относится к тому, является ли категорическое суждение утвердительным или отрицательным. [7] [8] [9]
количественная модальная логика
Расширение модальной логики, включающее такие квантификаторы, как «все» и «некоторые», позволяющее количественно применять выражения, связанные с необходимостью или возможностью, к отдельным лицам или свойствам. [248]
квантификатор
Логический оператор, определяющий количество экземпляров в области дискурса, удовлетворяющих открытой формуле, такой как «все», «некоторые» или «существует».
ошибка сдвига квантора
Логическая ошибка, заключающаяся в неправильной замене позиции квантора модальным оператором, приводящая к неверным выводам.
количество
Относится к категорическому суждению , являющемуся универсальным или частным. [7] [249] [9]
квантовая логика
Неклассическая логика, которая пытается уловить особенности квантовой механики, бросая вызов традиционным логическим принципам, таким как закон исключенного третьего и распределительность.
Куайн сказал
Принцип «Быть ​​— значит быть значением переменной», подчеркивающий онтологическую приверженность с точки зрения количественной оценки и переменных количественной теории. [250] [251] [252]
что нужно было продемонстрировать (QED)
Латинская фраза, означающая «что должно было быть продемонстрировано», традиционно используемая в конце математического доказательства или логического аргумента для обозначения его завершения.
цитата
Практика повторения слов или текста из другого источника, часто обозначаемая письменно кавычками. В логике это предполагает обращение к самому выражению, а не к его значению .

Р [ править ]

разветвленная теория типов
Расширение простой теории типов, включающее иерархию уровней, позволяющую различать объекты и функции разного порядка, чтобы избежать парадоксов, таких как парадокс Рассела.
приговор Рэмси
Способ выражения эмпирического содержания теории путем замены ее теоретических терминов экзистенциальными кванторами, названный в честь Фрэнка П. Рэмси.
тест Рэмси
Критерий оценки приемлемости условных утверждений с точки зрения пересмотра убеждений: если добавление антецедента к набору убеждений требует добавления консеквента для обеспечения последовательности, то условное утверждение принимается.
диапазон
Набор всех возможных выходных данных или значений, которые может создать функция при наличии всех возможных входных данных.
рекурсия
Процесс определения чего-либо с точки зрения самого себя, часто используемый в математике и информатике для определения функций, последовательностей и структур.
теорема о рекурсии
1. Основная теорема (анализ алгоритмов)
2. Теорема Клини о рекурсии
рекурсивное определение
Определение функции, набора или другого математического объекта, определяемого с точки зрения самого себя, с использованием базового случая и правила создания последующих элементов.
рекурсивная функция
Функция, которая может быть вычислена процедурой, которая вызывает сама себя прямо или косвенно с базовым случаем для предотвращения бесконечной рекурсии.
рекурсивная теория функций
Исследование рекурсивных функций и их свойств, включая их вычислимость и классификацию по иерархиям сложности.
рекурсивное отношение
Отношение, определенное в множестве, в котором отношение задается само по себе, что позволяет создавать сложные реляционные структуры из более простых.
рекурсивно аксиоматизируемая теория
Теория, для которой существует рекурсивный набор аксиом, который может генерировать все теоремы теории посредством логической дедукции. [253] [254] [255]
отвлекающий маневр
Неформальное заблуждение или риторическая стратегия, которая отвлекает внимание от исходного вопроса или аргумента, вводя нерелевантную тему.
доведение до абсурда
Метод аргументации, который демонстрирует ложность утверждения, показывая, что оно логически ведет к противоречию или абсурдному выводу.
избыточная теория истины
Теория истины, которая предполагает утверждение, что предложение истинно, является избыточной и ничего не добавляет к содержанию предложения.
ссылка
Связь между словами, фразами или символами и объектами, понятиями или событиями, которые они обозначают или обозначают. [256]
ссылочная непрозрачность
Свойство выражений, при котором замена корреферентного термина не обязательно сохраняет истину, что обычно происходит в интенсиональных контекстах, таких как отчеты об убеждениях.
рефлексивность
Свойство отношения, в котором каждый элемент связан сам с собой, например отношение равенства.
опровержение
Процесс опровержения или демонстрации ложности утверждения, аргумента или теории.
регистр вычислимый
Вычислимая с помощью регистровой машины . [257] [258]
зарегистрировать машину
Теоретическая модель вычислений, использующая набор регистров для хранения чисел и программу инструкций для выполнения вычислений, служащая альтернативой модели машины Тьюринга.
реляционная семантика
Подход к интерпретации логических языков, при котором значение предложений определяется в терминах отношений между возможными мирами или положениями дел, обычно используемый в модальной и темпоральной логике.
доказательство относительной непротиворечивости
Доказательство, показывающее, что если математическая система непротиворечиво, то расширение добавление новых аксиом также является последовательным и используется для сравнения фундаментальной силы различных теорий. [6]
логика релевантности
Неклассическая логика, которая стремится уловить идею о том, что предпосылки действительного аргумента должны иметь отношение к заключению, избегая парадоксов материального значения.
представительство
n +1- арный предикат P представляет f n -арную функцию тогда и только тогда, когда: истинно тогда и только тогда, когда . Аналогично, унарный предикат P представляет множество S тогда и только тогда, когда: Px истинен тогда и только тогда, когда x является членом S . [6]
обратная математика
Программа математической логики, которая пытается определить, какие аксиомы необходимы для доказательства математических теорем путем доказательства теорем из самых слабых возможных систем.
пересмотренная теория истины
Теория, предлагающая неклассический подход к понятию истины, предполагающая, что истинностные значения утверждений могут быть пересмотрены в свете парадоксов, в частности парадокса лжеца. [259]
жесткий указатель
Термин, обозначающий один и тот же объект во всех возможных мирах, где этот объект существует, используемый при обсуждении необходимости и идентичности во всех возможных мирах.
арифметика Робинсона
Фрагмент арифметики Пеано, в котором отсутствует схема аксиом индукции, служащая основой для более слабой, но все же выразительной арифметики.
Парадокс Росса
Парадокс в деонтической логике, возникающий из императивов, предполагающих нелогичные обязательства, демонстрирующий проблемы в формализации моральных и этических рассуждений.
правило вывода
Логическое правило, обосновывающее переход от набора посылок к выводу, составляющее основу дедуктивного рассуждения.
правило замены
Правило формальной логики, позволяющее заменять эквивалентные выражения в логических доказательствах, сохраняя обоснованность аргумента.

С [ править ]

привет, правдивый
Латинская фраза, означающая «с неизменной истиной», используемая в логике и философии для обозначения преобразования или замены, сохраняющей истинность утверждений . [260]
удовлетворение
В теории моделей - отношение между структурой и предложением, при котором структура делает предложение истинным в соответствии с интерпретацией символов предложения в этой структуре. [261]
выполнимость
Свойство логической формулы, если существует хотя бы одна интерпретация, при которой формула истинна.
схема
Шаблон или образец, представляющий класс подобных утверждений или предложений, часто используемый при формулировке логических аксиом и правил. [262] [263] [264]
объем
Часть логической формулы, к которой применяется оператор, квантификатор или модификатор, определяющий степень ее действия.
Скотт
Дана Скотт
морской бой
Посмотрите морской бой Аристотеля .
логика второго порядка
Логика, которая расширяет логику первого порядка, позволяя проводить количественную оценку предикатов и отношений в дополнение к количественной оценке отдельных лиц.
противоречивый
Свойство утверждения или предложения, которое противоречит само себе и делает невозможным его истинность.
ссылка на самого себя
Акт обращения к самому себе, используемый при обсуждении парадоксов, рефлексивности, а также основ математики и логики.
семантическая концепция истины
Теория истины, основанная на соответствии между утверждениями и фактами или положениями дел в мире, подчеркивающая роль значения и интерпретации. [265]
смысловое следствие
Отношение, которое существует между набором посылок и заключением, сформулированным на определенном формальном языке , так что для этого языка не существует возможной интерпретации , которая оценивает посылки как истинные, а заключение как ложное. [266] [267] [268]
семантический парадокс
Парадокс , возникающий из-за некоторой особенности семантических понятий, таких как истина, ложность и определимость, в отличие от логических или теоретико-множественных понятий. Различие между семантическими и логическими парадоксами является спорным и было изобретено Рэмси . [269] [270]
семантическая таблица
Метод доказательства в логике, использующий древовидную структуру для систематического исследования истинности или ложности логических выражений путем разбиения их на более простые компоненты.
смысловая неясность
Мнение о том, что неопределенность — это особенность языка, а не мира или человеческого знания. [123] Контраст неопределённости ребуса и эпистемологической неопределённости .
смысловое значение
Значение или содержание, присвоенное лингвистическому выражению в семантике, включая значения истинности предложений на логических языках. [271] [272]
семантическая достоверность
Формула называется семантически достоверной или тавтологией , если она истинна при любой интерпретации . [273] [274] [275]
семантически закрытый язык
Язык, который содержит свой собственный предикат истинности, позволяющий утверждать об истинности предложений, сформулированных на одном языке. [276] [277]
семантика
Изучение значения языка, включая интерпретацию слов, фраз, предложений и текстов, а также изучение принципов, управляющих присвоением значений.
полуразрешимая теория
Теория, для которой существует алгоритм, который может перечислить все ее теоремы, но может не существовать алгоритма для решения не-теорем. [278]
смысл
Аспект значения, который относится к внутреннему содержанию или коннотации выражения, отличному от его ссылки или значения. [256]
письмо-предложение
Символ, используемый в логике высказываний для обозначения произвольного предложения и служащий заполнителем в логических формулах.
сентенциальная логика
Другой термин для пропозициональной логики, фокусирующийся на логических отношениях между целыми предложениями или предложениями, а не на их внутренней структуре.
последовательность
Упорядоченный список объектов или терминов, каждый из которых идентифицируется своим положением в списке, используемый в математике и логике для определения функций, множеств и рядов.
последующий
В секвенциальном исчислении - формальное представление логического вывода, состоящее из последовательности формул, предшествующих турникету, и последовательности формул, следующих за ним, указывающих на посылки и вывод.
секвенциальное исчисление
Формальная система вывода логических выводов, представляющая выводы в виде последовательностей формул и подчеркивающая структурные правила логического вывода.
серийность
Свойство отношения, при котором для каждого элемента в домене существует элемент в кодомене, который определенным образом связан с другим элементом, особенно в контексте бинарных отношений и модальной логики.
С4
Модальная логическая система, характеризующаяся аксиомами, которые требуют рефлексивности и транзитивности для отношения доступности, подразумевая, что если что-то необходимо, то это обязательно необходимо.
заточка
Процесс придания расплывчатому или неточному понятию более точного или ясно определенного значения, часто обсуждаемый в контексте семантической неопределенности. [123] [279] [280]
Sheffer stroke
Логическая операция, эквивалентная функции nand (not and); он функционально завершен , то есть на его основе могут быть построены все остальные логические операции.
подпись
В логике и алгебре - набор символов вместе с их арностью, определяющий виды операций, функций и отношений, рассматриваемых в структуре или теории. [281]
простая теория типов
Теория типов , разделяющая объекты на простую иерархию объектов, классы объектов, классы классов объектов и т. д. Прилагательное «простой» используется для противопоставления ей разветвленной теории типов , которая далее расслаивает эти простые типы на порядки . [282]
одиночный турникет
Символ, используемый в логике ( ) для обозначения синтаксического следствия, указывающего, что формула или набор формул выводит или доказывает другую формулу в формальной системе. [283]
единственное предложение
Предложение, в котором говорится о конкретном индивидууме или уникальном объекте, в отличие от общих утверждений о классах или категориях.
единственный термин
Термин в логике, который относится к одному объекту или сущности, отличая его от общих терминов, которые могут относиться к классам объектов или свойств.
ситуация
В логике и философии - набор обстоятельств или положение дел, к которым относятся истинностные значения утверждений, часто используемый в семантике ситуаций . [284]
семантика ситуации
Подход к семантике, который анализирует значение с точки зрения ситуаций, а не пытается объяснить значение исключительно с точки зрения условий истинности в возможных мирах.
сколемизация
Метод в логике первого порядка устранения кванторов существования путем введения скулемовских функций, используемый в процессе преобразования формул к стандартной форме.
Теорема Скулема-Ловенгейма
Теорема, утверждающая, что если теория первого порядка имеет бесконечную модель, то у нее есть модели любой бесконечной мощности, что подчеркивает гибкость семантики первого порядка.
Шолем нормальная форма
Способ выражения логических формул первого порядка, в котором все кванторы существования перемещаются внутрь и заменяются функциями Скулема, оставляя на переднем плане только кванторы всеобщности.
Школьный парадокс
Очевидный парадокс, возникающий из теоремы Скулема-Ловенгейма, согласно которой счетные модели могут быть найдены для теорий, интуитивно требующих несчетного количества объектов, бросает вызов понятиям абсолютного размера в теории множеств.
аргумент из рогатки
Аргумент, направленный на то, чтобы показать, что все истинные утверждения относятся к одному и тому же «факту» или «субъекту», поднимающий вопросы о корреспондентной теории истины и природе фактов.
скользкий склон
Неофициальное заблуждение или риторический аргумент, предполагающий, что относительно небольшой первый шаг или незначительное решение приведет к цепочке связанных событий, завершающихся значительным (часто отрицательным) результатом, без достаточного обоснования такой неизбежности.
смн теорема
Фундаментальная теорема теории вычислимых функций, предоставляющая метод построения конкретной вычислимой функции из заданной вычислимой функции, подчеркивающая универсальность и гибкость вычислимых функций.
софизм
Аргумент или форма рассуждения, считающиеся ошибочными, вводящими в заблуждение или вводящими в заблуждение, исторически связанные с софистами в Древней Греции, которые были известны своим риторическим мастерством и релятивистскими взглядами на истину и мораль. [285]
софизм
Головоломка или парадоксальный вопрос, бросающий вызов общепринятым представлениям или логическим рассуждениям, часто используемый в средневековой логике, чтобы научить студентов логическим ошибкам и сложностям языка. [286]
парадокс соритов
Парадокс, возникающий из-за расплывчатых предикатов и проблемы кучи, иллюстрирующий, как ряд, казалось бы, приемлемых посылок может привести к парадоксальному или абсурдному выводу.
серия соритов
Последовательность предложений, связанных с парадоксом соритов , каждое из которых добавляет небольшую сумму к предыдущему, оспаривая границу между истиной и ложью для расплывчатых понятий.
здравый дедуктивный аргумент
Аргумент, логическая структура которого обеспечивает истинность вывода, если посылки истинны, и где посылки действительно верны, что делает аргумент одновременно действительным и обоснованным.
надежность
Свойство логической системы, в которой каждая теорема, которую можно вывести с использованием правил системы, верна при любой интерпретации системы.
площадь оппозиции
Диаграмма, представляющая логические отношения между четырьмя типами категорических суждений (A, E, I, O) в традиционной логике, показывающая их противоречия, противоположности, субпротивоположности и субальтернации.
заявление
Утверждение о том, что что-то верно или не так, способное быть истинным или ложным; Основная единица дискурса в логике.
условное определение
Определение, которое впервые придает значение слову или предлагает новое значение для существующего слова, не претендуя на отражение уже устоявшегося употребления.
соломенный человек
, Неформальное заблуждение при котором аргумент оппонента преувеличивается или искажается, чтобы его было легче атаковать или опровергнуть.
строгий условный
Условное утверждение, интерпретируемое с точки зрения необходимости, так что истинность антецедента обязательно подразумевает истинность последующего, в отличие от материального условного утверждения.
строгий смысл
Отношение между предложениями, при котором истинность первого (антецедента) обязательно приводит к истинности второго (последствия), часто связанное с модальной логикой.
сильная полнота
Свойство логической системы, при котором, если формула семантически верна (истинна во всех интерпретациях), то она синтаксически выводима внутри системы. [287] [288]
сильный контрпример
В интуиционистской логике и интуиционистской математике сильным контрпримером является доказательство отрицания некоторого варианта закона исключенного третьего . [289] [290]
сильный индуктивный аргумент
Аргумент, который, если посылки истинны, обеспечивает сильную поддержку вывода, делая его весьма вероятным, но не обязательно истинным. [291]
сильные связи Клини
Связки в трехзначной логике, предложенные Стивеном Коулом Клини, предназначены для работы с неопределенными или неопределенными значениями в логической системе. [292]
сильная математическая индукция
Форма математической индукции, которая позволяет принять это предложение для всех меньших случаев одновременно при его доказательстве для любого данного примера.
сильное отрицание
1. отрицание исключения
2. отрицание выбора
сильная парапоследовательность
Сильная паранепротиворечивость — это точка зрения, согласно которой существуют миры , в которых противоречия истинны или где некоторые утверждения одновременно истинны и ложны. Сравните слабую паранепротиворечивость — точку зрения, согласно которой истинные противоречия и миры, которые их содержат, являются всего лишь формальным инструментом, используемым для изучения рассуждений. [293]
сильно связан
Отношение R является сильно связным (или полным) тогда и только тогда, когда для всех x и y либо Rxy, либо Ryx. [294]
структурное правило
В логике, особенно в теории доказательств, правило, касающееся манипуляций с компонентами секвенций или выводов безотносительно к их внутренней логической структуре, такой как сжатие, ослабление и замена.
подчиненный
В традиционной силлогистической логике - термин, описывающий отношения между двумя категорическими суждениями, при которых истинность первого (универсального) подразумевает истинность второго (частного), но не наоборот. [2]
субальтернация
Логическая связь между универсальным утверждением и соответствующим ему частным утверждением, при которой истинность универсального требует истинности частного.
противоположности
В традиционной логике - пара частных утверждений (предложений I и O), которые не могут быть оба вместе ложными, хотя оба могут быть истинными в квадрате оппозиции.
противоположный
Речь идет об отношениях между двумя утверждениями, которые могут быть истинными, но не могут быть ложными одновременно.
подформула
Часть логической формулы, которая сама по себе является формулой, часто рассматриваемой в контексте синтаксической структуры формулы.
предметный термин
Термин в категорическом предложении, обозначающий предмет, о котором что-то утверждается.
сослагательное наклонение условное наклонение
Условное утверждение, выражающее то, что было бы, если бы его антецедент был истинным, используемое для исследования гипотетических ситуаций и их последствий.
подъязык
Подмножество языка, в котором используется ограниченный словарный запас или более простые грамматические структуры, часто для определенной цели или области.
подлогика
Логическая система, являющаяся подмножеством более комплексной логики, сохраняющая некоторые, но не все операции и принципы более крупной системы. [295]
подчинительный соединительный
Логическая связка , встречающаяся в пределах другой логической связки. [72]
замена
Замена переменной или выражения в логической формуле другой с сохранением логической последовательности.
экземпляр-замены
Правильно составленная формула , которая получается в результате данной правильно составленной формулы путем замены одной или нескольких переменных, встречающихся в правильно составленной формуле, на некоторые другие правильно составленные формулы, при этом подразумевается, что каждая замененная таким образом переменная заменяется одна и та же хорошо составленная формула, где бы она ни встречалась. [72] [296]
квантор замещения
Тип квантора, интерпретируемый как охватывающий выражения или имена, а не непосредственно объекты, используемый в некоторых теориях ссылки и значения. [297]
субструктурная логика
Класс неклассических логик, которые ослабляют или изменяют структурные правила классической логики, такие как логика релевантности и линейная логика.
субтеория
Теория, содержащаяся в более крупной теории, разделяющая некоторые, но не все ее аксиомы и теоремы и фокусирующаяся на подмножестве своей области.
функция-преемник
Фундаментальная функция в арифметике и логике, которая отображает любое натуральное число в следующее большее натуральное число, обозначаемое как .
суффиксная запись
Способ записи выражений, в котором операторы следуют за своими операндами, также известный как обратная польская запись, используемый в некоторых калькуляторах и языках программирования из-за своей эффективности.
сверхзадача
Задача, состоящая из бесконечной последовательности операций, выполняемых за конечное время, часто обсуждаемая в контексте философских парадоксов и теоретической физики.
сверхправда
Термин, используемый в некоторых теориях истины, таких как сверхоценочная семантика , для описания утверждений, которые остаются верными при всех уточнениях или интерпретациях расплывчатых терминов. [298]
сверхоценочная семантика
Семантическая теория, разработанная для устранения неопределенности путем рассмотрения множественных уточнений расплывчатых терминов, при этом утверждение считается сверхистинным, если оно истинно при всех уточнениях. [276]
предположение
В средневековой логике - отношение между выражением и объектом или концепцией, о которой это выражение используется, чтобы говорить, при этом предположение о выражении не обязательно должно быть его буквальным указанием.
скрытые доказательства
, Неформальное заблуждение возникающее, когда в аргументации опускается соответствующая информация, что может привести к вводящему в заблуждение или неоправданному выводу.
сюръекция
Функция перехода из одного набора в другой, где каждый элемент целевого набора сопоставляется хотя бы с одним элементом набора доменов, также известная как функция on.
силлогизм
Форма дедуктивного рассуждения, состоящая из основной посылки, второстепенной посылки и заключения, традиционно используемая в аристотелевской логике для вывода отношений между категориями.
силлогическая фигура
Форма силлогизма, определяемая положением среднего термина в его посылках, подразделяется на четыре фигуры, по-разному структурирующие силлогистическое рассуждение. [299]
силлогическое наклонение
Тип силлогизма, определяемый характером его посылок (универсальное утвердительное, универсальное отрицательное, частное утвердительное, частное отрицательное) и тем, как они объединяются, образуя заключение. [300]
силлогистические термины
Три термина в силлогизме : главный термин (предикат заключения), второстепенный термин (субъект заключения) и средний термин (появляется в обеих посылках, но не в заключении). См. также Барбара .
симметрия
Свойство бинарных отношений, при котором, если один элемент связан с другим, то второй связан с первым, например отношение равенства. [301]
синкатегорематические термины
Термины, которые не обозначают объекты и не имеют ссылки сами по себе, но вносят вклад в значение выражений, в которых они встречаются, например союзы, предлоги и кванторы.
синтаксическое следствие
Отношение, которое существует между посылками и выводами, вытекающими из них на основе аксиом и правил вывода в рамках формальной системы . [302] Контрастное смысловое следствие .
синтаксис
Совокупность правил, принципов и процессов, которые управляют структурой предложений на данном языке, различая правильные и неправильные формы выражения.

Т [ править ]

Тарская иерархия
Иерархическая структура языков, предложенная Альфредом Тарским, чтобы избежать парадоксов в семантических теориях, где каждый уровень языка может ссылаться только на уровни ниже него, предотвращая самореференцию. [210]
Теорема неопределимости Тарского
Теорема, утверждающая, что истина не может быть последовательно определена на том же языке, к которому она применяется, требует метаязыка для определения истины, чтобы избежать парадоксов.
тавтология
Утверждение или формула, которая верна во всех возможных интерпретациях, часто используется в логике высказываний для обозначения формул, которые логически верны.
температурный парадокс
Парадокс, когда из «температура девяносто» и «температура повышается» делается вывод, что «девяносто повышается», что кажется неверным, но на самом деле может быть действительным в соответствии с некоторыми схемами формализации.
временная модальная логика
Раздел модальной логики, который занимается модальностями, связанными со временем, такими как «всегда», «иногда» и «никогда», что позволяет рассуждать о временных аспектах предложений. [303]
термин логика
Подход к логике, сосредоточенный на отношениях между терминами в предложениях и выводами, которые можно сделать из них, характерный для аристотелевской логики.
троичная функция
Функция, которая принимает три аргумента или входных параметра, в отличие от унарных и двоичных функций.
троичное отношение
Отношение, включающее три элемента, где отношение определяет, как элементы связаны или связаны.
троичная семантика
Тернарная семантика — это семантика возможных миров , которая использует троичное отношение к возможным мирам вместо или в дополнение к более стандартному двоичному отношению доступности . Тернарная семантика наиболее широко применялась при разработке соответствующей логики . [304]
теорема
Утверждение или предложение, которое было формально доказано на основе ранее установленных утверждений или аксиом логической или математической системы.
теория
Связный набор предложений или утверждений, особенно тот, который формирует исчерпывающее объяснение какого-либо аспекта мира природы или абстрактной концепции.
трехзначная логика
Логическая система, которая вводит третье значение истинности (например, «неизвестное», «неопределенное» или «одновременно истинное и ложное») в дополнение к классическим двоичным значениям «истина» и «ложь».
тильда
Символ «~», используемый в логике для обозначения отрицания, указывает на то, что предложение, которому он предшествует, ложно.
жетон
Экземпляр типа, например конкретное появление слова или фразы, в отличие от абстрактного понятия или категории, которую он представляет.
терпимый
В теории неопределенности предикат считается толерантным тогда и только тогда, когда небольшие изменения в соответствующих основных свойствах объекта не влияют на справедливость, с которой предикат применяется к нему. Таким образом, предикат «лысый» толерантен, так как один волос больше или меньше не превращает явный случай облысения в явный случай отсутствия облысения. [123]
Тонк
Вымышленная логическая связка, введенная для иллюстрации важности сохранения правил вывода при определении логических операторов и показывающая, что произвольные правила могут привести к абсурду. [305] [306] [10]
вершина
В логике - символ (⊤), обозначающий высший или максимальный элемент в решетке или порядке, часто используемый для обозначения тавтологии или универсально истинного утверждения в логике высказываний.
топос
Концепция теории категорий, обобщающая концепции теории множеств в более абстрактной структуре, позволяющая определять математические структуры в различных контекстах.
теория топоса
Изучение топосов, которые представляют собой категории, которые ведут себя как категории множеств и обеспечивают основу для большей части математики, позволяя формировать обобщенные понятия вычислений и логики.
общая функция
Функция, определенная для каждого элемента своей области определения, гарантирующая наличие выходных данных для каждого входного значения.
функция перехода
См. таблицу действий .
транзитивное замыкание
Наименьшее транзитивное отношение, содержащее данное отношение, эффективно добавляющее минимально необходимые элементы, чтобы сделать исходное отношение транзитивным.
транзитивность
Свойство отношения, при котором, если отношение существует между A и B, а также между B и C, то оно также сохраняется и между A и C, обеспечивая своего рода согласованность или непрерывность в отношениях между элементами.
перевод
Перевод — это функция выражения одного языка к выражениям другого языка. Переводы обычно предназначены для сохранения либо значений, либо условий истинности переведенных выражений.
лемма о переводе
Синоним слова S   m
n
 
теорема
.
транспозиция
Логическое правило, позволяющее эквивалентное преобразование условного оператора. в свою противоположность , сохраняя истину.
трансмировая идентичность
Концепция модальной логики и метафизики, касающаяся идентичности людей в разных возможных мирах и решающая вопросы устойчивости и изменения.
трихотомия
Отношение R является трихотомическим (или сравнимым) тогда и только тогда, когда для любых объектов x и y либо Rxy, либо Ryx, либо x = y. [307]
закон трихотомии
Закон теории порядка и математики, гласящий, что для любых двух элементов в определенном множестве должно выполняться ровно одно из трех отношений (больше, меньше или равно).
тривиальность
Состояние или качество тривиальности в логике и математике, часто относящееся к утверждениям, предложениям или проблемам, которые слишком упрощены или не представляют особого интереса или важности.
правда
Понятие в логике и философии, касающееся свойства утверждений, убеждений или предложений, соответствующих реальности или фактам или согласующихся с действительным положением дел.
условия истинности
Условия, при которых утверждение или предложение считаются истинными, играют центральную роль в семантическом анализе языка.
функция истинности
Функция, которая принимает значения истинности в качестве входных данных и выдает значение истинности в качестве выходных данных. Используется в логике для моделирования условий истинности логических связок.
истинностный функционал
Относится к оператору или связке в логике, выходное истинностное значение которого зависит исключительно от входных истинностных значений, независимо от содержания задействованных предложений. [308]
истина в модели
Концепция в семантических теориях истины, указывающая, что утверждение или предложение истинно относительно конкретной модели или интерпретации языка , на котором оно выражено. [309]
создатель истины
Сущность или совокупность сущностей в мире, которые делают предложение истинным, обосновывая истину аспектами реальности.
предикат истины
Предикат, который приписывает свойства истинности суждениям, часто обсуждаемый в связи с семантической концепцией истины Тарского и парадоксом лжеца.
таблица истинности
Таблица, используемая в логике для отображения значения истинности составного утверждения для каждой возможной комбинации значений истинности его компонентов, что способствует анализу логических выражений.
говорящий правду
Обратная сторона парадокса лжеца: утверждение, которое утверждает свою собственную истину, поднимая вопросы о самоотнесении и природе истины. [310]
дерево истины
Синоним аналитических таблиц .
истинностное значение
Значение, указывающее истинность или ложность предложения или утверждения, обычно представляемое как истинное или ложное в классической логике, но, возможно, более разнообразное в многозначных логиках.
разрыв истинностного значения
Ситуация, когда утверждению или предложению не может быть присвоено традиционное истинное или ложное значение истины, часто из-за неясности или неопределенных терминов. [311]
избыток истинностного значения
Состояние, при котором утверждение или предложение парадоксальным образом одновременно является истинным и ложным, связанное с диалетизмом и противоречиями. [312]
Т-схема
Схема Тарского для определения истины, утверждающая, что «P» истинно тогда и только тогда, когда P, где «P» — это заполнитель для предложения, а P — само предложение.
ты тоже
Логическая ошибка, которая пытается дискредитировать позицию оппонента, утверждая, что оппонент не действует последовательно в соответствии с этой позицией, по сути, обвиняя его в лицемерии.
Вычислимая по Тьюрингу функция
Функция, которую можно вычислить с помощью машины Тьюринга , представляющая класс функций, которые в принципе вычислимы, согласно тезису Чёрча-Тьюринга .
Диссертация Тьюринга
См. тезис Чёрча – Тьюринга .
турникет
Символ, используемый в логике ( ) для обозначения синтаксической следствия или доказуемости, указывая на то, что утверждение или набор утверждений справа является логическим следствием утверждений слева в пределах данной формальной системы.
тип
1. (В теории типов .) Категория или класс сущностей, которые имеют общие характеристики, используемые в логике и математике для различения различных типов объектов, выражений или переменных, предотвращая определенные виды логических парадоксов.
2. (В различении типа и лексемы .) Всеобщее в отличие от частного..
теория типов
Структура математической логики и информатики, использующая типы для классификации выражений и объектов с целью избежать парадоксов, таких как парадокс Рассела, путем организации объектов в иерархии или уровни и ограничения операций объектами одного и того же типа.

У [ править ]

унарная функция
Функция, которая работает с одним входным сигналом или аргументом, распространенная в математике и логике для представления таких операций, как отрицание или функция абсолютного значения.
унарное отношение
Отношение, которое применяется к одному элементу и используется для характеристики свойств или атрибутов, которыми элемент может обладать или не обладать.
всеобщее устранение
Правило вывода в логике предикатов, позволяющее вывести конкретное утверждение об индивидууме из общего утверждения, применимого ко всем членам категории.
универсальное введение
Правило вывода в логике предикатов, которое позволяет обобщить утверждение на всех членов категории, если доказано, что утверждение справедливо для произвольного, но конкретного человека.
универсальное предложение
Логическое утверждение, утверждающее что-то обо всех членах определенной категории, обычно формулируемое с использованием квантора универсальности .
универсальный квантор
Символ в логике предикатов ( ) используется для обозначения того, что утверждение, которому оно предшествует, справедливо для всех людей в области дискурса.
универсальная переменная
Переменная в логике предикатов, связанная квантором универсальности , представляющая всех без исключения индивидов в области дискурса.
Вселенная дискурса
Набор всех объектов, людей или ценностей, которые имеют отношение к конкретному логическому или математическому обсуждению и служат областью, в которой варьируются кванторы.
вверх Теорема Левенхайма – Скулема
Часть теоремы Левенхайма–Скулема .
необоснованный дедуктивный аргумент
Аргумент, который либо недействителен в своей логической форме, либо содержит хотя бы одну ложную посылку и, следовательно, не гарантирует истинности своего вывода.
использовать
В философии, особенно при анализе языка, «использование» относится к фактическому применению слова или фразы в предложении для передачи смысла. В различении использования и упоминания «использование» предполагает использование слов для обозначения вещей, действий, качеств или концепций в мире. Например, в предложении «Мне нравится читать книги» слово «книги» используется для обозначения объектов, которые можно читать; это не просто упоминается .

V [ edit ]

пустой квантификатор
Пустой квантор — это тот, который не связывает никакие переменные, например, второй квантор в . [313]
неопределенность
Характеристика терминов, концепций или предложений, которым не хватает четких границ или точности значения, что приводит к неопределенным или пограничным случаям. [37]
действительный
1. Дедуктивный аргумент, структура которого гарантирует, что если все посылки истинны, то и вывод должен быть истинным, демонстрируя логическую обоснованность.
2. В теоретико-модельной семантике — формула, верная при всех интерпретациях .
3. В теоретико-доказательной семантике — формула, которая либо является явным правилом вывода системы, либо не позволяет доказать что-либо, что нельзя доказать с помощью явных правил вывода. [314]
оценка
Другое название интерпретации формального языка , происходящее от того факта, что он присваивает семантические значения (например, значения истинности ) формулам языка. [315]
присвоение переменной
Иногда интерпретацию формального языка для логики первого или высшего порядка называют просто «присвоением переменной». [316] или «функция присваивания переменной». [317]
хорошо
Латинское слово «или», используемое в логике как название ∨, символа нисходящего клина . Этот символ используется для обозначения инклюзивной дизъюнкции, что означает, что хотя бы один из дизъюнктов должен быть истинным, чтобы все выражение было истинным.
ограничение проверки
См. эпистемическое ограничение .
истина
Истинность (или «степень истинности») утверждения — это семантическая ценность этого утверждения в рамках теоретико-степенной семантики, которая присваивает утверждениям степени от 0 до 1. [318]
правда
Verum ( лат. «истина») — другое название символ, [319] которое представляет собой примитивное, обязательно истинное утверждение и иногда считается нулевой связкой .
принцип порочного круга
Принцип против определений или аргументов, которые являются циклическими, гарантируя, что определяемая вещь не используется в ее собственном определении или посылке таким образом, который предполагает ее вывод.

В [ править ]

слабая полнота
Свойство логической системы, при котором, если утверждение семантически допустимо (истинно при всех интерпретациях), то внутри системы существует доказательство этого утверждения. [320]
слабый контрпример
В интуиционистской логике и интуиционистской математике слабым контрпримером является ситуация, в которой у нас нет положительных доказательств (интуиционистской) истинности некоторого случая закона исключенного третьего. . [321] [322]
слабый исключенный средний
Принцип интуиционистской логики, утверждающий, что для любого предложения P либо P доказуемо, либо не-P доказуемо, но не обязательно и то, и другое, что отражает более тонкий взгляд на истину, чем классический закон исключенного третьего.
слабые связи Клини
Связки, определенные в трехзначной логике Клини , которые не полностью определяют значение истинности составных утверждений, если какое-либо составляющее утверждение не определено.
слабая математическая индукция
Форма математической индукции , которая предполагает истинность утверждения только для непосредственно предшествующего случая, чтобы доказать его истинность для любого натурального числа, в отличие от сильной индукции, которая предполагает истинность утверждения для всех меньших чисел.
слабое отрицание
Форма отрицания в некоторых неклассических логиках, где отрицание предложения утверждает не истинность противоположного предложения, а скорее отсутствие истинности исходного предложения.
слабая парасогласованность
Слабая паранепротиворечивость — это точка зрения, согласно которой истинные противоречия и миры, которые их содержат, являются всего лишь формальным инструментом, используемым для изучения рассуждений. Сравните сильную паранепротиворечивость — точку зрения, согласно которой существуют миры , в которых противоречия истинны или где некоторые утверждения одновременно истинны и ложны. [293]
ослабление
Правило как в логике высказываний, так и в логике предикатов, позволяющее добавлять предложения к выводу, не влияя на его достоверность, отражающее идею о том, что если что-то следует из набора посылок, это также следует из любого большего набора посылок.
клин
Символ, используемый в логике ( ) для представления логического соединения, указывающего, что оба связанных утверждения истинны.
правильно составленная формула
Строка символов формального языка, которая следует синтаксическим правилам языка, что делает ее значимым или грамматически правильным выражением в контексте этой системы.

Ю [ править ]

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

З [ править ]

Парадоксы Зенона
Ряд парадоксов, предложенных древнегреческим философом Зеноном Элейским, чтобы бросить вызов связности концепций множественности, движения и континуума, включая знаменитые парадоксы Ахилла и черепахи, а также дихотомию.

См. также [ править ]

Ссылки [ править ]

  1. ^ «А-предложение» . Словарь Коллинза .
  2. ^ Jump up to: Перейти обратно: а б с д и «Площадь оппозиции | Интернет-энциклопедия философии» . Проверено 27 апреля 2024 г.
  3. ^ Шехтер, Эрик (06 октября 2020 г.), «Глава 26 Абелева логика» , Классическая и неклассическая логика , Princeton University Press, стр. 437–440, doi : 10.1515/9780691220147-026 , ISBN  978-0-691-22014-7 , получено 29 апреля 2024 г.
  4. ^ Паоли, Франческо; Спинкс, Мэтью; Верофф, Роберт (01 октября 2008 г.). «Абелева логика и логика заостренных решетчато-упорядоченных многообразий» . Логика Универсалис . 2 (2): 209–233. дои : 10.1007/s11787-008-0034-2 . ISSN   1661-8300 .
  5. ^ Бутчарт, Сэм; Роджерсон, Сьюзен (2014). «Об алгебраизуемости импликативного фрагмента абелевой логики» . Studia Logica: Международный журнал символической логики . 102 (5): 981–1001. дои : 10.1007/s11225-013-9515-2 . ISSN   0039-3215 . JSTOR   43649671 .
  6. ^ Jump up to: Перейти обратно: а б с д и ж г час я Кук, Рой Т. (20 марта 2009 г.). Словарь философской логики . дои : 10.1515/9780748631971 . ISBN  978-0-7486-3197-1 .
  7. ^ Jump up to: Перейти обратно: а б с «Категорические суждения» . www.comfsm.fm . Проверено 27 апреля 2024 г.
  8. ^ Jump up to: Перейти обратно: а б «Элементы логики 38» . www3.nd.edu . Проверено 27 апреля 2024 г.
  9. ^ Jump up to: Перейти обратно: а б с «Категорические предложения стандартной формы: количество, качество и распределение» . Философия.lander.edu . Проверено 27 апреля 2024 г.
  10. ^ Jump up to: Перейти обратно: а б Кук, Рой Т. (2005). «Что не так с Тонком (?)» . Журнал философской логики . 34 (2): 221. doi : 10.1007/s10992-004-7805-x . ISSN   0022-3611 . JSTOR   30226839 .
  11. ^ Беннетт, Карен; Циммерман, Дин В. (25 октября 2012 г.). Оксфордские исследования по метафизике, том 7 . ОУП Оксфорд. п. 86. ИСБН  978-0-19-163357-7 .
  12. ^ Хаусон, Колин (11 октября 2005 г.). Логика с деревьями: введение в символическую логику . Рутледж. п. 159. ИСБН  978-1-134-78550-6 .
  13. ^ Габбай, Дов М.; Гентнер, Франц (14 марта 2013 г.). Справочник по философской логике . Springer Science & Business Media. п. 339. ИСБН  978-94-017-0460-1 .
  14. ^ «Dictionary.com | Значения и определения английских слов» . Словарь.com . Проверено 29 апреля 2024 г.
  15. ^ «Определение АНТИЛОГИЗМА» . www.merriam-webster.com . Проверено 29 апреля 2024 г.
  16. ^ Лэдд-Франклин, CF (1928). «Антилогизм» . Разум . 37 (148): 532–534. дои : 10.1093/mind/XXXVII.148.532 . ISSN   0026-4423 . JSTOR   2249740 .
  17. ^ Джордани, Алессандро; Малиновский, Яцек (19 ноября 2020 г.). Логика в высоком разрешении: тенденции в логической семантике . Спрингер Природа. п. 55. ИСБН  978-3-030-53487-5 .
  18. ^ Банерджи, Мохуа; Шриджит, А.В. (22 февраля 2023 г.). Логика и ее приложения: 10-я индийская конференция, ICLA 2023, Индаур, Индия, 3–5 марта 2023 г., материалы . Спрингер Природа. п. 189. ИСБН  978-3-031-26689-8 .
  19. ^ Габбай, Дов М.; Вудс, Джон (10 марта 2008 г.). Британская логика в девятнадцатом веке . Эльзевир. п. 561. ИСБН  978-0-08-055701-4 .
  20. ^ Вандервекен, Дэниел (23 июня 2005 г.). Логика, мысль и действие . Springer Science & Business Media. п. 275. ИСБН  978-1-4020-3167-0 .
  21. ^ Чинтула, Петр; Ногера, Карлес (01 января 2022 г.). Логика и импликация: введение в общее алгебраическое исследование неклассической логики . Спрингер Природа. п. 451. ИСБН  978-3-030-85675-5 .
  22. ^ Хартман, Роберт С. (15 декабря 2011 г.). Структура ценности: основы научной аксиологии . Wipf и Stock Publishers. п. 300. ИСБН  978-1-7252-3067-5 .
  23. ^ Лоу, Э.Дж.; Рами, А. (5 декабря 2014 г.). Истина и создание истины . Рутледж. п. 40. ИСБН  978-1-317-49268-9 .
  24. ^ Генслер, Гарри Дж.; Спургин, Эрл В. (22 августа 2008 г.). Исторический словарь этики . Пугало Пресс. п. 168. ИСБН  978-0-8108-6271-5 .
  25. ^ Теннант, Нил (2023), «Логицизм и неологизм» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. зимой 2023 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 29 апреля 2024 г.
  26. ^ Шапиро, Стюарт; Уэйнрайт, Уильям Дж. (10 февраля 2005 г.). Оксфордский справочник по философии математики и логики . Издательство Оксфордского университета, США. п. 181. ИСБН  978-0-19-514877-0 .
  27. ^ Хейл, Боб; Райт, Криспин (2003). Правильное исследование разума: очерки неофреганской философии математики . Кларендон Пресс. п. 17. ISBN  978-0-19-926632-6 .
  28. ^ «История логики — Силлогизмы, Аристотель, Рассуждения | Британника» . www.britanica.com . Проверено 29 апреля 2024 г.
  29. ^ Лагерлунд, Хенрик (2022), «Средневековые теории силлогизмов» , в Залте, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (изд. летом 2022 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 4 апреля 2024 г. 29
  30. ^ Мабботт, доктор юридических наук (1939). «Два примечания к силлогизму» . Разум . 48 (191): 326–337. дои : 10.1093/mind/XLVIII.191.326 . ISSN   0026-4423 . JSTOR   2250441 .
  31. ^ Габбай, Дов М.; Пеллетье, Фрэнсис Джеффри; Вудс, Джон (31 декабря 2012 г.). Логика: история ее центральных понятий . Ньюнес. п. 427. ИСБН  978-0-08-093170-8 .
  32. ^ Омори, Хитоши; Вансинг, Генрих (01 января 2020 г.). Новые очерки по логике Белнапа-Данна . Спрингер Природа. п. 7. ISBN  978-3-030-31136-0 .
  33. ^ Марес, Эдвин (15 февраля 2024 г.). Логика следствия и ее история . Издательство Кембриджского университета. п. 46. ​​ИСБН  978-1-009-37531-3 .
  34. ^ Габбай, Дов М.; Вансинг, Генрих (29 июня 2013 г.). Что такое отрицание? . Springer Science & Business Media. п. 72. ИСБН  978-94-015-9309-0 .
  35. ^ Рестолл, Грег (11 сентября 2002 г.). Введение в субструктурную логику . Рутледж. п. 340. ИСБН  978-1-135-11131-1 .
  36. ^ Марес, Эдвин Д. (26 февраля 2004 г.). Соответствующая логика: философская интерпретация . Издательство Кембриджского университета. п. 92. ИСБН  978-0-521-82923-6 .
  37. ^ Jump up to: Перейти обратно: а б с Соренсен, Рой (2023), «Неопределенность» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. зимой 2023 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 22 апреля 2024 г.
  38. ^ Алхатиб, Сэм; Пеллетье, Фрэнсис Джеффри (июнь 2011 г.). «Психология неопределенности: пограничные случаи и противоречия» . Разум и язык . 26 (3): 287–326. дои : 10.1111/j.1468-0017.2011.01419.x .
  39. ^ Шафер-Ландау, Расс (1995). «Неясность, пограничные случаи и моральный реализм» . Американский философский ежеквартальный журнал . 32 (1): 83–96. ISSN   0003-0481 . JSTOR   20009807 .
  40. ^ Боунс, Инга (22 сентября 2020 г.), «Что такое неопределенность?» , Как плавать в тонущих песках , Brill mentis, стр. 12–56, doi : 10.30965/9783957437549_003 , ISBN  978-3-95743-754-9 , получено 29 апреля 2024 г.
  41. ^ Райт, GH фон (31 мая 2018 г.). Философская логика: Философские статьи . Издательство Корнельского университета. п. 135. ИСБН  978-1-5017-1731-4 .
  42. ^ Оливейра, Анджолина Г. де (2012). Функциональная интерпретация логической дедукции . Всемирная научная. п. 217. ИСБН  978-981-4360-96-8 .
  43. ^ Руша, Имре (17 апреля 2013 г.). Модальная логика с описаниями . Springer Science & Business Media. п. 128. ИСБН  978-94-017-2294-0 .
  44. ^ Саксония, Альбертус де (2002). Двадцать пять спорных вопросов по логике Альберта Саксонского: критическое издание его Quaestiones Circa Logicam (на латыни). БРИЛЛ. п. 29. ISBN  978-90-04-12513-1 .
  45. ^ Беклемишев, Лев Д. (01 апреля 2000 г.). Доказуемость, вычислимость и отражение . Эльзевир. п. 7. ISBN  978-0-08-095731-9 .
  46. ^ Клима, Дьюла (2009). Джон Буридан . Издательство Оксфордского университета, США. п. 329. ИСБН  978-0-19-517622-3 .
  47. ^ Линнебо, Эйстейн (2018). «Проблема Юлия Цезаря». Тонкие объекты: рассказ абстракциониста . Оксфорд: Издательство Оксфордского университета. дои : 10.1093/oso/9780199641314.003.0009 . ISBN  978-0-19-964131-4 .
  48. ^ Грейманн, Дирк (2003). «Что такое проблема Юлия Цезаря Фреге?» . Диалектика . 57 (3): 261–278. дои : 10.1111/j.1746-8361.2003.tb00271.x . ISSN   0012-2017 . JSTOR   42971497 .
  49. ^ Черт возьми, Ричард Г. (29 сентября 2011 г.). Теорема Фреге . ОУП Оксфорд. п. 107. ИСБН  978-0-19-969564-5 .
  50. ^ Габбай, Дов М.; Пеллетье, Фрэнсис Джеффри; Вудс, Джон (31 декабря 2012 г.). Логика: история ее центральных понятий . Ньюнес. п. 437. ИСБН  978-0-08-093170-8 .
  51. ^ Сион, Ави (17 мая 2010 г.). Логика причинности: определение, индукция и дедукция детерминированной причинности . Ави Сион. п. 58. ИСБН  978-2-9700091-3-9 .
  52. ^ Боуэн, Пол Д. (1 октября 1983 г.). «Причинность в классической физике» . Синтезируйте . 57 (1): 1–20. дои : 10.1007/BF01064064 . ISSN   1573-0964 .
  53. ^ Саймон, Герберт А. (6 декабря 2012 г.). Модели открытий: и другие темы научных методов . Springer Science & Business Media. п. 52. ИСБН  978-94-010-9521-1 .
  54. ^ Решер, Николас (1968), Решер, Николас (редактор), «Хронологическая логика» , « Темы философской логики » , Дордрехт: Springer Нидерланды, стр. 196–228, doi : 10.1007/978-94-017-3546-9_12 , ISBN  978-94-017-3546-9 , получено 29 апреля 2024 г.
  55. ^ Генслер, Гарри Дж. (2010). Логика от А до Я. Роуман и Литтлфилд. п. 233. ИСБН  978-0-8108-7596-8 .
  56. ^ Хейл, Боб (19 сентября 2013 г.). Необходимые существа: очерк онтологии, модальности и отношений между ними . ОУП Оксфорд. п. 106. ИСБН  978-0-19-164834-2 .
  57. ^ Гольдфарб, Уоррен Д. (1 января 2003 г.). Дедуктивная логика . Издательство Хакетт. п. 94. ИСБН  978-0-87220-660-1 .
  58. ^ Фригг, Роман (28 июня 2022 г.). Модели и теории: философское исследование . Тейлор и Фрэнсис. п. 55. ИСБН  978-1-000-60953-0 .
  59. ^ Нат, Арнольд Вандер (5 марта 2010 г.). Простая формальная логика: с помощью символических методов здравого смысла . Рутледж. п. 325. ИСБН  978-1-135-21870-6 .
  60. ^ Бэнкс, Синклер (01 марта 2019 г.). Решение проблемы несправедливости в судебных процессах: разоблачение заблуждения . Синклер Бэнкс. п. 364. ИСБН  978-0-578-46220-2 .
  61. ^ Стэнлик, Нэнси А.; Строузер, Майкл Дж. (05 марта 2015 г.). Задавать хорошие вопросы: тематические исследования в области этики и критического мышления . Издательство Хакетт. п. 68. ИСБН  978-1-58510-755-1 .
  62. ^ Богдан Р. (06 декабря 2012 г.). Местная индукция . Springer Science & Business Media. п. 122. ИСБН  978-94-011-9799-1 .
  63. ^ Мензель, Кристофер (2023), «Возможные миры» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. осенью 2023 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 29 апреля 2024 г.
  64. ^ Хансен, Каспер Сторм (2021), «Классическая математика и полный комбинаторизм» , Основы математики на семантических соглашениях , Synthese Library, vol. 446, Чам: Springer International Publishing, стр. 9–27, doi : 10.1007/978-3-030-88534-2_2 , ISBN  978-3-030-88533-5 , получено 29 апреля 2024 г.
  65. ^ Ким, Джэгвон (1986). «Возможные миры и комбинаторизм Армстронга» . Канадский философский журнал . 16 (4): 595–612. дои : 10.1080/00455091.1986.10717138 . ISSN   0045-5091 . JSTOR   40231493 .
  66. ^ Томасси, Пол (13 мая 2013 г.). Логика . Рутледж. п. 39. ИСБН  978-1-134-70591-7 .
  67. ^ «Введение в логику. Глава 2» . intrologic.stanford.edu . Проверено 22 марта 2024 г.
  68. ^ Jump up to: Перейти обратно: а б «Введение в логику высказываний» . www.cs.odu.edu . Проверено 28 апреля 2024 г.
  69. ^ Нут, Дональд (6 декабря 2012 г.). Темы условной логики . Springer Science & Business Media. ISBN  978-94-009-8966-5 .
  70. ^ Эгре, Поль; Ротт, Ганс (2021), «Логика условных обозначений» , в Залте, Эдвард Н. (ред.), Стэнфордская энциклопедия философии (изд. зимой 2021 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 29 апреля 2024 г.
  71. ^ Jump up to: Перейти обратно: а б Билл, Джеффри К. (2010). Логика: основы (1. изд.). Лондон: Рутледж. стр. 17, 57. ISBN.  978-0-203-85155-5 .
  72. ^ Jump up to: Перейти обратно: а б с д Леммон, Э.Дж. (30 сентября 1971 г.). Начало логики . ЦРК Пресс. стр. 47–48, 53, 69–70, 187. ISBN.  978-0-412-38090-7 .
  73. ^ Jump up to: Перейти обратно: а б Аллен, Колин; Хэнд, Майкл (16 января 2001 г.). Учебник по логике, второе издание . МТИ Пресс. стр. 53, 99. ISBN.  978-0-262-30396-5 .
  74. ^ Морленд, Япония; Крейг, Уильям Лейн (20 сентября 2009 г.). Философские основы христианского мировоззрения . Межвузовская пресса. п. 54. ИСБН  978-0-8308-7649-5 .
  75. ^ Иемхофф, Розали; Моортгат, Майкл; Кейруш, Рюи де (23 июня 2019 г.). Логика, язык, информация и вычисления: 26-й международный семинар, WoLLIC 2019, Утрехт, Нидерланды, 2-5 июля 2019 г., Материалы . Спрингер. п. 248. ИСБН  978-3-662-59533-6 .
  76. ^ Элгин, Сэмюэл З. (01 февраля 2021 г.). «Контрфактическая логика и необходимость математики» . Журнал философской логики . 50 (1): 97–115. дои : 10.1007/s10992-020-09563-8 . ISSN   1573-0433 .
  77. ^ Богосян, Пол Артин; Пикок, Кристофер (2000). Новые очерки об априори . Издательство Оксфордского университета. п. 202. ИСБН  978-0-19-924126-2 .
  78. ^ Jump up to: Перейти обратно: а б Смит, Питер (26 июля 2007 г.). Введение в теоремы Гёделя . Издательство Кембриджского университета. стр. 10, 331. ISBN.  978-0-521-85784-0 .
  79. ^ Бейкер, Алан (2020), Шрираман, Бхарат (редактор), «Противовозможности в математической практике: случай подделки совершенных чисел» , Справочник по истории и философии математической практики , Cham: Springer International Publishing, стр. 1–27 , doi : 10.1007/978-3-030-19071-2_24-1 , ISBN  978-3-030-19071-2 , получено 29 апреля 2024 г.
  80. ^ «Шефферский удар | Интернет-энциклопедия философии» . Проверено 28 апреля 2024 г.
  81. ^ «Компактность | Интернет-энциклопедия философии» . Проверено 22 марта 2024 г.
  82. ^ Священник, Грэм (12 октября 2000 г.). Логика: очень краткое введение . ОУП Оксфорд. п. 4. ISBN  978-0-19-289320-8 .
  83. ^ Jump up to: Перейти обратно: а б с Шредер-Хейстер, Питер (2024), «Семантика теории доказательств» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. летом 2024 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 28 апреля 2024 г.
  84. ^ Якона, Андреа (10 мая 2021 г.). ЛОГИКА: Конспекты лекций по философии, математике и информатике . Спрингер Природа. п. 77. ИСБН  978-3-030-64811-4 .
  85. ^ Гаек, Петр; Пудлак, Павел (2 марта 2017 г.). Метаматематика арифметики первого порядка . Издательство Кембриджского университета. п. 166. ИСБН  978-1-107-16841-1 .
  86. ^ Леблан, Хьюз; Мендельсон, Эллиотт; Оренштейн, А. (17 апреля 2013 г.). Основы: логика, язык и математика . Springer Science & Business Media. п. 93. ИСБН  978-94-017-1592-8 .
  87. ^ Алмейда, Майкл Дж. (27 февраля 2012 г.). Метафизика совершенных существ . Рутледж. ISBN  978-1-135-89462-7 .
  88. ^ Веллвуд, Алексис (26 сентября 2019 г.). Смысл большего . Издательство Оксфордского университета. п. 157. ИСБН  978-0-19-252681-6 .
  89. ^ Гаррет, Брайан (21 февраля 2022 г.). Время, идентичность и личность: очерки метафизики . Спрингер Природа. п. 175. ИСБН  978-3-030-85517-8 .
  90. ^ Рестолл, Грег (11 сентября 2002 г.). Введение в субструктурную логику . Рутледж. п. 65. ИСБН  978-1-136-79930-3 .
  91. ^ Хорстен, Леон; Петтигрю, Ричард (25 сентября 2014 г.). Блумсберийский спутник философской логики . Издательство Блумсбери. п. 213. ИСБН  978-1-4725-2273-3 .
  92. ^ Габбай, Дов М.; Вансинг, Генрих (29 июня 2013 г.). Что такое отрицание? . Springer Science & Business Media. п. 26. ISBN  978-94-015-9309-0 .
  93. ^ Платон, Ян фон (2013). Элементы логического рассуждения . Издательство Кембриджского университета. п. 47. ИСБН  978-1-107-03659-8 .
  94. ^ Мансано, Мария (29 марта 1996 г.). Расширения логики первого порядка . Издательство Кембриджского университета. п. 80. ИСБН  978-0-521-35435-6 .
  95. ^ Херд, Джо; Мелхэм, Том (29 августа 2005 г.). Доказательство теорем в логике высшего порядка: 18-я Международная конференция, TPHOLs 2005, Оксфорд, Великобритания, 22–25 августа 2005 г., Труды . Спрингер. п. 36. ISBN  978-3-540-31820-0 .
  96. ^ Ригер, Адам; Янг, Гарет (01 января 2020 г.). Диалетеизм и его применение . Спрингер Природа. п. 63. ИСБН  978-3-030-30221-4 .
  97. ^ Габбай, Дов М.; Вудс, Джон (13 августа 2007 г.). Многозначный и немонотонный поворот в логике . Эльзевир. п. 98. ИСБН  978-0-08-054939-2 .
  98. ^ Макридис, Одиссей (21 февраля 2022 г.). Символическая логика . Спрингер Природа. п. 16. ISBN  978-3-030-67396-3 .
  99. ^ Эдиксховен, Бас; Кувень, Жан-Марк (20 июня 2011 г.). Вычислительные аспекты модульных форм и представлений Галуа: как можно вычислить за полиномиальное время значение тау Рамануджана в простом числе (AM-176) . Издательство Принстонского университета. п. 97. ИСБН  978-0-691-14201-2 .
  100. ^ Джонсон, Р.Х.; Ольбах, HJ; Габбай, Дов М.; Вудс, Джон (11 сентября 2002 г.). Справочник по логике аргументации и вывода: поворот к практике . Эльзевир. п. 90. ИСБН  978-0-08-053291-2 .
  101. ^ Эйтер, Томас; Креннуоллнер, Томас (18 августа 2012 г.). Reasoning Web – семантические технологии для расширенного ответа на запросы: 8-я Международная летняя школа 2012 г., Вена, Австрия, 3–8 сентября 2012 г. Материалы . Спрингер. п. 167. ИСБН  978-3-642-33158-9 .
  102. ^ «Разгрузка глоссария | Логические заметки - АНУ» . users.cecs.anu.edu.au . Проверено 28 апреля 2024 г.
  103. ^ «Естественная дедукция | Интернет-энциклопедия философии» . Проверено 28 апреля 2024 г.
  104. ^ Браунер, Торбен (2004). «Две системы естественной дедукции для гибридной логики: сравнение» . Журнал логики, языка и информации . 13 (1): 1–23. дои : 10.1023/А:1026187215321 . ISSN   0925-8531 . JSTOR   40180365 .
  105. ^ Jump up to: Перейти обратно: а б Гарсон, Джеймс (2024), «Модальная логика» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. весны 2024 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  106. ^ Камареддин, Файруз (1995). «Теория отсутствия типов и коллективная/распределительная предикация» . Журнал логики, языка и информации . 4 (2): 85–109. дои : 10.1007/BF01048616 . ISSN   0925-8531 . JSTOR   40180063 .
  107. ^ де Врис, Ханна (2017). «Два вида дистрибутивности» . Семантика естественного языка . 25 (2): 173–197. дои : 10.1007/s11050-017-9133-z . ISSN   0925-854X . JSTOR   26636691 .
  108. ^ Суппес, Патрик; Хилл, Ширли (30 апреля 2012 г.). Первый курс математической логики . Курьерская корпорация. стр. 23–26. ISBN  978-0-486-15094-9 .
  109. ^ Кирк, Донна (22 марта 2023 г.). «2.2. Сложные высказывания». Современная математика . ОпенСтакс.
  110. ^ Jump up to: Перейти обратно: а б Омодео, Эухенио Г.; Поликрити, Альберто (27 января 2017 г.). Мартин Дэвис о вычислимости, вычислительной логике и математических основах . Спрингер. п. 384. ИСБН  978-3-319-41842-1 .
  111. ^ Бимбо, Каталин (20 августа 2014 г.). Теория доказательств: секвентивные исчисления и родственные формализмы . ЦРК Пресс. п. 193. ИСБН  978-1-4665-6466-4 .
  112. ^ Черч, Алонзо (1996). Введение в математическую логику . Издательство Принстонского университета. п. 166. ИСБН  978-0-691-02906-1 .
  113. ^ Игараси, Ёсихидэ; Альтман, Том; Фунада, Марико; Камияма, Барбара (27 мая 2014 г.). Вычисления: историческая и техническая перспектива . ЦРК Пресс. п. 127. ИСБН  978-1-4822-2741-3 .
  114. ^ Де Рийке, Мартен (1998). «Система динамической модальной логики» . Журнал философской логики . 27 (2): 109–142. дои : 10.1023/А:1004295308014 . ISSN   0022-3611 . JSTOR   30227100 .
  115. ^ ван Эйк, Дж; Чеппарелло, Дж. (январь 1994 г.). Динамическая модальная логика предикатов . Издательство CSLI, Стэнфорд.
  116. ^ Булос, Джордж С.; Берджесс, Джон П.; Джеффри, Ричард К. (4 марта 2002 г.). Вычислимость и логика . Издательство Кембриджского университета. стр. 73–74. ISBN  978-0-521-00758-0 .
  117. ^ Феферман, Соломон (1957). Формальные доказательства непротиворечивости и интерпретируемость теорий . Калифорнийский университет, Беркли. п. 21.
  118. ^ Блондель, Винсент Д.; Мегрецкий, Александр (11 апреля 2009 г.). Нерешенные проблемы математических систем и теории управления . Издательство Принстонского университета. п. 305. ИСБН  978-1-4008-2615-5 .
  119. ^ Киёки, Ясуши (2004). Информационное моделирование и базы знаний XV . ИОС Пресс. п. 202. ИСБН  978-1-58603-396-5 .
  120. ^ Бониоло, Дж. (25 апреля 2007 г.). О научных представлениях: от Канта к новой философии науки . Спрингер. п. 60. ИСБН  978-0-230-20657-1 .
  121. ^ Ноулз, Уильям Бонди (9 января 2024 г.). «Парадокс познаваемости, решение разрешимости?» . Соотношение . дои : 10.1111/rati.12396 . ISSN   0034-0006 .
  122. ^ Кук, Рой Т. (2013). Парадоксы . Ключевые понятия государственного устройства в философии. Кембридж Молден (Массачусетс): Политика. п. 163. ИСБН  978-0-7456-4943-6 .
  123. ^ Jump up to: Перейти обратно: а б с д и Ронзитти, Джузеппина (3 марта 2011 г.). Неясность: Руководство . Springer Science & Business Media. стр. 62, 83, 88. ISBN.  978-94-007-0375-9 .
  124. ^ «Электронное предложение» . Словарь Коллинза .
  125. ^ Стоун, Джон Дэвид (1981). «Бессмысленность и парадокс: некоторые замечания по статье Гольдштейна» . Языкознание и философия . 4 (3): 423–429. дои : 10.1007/BF00304404 . ISSN   0165-0157 . JSTOR   25001063 .
  126. ^ Хорн, Лоуренс Р.; Вансинг, Генрих (2022), «Отрицание» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. зимой 2022 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 28 апреля 2024 г.
  127. ^ Нолт, Джон (2021 г.), «Свободная логика» , в Залте, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (изд. осенью 2021 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 28 апреля 2024 г.
  128. ^ Павлович, Эди; Грацль, Норберт (01 февраля 2021 г.). «Более унифицированный подход к свободной логике» . Журнал философской логики . 50 (1): 117–148. дои : 10.1007/s10992-020-09564-7 . ISSN   1573-0433 .
  129. ^ Метакидес, Г.; Нерод, А. (13 июня 1996 г.). Принципы логики и логического программирования . Эльзевир. п. 130. ИСБН  978-0-08-053964-5 .
  130. ^ «Пролог» . www.cs.gordon.edu . Проверено 28 апреля 2024 г.
  131. ^ Jump up to: Перейти обратно: а б Джованнини, Эдуардо Н.; Шимер, Георг (01 декабря 2021 г.). «Что такое неявные определения?» . Эркеннтнис . 86 (6): 1661–1691. дои : 10.1007/s10670-019-00176-5 . ISSN   1572-8420 .
  132. ^ Винни, Джон А. (1965). «Теоретические термины и частичные определения» . Философия науки . 32 (3/4): 324–328. дои : 10.1086/288056 . ISSN   0031-8248 . JSTOR   186527 .
  133. ^ «Пропозициональная логика | Интернет-энциклопедия философии» . Проверено 28 апреля 2024 г.
  134. ^ Ньюмейер, Фредерик Дж. (4 декабря 2017 г.). Видовые глаголы английского языка . Вальтер де Грюйтер ГмбХ & Ко КГ. п. 65. ИСБН  978-3-11-081845-1 .
  135. ^ Рэдфорд, Эндрю (15 октября 2020 г.). Введение в структуру английских предложений . Издательство Кембриджского университета. п. 348. ИСБН  978-1-108-83954-9 .
  136. ^ «Рудольф Карнап > Х. Толерантность, метафизика и метаонтология (Стэнфордская энциклопедия философии)» . plato.stanford.edu . Проверено 28 апреля 2024 г.
  137. ^ Панса, Марко; Серени, Андреа (2013), «От Фреге до Гёделя (через Гильберта)» , Проблема Платона , Лондон: Palgrave Macmillan UK, стр. 45–98, doi : 10.1057/9781137298133_3 , ISBN  978-0-230-36549-0 , получено 28 апреля 2024 г.
  138. ^ Хокни, Майк (30 сентября 2013 г.). Гиперразум . Книги Мага. п. 203.
  139. ^ Айгнер-Хорев, Элад; Кармезен, Йоханнес; Фрелих, Ян-Оливер (09 июля 2012 г.), Бесконечный союз матроидов , arXiv : 1111.0602
  140. ^ Блоссье, Томас; Бускарен, Элизабет (2010). «Конечно аксиоматизируемые сильно минимальные группы» . Журнал символической логики . 75 (1): 25–50. дои : 10.2178/jsl/1264433908 . ISSN   0022-4812 . JSTOR   25676766 .
  141. ^ Иванов, Александр (май 1999 г.). «Конечно-аксиоматизируемые теории (Сибирская школа алгебры и логики)» . Бюллетень Лондонского математического общества . 31 (3): 373. doi : 10.1112/S0024609397244164 .
  142. ^ Эббингауз, Х.-Д.; Флум, Дж.; Томас, Вольфганг (14 марта 2013 г.). Математическая логика . Springer Science & Business Media. п. 174. ИСБН  978-1-4757-2355-7 .
  143. ^ Священник, Грэм, изд. (2008), «Последствия первой степени» , «Введение в неклассическую логику: от если к есть» , Кембриджские введения в философию (2-е изд.), Кембридж: Cambridge University Press, стр. 142–162, doi : 10.1017/cbo9780511801174 .011 , ISBN  978-0-511-80117-4 , получено 28 апреля 2024 г.
  144. ^ Омори, Хитоши; Вансинг, Генрих (1 декабря 2017 г.). «40 лет FDE: вводный обзор» . Студия Логика . 105 (6): 1021–1049. дои : 10.1007/s11225-017-9748-6 . ISSN   1572-8730 .
  145. ^ Окерман, Йонас (2013). «Аргументы соритов форсированного марша и лингвистическая компетентность» . Диалектика . 67 (4): 403–426. дои : 10.1111/1746-8361.12038 . ISSN   0012-2017 . JSTOR   42971334 .
  146. ^ Хайд, Доминик; Раффман, Диана (2018), «Парадокс Соритов» , в Залте, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (изд. лета 2018 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 28 апреля 2024 г.
  147. ^ Jump up to: Перейти обратно: а б Эшворт, Э.Дж. (6 декабря 2012 г.). Язык и логика в постсредневековый период . Springer Science & Business Media. п. 128. ИСБН  978-94-010-2226-2 .
  148. ^ Jump up to: Перейти обратно: а б Габбай, Дов М.; Вудс, Джон (14 марта 2008 г.). Логика Средневековья и Возрождения . Эльзевир. п. 475. ИСБН  978-0-08-056085-4 .
  149. ^ Jump up to: Перейти обратно: а б Хохшильд, Джошуа П.; Невитт, Тернер К.; Вуд, Адам; Борбей, Габор (27 апреля 2023 г.). Метафизика через семантику: философское восстановление средневекового разума: очерки в честь Дьюлы Климы . Спрингер Природа. п. 265. ИСБН  978-3-031-15026-5 .
  150. ^ Ходжес, Уилфрид; Вяэнянен, Йоуко (2019), «Логика и игры» , в Залте, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (изд. осени 2019 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 28 апреля 2024 г.
  151. ^ Хальбах, Волкер; Виссер, Альберт (2014), Мансано, Мария; Саин, Ильдико; Алонсо, Энрике (ред.), «Приговор Хенкина» , Жизнь и творчество Леона Хенкина , Cham: Springer International Publishing, стр. 249–263, doi : 10.1007/978-3-319-09719-0_17 , ISBN  978-3-319-09718-3 , получено 28 апреля 2024 г.
  152. ^ Булос, Джордж С.; Берджесс, Джон П.; Джеффри, Ричард К. (4 марта 2002 г.). Вычислимость и логика . Издательство Кембриджского университета. п. 236. ИСБН  978-0-521-00758-0 .
  153. ^ Гиларди, Сильвио; Пагани, Елена (01.03.2021). «Устранение кванторов высшего порядка, встречное моделирование и отказоустойчивые системы» . Журнал автоматизированного рассуждения . 65 (3): 425–460. дои : 10.1007/s10817-020-09578-5 . hdl : 2434/766980 . ISSN   1573-0670 .
  154. ^ Хофвебер, Томас (08 декабря 2022 г.). «Дело против метафизики высшего порядка» . Метафизический коллектив . 5 (1): 29–50. дои : 10.5334/мет.83 .
  155. ^ Уильямсон, Тимоти (1999). «О структуре неопределенности высшего порядка» . Разум . 108 (429): 127–143. дои : 10.1093/mind/108.429.127 . ISSN   0026-4423 . JSTOR   2659905 .
  156. ^ Хейл, Боб (19 сентября 2013 г.). Необходимые существа: очерк онтологии, модальности и отношений между ними . ОУП Оксфорд. п. 183. ИСБН  978-0-19-164834-2 .
  157. ^ Кук, Рой Т. (27 ноября 2007 г.). Статьи Arché по математике абстракции . Springer Science & Business Media. п. 355. ИСБН  978-1-4020-4265-2 .
  158. ^ Крессвелл, Джулия (9 сентября 2010 г.). Оксфордский словарь происхождения слов . ОУП Оксфорд. п. 128. ИСБН  978-0-19-954793-7 .
  159. ^ Майлз, Мюррей (1 января 2003 г.). Вторжения: пути в древней и современной западной философии . Университет Торонто Пресс. п. 644. ИСБН  978-0-8020-8531-3 .
  160. ^ «неявное определение» . Оксфордский справочник . Проверено 28 апреля 2024 г.
  161. ^ Холл, Джеффри (01 февраля 2021 г.). «Неопределенная расширяемость и принцип достаточного основания» . Философские исследования . 178 (2): 471–492. дои : 10.1007/s11098-020-01441-y . ISSN   1573-0883 .
  162. ^ Священник, Грэм (2013). «Неограниченная расширяемость — диалетический стиль» . Studia Logica: Международный журнал символической логики . 101 (6): 1263–1275. дои : 10.1007/s11225-013-9532-1 . hdl : 11343/282970 . ISSN   0039-3215 . JSTOR   43649610 .
  163. ^ Линнебо, Эйстейн (октябрь 2018 г.). «Даммит о неопределенной расширяемости» . Философские вопросы . 28 (1): 196–220. дои : 10.1111/phis.12122 . hdl : 10852/70857 . ISSN   1533-6077 .
  164. ^ Бэкон, Джон Б.; Детлефсен, Майкл; Маккарти, Дэвид Чарльз (5 сентября 2013 г.). Логика от А до Я: Философская энциклопедия Routledge, словарь логических и математических терминов . Рутледж. п. 54. ИСБН  978-1-134-97104-6 .
  165. ^ Гудман, Майкл Ф. (1993). Первая логика . Университетское издательство Америки. п. 222. ИСБН  978-0-8191-8888-5 .
  166. ^ Хайль, Джон (06 октября 2021 г.). Логика первого порядка: краткое введение . Издательство Хакетт. п. 288. ИСБН  978-1-64792-010-4 .
  167. ^ Копи, Ирвинг; Коэн, Карл; Флагж, Дэниел (08 декабря 2016 г.). Основы логики . Тейлор и Фрэнсис. п. 309. ИСБН  978-1-315-38901-1 .
  168. ^ «Я-предложение» . Словарь Коллинза .
  169. ^ Jump up to: Перейти обратно: а б Валличелла, Билл (20 декабря 2011 г.). «Есть» идентичности и «Есть» предикации» . Индивидуальный философ . Проверено 27 апреля 2024 г.
  170. ^ Jump up to: Перейти обратно: а б «Тезис Фреге-Рассела о двусмысленности» . www.ontology.co . Проверено 28 апреля 2024 г.
  171. ^ Jump up to: Перейти обратно: а б Вилкко, Ристо; Хинтикка, Джеймс (2006). «Существование и предикация от Аристотеля до Фреге » Философия и феноменологические исследования . 73 (2): 359–377. дои : 10.1111/j.1933-1592.2006.tb00622.x . ISSN   0031-8205 . JSTOR   40040975 .
  172. ^ Майенборн, Клаудия; Хойзингер, Клаус; Портнер, Пол (19 февраля 2019 г.). Семантика — Интерфейсы . Вальтер де Грюйтер ГмбХ & Ко КГ. стр. 501. ISBN  978-3-11-058984-9 .
  173. ^ «Парадокс лжеца | Интернет-энциклопедия философии» . Проверено 27 апреля 2024 г.
  174. ^ «Субструктурная логика и резидуированные решетки» , Остаточные решетки: алгебраический взгляд на субструктурную логику , Исследования по логике и основам математики, том. 151, Elsevier, стр. 75–139, 2007 г., doi : 10.1016/s0049-237x(07)80007-3 , ISBN  978-0-444-52141-5 , получено 27 апреля 2024 г.
  175. ^ Jump up to: Перейти обратно: а б Бежанишвили, Ник; Лёбнер, Себастьян; Швабе, Керстин; Спада, Лука (18 июля 2011 г.). Логика, язык и вычисления: 8-й Международный Тбилисский симпозиум по логике, языку и вычислениям, TbiLLC 2009, Бакуриани, Грузия, 21-25 сентября 2009 г. Пересмотренные избранные статьи . Springer Science & Business Media. п. 64. ИСБН  978-3-642-22302-0 .
  176. ^ Мартин, Роберт М. (14 мая 2004 г.). Знакомство с символической логикой . Бродвью Пресс. п. 12. ISBN  978-1-55111-635-8 .
  177. ^ Jump up to: Перейти обратно: а б Рассел, Джиллиан; Блейк-Тернер, Кристофер (2023), «Логический плюрализм» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. осенью 2023 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  178. ^ Билл, Дж. К.; Рестолл, Грег (2006). Логический плюрализм . Оксфорд: Нью-Йорк: Clarendon Press; Издательство Оксфордского университета. ISBN  978-0-19-928841-0 . OCLC   60793942 .
  179. ^ Jump up to: Перейти обратно: а б Макридис, Одиссей (21 февраля 2022 г.). Символическая логика . Спрингер Природа. п. 95. ИСБН  978-3-030-67396-3 .
  180. ^ Jump up to: Перейти обратно: а б Райхер, Мария (2022), «Несуществующие объекты» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. зимой 2022 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  181. ^ «Абстракционизм | Интернет-энциклопедия философии» . Проверено 27 апреля 2024 г.
  182. ^ Ханадзава, Масадзуми (1990). «О СХЕМАХ АКСИОМ, ПРИМЕНИМЫХ К ФОРМУЛАМ С ɛ-СИМВОЛАМИ» . Математический журнал Цукуба . 14 (1): 91–98. дои : 10.21099/tkbjm/1496161321 . ISSN   0387-4982 . JSTOR   43686680 .
  183. ^ "рассуждение.html" . www-cs-students.stanford.edu . Проверено 27 апреля 2024 г.
  184. ^ Чанг, Цзинь-Лян; Ли, Ричард Чар-Тунг (28 июня 2014 г.). Символическая логика и механическое доказательство теорем . Академическая пресса. п. 35. ISBN  978-0-08-091728-3 .
  185. ^ Дас, Субрата (14 декабря 2013 г.). Вычислительная бизнес-аналитика . ЦРК Пресс. п. 31. ISBN  978-1-4398-9073-8 .
  186. ^ Jump up to: Перейти обратно: а б Мензель, Кристофер (2024), «Дебаты о поссибилизме и актуализме» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. лета 2024 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  187. ^ Армор-Гарб, Брэдли; Столяр, Даниэль; Вудбридж, Джеймс (2023), «Дефляционизм об истине» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. летом 2023 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  188. ^ Jump up to: Перейти обратно: а б с Дин, Уолтер; Найбо, Альберто (2024), «Рекурсивные функции» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. лета 2024 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  189. ^ Дайверс, Джон (2004). «Агностицизм в отношении других миров: новая антиреалистическая программа в модальности» . Философия и феноменологические исследования . 69 (3): 660–685. дои : 10.1111/j.1933-1592.2004.tb00522.x . ISSN   0031-8205 . JSTOR   40040771 .
  190. ^ Фэллон, Фрэнсис; Хайман, Гэвин (5 ноября 2020 г.). Агностицизм: исследования в области философии и религиозной мысли . Издательство Оксфордского университета. п. 33. ISBN  978-0-19-885912-3 .
  191. ^ Жакетт, Дейл (15 апреля 2008 г.). Компаньон философской логики . Джон Уайли и сыновья. п. 236. ИСБН  978-1-4051-4994-5 .
  192. ^ Сомс, Скотт (9 марта 2009 г.). Философские очерки, том 2: Философское значение языка . Издательство Принстонского университета. п. 5. ISBN  978-1-4008-3318-4 .
  193. ^ «Логическое следствие, теоретико-модельные концепции | Интернет-энциклопедия философии» . Проверено 28 апреля 2024 г.
  194. ^ Клини, Стивен Коул (2002). Математическая логика (изд. Дувра). Минеола, Нью-Йорк: Dover Publications. ISBN  978-0-486-42533-7 .
  195. ^ Блэкберн, Саймон (2016). Оксфордский философский словарь . Издательство Оксфордского университета. п. 311. ИСБН  978-0-19-873530-4 .
  196. ^ Маргарис, Анджело (1 января 1990 г.). Математическая логика первого порядка . Курьерская корпорация. п. 143. ИСБН  978-0-486-66269-5 .
  197. ^ Столл, Роберт Рот (1 октября 1979 г.). Теория множеств и логика . Курьерская корпорация. п. 239. ИСБН  978-0-486-63829-4 .
  198. ^ Роблес, Джемма (2008). «Основная конструктивная логика непротиворечивости отрицания» . Журнал логики, языка и информации . 17 (2): 161–181. дои : 10.1007/s10849-007-9056-z . ISSN   0925-8531 . JSTOR   41217804 .
  199. ^ Роблес, Джемма (2008). «РАСШИРЕНИЕ БАЗОВОЙ КОНСТРУКТИВНОЙ ЛОГИКИ ДЛЯ ОТРИЦАНИЯ-СОСТОЯННОСТИ B Kc4, ОПРЕДЕЛЕННОЙ КОНСТАНТОЙ ЛОЖНОСТИ» . Логика и анализ . 51 (201): 57–80. ISSN   0024-5836 . JSTOR   44084882 .
  200. ^ Роблес, Джемма (апрель 2008 г.). «Основная конструктивная логика непротиворечивости отрицания» . Журнал логики, языка и информации . 17 (2): 161–181. дои : 10.1007/s10849-007-9056-z . ISSN   0925-8531 .
  201. ^ « Глава 5» | Логика: дедуктивная и индуктивная | Карвет Рид, М.А. | Лит2Го и т. д.» . и т. д.usf.edu . Проверено 27 апреля 2024 г.
  202. ^ «Логика и категорические утверждения» . факультет.fiu.edu . Проверено 27 апреля 2024 г.
  203. ^ Балларин, Роберта (2023), «Современные истоки модальной логики» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. осенью 2023 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  204. ^ Кмент, Борис (2021 г.), «Разновидности модальности» , в Залте, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (изд. Весна 2021 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  205. ^ «Питер Субер, «Нестандартная логика» » . Legacy.earlham.edu . Проверено 27 апреля 2024 г.
  206. ^ Берлер, Жак; Клемент, Эндрю; Сайзер, Ричард; Уайтхаус, Дайан (11 ноября 2013 г.). Информационное общество: меняющиеся ландшафты . Springer Science & Business Media. п. 392. ИСБН  978-1-4757-4328-9 .
  207. ^ «Справочное руководство JML: предикаты и выражения спецификации» . www.cs.ucf.edu . Проверено 27 апреля 2024 г.
  208. ^ «Часть первая: Числа и квантификаторы» . Издательство Университета Индианы : 26–105.
  209. ^ Трояни, Ванесса; Пил, Джонатан Э.; Кларк, Робин; Гроссман, Мюррей (январь 2009 г.). «Логично ли рассчитывать на кванторы? Диссоциируемые нейронные сети, лежащие в основе числовых и логических кванторов» . Нейропсихология . 47 (1): 104–111. doi : 10.1016/j.neuropsychologia.2008.08.015 . ISSN   0028-3932 . ПМЦ   2637397 . ПМИД   18789346 .
  210. ^ Jump up to: Перейти обратно: а б Ходжес, Уилфрид (2022), «Определения истины Тарского» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. зимы 2022 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 26 апреля 2024 г.
  211. ^ Лазерсон, Питер. «объектный язык» . blogs.illinois.edu . Проверено 27 апреля 2024 г.
  212. ^ «Контекст и отношения» . Academic.oup.com . doi : 10.1093/acprof:oso/9780199557950.003.0003 . Проверено 27 апреля 2024 г.
  213. ^ Лински, Леонард (1972). «Две концепции количественной оценки» . Нус . 6 (3): 224–239. дои : 10.2307/2214771 . ISSN   0029-4624 . JSTOR   2214771 .
  214. ^ Расплывчатые объекты и расплывчатая идентичность . Логика, эпистемология и единство науки. Том. 33. 2014. doi : 10.1007/978-94-007-7978-5 . ISBN  978-94-007-7977-8 .
  215. ^ Барнс, Элизабет (2010). «Онтическая неопределенность: Путеводитель для растерянных» . Нус . 44 (4): 601–627. дои : 10.1111/j.1468-0068.2010.00762.x . ISSN   0029-4624 . JSTOR   40959694 .
  216. ^ Вудбридж, Джеймс А.; Армор-Гарб, Брэдли (2005). Соренсен, Рой (ред.). «Семантическая патология и открытая пара» . Философия и феноменологические исследования . 71 (3): 695–703. дои : 10.1111/j.1933-1592.2005.tb00482.x . ISSN   0031-8205 . JSTOR   40040896 .
  217. ^ Гольдштейн, Лоуренс (2009). «Последовательный путь с парадоксом» . Философские исследования: Международный журнал философии в аналитической традиции . 144 (3): 377–389. дои : 10.1007/s11098-008-9215-3 . ISSN   0031-8116 . JSTOR   27734452 .
  218. ^ «О-предложение» . Словарь Коллинза .
  219. ^ Ван Ньювенборг, Дэви; Хейманс, Стейн; Вермейр, Дирк (2005), Эрменегильдо, Мануэль В.; Кабеса, Дэниел (ред.), «Решатель программ упорядоченной логики» , «Практические аспекты декларативных языков» , том. 3350, Берлин, Гейдельберг: Springer Berlin Heidelberg, стр. 128–142, номер домена : 10.1007/978-3-540-30557-6_11 , ISBN.  978-3-540-24362-5 , получено 27 апреля 2024 г.
  220. ^ Буккафурри, Франческо; Леоне, Никола; Скарчелло, Франческо (1 января 1996 г.). «О выразительной силе упорядоченной логики» . AI-коммуникации . 9 (1): 4–13. дои : 10.3233/AIC-1996-9101 . ISSN   0921-7126 .
  221. ^ Блейми, Стивен (2002), Габбай, Дов М.; Гентнер, Ф. (ред.), «Частичная логика» , Справочник по философской логике , Дордрехт: Springer Нидерланды, стр. 261–353, doi : 10.1007/978-94-017-0458-8_5 , ISBN  978-90-481-5927-7 , получено 27 апреля 2024 г.
  222. ^ Барба, Хуан (1993). «Модальная редукция частичной логики» . Журнал философской логики . 22 (4): 429–435. дои : 10.1007/BF01052534 . ISSN   0022-3611 . JSTOR   30227069 .
  223. ^ Ягер, Герхард (26 августа 2005 г.). Анафора и типовая логическая грамматика . Springer Science & Business Media. п. 27. ISBN  978-1-4020-3904-1 .
  224. ^ Лекомт, Ален (22 марта 2011 г.). Смысл, логика и людика . Всемирная научная. п. 99. ИСБН  978-1-908978-24-0 .
  225. ^ Камат, Притиш (2015). Коммуникационная сложность перестановочно-инвариантных функций (Диссертация). Массачусетский технологический институт. hdl : 1721.1/99861 .
  226. ^ Фукшанский, Ленни; Гарсия, Стефан; Сунь, Сюнь (01 января 2015 г.). «Перестановочно-инвариантные решетки» . Публикации и исследования факультета Помоны . arXiv : 1409.1491 .
  227. ^ Бобзиен, Сюзанна; Данкомб, Мэтью (2023), «Диалектическая школа» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. осенью 2023 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  228. ^ Макридис, Одиссей (21 февраля 2022 г.). Символическая логика . Спрингер Природа. п. 302. ИСБН  978-3-030-67396-3 .
  229. ^ Лукас-младший (11 сентября 2002 г.). Концептуальные корни математики . Рутледж. п. 80. ИСБН  978-1-134-62227-6 .
  230. ^ Бен-Менахем, Йемайма (13 июня 2022 г.). Переосмысление концепции закона природы: естественный порядок в свете современной науки . Спрингер Природа. п. 157. ИСБН  978-3-030-96775-8 .
  231. ^ Аллан, Кейт (06 апреля 2010 г.). Краткая энциклопедия семантики . Эльзевир. п. 931. ИСБН  978-0-08-095969-6 .
  232. ^ Эпштейн, Ричард Л. (05 ноября 2018 г.). Пропозициональная логика, 3-е издание . Форум продвинутого рассуждения. п. 66. ИСБН  978-0-9834521-7-1 .
  233. ^ Хакстафф, Л.Г. (6 декабря 2012 г.). Системы формальной логики . Springer Science & Business Media. п. 199. ИСБН  978-94-010-3547-7 .
  234. ^ Бэкон, Эндрю (2019). «Является ли реальность фундаментально качественной?» . Философские исследования: Международный журнал философии в аналитической традиции . 176 (1): 259–295. дои : 10.1007/s11098-017-1015-1 . ISSN   0031-8116 . JSTOR   45094266 .
  235. ^ «Силлогистическая терминология» . Философия.lander.edu . Проверено 27 апреля 2024 г.
  236. ^ «Категорический силлогизм» . www.philosophypages.com . Проверено 27 апреля 2024 г.
  237. ^ Фламинио, Томмазо; Ривьеччо, Умберто (сентябрь 2022 г.). «Прелинейность в (квази) логике Нельсона» . Нечеткие множества и системы . 445 : 66–89. дои : 10.1016/j.fss.2022.03.021 . ISSN   0165-0114 .
  238. ^ Кодара, Пьетро; Д'Антона, Оттавио М.; Марра, Винченцо (2007). «Пропозициональная логика Гёделя и пути Деланной». FUZZ-IEEE 2007, Международная конференция IEEE по нечетким системам, Имперский колледж, Лондон, Великобритания, 23–26 июля 2007 г., Материалы . IEEE. стр. 1–5. дои : 10.1109/FUZZY.2007.4295542 . ISBN  978-1-4244-1209-9 .
  239. ^ Саннелла, Дональд; Тарлецкий, Анджей (5 января 2012 г.). Основы алгебраической спецификации и формальной разработки программного обеспечения . Springer Science & Business Media. п. 53. ИСБН  978-3-642-17336-3 .
  240. ^ Залта, Э. (6 декабря 2012 г.). Абстрактные объекты: введение в аксиоматическую метафизику . Springer Science & Business Media. п. 30. ISBN  978-94-009-6980-3 .
  241. ^ «Истина, прозентенциальная теория | Интернет-энциклопедия философии» . Проверено 27 апреля 2024 г.
  242. ^ Виссер, Альберт; Зутаут, Джетце (июнь 2019 г.). «Логика доказуемости и принцип полноты» . Анналы чистой и прикладной логики . 170 (6): 718–753. arXiv : 1804.09451 . дои : 10.1016/j.apal.2019.02.001 . ISSN   0168-0072 .
  243. ^ Вебер, Зак (21 октября 2021 г.). Парадоксы и противоречивая математика . Издательство Кембриджского университета. п. 114. ИСБН  978-1-108-83441-4 .
  244. ^ Башкент, Джан; Фергюсон, Томас Маколей (01 января 2020 г.). Грэм Прист о диалетеизме и парапоследовательности . Спрингер Природа. п. 355. ИСБН  978-3-030-25365-3 .
  245. ^ Билл, Джеффри С. (2017). Логика: основы (2-е изд.). Лондон Нью-Йорк: Рутледж. п. 61. ИСБН  978-1-138-85227-3 .
  246. ^ Смалльян, Раймонд М. (1993). Теория рекурсии для метаматематики . Издательство Оксфордского университета. п. 47. ИСБН  978-0-19-508232-6 .
  247. ^ Хленцос, Дрю (2021 г.), «Вызовы метафизическому реализму» , в Залте, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (изд. весной 2021 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  248. ^ «Актуализм > Простейшая количественная модальная логика (SQML) (Стэнфордская энциклопедия философии / издание лета 2020 г.)» . plato.stanford.edu . Проверено 27 апреля 2024 г.
  249. ^ «Элементы логики 37» . www3.nd.edu . Проверено 27 апреля 2024 г.
  250. ^ Хагли, Филип; Сэйворд, К. (6 декабря 2012 г.). Интенсиональность и истина: очерк философии А.Н. Приора . Springer Science & Business Media. п. 177. ИСБН  978-94-009-0293-0 .
  251. ^ Кригель, Урия (9 февраля 2018 г.). Философская система Брентано: разум, бытие, ценность . Издательство Оксфордского университета. п. 146. ИСБН  978-0-19-250909-3 .
  252. ^ Мерфи, Мюррей (23 декабря 2011 г.). Развитие философии Куайна . Springer Science & Business Media. п. 196. ИСБН  978-94-007-2423-5 .
  253. ^ Лассень, Ришар; Ружмон, Мишель де (6 декабря 2012 г.). Логика и сложность . Springer Science & Business Media. п. 116. ИСБН  978-0-85729-392-3 .
  254. ^ Эллис, Джерард (21 июля 1995 г.). Концептуальные структуры: приложения, реализация и теория: Третья международная конференция по концептуальным структурам, ICCS '95, Санта-Крус, Калифорния, США, 14–18 августа 1995 г. Труды . Springer Science & Business Media. п. 21. ISBN  978-3-540-60161-6 .
  255. ^ Ван, Хао (22 сентября 2014 г.). Популярные лекции по математической логике . Курьерская корпорация. п. 74. ИСБН  978-0-486-17104-3 .
  256. ^ Jump up to: Перейти обратно: а б Марти, Дженовева (2016), «Чувство и ссылка» , Энциклопедия философии Routledge (1-е изд.), Лондон: Routledge, doi : 10.4324/9780415249126-x038-1 , ISBN  978-0-415-25069-6 , получено 27 апреля 2024 г.
  257. ^ Хинман, Питер Г. (08 октября 2018 г.). Основы математической логики . ЦРК Пресс. п. 441. ИСБН  978-1-4398-6427-2 .
  258. ^ Крейг, Эдвард (1998). Философская энциклопедия Рутледжа . Тейлор и Фрэнсис. п. 808. ИСБН  978-0-415-18710-7 .
  259. ^ Кремер, Филип; Ривелло, Эдоардо (2023), «Ревизионная теория истины» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. летом 2023 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  260. ^ Чепмен, Шивон (1 ноября 2002 г.). Философия для лингвистов: Введение . Рутледж. п. 30. ISBN  978-1-134-62457-7 .
  261. ^ Коркоран, Джон; Хамид, Идрис Самави (2022), «Схема» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. осенью 2022 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 27 апреля 2024 г.
  262. ^ Тальхайм, Бернхард (25 сентября 1996 г.). Концептуальное моделирование - ER '96: 15-я Международная конференция по концептуальному моделированию, Котбус, Германия, 7–10 октября 1996 г. Труды . Springer Science & Business Media. п. 62. ИСБН  978-3-540-61784-6 .
  263. ^ Пачольский, Лешек; Тюрин, Ежи (18 июля 1995 г.). Логика информатики: 8-й семинар, CSL '94, Казимеж, Польша, 25–30 сентября 1994 г. Избранные статьи . Springer Science & Business Media. п. 106. ИСБН  978-3-540-60017-6 .
  264. ^ Текстор, Марк (13 сентября 2010 г.). Путеводитель по философии Routledge по Фреге о смысле и значении . Рутледж. п. 45. ИСБН  978-1-136-93054-6 .
  265. ^ Тарский, Альфред (1944). «Семантическая концепция истины: и основы семантики» . Философия и феноменологические исследования . 4 (3): 341–376. дои : 10.2307/2102968 . ISSN   0031-8205 . JSTOR   2102968 .
  266. ^ Бундас, Константин В. (19 июня 2007 г.). Эдинбургский спутник философии двадцатого века . Издательство Эдинбургского университета. п. 241. ИСБН  978-0-7486-2929-9 .
  267. ^ Эпштейн, Р.Л. (11 ноября 2013 г.). Семантические основы логики. Том 1: Пропозициональная логика . Springer Science & Business Media. п. 31. ISBN  978-94-009-0525-2 .
  268. ^ Джаквинто, Маркус (6 июня 2002 г.). В поисках уверенности: философский отчет об основах математики: философский отчет об основах математики . Кларендон Пресс. п. 256. ИСБН  978-0-19-158817-4 .
  269. ^ Буннин, Николас; Ю, Цзиюань (2004). Словарь Блэквелла западной философии . Молден, Массачусетс: Паб Blackwell. п. 503. ИСБН  978-1-4051-0679-5 .
  270. ^ Макбрайд, Фрейзер; Марион, Матье; Фраполли, Мария Хосе; Эджингтон, Дороти; Эллиотт, Эдвард; Лутц, Себастьян; Пэрис, Джеффри (2023), «Фрэнк Рэмси» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. зимой 2023 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 29 апреля 2024 г.
  271. ^ Бар-Элли, Галаад (6 февраля 2013 г.). Чувство референции: интенциональность у Фреге . Вальтер де Грюйтер. п. 3. ISBN  978-3-11-081303-6 .
  272. ^ Баррос, Х. Акасио де; Монтемайор, Карлос (19 сентября 2019 г.). Кванта и разум: очерки о связи квантовой механики и сознания . Спрингер Природа. п. 206. ИСБН  978-3-030-21908-6 .
  273. ^ «Представление знаний и рассуждение: основы логики» . www.emse.fr. ​Проверено 28 марта 2024 г.
  274. ^ «6. Семантика логики высказываний — документация по логике и доказательству 3.18.4» . LeanProver.github.io . Проверено 28 марта 2024 г.
  275. ^ Чоудхари, КР (2020 г.). «Основы искусственного интеллекта» . СпрингерЛинк : 31–34. дои : 10.1007/978-81-322-3972-7 . ISBN  978-81-322-3970-3 .
  276. ^ Jump up to: Перейти обратно: а б Философия логики . Эльзевир. 29 ноября 2006 г. стр. 259, 1038. ISBN.  978-0-08-046663-7 .
  277. ^ Симмонс, Кейт (24 мая 2018 г.). Семантические особенности: парадоксы референции, предикации и истины . Издательство Оксфордского университета. п. 6. ISBN  978-0-19-250919-2 .
  278. ^ Бючи, младший; Сифкес, Д. (14 ноября 2006 г.). Разрешимые теории: Vol. 2: Монадическая теория второго порядка всех счетных ординалов . Спрингер. п. 7. ISBN  978-3-540-46946-9 .
  279. ^ Райт, Криспин (2021). Загадка неопределенности . Издательство Оксфордского университета. п. 139. ИСБН  978-0-19-927733-9 .
  280. ^ Коллинз, Джон; Варци, Ахилл К. (2000). «Неострая неопределенность» . Философские темы . 28 (1): 1–10. дои : 10.5840/philtopics200028110 . ISSN   0276-2080 . JSTOR   43154328 .
  281. ^ Виалар, Тьерри (07 декабря 2016 г.). Справочник по математике . Совет директоров - Книги по запросу. п. 693. ИСБН  978-2-9551990-0-8 .
  282. ^ Соммаруга, Джованни (9 марта 2013 г.). История и философия конструктивной теории типов . Springer Science & Business Media. п. 57. ИСБН  978-94-015-9393-9 .
  283. ^ Джереми, Хорн (19 мая 2017 г.). Философские представления о логике и порядке . IGI Global. п. 149. ИСБН  978-1-5225-2444-1 .
  284. ^ «Контексты» . www.jfsowa.com . Проверено 26 апреля 2024 г.
  285. ^ «Игра с числами – Парадоксы, заблуждения | Британника» . www.britanica.com . Проверено 26 апреля 2024 г.
  286. ^ Пироне, Фабьен; Спрут, Шутка (2023), «Софизматы» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. осенью 2023 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 26 апреля 2024 г.
  287. ^ Пьеха, Томас; Шредер-Хейстер, Питер (24 октября 2015 г.). Достижения в области семантики теории доказательств . Спрингер. п. 242. ИСБН  978-3-319-22686-6 .
  288. ^ Булос, Джордж (1998). Логика, логика и еще раз логика . Издательство Гарвардского университета. п. 52. ИСБН  978-0-674-53767-5 .
  289. ^ Росс, Тимоти Дж. (8 апреля 2005 г.). Нечеткая логика в инженерных приложениях . Джон Уайли и сыновья. п. 163. ИСБН  978-0-470-86076-2 .
  290. ^ Пласек, Томаш (9 марта 2013 г.). Математический интуиционизм и интерсубъективность: критическое изложение аргументов в пользу интуиционизма . Springer Science & Business Media. п. 81. ИСБН  978-94-015-9315-1 .
  291. ^ Мартин, Роберт М. (31 марта 1997 г.). Научное мышление . Бродвью Пресс. п. 35. ISBN  978-1-55111-130-8 .
  292. ^ Майенборн, Клаудия; Хойзингер, Клаус фон; Портнер, Пол (19 декабря 2012 г.). Семантика. Том 3 . Вальтер де Грюйтер. стр. 2438. ISBN  978-3-11-025338-2 .
  293. ^ Jump up to: Перейти обратно: а б Ригер, Адам; Янг, Гарет (01 января 2020 г.). Диалетеизм и его применение . Спрингер Природа. п. 120. ИСБН  978-3-030-30221-4 .
  294. ^ Суппес, Патрик (12 июля 2012 г.). Введение в логику . Курьерская корпорация. п. 110. ИСБН  978-0-486-13805-3 .
  295. ^ Двуреченский, Анатолий (29 июня 2013 г.). Теорема Глисона и ее приложения . Springer Science & Business Media. п. 74. ИСБН  978-94-015-8222-3 .
  296. ^ Янсана, Рамон (2022 г.), Залта, Эдвард Н. (редактор), «Алгебраическая логика высказываний» , Стэнфордская энциклопедия философии (изд. летом 2022 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 14 июня 2024 г.
  297. ^ Хальбах, Волкер; Хорстен, Леон (30 апреля 2013 г.). Принципы истины . Вальтер де Грюйтер. п. 52. ИСБН  978-3-11-033272-8 .
  298. ^ Саллес, Сагид (12 марта 2021 г.). Неясность как произвольность: очерк теории неясности . Спрингер Природа. п. 102. ИСБН  978-3-030-66781-8 .
  299. ^ «Рисунок | Описание и классификация | Британника» . www.britanica.com . Проверено 26 апреля 2024 г.
  300. ^ «Настроение | Эмоции, когнитивная наука, рассуждение | Британника» . www.britanica.com . Проверено 26 апреля 2024 г.
  301. ^ Джонсонбо, Ричард (2009). Дискретная математика . Прентис Холл. п. 156. ИСБН  978-0-13-159318-3 .
  302. ^ Фергюсон, Томас Маколей; Священник, Грэм (23 июня 2016 г.), «синтаксическое следствие» , Словарь логики , Oxford University Press, doi : 10.1093/acref/9780191816802.001.0001 , ISBN  978-0-19-181680-2 , получено 23 марта 2024 г.
  303. ^ Ховард, Бэрринджер; Дов, Габбай (2005), Модальные разновидности темпоральной логики , Основы искусственного интеллекта, том. 1, Elsevier, стр. 119–165, doi : 10.1016/s1574-6526(05)80006-9 , ISBN.  978-0-444-51493-6 , получено 26 апреля 2024 г.
  304. ^ Марес, Эдвин (2024), «Релевантная логика» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. лета 2024 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 26 апреля 2024 г.
  305. ^ Богосян, Пол; Пикок, Кристофер (26 октября 2000 г.). Новые очерки об априори . Кларендон Пресс. п. 247. ИСБН  978-0-19-152907-8 .
  306. ^ Макридис, Одиссей (21 февраля 2022 г.). Символическая логика . Спрингер Природа. п. 220. ИСБН  978-3-030-67396-3 .
  307. ^ Оберсте-Ворт, Ральф В.; Лоуренс, Бонита А. (2012). Мост к абстрактной математике . Американское математическое соц. п. 93. ИСБН  978-0-88385-779-3 .
  308. ^ Хаак, Сьюзен (27 июля 1978 г.). Философия логики . Издательство Кембриджского университета. ISBN  978-0-521-29329-7 .
  309. ^ Младший, Генри Э. Кибург (15 ноября 1990 г.). Наука и разум . Издательство Оксфордского университета. п. 21. ISBN  978-0-19-536274-9 .
  310. ^ «Содержание: Парадоксы» . Spot.colorado.edu . Проверено 26 апреля 2024 г.
  311. ^ Логика без пробелов и переборов . Синтезирующая библиотека. Том. 458. 2022. doi : 10.1007/978-3-030-94624-1 . ISBN  978-3-030-94623-4 .
  312. ^ Логика без пробелов и переборов . Синтезирующая библиотека. Том. 458. 2022. doi : 10.1007/978-3-030-94624-1 . ISBN  978-3-030-94623-4 .
  313. ^ «Питер Субер, «Термины и символы логики предикатов» » . Legacy.earlham.edu . Проверено 22 апреля 2024 г.
  314. ^ Шредер-Хейстер, Питер (2024), «Семантика теории доказательств» , в Залте, Эдвард Н.; Нодельман, Ури (ред.), Стэнфордская энциклопедия философии (изд. лета 2024 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 22 апреля 2024 г.
  315. ^ Леблан, Хьюг (1973). Истина, синтаксис и модальность: материалы конференции Университета Темпл по альтернативной семантике . Исследования по логике и основам математики. Конференция по альтернативной семантике, Университет Темпл, Ассоциация символической логики. Амстердам: Северная Голландия. п. 297. ИСБН  978-0-7204-2269-6 .
  316. ^ Оссенак-Жиль, Натали; Хаманн, Торстен; Гальтон, Энтони; Хедблом, Мария М., ред. (21 декабря 2023 г.). Формальная онтология в информационных системах . Границы искусственного интеллекта и приложений. Том. 377. ИОС Пресс. п. 42. дои : 10.3233/faia377 . ISBN  978-1-64368-468-0 .
  317. ^ Лин, Цау Ю., изд. (2005). Основы интеллектуального анализа данных и открытия знаний . Исследования в области вычислительного интеллекта. Берлин ; Нью-Йорк: Springer-Verlag. п. 92. ИСБН  978-3-540-26257-2 .
  318. ^ Уолтерс, Ли; Хоторн, Джон П. (2021). Условные обозначения, парадоксы и вероятность: темы философии Дороти Эджингтон . Оксфорд, Нью-Йорк (Нью-Йорк): Издательство Оксфордского университета. п. 239. ИСБН  978-0-19-178107-0 .
  319. ^ Полковски, Лех Т. (2023). «Логика: Справочник для компьютерщиков» . Справочная библиотека по интеллектуальным системам . 245 : 180. дои : 10.1007/978-3-031-42034-4 . ISBN  978-3-031-42033-7 . ISSN   1868-4394 .
  320. ^ «Формальная логика — Взаимоопределяемость, Операторы | Британника» . www.britanica.com . Проверено 22 апреля 2024 г.
  321. ^ ван Аттен, Марк (2020), «Луитцен Эгбертус Ян Брауэр» , в Залте, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (изд. весны 2020 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 4 апреля 2024 г. 22
  322. ^ «Люитцен Эгбертус Ян Брауэр> Слабые контрпримеры (Стэнфордская энциклопедия философии)» . plato.stanford.edu . Проверено 22 апреля 2024 г.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: da5fd2e614dcfab833cea1dffdb5a21f__1718398080
URL1:https://arc.ask3.ru/arc/aa/da/1f/da5fd2e614dcfab833cea1dffdb5a21f.html
Заголовок, (Title) документа по адресу, URL1:
Glossary of logic - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)