Philosophy of logic

Following the developments in formal logic with symbolic logic in the late nineteenth century and mathematical logic in the twentieth, topics traditionally treated by logic not being part of formal logic have tended to be termed either philosophy of logic or philosophical logic if no longer simply logic.

Compared to the history of logic, the demarcation between philosophy of logic and philosophical logic is of recent coinage and not always entirely clear.

Characterizations include:

• Philosophy of logic is the area of philosophy devoted to examining the scope and nature of logic.
• Philosophy of logic is the investigation, critical analysis and intellectual reflection on issues arising in logic. The field is considered to be distinct from philosophical logic.
• Philosophical logic is the branch of study that concerns questions about reference, predication, identity, truth, quantification, existence, entailment, modality, and necessity.
• Philosophical logic is the application of formal logical techniques to philosophical problems.

See also

• Concatenation theory
• Is logic empirical?
• Logic
• Pierce's type-token distinction
• Type-token distinction
• Use–mention distinction

External links

• Philosophy of logic @ Wikipedia