Философия логики

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

По сравнению с историей логики разграничение между философией логики и философской логикой возникло недавно и не всегда полностью ясно. Характеристики включают:

• Философия логики - это область философии, посвященная исследованию объема и природы логики. ^[1]
• Философия логики - это исследование, критический анализ и интеллектуальное размышление над проблемами, возникающими в логике . Эта область считается отличной от философской логики .
• Философская логика - это отрасль исследования, которая касается вопросов о референции , предикации , тождественности , истине , количественной оценке , существовании , следствии , модальности и необходимости . ^[2]
• Философская логика - это применение формальных логических методов к философским проблемам. ^[3]

В этой статье излагаются вопросы философии логики или даются ссылки на соответствующие статьи или и то, и другое.

Введение [ править ]

В этой статье используются следующие термины и концепции:

• Различие типа и токена
• Использование – упоминание различия

Правда [ править ]

Аристотель сказал: « Сказать, что то, что есть, что нет или то, что не есть, есть ложь; и говорить о том, что есть, а что нет, верно ^[4]

Этот очевидный трюизм не оказался беспроблемным.

Носители правды [ править ]

В логике используются такие термины, как истинный, ложный, непоследовательный, достоверный и противоречивый. Возникают вопросы, как пишет Стросон (1952) ^[5].

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

Определение истины Тарским [ править ]

Видеть:

• Семантическая теория истины § Теория Тарского
• Т-схема
• Стэнфордская энциклопедия философии, статья об определениях истины Тарского
• Самостоятельная ссылка: 2.1 Последствия семантических парадоксов в Стэнфордской энциклопедии философии

Аналитические истины, логические истины, обоснованность, логические следствия и следствие [ править ]

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

• Необходимо правда одно , что не является правдой , независимо от того , что состояние мира или, как его иногда говоря, во всех возможных мирах. ^[6]
• Логические истины - это те необходимые истины, которые обязательно истинны только в силу значения их логических констант. ^[7]
• В формальной логике логическая истина - это просто «утверждение» (строка символов, в которой нет свободных переменных), которое истинно во всех возможных интерпретациях .
• Аналитическая истина - это истина, предикатное понятие которой содержится в ее субъектном понятии.

Концепция логической истины тесно связана с концепцией обоснованности , логического следствия и следствия (а также самопротиворечия, обязательно ложного и т. Д.).

• Если q - логическая истина, то p, следовательно, q будет допустимым аргументом.
• Если p1, p2, p3 ... pn, следовательно, q - допустимый аргумент, то соответствующее ему условное выражение будет логической истиной.
• Если p1 & p2 & p3 ... pn влечет за собой q, то Если (p1 & p2 & p3 ... pn), то q является логической истиной.
• Если q является логическим следствием p1 & p2 & p3 ... pn тогда и только тогда, когда p1 & p2 & p3 ... pn влечет за собой q, и тогда и только тогда, когда If (p1 & p2 & p3..pn), то q является логическая правда

Возникающие проблемы включают:

• Если есть истина, которая должна быть правдой, что делает их так?
• Существуют ли аналитические истины, которые не являются логическими истинами?
• Существуют ли необходимые истины, которые не являются аналитическими истинами?
• Существуют ли необходимые истины, которые не являются логическими истинами?
• Является ли ложным различие между аналитической и синтетической истиной?

См. Также [1]

Парадокс [ править ]

Значение и ссылка [ править ]

Видеть

• Смысл и ссылка
• Теория референции
• Опосредованная справочная теория
• Теория прямых ссылок
• Причинно-следственная теория референции (раздел Ссылки)
• Дескриптивистская теория имен (раздел Ссылки)
• Саул Крипке (раздел Ссылки)
• Головоломка Фреге (раздел Новые теории референции и возвращение головоломки Фреге)
• Готтлоб Фреге (раздел Ссылки)
• Отсутствие ссылки (раздел Ссылки)
• Жесткое обозначение (раздел Причинно-историческая теория референции)
• Философия языка (раздел Ссылки)
• Указатель философии языковых статей
• Теория предположений (раздел Ссылки)
• Ссылающееся выражение
• Значение (философия языка)
• Обозначение и коннотация
• Расширение и ИНТЕНЦИИ
• Расширенное определение
• Интенсивное определение
• Метакоммуникативная компетентность

Имена и описания [ править ]

