Філософія логіки — філософський підхід до розуміння типів / систем логіки, її значення і застосування, тобто філософія логіки — розділ філософії, який займається характером і обґрунтуванням систем логіки.
Розвиток і виокремлення формальної логіки нарівні з символічною логікою в кінці дев'ятнадцятого століття і математичної логіки в двадцятому, виявили, що теми, які традиційно розглядала логіка, не є частиною формальної логіки, ці питання почали відносити до філософії логіки або філософської логіки.
Між термінами «філософська логіка» і «філософія логіки» відбувається плутанина. Часто одне підміняється іншим, хоча це два різних напрями досліджень. У порівнянні з історією логіки відмінності між філософією логіки і філософською логікою є нещодавніми і не завжди цілком ясними. Характерні відмінності: Філософія логіки — розділ філософії, присвяченій розгляду предмету і сутності логіки. Філософія логіки — дослідження, критичний аналіз та інтелектуальне відображення питань, що виникають в логіці. Філософська логіка — галузь досліджень, яка стосується питань референції, предикатів, ідентичності, істини, кванторів, існування, імплікації, модальності, логічної необхідності.Lowe, E. J.. Forms of Thought: A Study in Philosophical Logic. New York: Cambridge University Press, 2013. Філософська логіка — застосування формальних логічних технік до філософських проблем.Russell, Gillian Thoughts, Arguments, and Rants, Jc's Column.
Історія терміна. Дослідники і дослідження Філософії логіки присвячує однойменний розділ своєї статті «Сучасні дослідження в філософській логіці» російський філософ Олександр Степанович Карпенкоhttp://iph.ras.ru/karpenko.htm (в цитаті є декілька додаткових, уточнюючих приміток, яких нема в статті):
Австралійський філософ та історик філософії пише про співвідношення математичної логіки, філософії логіки і філософської логіки:
Про книгу Квайна «Філософія логіки» Книга містить такі розділи, які Квайн відносить до філософії логіки:
«Значення та істина» (Заперечення (проти) суджень, Судження як інформація, Розпливчастість емпіричного значення, Усунення суджень, Істина і семантичне сходження, Символи і вічні речення)У дужках вказані підрозділи;
«Граматика» (Граматика на основі рекурсії, Категорії, Іманентність і трансцендентність, Перегляд мети граматики, Логічна граматика, Прийоми скорочення надлишковості, Імена і функтори, Лексика, частки та імена, Критерій лексики, Час, події, прислівники, Пропозиційні установки і модальність);
«Істина» (Істина і здійснимість, Здійснимість послідовностями, Визначення істини Тарського, Парадокси в об'єктній мові, Розв'язність в теорії множин);
«Логічна істина» (В термінах структури, В термінах підстановки, В термінах моделі, Адекватність підстановки, Заощадження на множинах, В термінах доказу, В термінах граматики);
«Область застосування логіки» (Близькість тотожності [до логіки], Спрощена тотожність, Теорія множин, Теорія множин в овечій шкірі, Логіка у вовчій шкірі, Область застосування віртуальної теорії, Модельований клас квантифікації, Інша модельована квантифікація, Додатки);
«Девіантна логіка» (Зміна логіки, зміна предмета, Логіка в перекладі, Закон виключення третього, Дебати про дихотомію, Інтуїціонізм, Розгалужені квантори, Підстановкова квантифікація / Квантифікація підстановкою, Її сила);
«Основа логічної істини» (Подоба теорії, Неспроможний дуалізм, Місце логіки).
Ось що пише про книгу Квайна російський філософ, професор МДУ Олександр Олександрович Печьонкін:
Примітки
Посилання Quine, Willard Van Orman (1970, 1986-second edition). Philosophy Of Logic — Google книги Философия логики. Как нельзя говорить о значении. Значение значения.1971. (Патнэм Х.) Смит Б. «Логика и формальная онтология» Перминов В. Я.. Философия и основания математики Стаття «Філософія логіки» на сайті Encyclopædia Britannica Філософія логіки на сайті Роджера Бішопа Джонса (Roger Bishop Jones)