157:
181:
143:
210:
Logic (from the Greek "logos", which has a variety of meanings including word, thought, idea, argument, account, reason or principle) is the study of reasoning, or the study of the principles and criteria of valid inference and demonstration. It attempts to distinguish good reasoning from bad
191:
This category may require frequent maintenance to avoid becoming too large. It should directly contain very few, if any, pages and should mainly contain subcategories.
1064:
467:
170:
1227:
555:
511:
736:
597:
1386:
1237:
1126:
1432:
1047:
684:
1222:
721:
103:
968:
84:
891:
1131:
402:
289:
231:
36:
533:
1318:
41:
1153:
1081:
587:
354:
98:
55:
1308:
1116:
1010:
881:
378:
272:
93:
46:
1136:
1032:
674:
572:
499:
330:
123:
1357:
1293:
1121:
1059:
1042:
916:
716:
679:
654:
980:
1396:
1261:
1086:
906:
859:
763:
602:
577:
313:
65:
60:
1413:
1069:
921:
869:
617:
612:
607:
446:
1192:
8:
1374:
1175:
1091:
1037:
943:
849:
832:
768:
741:
706:
644:
79:
689:
1248:
1202:
1170:
1148:
1015:
990:
896:
426:
255:
162:
74:
1101:
1347:
1232:
1207:
1106:
963:
958:
931:
926:
844:
795:
731:
694:
622:
479:
156:
148:
1005:
1303:
1278:
1165:
822:
664:
659:
582:
538:
489:
358:
130:
450:
1401:
1391:
1380:
1330:
1255:
1212:
1111:
995:
953:
948:
886:
817:
800:
783:
592:
560:
550:
430:
406:
382:
317:
276:
259:
198:
334:
235:
1197:
985:
937:
864:
746:
627:
293:
1426:
1335:
1298:
1096:
827:
778:
649:
1362:
1027:
901:
528:
1352:
1283:
1000:
911:
758:
1288:
711:
494:
399:
286:
1180:
854:
726:
669:
632:
523:
351:
1313:
1266:
805:
773:
375:
269:
220:
This category has the following 11 subcategories, out of 11 total.
1242:
466:
The following 154 pages are in this category, out of 154 total.
327:
1217:
310:
484:
203:
116:
423:
252:
138:
1065:
Original proof of Gödel's completeness theorem
189:should be moved to subcategories where applicable.
1424:
556:Birkhoff's theorem (equational logic)
1228:Simplification of disjunctive antecedents
512:Knowledge:Contents/Mathematics and logic
468:This list may not reflect recent changes
737:Extensional and intensional definitions
1425:
598:Colorless green ideas sleep furiously
215:
174:
171:WP:WikiProject Philosophy/Resources
13:
1387:What the Tortoise Said to Achilles
472:
222:
214:
112:
15:
14:
1444:
1238:Social software (research field)
1127:Principle of nonvacuous contrast
179:
155:
141:
1048:Normal form (natural deduction)
685:Discourse representation theory
104:Theories of deduction
1223:Simple non-inferential passage
892:Lewis's triviality result
722:Equality-generating dependency
1:
969:Loosely associated statements
534:Ariadne's thread (logic)
1132:Propositional representation
461:
7:
1319:Tuple-generating dependency
99:Concepts in logic
10:
1449:
1154:Quantization (linguistics)
588:Circumscription (taxonomy)
197:The main article for this
196:
168:
47:History of logic
1309:Transferable belief model
1117:Pragmatic theory of truth
1011:Multiple-conclusion logic
882:Language, Proof and Logic
463:Pages in category "Logic"
85:Computability theory
37:Philosophical logic
1137:Psychology of reasoning
1033:Neutrality (philosophy)
981:Markov's principle
675:Difference (philosophy)
573:Canon (basic principle)
500:Index of logic articles
187:Pages in this category
124:Index of logic articles
42:Mathematical logic
1433:Branches of philosophy
1358:Valuation-based system
1294:Theoretical definition
1122:Principle of bivalence
1082:Penrose–Lucas argument
1060:Ontological commitment
1043:Nonfirstorderizability
917:Logic of argumentation
717:Enumerative definition
680:Digital timing diagram
655:Diagrammatic reasoning
56:Critical thinking
1397:Witness (mathematics)
1262:Syncategorematic term
1087:Persuasive definition
907:Logic and rationality
860:Infinite-valued logic
764:Finite model property
603:Composition of causes
578:Canonical normal form
94:Logic literature
1414:Zhegalkin polynomial
1070:Ostensive definition
922:Logic of information
870:Inverse consequences
690:Don't-care term
618:Condensed detachment
613:Conceptions of logic
608:Concatenation theory
1375:Warnier/Orr diagram
1176:Regular modal logic
1102:Post's lattice
1092:Philosophy of logic
1038:Non-monotonic logic
944:Logical determinism
850:Inductive reasoning
833:Hurford disjunction
769:Finite-valued logic
742:Extensional context
707:Embedded dependency
645:Deductive reasoning
403:Philosophy of logic
290:Logic organizations
232:Logic-related lists
1249:Superassertibility
1203:Self-refuting idea
1171:Reactive synthesis
1149:Quantifier (logic)
1016:Mutual exclusivity
1006:Morton's fork
991:Mathematical logic
897:Lexical definition
163:Mathematics portal
1348:Vagrant predicate
1233:Situational logic
1208:Semantic argument
1193:Schrödinger logic
1107:Pragmatic mapping
964:Logical pluralism
959:Logical intuition
932:Logic translation
927:Logic programming
845:Inclusion (logic)
796:The Game of Logic
732:Existential graph
695:Dynamic semantics
623:Conditional proof
480:Glossary of logic
355:Concepts in logic
195:
194:
149:Philosophy portal
137:
136:
111:
110:
66:Model theory
61:Proof theory
31:
30:
1440:
1383:
1304:Train of thought
1279:Tacit assumption
1258:
1251:
1166:Rational fideism
940:
823:History of logic
665:Dialogical logic
660:Dialectica space
583:Catch-22 (logic)
539:Autological word
490:Outline of logic
452:
432:
425:
408:
401:
384:
379:History of logic
377:
360:
353:
336:
329:
319:
312:
295:
288:
278:
273:Logic literature
271:
261:
254:
237:
183:
182:
175:
165:
160:
159:
151:
146:
145:
144:
131:Outline of logic
113:
20:
19:
16:
1448:
1447:
1443:
1442:
1441:
1439:
1438:
1437:
1423:
1422:
1421:
1420:
1419:
1418:
1406:
1402:World Logic Day
1392:Window operator
1381:Warrant (logic)
1379:
1367:
1340:
1331:Universal logic
1323:
1271:
1256:Superassertible
1254:
1247:
1213:Ship of Theseus
1185:
1158:
1141:
1112:Pragmatic maxim
1074:
1052:
1020:
996:Metamathematics
973:
954:Logical harmony
949:Logical extreme
936:
887:Law of identity
874:
837:
818:Herbrandization
810:
801:Geometric logic
788:
784:Formal ontology
751:
699:
637:
593:Classical logic
565:
561:Boolean network
551:Belief revision
543:
516:
504:
460:
459:
458:
457:
454:
453:
437:
434:
433:
422:
413:
410:
409:
398:
389:
386:
385:
374:
365:
362:
361:
350:
341:
338:
337:
326:
321:
320:
309:
300:
297:
296:
285:
280:
279:
268:
263:
262:
251:
242:
239:
238:
213:
208:
184:
180:
173:
161:
154:
147:
142:
140:
80:Set theory
27:
12:
11:
5:
1446:
1436:
1435:
1417:
1416:
1410:
1407:
1405:
1404:
1399:
1394:
1389:
1384:
1377:
1371:
1368:
1366:
1365:
1360:
1355:
1350:
1344:
1341:
1339:
1338:
1333:
1327:
1324:
1322:
1321:
1316:
1311:
1306:
1301:
1296:
1291:
1286:
1281:
1275:
1272:
1270:
1269:
1264:
1259:
1252:
1245:
1240:
1235:
1230:
1225:
1220:
1215:
1210:
1205:
1200:
1198:Self-reference
1195:
1189:
1186:
1184:
1183:
1178:
1173:
1168:
1162:
1159:
1157:
1156:
1151:
1145:
1142:
1140:
1139:
1134:
1129:
1124:
1119:
1114:
1109:
1104:
1099:
1094:
1089:
1084:
1078:
1075:
1073:
1072:
1067:
1062:
1056:
1053:
1051:
1050:
1045:
1040:
1035:
1030:
1024:
1021:
1019:
1018:
1013:
1008:
1003:
998:
993:
988:
986:Matching logic
983:
977:
974:
972:
971:
966:
961:
956:
951:
946:
941:
938:Logical abacus
934:
929:
924:
919:
914:
909:
904:
899:
894:
889:
884:
878:
875:
873:
872:
867:
865:Informal logic
862:
857:
852:
847:
841:
838:
836:
835:
830:
825:
820:
814:
811:
809:
808:
803:
798:
792:
789:
787:
786:
781:
776:
771:
766:
761:
755:
752:
750:
749:
747:Extensionalism
744:
739:
734:
729:
724:
719:
714:
709:
703:
700:
698:
697:
692:
687:
682:
677:
672:
667:
662:
657:
652:
647:
641:
638:
636:
635:
630:
628:Counterexample
625:
620:
615:
610:
605:
600:
595:
590:
585:
580:
575:
569:
566:
564:
563:
558:
553:
547:
544:
542:
541:
536:
531:
526:
520:
517:
515:
514:
508:
505:
503:
502:
497:
492:
487:
482:
476:
474:
473:
464:
456:
455:
445:
444:
441:
438:
436:
435:
421:
420:
417:
414:
412:
411:
397:
396:
393:
390:
388:
387:
373:
372:
369:
366:
364:
363:
349:
348:
345:
342:
340:
339:
331:Informal logic
325:
324:
322:
308:
307:
304:
301:
299:
298:
284:
283:
281:
267:
266:
264:
250:
249:
246:
243:
241:
240:
230:
229:
226:
224:
223:
218:
193:
192:
185:
178:
167:
166:
152:
135:
134:
109:
108:
107:
106:
101:
96:
89:
88:
87:
82:
77:
70:
69:
68:
63:
58:
51:
50:
49:
44:
39:
32:
29:
28:
23:
9:
6:
4:
3:
2:
1445:
1434:
1431:
1430:
1428:
1415:
1412:
1411:
1408:
1403:
1400:
1398:
1395:
1393:
1390:
1388:
1385:
1382:
1378:
1376:
1373:
1372:
1369:
1364:
1361:
1359:
1356:
1354:
1351:
1349:
1346:
1345:
1342:
1337:
1336:Unspoken rule
1334:
1332:
1329:
1328:
1325:
1320:
1317:
1315:
1312:
1310:
1307:
1305:
1302:
1300:
1299:Topical logic
1297:
1295:
1292:
1290:
1287:
1285:
1282:
1280:
1277:
1276:
1273:
1268:
1265:
1263:
1260:
1257:
1253:
1250:
1246:
1244:
1241:
1239:
1236:
1234:
1231:
1229:
1226:
1224:
1221:
1219:
1216:
1214:
1211:
1209:
1206:
1204:
1201:
1199:
1196:
1194:
1191:
1190:
1187:
1182:
1179:
1177:
1174:
1172:
1169:
1167:
1164:
1163:
1160:
1155:
1152:
1150:
1147:
1146:
1143:
1138:
1135:
1133:
1130:
1128:
1125:
1123:
1120:
1118:
1115:
1113:
1110:
1108:
1105:
1103:
1100:
1098:
1097:Polarity item
1095:
1093:
1090:
1088:
1085:
1083:
1080:
1079:
1076:
1071:
1068:
1066:
1063:
1061:
1058:
1057:
1054:
1049:
1046:
1044:
1041:
1039:
1036:
1034:
1031:
1029:
1026:
1025:
1022:
1017:
1014:
1012:
1009:
1007:
1004:
1002:
999:
997:
994:
992:
989:
987:
984:
982:
979:
978:
975:
970:
967:
965:
962:
960:
957:
955:
952:
950:
947:
945:
942:
939:
935:
933:
930:
928:
925:
923:
920:
918:
915:
913:
910:
908:
905:
903:
900:
898:
895:
893:
890:
888:
885:
883:
880:
879:
876:
871:
868:
866:
863:
861:
858:
856:
853:
851:
848:
846:
843:
842:
839:
834:
831:
829:
828:HPO formalism
826:
824:
821:
819:
816:
815:
812:
807:
804:
802:
799:
797:
794:
793:
790:
785:
782:
780:
779:Focused proof
777:
775:
772:
770:
767:
765:
762:
760:
757:
756:
753:
748:
745:
743:
740:
738:
735:
733:
730:
728:
725:
723:
720:
718:
715:
713:
710:
708:
705:
704:
701:
696:
693:
691:
688:
686:
683:
681:
678:
676:
673:
671:
668:
666:
663:
661:
658:
656:
653:
651:
650:Definable set
648:
646:
643:
642:
639:
634:
631:
629:
626:
624:
621:
619:
616:
614:
611:
609:
606:
604:
601:
599:
596:
594:
591:
589:
586:
584:
581:
579:
576:
574:
571:
570:
567:
562:
559:
557:
554:
552:
549:
548:
545:
540:
537:
535:
532:
530:
527:
525:
522:
521:
518:
513:
510:
509:
506:
501:
498:
496:
493:
491:
488:
486:
483:
481:
478:
477:
475:
471:
469:
462:
448:
443:
442:
439:
428:
424:
419:
418:
415:
404:
400:
395:
394:
391:
380:
376:
371:
370:
367:
359:(10 C, 117 P)
356:
352:
347:
346:
343:
332:
328:
323:
315:
311:
306:
305:
302:
291:
287:
282:
274:
270:
265:
257:
253:
248:
247:
244:
233:
228:
227:
225:
221:
217:Subcategories
216:
212:
206:
205:
200:
190:
186:
177:
176:
172:
164:
158:
153:
150:
139:
132:
129:
125:
122:
118:
115:
114:
105:
102:
100:
97:
95:
92:
91:
90:
86:
83:
81:
78:
76:
73:
72:
71:
67:
64:
62:
59:
57:
54:
53:
52:
48:
45:
43:
40:
38:
35:
34:
33:
26:
22:
21:
18:
17:
1363:Vector logic
1028:Natural kind
902:Linear logic
529:Argument map
465:
314:Formal logic
219:
209:
202:
188:
127:
120:
24:
1353:Vaisheshika
1284:Testability
1001:Modal logic
912:Logic games
759:Finite game
447:Logic stubs
431:(4 C, 68 P)
407:(9 C, 24 P)
383:(4 C, 68 P)
318:(12 C, 6 P)
277:(2 C, 22 P)
260:(6 C, 72 P)
211:reasoning.
1289:Tetralemma
712:Empty name
495:Term logic
335:(5 C, 2 P)
294:(1 C, 6 P)
169:See also:
1181:Relevance
855:Inference
727:Erotetics
670:Dichotomy
633:Cratylism
524:Apophasis
427:Reasoning
256:Logicians
75:Logicians
1427:Category
1314:Trikonic
1267:System F
806:Graphoid
774:Fluidics
199:category
1243:Soku hi
451:(153 P)
133:
1218:Sikidy
126:
119:
485:Logic
236:(5 P)
204:Logic
117:Logic
25:Logic
201:is
1429::
470:.
449:
429:
405:
381:
357:
333:
316:
292:
275:
258:
234:
1409:Z
1370:W
1343:V
1326:U
1274:T
1188:S
1161:R
1144:Q
1077:P
1055:O
1023:N
976:M
877:L
840:I
813:H
791:G
754:F
702:E
640:D
568:C
546:B
519:A
507:*
440:Σ
416:R
392:P
368:H
344:C
303:+
245:*
207:.
128:·
121:·
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.