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