The Ludwig Wittgenstein Project

MediaWiki:Minerva.js: Difference between revisions

Message Discussion

MediaWiki:Minerva.js (view source)

Revision as of 21:06, 31 March 2022

No change in size ,  2 years ago
no edit summary
No edit summary
No edit summary
Line 19: Line 19:
const TLPPropositions = ["1",
const TLPPropositions = ["1",
"2",
"2",
"2.01",
"2.011",
"2.012",
"2.0121",
"2.0122",
"2.0123",
"2.01231",
"2.0124",
"2.013",
"2.0131",
"2.014",
"2.0141",
"2.02",
"2.0201",
"2.021",
"2.0211",
"2.0212",
"2.022",
"2.023",
"2.0231",
"2.0232",
"2.0233",
"2.02331",
"2.024",
"2.025",
"2.0251",
"2.026",
"2.027",
"2.0271",
"2.0272",
"2.03",
"2.031",
"2.032",
"2.033",
"2.034",
"2.04",
"2.05",
"2.06",
"2.061",
"2.062",
"2.063",
"3",
"3",
"3.001",
"3.01",
"3.02",
"3.03",
"3.031",
"3.032",
"3.0321",
"3.04",
"3.05",
"4",
"4",
"4.001",
"4.002",
"4.003",
"4.0031",
"4.01",
"4.011",
"4.012",
"4.013",
"4.014",
"4.0141",
"4.015",
"4.016",
"4.02",
"4.021",
"4.022",
"4.023",
"4.024",
"4.025",
"4.026",
"4.027",
"4.03",
"4.031",
"4.0311",
"4.0312",
"4.032",
"4.04",
"4.041",
"4.0411",
"4.0412",
"4.05",
"4.06",
"4.061",
"4.062",
"4.0621",
"4.063",
"4.064",
"4.0641",
"5",
"5",
"5.01",
"5.02",
"6",
"6",
"6.001",
"6.002",
"6.01",
"6.02",
"6.021",
"6.022",
"6.03",
"6.031",
"7",
"7",
"1.1",
"1.1",
Line 28: Line 125:
"2.1",
"2.1",
"2.2",
"2.2",
"2.201",
"2.202",
"2.203",
"3.1",
"3.1",
"3.2",
"3.2",
"3.201",
"3.202",
"3.203",
"3.3",
"3.3",
"3.4",
"3.4",
Line 39: Line 142:
"4.5",
"4.5",
"5.1",
"5.1",
"5.101",
"5.2",
"5.2",
"5.3",
"5.3",
"5.4",
"5.4",
"5.5",
"5.5",
"5.501",
"5.502",
"5.503",
"5.6",
"5.6",
"6.1",
"6.1",
Line 53: Line 160:
"1.13",
"1.13",
"1.21",
"1.21",
"2.01",
"2.02",
"2.03",
"2.04",
"2.05",
"2.06",
"2.11",
"2.11",
"2.12",
"2.12",
Line 70: Line 171:
"2.21",
"2.21",
"2.22",
"2.22",
"3.01",
"3.02",
"3.03",
"3.04",
"3.05",
"3.11",
"3.11",
"3.12",
"3.12",
Line 91: Line 187:
"3.41",
"3.41",
"3.42",
"3.42",
"4.01",
"4.02",
"4.03",
"4.04",
"4.05",
"4.06",
"4.11",
"4.11",
"4.12",
"4.12",
Line 117: Line 207:
"4.52",
"4.52",
"4.53",
"4.53",
"5.01",
"5.02",
"5.11",
"5.11",
"5.12",
"5.12",
Line 141: Line 229:
"5.52",
"5.52",
"5.53",
"5.53",
"5.5301",
"5.5302",
"5.5303",
"5.54",
"5.54",
"5.55",
"5.55",
Line 147: Line 238:
"5.63",
"5.63",
"5.64",
"5.64",
"6.01",
"6.02",
"6.03",
"6.11",
"6.11",
"6.12",
"6.12",
"6.1201",
"6.1202",
"6.1203",
"6.13",
"6.13",
"6.21",
"6.21",
Line 173: Line 264:
"6.53",
"6.53",
"6.54",
"6.54",
"2.011",
"2.012",
"2.013",
"2.014",
"2.021",
"2.022",
"2.023",
"2.024",
"2.025",
"2.026",
"2.027",
"2.031",
"2.032",
"2.033",
"2.034",
"2.061",
"2.062",
"2.063",
"2.131",
"2.131",
"2.141",
"2.141",
Line 201: Line 274:
"2.181",
"2.181",
"2.182",
"2.182",
"2.201",
"2.202",
"2.203",
"2.221",
"2.221",
"2.222",
"2.222",
Line 209: Line 279:
"2.224",
"2.224",
"2.225",
"2.225",
"3.001",
"3.031",
"3.032",
"3.141",
"3.141",
"3.142",
"3.142",
"3.143",
"3.143",
"3.144",
"3.144",
"3.201",
"3.202",
"3.203",
"3.221",
"3.221",
"3.251",
"3.251",
Line 249: Line 313:
"3.344",
"3.344",
"3.411",
"3.411",
"4.001",
"4.002",
"4.003",
"4.011",
"4.012",
"4.013",
"4.014",
"4.015",
"4.016",
"4.021",
"4.022",
"4.023",
"4.024",
"4.025",
"4.026",
"4.027",
"4.031",
"4.032",
"4.041",
"4.061",
"4.062",
"4.063",
"4.064",
"4.111",
"4.111",
"4.112",
"4.112",
Line 301: Line 342:
"4.465",
"4.465",
"4.466",
"4.466",
"5.101",
"5.121",
"5.121",
"5.122",
"5.122",
Line 344: Line 384:
"5.475",
"5.475",
"5.476",
"5.476",
"5.501",
"5.502",
"5.503",
"5.511",
"5.511",
"5.512",
"5.512",
Line 378: Line 415:
"5.634",
"5.634",
"5.641",
"5.641",
"6.001",
"6.002",
"6.021",
"6.022",
"6.031",
"6.111",
"6.111",
"6.112",
"6.112",
Line 418: Line 450:
"6.521",
"6.521",
"6.522",
"6.522",
"2.0121",
"2.0122",
"2.0123",
"2.0124",
"2.0131",
"2.0141",
"2.0201",
"2.0211",
"2.0212",
"2.0231",
"2.0232",
"2.0233",
"2.0251",
"2.0271",
"2.0272",
"2.1511",
"2.1511",
"2.1512",
"2.1512",
Line 438: Line 455:
"2.1514",
"2.1514",
"2.1515",
"2.1515",
"3.0321",
"3.1431",
"3.1431",
"3.1432",
"3.1432",
Line 445: Line 461:
"3.3441",
"3.3441",
"3.3442",
"3.3442",
"4.0031",
"4.0141",
"4.0311",
"4.0312",
"4.0411",
"4.0412",
"4.0621",
"4.0641",
"4.1121",
"4.1121",
"4.1122",
"4.1122",
Line 488: Line 496:
"5.5261",
"5.5261",
"5.5262",
"5.5262",
"5.5301",
"5.5302",
"5.5303",
"5.5321",
"5.5321",
"5.5351",
"5.5351",
Line 505: Line 510:
"5.5571",
"5.5571",
"5.6331",
"5.6331",
"6.1201",
"6.1202",
"6.1203",
"6.1221",
"6.1221",
"6.1222",
"6.1222",
Line 536: Line 538:
"6.4312",
"6.4312",
"6.4321",
"6.4321",
"2.01231",
"2.02331",
"2.15121",
"2.15121",
"4.12721",
"4.12721",
Retrieved from "https://www.wittgensteinproject.org/w/index.php/Special:MobileDiff/3243"