# What distinction is there between logic, philosophy of logic and philosophical logic?

I'm not clear on where logic in the broad sense of the word stands with respect to philosophy.

I do know there is mathematical logic which would be a subset of something.

If philosophy of logic and logic differ then what distinguishes the two and where does one begin and the other end?

As for philosophical logic, would I be right in thinking this is a tool used within philosophy itself?

• "Philosophy of X" is always somewhat different than "X" just in the sense that it's the philosophical study of X, or maybe meta-X, rather than X itself. Logic is no exception. "Philosophical Logic" as far as I can tell just means the use of logic to solve philosophical problems. Commented Jul 13, 2016 at 1:10
• Practically speaking, logic is studied in philosophy departments because that's the field that generally has the most use for it and interest in it. On the other hand, math departments (at least in the US) don't generally hire logicians these days. Commented Jul 13, 2016 at 1:11
• I would say that philosophy of logic is the philosophical study of logic while philosophical logic is the "logic of philosophy", i.e. the formal methods used when one is engaged in philosophy. Commented Jul 16, 2016 at 0:02
• Feel free to post an answer even if you're not certain so I can accept it. Commented Sep 9, 2016 at 16:47
• This is an old question, but you need to understand that different people use the word "logic" to mean different things. To a professional logician, "logic" means mathematical logic, including the proper study of logic itself, and the proper use of classical logic in deducing truths about various structures from axioms about them. To a philosopher, "logic" often means hand-waving or completely useless things such as paraconsistent logics, and it is nearly impossible to find any of them that truly understand even simple theorems and proofs about logic (e.g. incompleteness theorems). Commented Apr 9, 2023 at 4:34