Philosophy of logic

From Wikipedia, the free encyclopedia - View original article

 
Jump to: navigation, search

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

This article outlines issues in philosophy of logic or provides links to relevant articles or both.

Introduction[edit]

This article makes use the following terms and concepts:

Truth[edit]

Parmenides said To say that that which is, is not or that which is not is, is a falsehood; and to say that which is, is and that which is not is not, is true[4]

This apparent truism has not proved unproblematic.

Truthbearers[edit]

Logic uses such terms as true, false, inconsistent, valid, and self-contradictory. Questions arise as Strawson (1952) writes[5]

(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?

Main article: Truthbearer
See also: Sentence, Statement, Proposition.

Tarski's definition of Truth[edit]

See:

Analytic Truths, Logical truth, Validity, Logical consequence and Entailment[edit]

Since the use, meaning, if not the meaningfulness, of the terms is part of the debate, it is possible only to give the following working definitions for the purposes of the discussion:

The concept of logical truth is intimately linked with those of validity, logical consequence and entailment (as well as self-contradiction, necessarily false etc.).

Issues that arise include:

See also [1]

Paradox[edit]

Main article: Paradox

Meaning and reference[edit]

See

Names and descriptions[edit]

Formal and material consequence[edit]

Logical constants and connectives[edit]

Quantifiers and quantificational theory[edit]

Main article: Quantifier (logic)

Modal logic[edit]

Main article: Modal logic

Deviant logics[edit]

Main article: Deviant logic

Classical v. non-classical logics[edit]

Main article: Classical logic

Philosophical theories of logic[edit]

Other Topics[edit]

See also[edit]

Resources[edit]

References[edit]

  1. ^ Audi, Robert, ed. (1999). The Cambridge Dictionary of Philosophy (2nd ed.). CUP. 
  2. ^ Lowe, E. J.. Forms of Thought: A Study in Philosophical Logic. New York: Cambridge University Press, 2013.
  3. ^ Russell, Gillian Thoughts, Arguments, and Rants, Jc's Column.
  4. ^ Aristotle, Metaphysics,Books Γ, Δ, Ε 2nd edition 1011b25 (1993) trans Kirwan,: OUP
  5. ^ Strawson, P.F. (1952). Introduction to Logical Theory. Methuen: London. p. 3. 
  6. ^ Wolfram (1989) p. 80
  7. ^ Wolfram (1989), p. 273

Important figures[edit]

Important figures in the philosophy of logic include (but are not limited to):

Philosophers of logic[edit]

Literature[edit]

External links[edit]