1059:). In the first paragraph he writes, "McGee (1985) showed that there is good reason to take seriously the possibility that Modus Ponens (MP) is false. . . ." I did not mean to exaggerate the significance of McGee's position, and I don't think I did exaggerate it. He's a person of note in the discipline (who still teaches at MIT), he took this stance on MP, most of the discipline thinks he's wrong, but there's no consensus on where he went wrong. That's why his 1985 paper and a 1989 follow-up piece in The Philosophical Review continue to get referenced and discussed.
946:
but still used by philosophers -- cf
Russell 1912 for example. By the time of Hilbert and Gödel (1920's-1930's), modus ponens had been reclassified as a "rule" as opposed to an axiom. It would seem that the contemporary literature starting in particular with Gödel separates his axioms from his "sentence formation rules", the "rule of inference (modus ponens)", "rule of substitution", and a tacit "rule of specification". Unfortunately I don't have enough sources to make sense of exactly what's happened here. Bill
248:
238:
217:
31:
189:
1021:
was the other. Where this analysis fails is by assuming that the other premises would still hold if it is suddenly discovered that
Shakespeare was not the author. We can only say premise 1 is true because Shakespeare DID write Hamlet. If that were not the case, the argument would still be valid - the conclusion would still follow from the premises - but the first premise would be false and therefore the conclusion could not be determined.
539:
good reference for the infinite valued calculus is: A. Tarski and J. Lukasiewicz, "Investigations into the
Sentential Calculus" appearing as Chapter IV in Tarski's "Logic, Semantics, and Metamathmatics" And for the multiple valued logic is probably: Lukasiewicz J. (1913) Die logishen Grundlagen der Wahrscheinichkeitsrechnung. What would be a reference for the truth table given applying to anything other than classical two valued logic?
22:
865:'If today is Tuesday, then I will go to work and today is Tuesday' means symbolically 'A imp B, A'. The whole judgement is based on the the implication. If we do the correct conversion by denying of the conclusion, i. e. not B (I won't go to work), then we know securely, that musn't be Tuesday and premises are denied, too (denied is at least the second). The judgement is therefore correct.
91:
64:
101:
580:
moon orbits the earth, then I am wearing white carpenter's pants. Again, the first premise, P, is true. And take my word for it that the second premise, Q, is also true. Given the foregoing, the conclusion is valid. But why? It doesn't seem like the moon orbiting the earth should have any bearing on what I am wearing today, does it?
967:
causality:"if it rains, flowers will bloom" may at first glance appear reasonable, even coherent, But what is missing are all the intermediary logical steps to determine that raining implies flowering - and yet to be established at all is that "A implies B" can ever be coherent beyond some hermeneutic stance. (
1070:
I'm happy to entertain suggestions about how the section might be improved, although I think anyone who would set out to explain where McGee goes wrong should first spend some time thinking about the problem and reviewing the literature. In the meantime, please un-comment the section. There's nothing
1054:
Let me address this, as the author of the offending material. The intent was not to make any actual claims about the validity of modus ponens, just to document some debate about it among philosophical logicians. McGee's 1985 article, appearing in one of academic philosophy's leading journals, caused
1036:
I recommend this entire passage is rewritten in a way that explicitly states these apparent "counterexamples" are fallacious and explains why. I would do it myself but I'm new to
Knowledge and am not sure if it would constitute original research. I'm going to comment it out for now, however, because
1020:
Emphasis mine. This is such a blatant contradiction I'm surprised that it made it into a
Knowledge article, let alone was apparently published by an actual philosopher. If indeed it is the case that the set of authors is only Shakespeare or Hobbes, then it obviously follows that if it was not one it
1161:
Enderton, for example, observes that "modus ponens can produce shorter formulas from longer ones", and
Russell observes that "the process of the inference cannot be reduced to symbols. Its sole record is the occurrence of ⊦q ... an inference is the dropping of a true premise; it is the dissolution
1064:
McGee's article features an example about the 1980 presidential election involving Carter, Reagan and
Anderson. There are also examples about someone sighting a fish (possibly a lungfish) and someone digging for gold but possibly finding silver. All of those examples require a bit of setup, whereas
945:
as "Anything implied by a true elementary proposition is true", the very first of his "Primitive propositions (Pp)" *1.1 to which he added *1.2 through *1.7 to form his axiom-set, or if you prefer "laws of thought" (by this time the moniker "laws of thought" seemed to be passé by the mathematicians
489:
I give you A), while the "modus tollens" is something that needs reflection first. I don't exactly know if this is true/unargued, but this should be mentioned perhaps. Also I've heard that the full name of the modus is "modus ponendo ponens" (and his 'counterpart' "modus tollendo tollens"), if this
907:
The sentence near the beginning saying that modus ponens "must not be confused with a logical law" is potentially confusing. It depends upon exactly what you mean by "logical law". I would think that most logicians would be happy to call it a logical law. I think that the distinction being made in
623:
I stated this incorrectly in the history page - modus ponens is just a form, and as such truth-value assignments are irrelevant. My real justification for deleting the link is that it really is too unrelated to an article on modus ponens (it would go well in an article on conditional statements).
579:
But there is a problem once you start filling in the variables. The usual example is If one is a man, then one is mortal. Socrates is a man, hence
Socrates is mortal. That works. P is true, Q is true, and the conclusion, by the magic of modus ponens comes out true. But what about this: If the
538:
Just pick any paper on a three valued logic with truth tables and Modus Ponens for examples of some of the various truth tables other than the one in the article. Lukasiewicz's
Multivalued logic and his infinite valued logic are, for example, are not two valued but have the rule of modus ponens A
587:
So I think I have a second answer that works better. Because basic propositional logic doesn't account for time, modality, probability, etc. Given that, propositional logic describes a world in which all true propositions are necessarily related to each other (or necessarily not related to each
583:
There are only two ways I have to deal with this, and I hope someone can help. First is simply to say that propositional logic doesn't account for modalities--whether the moon necessarily or possibly orbiting the earth has any impact on my choice of pants. Granted, modal logic, temporal logic,
598:
I think you misunderstand the notion of a logically valid argument. A valid argument is one in which the conclusion is *guaranteed* simply by virtue of the form of its premises. In your example, you seem to just be assigning truth-values to propositions. It makes no sense to say "given that the
966:
I am not a specialist in this domain, but the article doesn't seem to be explicit concerning the issue that, when attempting to use MP in an argument, the responsibility of establishing soundness will be primarily dependent on establishing the antecedent: This be complex in areas of eg implied
908:
the texts referred to is between an axiom or theorem (a necessarily true formula) and an inference rule. Modus ponens is an inference rule rather than an axiom. But it still could be called a logical law, since, as far as I know, "logical law" does not have a precise technical meaning.
584:
fuzzy logic, and some applications of predicate logic capture all of that. But as to basic bone-headed propositional logic, the conclusion seems odd, because it leaves open the possibility of a modus ponens sentence returning an invalid result--which it shouldn't be able to do.
614:
In this case, 3 is guaranteed by 1 and 2. Whether or not the argument is *sound* has to do with the truth of 1 and 2, and what I believe you are saying is that 2 is absurd (false). This does prevent the argument from being sound, but the argument itself is still valid.
804:
I agree, but I'm not an expert. There's also the fellacious argument "today is not
Tuesday, therefore I will not go to work" which does not follow from the previous argument. This error, I believe, has been catalgogued elsewhere according to some vague recollection I
1032:
The apparent implication being that McGee has somehow torn a massive hole in the foundations of propositional logic which has stumped the eminent professors of the field, when in fact it is a very basic conflation of natural language with formal reasoning.
940:
Russell singled out his expression of the "principle of sufficient reason" (he never called it that in anything he wrote, to my knowledge; he was abysmal at footnoting and sourcing so we can't trace how his ideas evolved) and adopted it/singled it out in
1189:) doesn’t have widespread currency, so far as I know. However, it may be deserving of attention, and I guess there’s little harm in letting that material stand. The recently added material on “Boolean algebra,” however, has some issues. As user MaxEnt
599:
earlier two propositions are true, the conclusion is valid," since validity is a property of arguments, not of individual propositions (a common category mistake people make when first learning about logic). "Validity" just means "truth-preserving."
1325:
is a necessary truth.” I have tried to address these problems and in doing so have switched to a more narrative style of exposition. Someone else might see room for further improvement. Or perhaps MaxEnt will take exception to my changes—let's see.
1065:
the Shakespeare/Hobbes example doesn't, and so that keeps the section from being any longer than it already is. That was my thinking, although I would have preferred not to introduce a new example (the whole "original research" rule).
1055:
quite a stir. There continues to be discussion about it. See, for instance, a piece by Mandelkern in Philosophy and Phenomenological Research, so new it is not yet in print but is viewable online if you have access (
927:
and not formalized as an "inference rule" as it is today, was considered a "law" by both Hamilton (1830's) and Russell (1900 to 1910). But see in particular the quote at footnote #10 in this article; also more at
1184:
The section on relation to other mathematical frameworks is something of a bag of odds and ends. The “Subjective logic” framework developed by user Josang and presented here (and also more fully in a separate
1040:
304:
488:
I've heard that the "modus ponens" is considered something every man is born with (in order to be able to make transactions, like: - "I give you A, if you give me B" - you give me B -: -->
1501:
735:
1151:
has been abridged to be "Russell." Whitehead is a co-author of the work, so the absence seems conspicuous. Is this intentional? Is there any objection to adding Whitehead as well?
1419:
477:
And to lead into this modus ponens with "instances of its use may be either sound or unsound" is pure genius since this instance may indeed (or ininterpretation) be either.
1506:
1211:
1456:
1380:
1127:
Addendum: Actually, it might not be a bad idea to add a few sentences outlining the different reactions to McGee by other philosophers. This would be good added info.
1028:
That these kinds of cases constitute failures of modus ponens remains a minority view among logicians, but there is no consensus on how the cases should be disposed of.
1491:
122:
on Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
1303:
1257:
588:
other.) For instance, in the world that propositional logic can describe--every time a butterfly flaps its wings, there either must or must not be a hurricane.
467:
are to be addressed explicitly at this point. However, the use of the definite article over the possessive pronoun suggests that the author is not referring to
1323:
1277:
1231:
1005:
The first premise seems reasonable enough, because Shakespeare is generally credited with writing Hamlet. The second premise seems reasonable as well, because
1516:
149:
35:
510:
It should probably have a disclaimer that the given truth table applies ONLY to classical two valued logic, while Modus Ponens applies to a good deal more.
1496:
845:'If today is Tuesday, then I will go to work and today is Wednesday' means symbolically 'A imp B, C'. By this way can't be already contrived modus ponens.
755:
This isn't really a rule. I mean, if you have "true" on the right, typically you could have anything at all on the left and it would be a valid inference.
159:
1541:
294:
1536:
1486:
1511:
1526:
923:
You are entirely correct about this, and I've wondered how to approach your point. Since the early 1800's "modus ponens", under a different name
270:
806:
423:
If the argument is modus ponens and its premises are true, then it is sound. The premises are true. Therefore, it is a sound argument.
124:
668:
511:
326:
One of the "conversation" chapters in Gödel, Escher, Bach is by Lewis Caroll, and is about MP and how it can be extended to absurdity. --
1521:
1481:
1531:
1044:
355:
I'm putting in an article about that. To help, can someone clarify if "modus ponens" is the correct term to use with this argument:
340:
261:
222:
114:
69:
1098:
924:
819:
So, "If today is Tuesday, then I will go to work. I will go to work. Therefore it is Tuesday." That's called the fallacy of
451:
I assume "the premises are true" in the second line refers to the the premises mentioned in the first line, the premises of
1085:
It seems like the passage should at least mention that although "If Shakespeare didn't write Hamlet, Hobbes did it" may
44:
1007:
with the set of Hamlet's possible authors limited to just Shakespeare and Hobbes, eliminating one leaves only the other
196:
74:
1383:
1094:
627:
Note also that there are systems with modus ponens that do not have the property that falsity implies everything.
576:
Underneath the main (conclusion) operator, all lines of the truth table are true, hence the argument is valid.
572:
1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 *
820:
810:
664:
884:
Section titles may be changed and removed in whatever way, but I do not think that this propositional theorem
515:
21:
690:
672:
493:
I don't want to change this by myself, because I'm not really sure whether it's true or not, as mentioned.
1389:
913:
893:
502:
463:
are not well premised as true by the second line due to expectations of the reader that the premises of
344:
333:
It's not correct to put "sic" after "premiss." That's not a spelling error, it's an archaic spelling.
50:
247:
1190:
1172:
1090:
656:
336:
660:
369:
In other words, does the existence of the quantifiers prevent me from calling this "modus ponens"?
866:
387:
which follows from 1 by specialization. Then the remainder of the argument would be modus ponens.
373:
269:
on Knowledge. If you would like to participate, please visit the project page, where you can join
972:
951:
253:
237:
216:
1213:
appear in both the object language and the metalanguage. He may also be aware that his use of “
1001:
This is in fact a perfectly valid argument. The article's analysis of it, however, is fraught.
1463:
1331:
1196:
1132:
1112:
1076:
870:
828:
760:
106:
1424:
1348:
1056:
775:
Should we say something about the converse not necessarily being true? I.e., in the example,
1186:
889:
794:
745:
411:
994:
If either Shakespeare or Hobbes wrote Hamlet, then if Shakespeare didn't do it, Hobbes did.
929:
632:
591:
That's about all I have to describe it, but I'd love to hear what anyone else has to say.
544:
529:
1012:
But the conclusion is dubious, because if Shakespeare is ruled out as Hamlet's author,
839:
388:
188:
1475:
1282:
1236:
968:
947:
909:
1459:
1327:
1308:
1262:
1216:
1128:
1108:
1072:
824:
756:
327:
962:
Responsibility in MP of establishing the antecedent - not so clear in the article.
1176:
1152:
790:
741:
407:
404:
266:
789:
Just because you go to work doesn't mean it is Tuesday; it could be Wednesday.
628:
540:
525:
243:
119:
96:
400:
608:
2. If the moon orbits the earth, then I am wearing white carpenter pants.
932:
where Hamilton identifies the two. Somewhere along the line between his
118:, a collaborative effort to improve the coverage of content related to
602:
In standard form the modus ponens argument similar to yours would go:
611:
3. Therefore, I am wearing white carpenter pants. (1,2 modus ponens)
1467:
1382:
as the probability of a conditional sentence is a dubious move; see
1335:
1179:
1155:
1136:
1116:
1102:
1080:
1048:
976:
955:
917:
897:
874:
832:
814:
798:
764:
749:
636:
548:
533:
519:
505:
501:
Should the truth tables of modus ponens be added to this article? --
348:
90:
63:
1173:
Talk:Boolean_algebra#CS_guy_tackles_modus_ponens_with_mixed_results
558:
Could someone include some discussion of the following problem ...
1089:
to be false, it is actually a true statement according to how the
996:
Therefore, if Shakespeare didn't write Hamlet, Hobbes did it."
1037:
the information it presents is totally misleading to readers.
15:
187:
1057:
https://onlinelibrary.wiley.com/doi/abs/10.1111/phpr.12513
1071:
so majorly wrong with the section to warrant removing it.
459:, the argument presented here directly. The premises of
885:
653:
If P, then Q. If Q, then R. P. Therefore, R.
1311:
1285:
1265:
1239:
1219:
1199:
1014:
there are many more plausible alternatives than Hobbes
474:
In short, I just realized you're messing with people.
1427:
1392:
1351:
693:
265:, a collaborative effort to improve the coverage of
170:
1458:. So I cut one paragraph and corrected the other.
1450:
1413:
1374:
1317:
1297:
1271:
1251:
1225:
1205:
729:
650:isn't this called hypothetical syllogism as well?
1428:
1393:
1352:
1502:Knowledge level-5 vital articles in Mathematics
740:Does this argument form have a name? Thanks, --
1386:. The cited observation by Hailperin is about
561:Here are the truth functions of modus ponens:
987:The supposed "contradiction" is as follows:
779:If today is Tuesday, then I will go to work.
619:eliminated link to "falsity implies anything"
426:For the purposes of my following statements:
8:
19:
1341:Probability calculus material trimmed back
992:Either Shakespeare or Hobbes wrote Hamlet.
211:
167:
58:
1507:Start-Class vital articles in Mathematics
1437:
1426:
1391:
1361:
1350:
1310:
1284:
1264:
1238:
1218:
1198:
1147:In the following sentence, the author of
692:
983:Supposed "counterexample" makes no sense
730:{\displaystyle P\to Q,\neg P\vdash true}
1492:Knowledge vital articles in Mathematics
213:
60:
1233:” doesn’t clearly distinguish between
1041:2A01:4C8:1408:FF0B:BA30:3428:7426:C9BF
128:about philosophy content on Knowledge.
435:the argument whose text you see here
7:
259:This article is within the scope of
112:This article is within the scope of
1517:High-importance Philosophy articles
1414:{\displaystyle \Pr(P\rightarrow Q)}
49:It is of interest to the following
1497:Start-Class level-5 vital articles
1143:Reference to Principia Mathematica
706:
14:
1542:Mid-priority mathematics articles
279:Knowledge:WikiProject Mathematics
1537:Start-Class mathematics articles
1487:Knowledge level-5 vital articles
848:The truth table of implication:
490:is true, it might be added too.
455:, as opposed to the premises of
395:Is this the same as a sylogism?
282:Template:WikiProject Mathematics
246:
236:
215:
134:Knowledge:WikiProject Philosophy
99:
89:
62:
29:
20:
1512:Start-Class Philosophy articles
299:This article has been rated as
154:This article has been rated as
137:Template:WikiProject Philosophy
1527:High-importance logic articles
1445:
1438:
1431:
1408:
1402:
1396:
1369:
1362:
1355:
1200:
1093:functions in classical logic.
925:Principle of sufficient reason
697:
605:1. The moon orbits the earth.
1:
1468:07:47, 20 November 2023 (UTC)
1167:Boolean algebra section added
875:15:57, 15 November 2011 (UTC)
785:Therefore, I will go to work.
273:and see a list of open tasks.
1336:08:18, 5 November 2022 (UTC)
1180:02:23, 14 October 2022 (UTC)
1137:18:33, 29 January 2020 (UTC)
1081:16:18, 29 January 2020 (UTC)
1049:11:41, 29 January 2020 (UTC)
956:15:43, 6 November 2014 (UTC)
918:11:03, 6 November 2014 (UTC)
838:Modus ponens is argument of
833:17:15, 5 November 2022 (UTC)
765:17:13, 5 November 2022 (UTC)
637:19:00, 27 October 2008 (UTC)
549:18:55, 27 October 2008 (UTC)
534:17:00, 27 October 2008 (UTC)
520:16:39, 27 October 2008 (UTC)
447:, whose soundness is argued
443:the argument referred to in
750:16:01, 8 January 2010 (UTC)
677:14:17, 1 October 2007 (UTC)
524:Can you provide reference?
506:05:41, 19 August 2006 (UTC)
1558:
1522:Start-Class logic articles
1482:Start-Class vital articles
898:05:54, 19 April 2013 (UTC)
480:You got me all worked up.
160:project's importance scale
1532:Logic task force articles
1384:Lewis's triviality result
1206:{\textstyle \rightarrow }
1156:18:45, 17 July 2020 (UTC)
1024:So the section finishes:
977:11:30, 30 July 2016 (UTC)
934:Principles of Mathematics
815:14:18, 8 April 2011 (UTC)
799:04:56, 9 March 2010 (UTC)
419:self-referential premises
359:∀x∀y:equalsame(x,y) ⇒ x=y
330:05:58 Aug 27, 2002 (PDT)
298:
231:
195:
166:
153:
84:
57:
1451:{\displaystyle \Pr(Q|P)}
1375:{\displaystyle \Pr(Q|P)}
1117:19:04, 24 May 2023 (UTC)
1103:22:25, 23 May 2023 (UTC)
821:affirming the consequent
414:21:07, 16 Sep 2004 (UTC)
391:03:24 Dec 4, 2002 (UTC)
379:I would insert the step
376:23:34 Dec 3, 2002 (UTC)
305:project's priority scale
1193:, it's awkward to have
469:the referenced argument
465:the referenced argument
453:the referenced argument
439:the referenced argument
349:20:00, 1 May 2012 (UTC)
262:WikiProject Mathematics
171:Associated task forces:
1452:
1415:
1376:
1319:
1299:
1273:
1253:
1227:
1207:
1164:
1030:
1018:
999:
938:Principia Mathematical
731:
568:Q ) & P) : -->
192:
115:WikiProject Philosophy
1453:
1416:
1377:
1320:
1300:
1274:
1254:
1228:
1208:
1159:
1149:Principia Mathematica
1095:NicolinoChess31415926
1026:
1003:
989:
943:Principia Mathematica
732:
191:
36:level-5 vital article
1425:
1390:
1349:
1309:
1283:
1263:
1237:
1217:
1197:
1091:Material conditional
691:
471:for this premise...
383:equalsame(a,b) ⇒ a=b
285:mathematics articles
1162:of an implication".
140:Philosophy articles
1448:
1411:
1372:
1315:
1295:
1269:
1249:
1223:
1203:
782:Today is Tuesday.
727:
254:Mathematics portal
193:
125:general discussion
45:content assessment
880:((P → Q) ∧ P) → Q
679:
659:comment added by
339:comment added by
319:
318:
315:
314:
311:
310:
210:
209:
206:
205:
202:
201:
107:Philosophy portal
1549:
1457:
1455:
1454:
1449:
1441:
1420:
1418:
1417:
1412:
1381:
1379:
1378:
1373:
1365:
1324:
1322:
1321:
1316:
1304:
1302:
1301:
1298:{\textstyle x=1}
1296:
1278:
1276:
1275:
1270:
1258:
1256:
1255:
1252:{\textstyle x=1}
1250:
1232:
1230:
1229:
1224:
1212:
1210:
1209:
1204:
736:
734:
733:
728:
654:
351:
287:
286:
283:
280:
277:
256:
251:
250:
240:
233:
232:
227:
219:
212:
178:
168:
142:
141:
138:
135:
132:
109:
104:
103:
102:
93:
86:
85:
80:
77:
66:
59:
42:
33:
32:
25:
24:
16:
1557:
1556:
1552:
1551:
1550:
1548:
1547:
1546:
1472:
1471:
1423:
1422:
1388:
1387:
1347:
1346:
1343:
1307:
1306:
1281:
1280:
1261:
1260:
1235:
1234:
1215:
1214:
1195:
1194:
1169:
1145:
998:
985:
964:
930:Laws of thought
905:
882:
807:143.210.122.139
773:
689:
688:
685:
680:
648:
621:
573:
556:
499:
486:
424:
421:
399:It's a type of
334:
324:
284:
281:
278:
275:
274:
252:
245:
225:
176:
156:High-importance
139:
136:
133:
130:
129:
105:
100:
98:
79:High‑importance
78:
72:
43:on Knowledge's
40:
30:
12:
11:
5:
1555:
1553:
1545:
1544:
1539:
1534:
1529:
1524:
1519:
1514:
1509:
1504:
1499:
1494:
1489:
1484:
1474:
1473:
1447:
1444:
1440:
1436:
1433:
1430:
1410:
1407:
1404:
1401:
1398:
1395:
1371:
1368:
1364:
1360:
1357:
1354:
1342:
1339:
1318:{\textstyle x}
1314:
1294:
1291:
1288:
1272:{\textstyle x}
1268:
1248:
1245:
1242:
1226:{\textstyle =}
1222:
1202:
1168:
1165:
1144:
1141:
1140:
1139:
1124:
1123:
1122:
1121:
1120:
1119:
1067:
1066:
1061:
1060:
995:
993:
990:
984:
981:
963:
960:
959:
958:
904:
901:
886:is off-topical
881:
878:
863:
862:
859:
856:
853:
840:symbolic logic
836:
835:
817:
787:
786:
783:
780:
772:
769:
768:
767:
738:
737:
726:
723:
720:
717:
714:
711:
708:
705:
702:
699:
696:
684:
681:
661:Michael miceli
652:
647:
640:
620:
617:
596:
575:
571:
564:
555:
552:
512:155.101.224.65
498:
495:
485:
482:
449:
448:
441:
436:
433:
422:
420:
417:
416:
415:
393:
385:
384:
367:
366:
363:
362:equalsame(a,b)
360:
353:
323:
320:
317:
316:
313:
312:
309:
308:
297:
291:
290:
288:
271:the discussion
258:
257:
241:
229:
228:
220:
208:
207:
204:
203:
200:
199:
194:
184:
183:
181:
179:
173:
172:
164:
163:
152:
146:
145:
143:
111:
110:
94:
82:
81:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
1554:
1543:
1540:
1538:
1535:
1533:
1530:
1528:
1525:
1523:
1520:
1518:
1515:
1513:
1510:
1508:
1505:
1503:
1500:
1498:
1495:
1493:
1490:
1488:
1485:
1483:
1480:
1479:
1477:
1470:
1469:
1465:
1461:
1442:
1434:
1405:
1399:
1385:
1366:
1358:
1340:
1338:
1337:
1333:
1329:
1312:
1292:
1289:
1286:
1279:is true” and
1266:
1246:
1243:
1240:
1220:
1192:
1188:
1182:
1181:
1178:
1174:
1166:
1163:
1158:
1157:
1154:
1150:
1142:
1138:
1134:
1130:
1126:
1125:
1118:
1114:
1110:
1106:
1105:
1104:
1100:
1096:
1092:
1088:
1084:
1083:
1082:
1078:
1074:
1069:
1068:
1063:
1062:
1058:
1053:
1052:
1051:
1050:
1046:
1042:
1038:
1034:
1029:
1025:
1022:
1017:
1015:
1010:
1008:
1002:
997:
988:
982:
980:
978:
974:
970:
961:
957:
953:
949:
944:
939:
935:
931:
926:
922:
921:
920:
919:
915:
911:
902:
900:
899:
895:
891:
887:
879:
877:
876:
872:
868:
860:
857:
854:
851:
850:
849:
846:
843:
841:
834:
830:
826:
822:
818:
816:
812:
808:
803:
802:
801:
800:
796:
792:
784:
781:
778:
777:
776:
770:
766:
762:
758:
754:
753:
752:
751:
747:
743:
724:
721:
718:
715:
712:
709:
703:
700:
694:
687:
686:
682:
678:
670:
666:
662:
658:
651:
641:
639:
638:
634:
630:
625:
618:
616:
612:
609:
606:
603:
600:
595:
592:
589:
585:
581:
577:
570:
565:
562:
559:
554:Trivial Truth
553:
551:
550:
546:
542:
536:
535:
531:
527:
522:
521:
517:
513:
508:
507:
504:
503:Vince.Buffalo
496:
494:
491:
483:
481:
478:
475:
472:
470:
466:
462:
461:this argument
458:
457:this argument
454:
446:
445:this argument
442:
440:
437:
434:
432:
431:this argument
429:
428:
427:
418:
413:
409:
405:
402:
398:
397:
396:
392:
390:
382:
381:
380:
377:
375:
370:
364:
361:
358:
357:
356:
352:
350:
346:
342:
338:
331:
329:
322:Miscellaneous
321:
306:
302:
296:
293:
292:
289:
272:
268:
264:
263:
255:
249:
244:
242:
239:
235:
234:
230:
224:
221:
218:
214:
198:
190:
186:
185:
182:
180:
175:
174:
169:
165:
161:
157:
151:
148:
147:
144:
127:
126:
121:
117:
116:
108:
97:
95:
92:
88:
87:
83:
76:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
1344:
1191:acknowledges
1183:
1170:
1160:
1148:
1146:
1086:
1039:
1035:
1031:
1027:
1023:
1019:
1013:
1011:
1006:
1004:
1000:
991:
986:
965:
942:
937:
933:
906:
883:
864:
847:
844:
837:
788:
774:
771:The converse
739:
683:Another rule
649:
626:
622:
613:
610:
607:
604:
601:
597:
593:
590:
586:
582:
578:
574:
566:
563:
560:
557:
537:
523:
509:
500:
497:Truth Tables
492:
487:
479:
476:
473:
468:
464:
460:
456:
452:
450:
444:
438:
430:
425:
394:
386:
378:
371:
368:
354:
335:— Preceding
332:
325:
301:Mid-priority
300:
260:
226:Mid‑priority
155:
123:
113:
51:WikiProjects
34:
890:Incnis Mrsi
673:Q_^_Q-: -->
655:—Preceding
643:Q ^ Q-: -->
341:64.199.25.9
276:Mathematics
267:mathematics
223:Mathematics
41:Start-class
1476:Categories
567:((P : -->
484:Psychology
131:Philosophy
120:philosophy
70:Philosophy
1345:Treating
1305:meaning “
1259:meaning “
855:1 0 false
674:R)_-: -->
644:R) -: -->
401:syllogism
389:AxelBoldt
39:is rated
969:20040302
948:Wvbailey
910:Sifonios
861:0 0 true
858:0 1 true
852:1 1 true
675:_P-: -->
669:contribs
657:unsigned
642:(P-: -->
337:unsigned
1460:Knorlin
1328:Knorlin
1129:Knorlin
1109:Knorlin
1073:Knorlin
903:Comment
867:Chomsky
825:Knorlin
757:Knorlin
676:R": -->
645:P-: -->
374:Ryguasu
328:Tarquin
303:on the
158:on the
1421:, not
1177:MaxEnt
1153:modify
1107:Done!
1087:appear
805:have--
791:Tisane
742:Abdull
408:Gwalla
47:scale.
1187:entry
629:Nahaj
594:Thx.
541:Nahaj
526:yayay
365:∴ a=b
197:Logic
75:Logic
28:This
1464:talk
1332:talk
1171:See
1133:talk
1113:talk
1099:talk
1077:talk
1045:talk
973:talk
952:talk
936:and
914:talk
894:talk
871:talk
829:talk
811:talk
795:talk
761:talk
746:talk
665:talk
633:talk
545:talk
530:talk
516:talk
412:Talk
345:talk
150:High
1009:.
295:Mid
1478::
1466:)
1429:Pr
1403:→
1394:Pr
1353:Pr
1334:)
1201:→
1175:—
1135:)
1115:)
1101:)
1079:)
1047:)
979:)
975:)
954:)
916:)
896:)
888:.
873:)
842:.
831:)
823:.
813:)
797:)
763:)
748:)
713:⊢
707:¬
698:→
671:)
667:•
635:)
569:Q
547:)
532:)
518:)
410:|
406:—
403:.
372:--
347:)
177:/
73::
1462:(
1446:)
1443:P
1439:|
1435:Q
1432:(
1409:)
1406:Q
1400:P
1397:(
1370:)
1367:P
1363:|
1359:Q
1356:(
1330:(
1313:x
1293:1
1290:=
1287:x
1267:x
1247:1
1244:=
1241:x
1221:=
1131:(
1111:(
1097:(
1075:(
1043:(
1016:.
971:(
950:(
912:(
892:(
869:(
827:(
809:(
793:(
759:(
744:(
725:e
722:u
719:r
716:t
710:P
704:,
701:Q
695:P
663:(
646:R
631:(
543:(
528:(
514:(
343:(
307:.
162:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.