{
  "id": "philosophy-of-logic",
  "domain": "foundations-logic",
  "type": "Concept",
  "title": "Philosophy of Logic",
  "slug": "philosophy-of-logic",
  "url": "/mathematics/foundations-logic/philosophy-of-logic/",
  "summary": "Examines what makes logical inference valid, the nature of logical laws, and the plurality of logics. Key positions: logicism (Frege/Russell), formalism (Hilbert), intuitionism (Brouwer), Platonism. Tarski's truth hierarchy, liar paradox, logical pluralism.",
  "added_to_codex": "2026-07-09",
  "last_verified": "2026-07-09",
  "sources": [
    {
      "tier": 1,
      "citation": "Frege, G. (1879). Begriffsschrift. Trans. Bynum 1972. Oxford University Press."
    },
    {
      "tier": 1,
      "citation": "Tarski, A. (1935). Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica, 1, 261-405."
    },
    {
      "tier": 2,
      "citation": "Beall, J.C. and Restall, G. (2006). Logical Pluralism. Oxford University Press."
    },
    {
      "tier": 3,
      "citation": "Priest, G. (2008). An Introduction to Non-Classical Logic. 2nd ed."
    }
  ],
  "entry_status": "live",
  "reading_levels_available": [
    "curious",
    "exploring",
    "deep_dive"
  ],
  "completeness": 1.0,
  "codex_version": "2.5"
}