language-icon Old Web
English
Sign In

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.(a) when we use these words of logical appraisal, what is it exactly that we are appraising? and (b) how does logical appraisal become possible? 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. Characterisations include

[ "Algorithm", "Epistemology", "Discrete mathematics", "Programming language", "Linguistics", "Quasi-quotation", "Term logic", "Deviant logic", "Philosophical logic", "Paraconsistent logic" ]
Parent Topic
Child Topic
    No Parent Topic