{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nAccording to Ayer, analytic statements are tautologies. A tautology is a statement that is necessarily true, true by definition, and true under any conditions. A tautology is a repetition of the meaning of a statement, using different words or symbols. According to Ayer, the statements of logic and mathematics are tautologies. Tautologies are true by definition, and thus their validity does not depend on empirical testing.\n\nSynthetic statements, or empirical propositions, assert or deny something about the real world. The validity of synthetic statements is not established merely by the definition of the words or symbols they contain. According to Ayer, if a statement expresses an empirical proposition, then the validity of the proposition is established by its empirical verifiability.\n\nPropositions are statements that have conditions under which they can be verified. By the verification principle, meaningful statements have conditions under which their validity can be affirmed or denied.\n\nStatements that are not meaningful cannot be expressed as propositions. Every verifiable proposition is meaningful, although it may be either true or false. Every proposition asserts or denies something, and thus is either true or false.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "7H1YFD71TJ"
    ],
    "kind": "statement",
    "name": "Criterion of meaning",
    "role": "proposition",
    "sources": [
      {
        "locator": "Language, Truth, and Logic, section Criterion of meaning",
        "mention": "wikipedia://en/3291133#5Z18",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:3291133@r1362218355"
      }
    ],
    "tag": "DTM6XRYVP5"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/DTM6XRYVP5/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/DTM6XRYVP5.md",
  "msc": null,
  "name": "Criterion of meaning",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/DTM/DTM6XRYVP5.md",
  "status": null,
  "tag": "DTM6XRYVP5",
  "uri": "m2://DTM6XRYVP5",
  "url": "https://math2.tamnd.com/wiki/criterion-of-meaning/",
  "writing": {
    "tag": "DTM6XRYVP5",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}