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