Философия логики - Philosophy of logic

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

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

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

Вступление

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

Правда

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

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

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

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

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

Основная статья: Носитель правды
Смотрите также: Приговор, Заявление, Предложение.

Определение истины Тарским

Видеть:

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

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

  • А необходимая правда является истинным независимо от состояния мира или, как иногда говорят, во всех возможных мирах.[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 и если и только если Если (p1 & p2 & p3..pn), то q это логическая правда

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

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

Смотрите также [1]

Парадокс

Основная статья: Парадокс

Значение и ссылка

Видеть

Имена и описания

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

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

Основные статьи: Логическая константа и Логическая связка

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

Основная статья: Квантификатор (логика)

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

Основная статья: Модальная логика

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

Основная статья: Девиантная логика

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

Основная статья: Классическая логика

Философские теории логики

Другие темы

Смотрите также

Важные цифры

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

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

Рекомендации

  1. ^ Audi, Роберт, изд. (1999). Кембриджский философский словарь (2-е изд.). ЧАШКА.
  2. ^ Лоу, Э. Дж .. Формы мышления: исследование философской логики. Нью-Йорк: Издательство Кембриджского университета, 2013.
  3. ^ Рассел, Джиллиан Мысли, аргументы и разговоры, Колонка Jc.
  4. ^ Аристотель, Метафизика, Книги Γ, Δ, Ε 2-е издание 1011b25 (1993) транс Кирван,: OUP
  5. ^ Стросон, П.Ф. (1952). Введение в логическую теорию. Метуэн: Лондон. п. 3.
  6. ^ Вольфрам (1989) стр. 80
  7. ^ Вольфрам (1989), стр. 273

Источники

дальнейшее чтение

внешняя ссылка