• Неспособность сослаться
• Имя собственное (философия)
• Определенное описание
• Дескриптивистская теория имен
• Теория описаний
• Единичный термин
• Терминологическая логика § Особые термины
• Пустое имя
• Бас ван Фраассен § Особые термины, пробелы в истинности и свободная логика
• Основы арифметики § Развитие собственного взгляда Фреге на число
• Философия языка § ссылки
• Прямая ссылка
• Опосредованная справочная теория

Формальные и материальные последствия [ править ]

• Проблема материальной условности: см. Материальная условность

Логические константы и связки [ править ]

Квантификаторы и количественная теория [ править ]

Модальная логика [ править ]

Девиантная логика [ править ]

Классическая против неклассической логики [ править ]

Философские теории логики [ править ]

• Концептуализм
• Конструктивизм
• Диалетеизм
• Художественная литература
• Финитизм
• Формализм
• Интуиционизм
• Логический атомизм
• Логика
• Номинализм
• Реализм
• Платонический реализм
• Структурализм
• Ньяя эпистемология

Другие темы [ править ]

• Закон Лейбница: см. Тождество неразличимого
• Пустые имена
• Есть ли у предикатов свойства? См. Логику второго порядка.
• Смысл, Ссылка, Коннотация, Обозначение, Расширение, Намерение
• Статус законов логики
• Классическая логика
• Интуиционизм
• Реализм: см. Платонический реализм , Философский реализм
• Закон исключенного среднего: см. Закон исключенного среднего
• Модальность, интенсификация и пропозициональное отношение
• Противоречивые факты
• Психологизм

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

• Двусмысленность
• Бесконтекстная грамматика
• Намерение
• " Логика эмпирическая? "
• Теория конкатенации
• Лингвистическая модальность
• Типовое различие Пирса
• Различие типа-токена
• Использование – упоминание различия
• Нечеткость

Важные цифры [ править ]

Фигуры философии логики включают (но не ограничиваются ими):

Философы логики [ править ]

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

Источники [ править ]

• Хаак, Сьюзен . 1978. Философия логики . Издательство Кембриджского университета . ( ISBN 0-521-29329-4 ) 
• Куайн, WVO 2004. Философия логики . 2-е изд. Издательство Гарвардского университета . ( ISBN 0-674-66563-5 ) 
• Альфред Тарский . 1983. Понятие истины в формализованных языках, стр. 152–278, Логика, семантика, метаматематика, статьи с 1923 по 1938 год, изд. Джон Коркоран (логик) , Хакетт, Индианаполис, 1983.

Дальнейшее чтение [ править ]

• Фишер Дженнифер, О философии логики, Томсон Уодворт, 2008, ISBN 978-0-495-00888-0 
• Гобл, Лу, изд., 2001. (Руководство Блэквелла) по философской логике. Оксфорд: Блэквелл . ISBN 0-631-20693-0 . 
• Grayling, AC , 1997. Введение в философскую логику. 3-е изд. Оксфорд: Блэквелл. ISBN 0-631-19982-9 . 
• Жакетт, Дейл, изд., 2002. Товарищ по философской логике. Оксфорд Блэквелл. ISBN 1-4051-4575-7 . 
• Книл, W&M (1962). Развитие логики . Оксфорд. ISBN 9780198247739.
• Макгинн, Колин, 2000. Логические свойства: идентичность, существование, предрасположенность, необходимость, истина . Оксфорд: Издательство Оксфордского университета . ISBN 0-19-926263-2 . 
• Куайн, Уиллард Ван Орман (1970). Философия логики . Прентис Холл: Нью-Джерси, США.
• Сейнсбери, Марк, 2001. Логические формы: Введение в философскую логику. 2-е изд. Оксфорд: Блэквелл. ISBN 0-631-21679-0 . 
• Стросон, П. Ф. (1967). Философская логика . ОУП.
• Альфред Тарский , 1983. Понятие истины в формализованных языках, стр. 152–278, Логика, семантика, метаматематика, статьи с 1923 по 1938 год, изд. Джон Коркоран (логик) , Хакетт, Индианаполис, 1983.
• Вольфрам, Сибил, 1989. Философская логика: введение. Лондон: Рутледж . 290 страниц. ISBN 0-415-02318-1 , ISBN 978-0-415-02318-4  
• Журнал философской логики , Springer SBM

Внешние ссылки [ править ]

• Энциклопедия философии Рутледжа