В чем разница между логикой, философией логики и философской логикой?

Мне не ясно, какое место занимает логика в широком смысле этого слова по отношению к философии.

Я знаю, что есть математическая логика, которая была бы подмножеством чего-то.

Если философия логики и логика различаются, то что отличает их друг от друга и где начинается одна и заканчивается другая?

Что касается философской логики, был бы я прав, думая, что это инструмент, используемый в самой философии?

«Философия Х» всегда несколько отличается от «Х» только в том смысле, что это философское изучение Х или, может быть, мета-Х, а не самого Х. Логика не исключение. «Философская логика», насколько я могу судить, просто означает использование логики для решения философских проблем.
С практической точки зрения, логика изучается на факультетах философии, потому что именно в этой области она обычно наиболее полезна и интересна. С другой стороны, математические факультеты (по крайней мере, в США) в наши дни обычно не нанимают логиков.
Я бы сказал, что философия логики — это философское изучение логики, а философская логика — это «логика философии», т. е. формальные методы, используемые при занятиях философией.
Не стесняйтесь публиковать ответ, даже если вы не уверены, чтобы я мог его принять.

Ответы (1)

Темы, относящиеся к этому вопросу, четко не разделены из-за вовлечения сложных областей и точек зрения (например, вклад математики и информатики в логику). Рискуя чрезмерным обобщением, именно так можно понять различия между тремя областями. Логика подобна инструментам в сарае; философская логика использует инструменты для лучшего понимания проблем, возникающих в философии; а философия логики заключается в том, чтобы задаться вопросом, как орудия стали собственно орудиями. Позвольте мне уточнить.

Логика: мы хотим понять, как наши идеи соотносятся друг с другом. Естественные языки не подходят для этой цели. «Утренняя звезда» и «вечерняя звезда», например, имеют разные идеи, хотя и относятся к одному и тому же. Так были изобретены логика высказываний, логика первого порядка и логика второго порядка как инструменты для исследования отношений между идеями.

Философская логика. Некоторые философы понимают, что логика может помочь уточнить важные концепции в их областях. Например, философы разума, или знания, или языка спрашивают: «Что значит знать или верить во что-то?»; «Что значит быть возможным или необходимым?»; и «Как рационально изменить свое мнение (пересмотр убеждений)?» Таким образом, были изобретены эпистемическая логика, модальная логика и дефрагментируемая логика соответственно.

Философия логики: Логики задаются вопросом, как инструменты в сарае стали инструментами. Конечно, во Флатландии лопата не была бы инструментом. Таким образом, сами инструменты стали объектом изучения. Например, логики спрашивают: «Как этот объект появился как орудие?»; «Какой логический подход был бы возможен, если бы мы по-другому понимали логические частицы (например, логические связки и кванторы)?»: «Что мы понимаем под истиной? Исследования или темы, имеющие отношение к ответу на эти вопросы, соответственно, включают историю логики, аксиоматический подход Гильберта и подход естественной дедукции Генцена, корреспондентскую теорию истины и дефляционную теорию истины.

+1, мне нравятся эти аналогии. Тем не менее, я немного скептически отношусь к характеристике логики как исследования взаимосвязей между идеями. Во-первых, логика больше касается не идей , а предложений. Во-вторых, я беспокоюсь, что эта характеристика забрасывает слишком широкую сеть. Логика не изучает никаких старых отношений между идеями; скорее, он просто изучает логические (например, следствие, выполнимость, доказуемость и т. д.).
Я ожидал этой прекрасной критики. 1. Под идеями я имел в виду не локковское понятие (объект отражения и впечатления), а объект нашего мышления (понятие, суждения и т. д.). 2. Таким образом, под отношениями идей я подразумеваю нечто, относящееся к свойствам логических аргументов. Я бы поставил выполнимость и доказуемость под философией логики. Под логикой в ​​качестве инструмента я подразумеваю доказательство, таблицу истинности для пропозициональной логики и моделирование для FOL. (т. е. материал, который преподается во введении к курсам логики)
Спасибо за ответы. Я думаю, что современные логики отрицали бы, что логика вообще изучает понятия или предложения. Скорее, они изучают отношения между предложениями на каком-то формальном языке. (Это не просто охрана границ! Существенные вопросы, например, о логической истине, включают вопрос о том, что изучает логика. Но, может быть, это слишком углубляется в философию логики, чтобы заниматься ею).
Вопрос, поднятый профессиональными логиками, должен принадлежать философии логики: по крайней мере, с точки зрения моего способа констелляции идей. Мой путь просто эвристичен и открыт для возражений за неправоту в деталях. Например, Аристотель не думал бы, что формальная логика нужна из-за дефекта естественного языка, как думал бы Фреге.
В чем разница между логикой, философией логики и философской логикой?
СпросиСетьПолитика конфиденциальности1y, 0v