{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\n*Logicism* is the position in the [[foundations of mathematics|EFFRJFW67Y]] that consists of two theses:\n\n1. every mathematical concept, or every concept of arithmetic in the weaker form, can be defined from purely logical concepts;\n2. every mathematical truth, or every truth of arithmetic in the weaker form, can be derived from purely logical laws by purely logical rules of inference.\n\n## Remarks\n\nFrege's definition of number follows the first thesis: the number of a concept $F$ is the class of all concepts that are in one-to-one correspondence with $F$.\nThe axiom of infinity of Principia Mathematica does not fit the second thesis easily.\nIt asserts that infinitely many objects exist, and it is not clear that logic alone can assert this.\nThe underlying logic of logicism is a strong logic, such as higher-order logic or a theory of types, not only [[predicate logic|086QKPF0A6]].\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "defines": "5PGSQYB5Y1",
    "kind": "definition",
    "msc": [
      "03A05"
    ],
    "name": "Logicism",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Logicism"
      }
    ],
    "tag": "TT2ASTQ0WE",
    "uses": [
      "EFFRJFW67Y",
      "086QKPF0A6"
    ]
  },
  "kind": "definition",
  "link": "https://math2.tamnd.com/node/TT2ASTQ0WE/",
  "links": [
    {
      "field": "defines",
      "target": "5PGSQYB5Y1"
    },
    {
      "field": "uses",
      "target": "EFFRJFW67Y"
    },
    {
      "field": "uses",
      "target": "086QKPF0A6"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/TT2ASTQ0WE.md",
  "msc": [
    "03A05"
  ],
  "name": "Logicism",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/TT2/TT2ASTQ0WE.md",
  "status": null,
  "tag": "TT2ASTQ0WE",
  "uri": "m2://TT2ASTQ0WE",
  "url": "https://math2.tamnd.com/wiki/logicism-definition/",
  "writing": {
    "tag": "TT2ASTQ0WE",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}