Следуя развитию формальной логики с символической логикой в конце девятнадцатого века и математическая логика в двадцатом веке, темы, традиционно рассматриваемые с помощью логики, не являющиеся частью формальной логики, обычно назывались либо философией логики, либо философской логикой, если уже не просто логикой.
По сравнению с историей логики, демаркация между философией логики и философской логикой возникла недавно и не всегда полностью ясна. Характеристики включают:
- Философия логики - это область философии, посвященная изучению объема и природы логики.
- Философия логики - это исследование, критический анализ и интеллектуальное размышление по вопросам, возникающим в логика. Эта область считается отличной от философской логики.
- Философская логика - это область исследования, которая касается вопросов о ссылке, предикации, идентичности, истина, количественная оценка, существование, следствие, модальность и необходимость.
- Философская логика - это применение формальных логических методов к философским проблемам.
В этой статье излагаются вопросы философии логики или даются ссылки на соответствующие статьи, или и то, и другое.
Содержание
- 1 Введение
- 2 Истина
- 2.1 Носители истины
- 2.2 Определение истины Тарским
- 2.3 Аналитические истины, логическая истина, обоснованность, логическое следствие и следствие
- 2.4 Парадокс
- 3 Значение и ссылка
- 4 Названия и описания
- 4.1 Формальные и материальные последствия
- 5 Логические константы и связки
- 6 Квантификаторы и количественная теория
- 7 Модальная логика
- 8 Девиантная логика
- 8.1 Классическая против неклассической логики
- 9 Философские теории логики
- 10 Другие темы
- 11 См. Также
- 11.1 Важные цифры
- 11.2 Философы логики
- 12 Ссылки
- 13 Источники
- 14 Дополнительная литература
- 15 Внешние ссылки
Введение
В этой статье используются следующие термины и концепции:
Истина
Аристотель сказал: Сказать, что то, что есть, не есть или то, что не есть, есть ложь; и говорить, что то, что есть, есть и то, что не является, истинно
Этот очевидный трюизм не оказался беспроблемным.
Носители правды
Логика использует такие термины, как истина, ложь, непоследовательность, достоверность и внутреннее противоречие. Возникают вопросы, как пишет Стросон (1952)
(а), когда мы используем эти слова логической оценки, что именно мы оцениваем? и (b) как становится возможной логическая оценка?
- См. также: Предложение, Утверждение, Предложение.
определение истины Тарским
См.:
Аналитическая истина, логическая истина, обоснованность, логическое следствие и следствие
Поскольку использование, означающее, если не значимость, терминов является частью дискуссии, можно только дать следующие рабочие определения для цели обсуждения:
- A необходимая истина - это истина, которая истинна независимо от состояния мира или, как это иногда выражается, во всех возможных мирах.
- Логические истины - это те необходимые истины, которые обязательно истинны в силу значения только их логических констант.
- В формальной логике логическая истина - это просто буква утверждение "(строка символов, в которой нет свободных переменных), которая является истинной при всех возможных интерпретациях.
- Аналитическая истина - это та, концепция предиката которой содержится в ее субъектном понятии.
Концепция логической истины есть тесно связаны с такими, как действительность, логическое следствие и влечение (а также внутреннее противоречие, обязательно ложное и т. д.).
- Если 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 )
- Quine, WVO 2004. Philosophy of Logic. 2-е изд. Harvard University Press. ( ISBN 0-674-66563-5 )
- Альфред Тарский. 1983. Концепция истины в формализованных языках, стр. 152–278, Логика, семантика, метаматематика, документы с 1923 по 1938 год, изд. Джон Коркоран (логик), Хакетт, Индианаполис, 1983.
Дополнительная литература
- Фишер Дженнифер, О философии логики, Томсон Уодворт, 2008, ISBN 978-0-495-00888-0
- Goble, Lou, ed., 2001. (The Blackwell Guide to) Philosophical Logic. Oxford: Blackwell. ISBN 0-631-20693-0.
- Grayling, AC, 1997. An Introduction to Philosophical Logic. 3-е изд. Oxford: Blackwell. ISBN 0-631-19982-9.
- Jacquette, Dale, ed., 2002. A Companion to Philosophical Logic. Oxford Blackwell. ISBN 1-4051-4575-7.
- Книл, WM (1962). Развитие логики. Оксфорд. ISBN 9780198247739.
- Макгинн, Колин, 2000. Логические свойства: идентичность, существование, предубеждение, необходимость, истина. Оксфорд: Oxford University Press. ISBN 0-19-926263-2.
- Куайн, Уиллард Ван Орман (1970). Философия логики. Прентис Холл: Нью-Джерси, США.
- Сейнсбери, Марк, 2001. Логические формы: введение в философскую логику. 2-е изд. Оксфорд: Блэквелл. ISBN 0-631-21679-0.
- Strawson, PF (1967). Философская логика. ОУП.
- Альфред Тарский, 1983. Концепция истины в формализованных языках, стр. 152–278, Логика, семантика, метаматематика, статьи с 1923 по 1938 год, изд. Джон Коркоран (логик), Хакетт, Индианаполис, 1983.
- Вольфрам, Сибил, 1989. Философская логика: введение. Лондон: Рутледж. 290 страниц. ISBN 0-415-02318-1, ISBN 978-0-415-02318-4
- Journal of Philosophical Logic, Springer SBM
Внешние ссылки
.
