Стэнфордcкая энциклопедия философии - научная справочная литература со всего мира

Философия науки Локка
Полезные статьи

Философия науки Локка

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Философия науки Локка Впервые опубликовано пт июл 24, 2009; основная редакция пн 25 сентября 2017 г. 2023

Политическая философия Локка
Полезные статьи

Политическая философия Локка

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Политическая философия Локка Впервые опубликовано ср 9 ноября 2005 г. 2023

Линейная логика
Полезные статьи

Линейная логика

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Линейная логика Впервые опубликовано ср 6 сентября 2006 г.; существенная редакция пт 24 мая 2019 Линейная логика является усовершенствованием классической и интуиционистской логики. 2023

Древняя логика
Полезные статьи

Древняя логика

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Древняя логика Впервые опубликовано ср 13 декабря 2006 г.; основная редакция ср 15 апреля 2020 г. 2023

Пересмотр Логики Веры
Полезные статьи

Пересмотр Логики Веры

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Пересмотр Логики Веры Впервые опубликовано пт 21 апреля 2006 г.; основная редакция пн 23 октября 2017 г. 2023

Логика зависимости
Полезные статьи

Логика зависимости

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика зависимости Впервые опубликовано четверг, 23 февраля 2017 г. Логика зависимости - это расширение логики первого порядка, которая добавляет к ней атомы зависимости, то есть выражения вида (eqord (x_1 \ ldots x_n, y)), которые утверждают, что значение (y) равно функционально зависит от (другими словам 2023

Логика для анализа мощности в играх нормальной формы
Полезные статьи

Логика для анализа мощности в играх нормальной формы

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика для анализа мощности в играх нормальной формы Впервые опубликовано ср 14 июня 2017; 2023

Нечеткая логика
Полезные статьи

Нечеткая логика

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Нечеткая логика Впервые опубликовано вт 15 ноября 2016 г.; существенная редакция вт 18 июля 2017 г. 2023

Инфинитария Логика
Полезные статьи

Инфинитария Логика

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Инфинитария Логика Впервые опубликовано Вс 23 января 2000 г.; основная редакция пт 26 февраля 2016 Традиционно выражения в формальных системах рассматривались как обозначающие конечные надписи, которые - по крайней мере в принципе - способны фактически записываться в примитивной записи. 2023

Логика массовых выражений
Полезные статьи

Логика массовых выражений

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика массовых выражений Впервые опубликовано пт 8 марта 2013 г.; существенная редакция пн 17 декабря 2018 г. 2023

Многозначная логика
Полезные статьи

Многозначная логика

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Многозначная логика Впервые опубликовано вт 25 апреля 2000 г.; существенная редакция чт 5 марта 2015 г. 2023

Paraconsistent Logic
Полезные статьи

Paraconsistent Logic

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Paraconsistent Logic Впервые опубликовано вт 24 сентября 1996 г.; основная редакция пт 18 мая 2018 Современная логическая ортодоксальность гласит, что из противоречивых предпосылок что-либо следует. 2023

Модальная логика
Полезные статьи

Модальная логика

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Модальная логика Впервые опубликовано в четверг, 29 февраля 2000 г.; 2023

Логика и Вероятность
Полезные статьи

Логика и Вероятность

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика и Вероятность Впервые опубликовано четверг, 7 марта 2013 г.; существенная редакция вт 26 марта 2019 г. 2023

Эпистемическая логика
Полезные статьи

Эпистемическая логика

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Эпистемическая логика Впервые опубликовано пт 7 июня 2019 Эпистемическая логика является подполем эпистемологии, связанной с логическими подходами к знаниям, убеждениям и связанным с ними понятиям. 2023

Субструктурная логика
Полезные статьи

Субструктурная логика

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Субструктурная логика Впервые опубликовано вт 4 июля 2000 г.; ревизия по существу ср 21 февраля 2018 г. 2023

Логика релевантности
Полезные статьи

Логика релевантности

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика релевантности Впервые опубликовано ср 17 июня 1998 г.; существенный пересмотр пн мар 26, 2012 Логика релевантности - это неклассическая логика. 2023

Логика обеспечения
Полезные статьи

Логика обеспечения

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика обеспечения Впервые опубликовано ср 2 апреля 2003 г.; основная редакция ср 5 апр 2017 Логика обеспечения доступности - это модальная логика, которая используется для исследования того, что арифметические теории могут выразить на ограниченном языке об их предикатах доказуемости. 2023

Пропозициональная динамическая логика
Полезные статьи

Пропозициональная динамическая логика

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Пропозициональная динамическая логика Впервые опубликовано: 1 февраля 2007 г. 2023

Появление логики первого порядка
Полезные статьи

Появление логики первого порядка

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Появление логики первого порядка Впервые опубликовано 17 ноября 2018 г. 2023

Развитие теории доказательств
Полезные статьи

Развитие теории доказательств

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Развитие теории доказательств Впервые опубликовано ср 16 апреля 2008 г. 2023

Современные истоки модальной логики
Полезные статьи

Современные истоки модальной логики

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Современные истоки модальной логики Впервые опубликовано вт 16 ноября 2010 г. 2023

Раннее развитие теории множеств
Полезные статьи

Раннее развитие теории множеств

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Раннее развитие теории множеств Впервые опубликовано вт 10 апреля 2007 г. 2023

Витгенштейновский логический атомизм
Полезные статьи

Витгенштейновский логический атомизм

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Витгенштейновский логический атомизм Впервые опубликовано в понедельник, 22 ноября 2004 г. 2023

Логические Конструкции
Полезные статьи

Логические Конструкции

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логические Конструкции Впервые опубликовано ср 20 ноября 1996 г.; существенная редакция вт 21 мая 2019 г. 2023

Логический плюрализм
Полезные статьи

Логический плюрализм

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логический плюрализм Впервые опубликовано ср 17 апреля 2013 г.; существенная редакция чт 10 января 2019 г. 2023

Логика и Онтология
Полезные статьи

Логика и Онтология

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика и Онтология Впервые опубликовано в понедельник, 4 октября 2004 г. 2023

Логическая истина
Полезные статьи

Логическая истина

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логическая истина Впервые опубликовано вт 30 мая 2006 г.; существенная редакция чт 6 сентября 2018 г. 2023

Лукреций
Полезные статьи

Лукреций

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Лукреций Впервые опубликовано ср 4 августа 2004 г.; ревизия по существу ср 17 октября 2018 г. 2023

Лояльность
Полезные статьи

Лояльность

Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу лояльность Впервые опубликовано вт 21 августа 2007 г.; основная редакция пн 16 октября 2017 г. 2023