Философская логика , понимаемая в узком смысле, — это область философии , изучающая применение логических методов к философским проблемам, часто в форме расширенных логических систем, таких как модальная логика . Некоторые теоретики рассматривают философскую логику в более широком смысле как исследование объема и природы логики в целом. В этом смысле философскую логику можно рассматривать как идентичную философии логики , которая включает в себя дополнительные темы, такие как определение логики или обсуждение фундаментальных понятий логики. Настоящая статья рассматривает философскую логику в узком смысле, в котором она образует одну область исследования в рамках философии логики.
Важным вопросом для философской логики является вопрос о том, как классифицировать большое разнообразие неклассических логических систем, многие из которых имеют сравнительно недавнее происхождение. Одна из форм классификации, часто встречающаяся в литературе, состоит в том, чтобы различать расширенную логику и девиантную логику. Сама логика может быть определена как исследование достоверного вывода . Классическая логика является доминирующей формой логики и формулирует правила вывода в соответствии с логическими интуитивными представлениями, разделяемыми многими, такими как закон исключенного третьего , устранение двойного отрицания и двузначность истины.
Расширенная логика — это логические системы, основанные на классической логике и ее правилах вывода, но расширяющие ее на новые поля путем введения новых логических символов и соответствующих правил вывода, управляющих этими символами. В случае алетической модальной логики эти новые символы используются для выражения не только того, что является истинным simpliciter , но также и того, что возможно или необходимо истинно . Его часто сочетают с семантикой возможных миров, которая утверждает, что предложение возможно истинно, если оно истинно в каком -то возможном мире , в то время как оно обязательно истинно, если оно истинно во всех возможных мирах. Деонтическая логика относится к этикеи обеспечивает формальную трактовку этических понятий, таких как обязанность и разрешение . Темпоральная логика формализует временные отношения между предложениями. Это включает в себя такие идеи, как то, верно ли что-то в какой-то момент или все время, и верно ли это в будущем или в прошлом. Эпистемическая логика принадлежит эпистемологии . Его можно использовать, чтобы выразить не только то, что имеет место, но и то, во что кто-то верит или знает, что это так. Его правила вывода формулируют то, что следует из того факта, что кто-то имеет такого рода психические состояния . Логика высшего порядкане применяйте прямо классическую логику к некоторым новым подобластям философии, а обобщайте ее, допуская количественную оценку не только отдельных лиц, но и предикатов.
Девиантные логики , в отличие от этих форм расширенной логики, отвергают некоторые фундаментальные принципы классической логики и часто рассматриваются как ее соперники. Интуиционистская логика основана на идее, что истина зависит от проверки посредством доказательства. Это приводит к тому, что некоторые правила вывода, найденные в классической логике, несовместимы с этим предположением. Свободная логика модифицирует классическую логику, чтобы избежать экзистенциальных предпосылок, связанных с использованием, возможно, пустых сингулярных терминов, таких как имена и определенные описания. Многозначная логика допускает дополнительные значения истинности помимо true и false . Тем самым они отвергают принцип двузначности истины.Паранепротиворечивые логики — это логические системы, способные справляться с противоречиями. Они делают это, избегая принципа взрыва , характерного для классической логики. Логика релевантности — видная форма паранепротиворечивой логики. Он отвергает чисто функционально-истинную интерпретацию материального условного предложения, вводя дополнительное требование релевантности: чтобы условное было истинным, его антецедент должен быть релевантен своему консеквенту.