259:
223:
508:
1257:
284:
containing those things (themselves set categories). Topics about
Concepts in logic in general should be placed in relevant
963:
547:
280:
81:
43:
62:
285:
86:
38:
24:
266:
1008:
369:
183:
1112:
848:
164:
447:
403:
116:
121:
48:
796:
427:
135:
919:
708:
532:
247:
173:
126:
1216:
676:
671:
629:
609:
67:
1122:
831:
203:
1082:
1055:
1023:
1018:
745:
487:
386:
1013:
924:
791:
750:
718:
614:
584:
572:
542:
145:
140:
76:
1159:
1127:
934:
897:
651:
641:
537:
312:
779:
8:
1233:
1194:
865:
811:
467:
159:
774:
693:
599:
349:
154:
1107:
1092:
1067:
968:
929:
880:
703:
688:
646:
325:
228:
1211:
1003:
902:
870:
801:
589:
210:
1142:
973:
806:
735:
491:
451:
431:
373:
353:
329:
316:
236:
471:
1252:
1147:
1117:
1077:
1072:
998:
993:
978:
723:
604:
594:
520:
407:
390:
104:
1246:
1137:
1097:
885:
860:
826:
762:
1189:
875:
557:
1184:
1035:
713:
624:
1174:
1164:
983:
946:
656:
619:
562:
400:
241:
1206:
1132:
1102:
1087:
1050:
836:
816:
661:
424:
821:
552:
300:
This category has the following 10 subcategories, out of 10 total.
1169:
1040:
988:
958:
698:
666:
507:
The following 117 pages are in this category, out of 117 total.
383:
1221:
1045:
1179:
567:
196:
346:
914:
740:
218:
1244:
248:Outline of logic § Concepts of logic
509:This list may not reflect recent changes
270:. It should only contain pages that are
1245:
504:Pages in category "Concepts in logic"
295:
253:
13:
964:Pars destruens and pars construens
513:
302:
294:
192:
95:
15:
14:
1269:
257:
221:
1258:Philosophical concepts by field
184:Theories of deduction
1009:Principle of sufficient reason
548:Analytic–synthetic distinction
1:
1113:Strength (mathematical logic)
849:Judgment (mathematical logic)
44:Epistemological concepts
502:
7:
235:The main articles for this
179:Concepts in logic
10:
1274:
797:Identity of indiscernibles
276:lists of Concepts in logic
234:
127:History of logic
63:Metaphysical concepts
920:Necessity and sufficiency
709:Explanandum and explanans
533:A priori and a posteriori
165:Computability theory
1217:Vicious circle principle
677:Distinction (philosophy)
672:Disquotational principle
630:Contingency (philosophy)
610:Common knowledge (logic)
117:Philosophical logic
1123:Subjunctive possibility
832:Instantiation principle
204:Index of logic articles
122:Mathematical logic
39:Aesthetic concepts
1083:Second-order predicate
1056:Reflective equilibrium
1024:Propositional variable
1019:Propositional function
746:Faultless disagreement
136:Critical thinking
1014:Property (philosophy)
925:Necessity of identity
792:Identity (philosophy)
780:Hume's principle
751:First-order predicate
719:Extension (semantics)
615:Comprehension (logic)
585:Calculus ratiocinator
573:Axiom of reducibility
543:Accident (philosophy)
370:Latin logical phrases
242:Logic § Concepts
174:Logic literature
58:Logical concepts
49:Ethical concepts
1160:Term (argumentation)
1128:Substitution (logic)
935:Non-rigid designator
898:Meaning (philosophy)
652:Defeasible reasoning
642:Decidability (logic)
538:Absoluteness (logic)
68:Social concepts
1234:Wholistic reference
1195:Type (model theory)
866:Logical consequence
812:Inductive reasoning
448:Razors (philosophy)
404:Logical expressions
775:Hold come what may
694:Equisatisfiability
600:Class (philosophy)
1108:Statement (logic)
1093:Set (mathematics)
1068:Salva congruitate
969:Polychotomous key
881:Logical reasoning
704:Eternal statement
689:Epistemic closure
647:Deductive closure
428:Logical paradoxes
292:
291:
272:Concepts in logic
229:Philosophy portal
217:
216:
191:
190:
146:Model theory
141:Proof theory
111:
110:
94:
93:
33:
32:
1265:
1212:Validity (logic)
1004:Primitive notion
903:Mutatis mutandis
871:Logical constant
802:Impossible world
590:Cambridge change
493:
473:
453:
433:
426:
409:
402:
392:
385:
375:
355:
348:
331:
318:
286:topic categories
261:
260:
254:
231:
226:
225:
224:
211:Outline of logic
193:
100:
99:
96:
20:
19:
16:
1273:
1272:
1268:
1267:
1266:
1264:
1263:
1262:
1243:
1242:
1241:
1240:
1239:
1238:
1226:
1199:
1152:
1143:Symbol (formal)
1060:
1028:
974:Porphyrian tree
951:
939:
907:
890:
853:
841:
807:Impredicativity
784:
767:
755:
736:Fa (philosophy)
728:
681:
634:
577:
525:
501:
500:
499:
498:
495:
494:
478:
475:
474:
458:
455:
454:
438:
435:
434:
423:
414:
411:
410:
399:
394:
393:
382:
377:
376:
360:
357:
356:
345:
336:
333:
332:
320:
319:
293:
258:
252:
227:
222:
220:
160:Set theory
107:
29:
26:
12:
11:
5:
1271:
1261:
1260:
1255:
1237:
1236:
1230:
1227:
1225:
1224:
1219:
1214:
1209:
1203:
1200:
1198:
1197:
1192:
1187:
1182:
1177:
1172:
1167:
1162:
1156:
1153:
1151:
1150:
1148:Syntax (logic)
1145:
1140:
1135:
1130:
1125:
1120:
1118:Subalternation
1115:
1110:
1105:
1100:
1095:
1090:
1085:
1080:
1078:Satisfiability
1075:
1073:Salva veritate
1070:
1064:
1061:
1059:
1058:
1053:
1048:
1043:
1038:
1032:
1029:
1027:
1026:
1021:
1016:
1011:
1006:
1001:
999:Presupposition
996:
994:Prescriptivity
991:
986:
981:
979:Possible world
976:
971:
966:
961:
955:
952:
950:
949:
943:
940:
938:
937:
932:
927:
922:
917:
911:
908:
906:
905:
900:
894:
891:
889:
888:
883:
878:
873:
868:
863:
857:
854:
852:
851:
845:
842:
840:
839:
834:
829:
824:
819:
814:
809:
804:
799:
794:
788:
785:
783:
782:
777:
771:
768:
766:
765:
759:
756:
754:
753:
748:
743:
738:
732:
729:
727:
726:
724:Extensionality
721:
716:
711:
706:
701:
696:
691:
685:
682:
680:
679:
674:
669:
664:
659:
654:
649:
644:
638:
635:
633:
632:
627:
622:
617:
612:
607:
605:Closed concept
602:
597:
595:Canonical form
592:
587:
581:
578:
576:
575:
570:
565:
560:
555:
550:
545:
540:
535:
529:
526:
524:
523:
521:Law of thought
517:
515:
514:
505:
497:
496:
486:
485:
482:
479:
477:
476:
466:
465:
462:
459:
457:
456:
446:
445:
442:
439:
437:
436:
422:
421:
418:
415:
413:
412:
398:
397:
395:
381:
380:
378:
368:
367:
364:
361:
359:
358:
344:
343:
340:
337:
335:
334:
324:
323:
321:
311:
310:
307:
304:
303:
298:
290:
289:
262:
233:
232:
215:
214:
189:
188:
187:
186:
181:
176:
169:
168:
167:
162:
157:
150:
149:
148:
143:
138:
131:
130:
129:
124:
119:
112:
109:
108:
103:
92:
91:
90:
89:
84:
79:
72:
71:
70:
65:
60:
53:
52:
51:
46:
41:
34:
31:
30:
23:
9:
6:
4:
3:
2:
1270:
1259:
1256:
1254:
1251:
1250:
1248:
1235:
1232:
1231:
1228:
1223:
1220:
1218:
1215:
1213:
1210:
1208:
1205:
1204:
1201:
1196:
1193:
1191:
1188:
1186:
1183:
1181:
1178:
1176:
1173:
1171:
1168:
1166:
1163:
1161:
1158:
1157:
1154:
1149:
1146:
1144:
1141:
1139:
1138:Supervenience
1136:
1134:
1131:
1129:
1126:
1124:
1121:
1119:
1116:
1114:
1111:
1109:
1106:
1104:
1101:
1099:
1098:Singular term
1096:
1094:
1091:
1089:
1086:
1084:
1081:
1079:
1076:
1074:
1071:
1069:
1066:
1065:
1062:
1057:
1054:
1052:
1049:
1047:
1044:
1042:
1039:
1037:
1034:
1033:
1030:
1025:
1022:
1020:
1017:
1015:
1012:
1010:
1007:
1005:
1002:
1000:
997:
995:
992:
990:
987:
985:
982:
980:
977:
975:
972:
970:
967:
965:
962:
960:
957:
956:
953:
948:
945:
944:
941:
936:
933:
931:
930:No–no paradox
928:
926:
923:
921:
918:
916:
913:
912:
909:
904:
901:
899:
896:
895:
892:
887:
886:Logical truth
884:
882:
879:
877:
874:
872:
869:
867:
864:
862:
861:Leap of faith
859:
858:
855:
850:
847:
846:
843:
838:
835:
833:
830:
828:
827:Inhabited set
825:
823:
820:
818:
815:
813:
810:
808:
805:
803:
800:
798:
795:
793:
790:
789:
786:
781:
778:
776:
773:
772:
769:
764:
763:General frame
761:
760:
757:
752:
749:
747:
744:
742:
739:
737:
734:
733:
730:
725:
722:
720:
717:
715:
712:
710:
707:
705:
702:
700:
697:
695:
692:
690:
687:
686:
683:
678:
675:
673:
670:
668:
665:
663:
660:
658:
655:
653:
650:
648:
645:
643:
640:
639:
636:
631:
628:
626:
623:
621:
618:
616:
613:
611:
608:
606:
603:
601:
598:
596:
593:
591:
588:
586:
583:
582:
579:
574:
571:
569:
566:
564:
561:
559:
556:
554:
551:
549:
546:
544:
541:
539:
536:
534:
531:
530:
527:
522:
519:
518:
516:
512:
510:
503:
489:
488:Logical truth
484:
483:
480:
469:
464:
463:
460:
449:
444:
443:
440:
429:
425:
420:
419:
416:
405:
401:
396:
388:
387:Logic symbols
384:
379:
371:
366:
365:
362:
351:
347:
342:
341:
338:
327:
322:
314:
309:
308:
305:
301:
297:Subcategories
296:
287:
283:
282:
281:subcategories
278:, as well as
277:
273:
269:
268:
263:
256:
255:
250:
249:
244:
243:
238:
230:
219:
212:
209:
205:
202:
198:
195:
194:
185:
182:
180:
177:
175:
172:
171:
170:
166:
163:
161:
158:
156:
153:
152:
151:
147:
144:
142:
139:
137:
134:
133:
132:
128:
125:
123:
120:
118:
115:
114:
113:
106:
102:
101:
98:
97:
88:
85:
83:
80:
78:
75:
74:
73:
69:
66:
64:
61:
59:
56:
55:
54:
50:
47:
45:
42:
40:
37:
36:
35:
28:
25:Philosophical
22:
21:
18:
17:
1190:Truth-bearer
876:Logical form
558:Apodicticity
506:
299:
279:
275:
271:
267:set category
265:
246:
240:
207:
200:
178:
77:Philosophers
57:
1185:Truth value
1036:Rationality
714:Explanation
625:Connotation
432:(2 C, 11 P)
408:(1 C, 21 P)
391:(1 C, 49 P)
354:(2 C, 20 P)
313:Dichotomies
1247:Categories
1175:Trivialism
1165:Term logic
984:Predicable
947:Overbelief
657:Definition
620:Conflation
563:Apophantic
468:Supertasks
264:This is a
82:Literature
1207:Vagueness
1133:Supertask
1103:Soundness
1088:Semantics
1051:Reference
837:Intension
817:Inference
662:Diairesis
350:Fallacies
155:Logicians
822:Infinity
553:Antinomy
326:Dilemmas
237:category
87:Theories
27:concepts
1170:Theorem
1041:Reality
989:Premise
959:Paradox
699:Essence
667:Dilemma
213:
1222:Vyapti
1046:Reason
492:(23 P)
452:(15 P)
374:(54 P)
330:(52 P)
317:(71 P)
206:
199:
1253:Logic
1180:Truth
568:Axiom
472:(7 P)
197:Logic
105:Logic
915:Name
741:Fact
245:and
239:are
274:or
1249::
511:.
490:
470:
450:
430:
406:
389:
372:
352:
328:
315:
1229:W
1202:V
1155:T
1063:S
1031:R
954:P
942:O
910:N
893:M
856:L
844:J
787:I
770:H
758:G
731:F
684:E
637:D
580:C
528:A
481:T
461:S
441:R
417:P
363:L
339:F
306:D
288:.
251:.
208:·
201:·
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.