156:
179:
Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic, which forms one field of inquiry within the
519:
384:
423:
470:
833:
737:
413:
299:
885:
428:
103:
890:
843:
747:
319:
84:
943:
597:
41:
823:
592:
98:
55:
762:
93:
46:
912:
673:
279:
580:
568:
363:
123:
880:
757:
238:
948:
742:
612:
551:
65:
60:
752:
727:
8:
865:
828:
693:
641:
445:
440:
396:
225:
181:
145:
79:
838:
774:
460:
455:
450:
408:
343:
255:
173:
74:
818:
715:
617:
524:
514:
502:
475:
205:
161:
710:
646:
629:
602:
347:
130:
796:
651:
367:
323:
259:
229:
209:
169:
140:
303:
242:
870:
678:
563:
546:
541:
465:
283:
24:
937:
683:
656:
492:
900:
848:
688:
668:
497:
924:
875:
487:
791:
418:
860:
801:
276:
732:
607:
536:
193:
This category has the following 9 subcategories, out of 9 total.
806:
786:
383:
The following 80 pages are in this category, out of 80 total.
895:
116:
340:
252:
705:
520:
European Summer School in Logic, Language and
Information
151:
935:
424:Association for Logic, Language and Information
471:Contra principia negantem non est disputandum
834:Simplification of disjunctive antecedents
385:This list may not reflect recent changes
380:Pages in category "Philosophical logic"
936:
188:
13:
738:Pars destruens and pars construens
389:
195:
187:
112:
15:
14:
960:
154:
104:Theories of deduction
886:Tractatus Logico-Philosophicus
429:Association for Symbolic Logic
414:Analytic–synthetic distinction
1:
891:Transparent intensional logic
844:State of affairs (philosophy)
748:Problem of future contingents
378:
7:
598:Independence-friendly logic
99:Concepts in logic
10:
965:
824:Scandinavian Logic Society
593:Identity of indiscernibles
167:
139:The main article for this
138:
47:History of logic
763:Proof-theoretic semantics
300:Necessity and sufficiency
172:is often contrasted with
85:Computability theory
913:Vicious circle principle
674:Meaning (non-linguistic)
37:Philosophical logic
581:Homogeneity (semantics)
569:Geometry of interaction
124:Index of logic articles
42:Mathematical logic
881:Theory of obligationes
758:Process of elimination
56:Critical thinking
743:Predicate abstraction
613:Inquisitive semantics
552:Free choice inference
94:Logic literature
753:Problem of induction
728:Paraconsistent logic
320:Paraconsistent logic
944:Philosophy of logic
866:Temperature paradox
829:Sense and reference
694:Modal subordination
642:Logical consequence
446:Circular definition
441:Categories (Peirce)
397:Philosophical logic
182:philosophy of logic
146:Philosophical logic
839:Slingshot argument
775:Quantifier (logic)
461:Circular reporting
456:Circular reference
451:Circular reasoning
409:Analytic reasoning
819:Salva congruitate
618:Intensional logic
525:Existential graph
515:Eternal statement
503:Dialectical logic
476:Criteria of truth
162:Philosophy portal
137:
136:
111:
110:
66:Model theory
61:Proof theory
31:
30:
956:
711:Natural language
647:Logical constant
630:Kripke semantics
603:Informal fallacy
369:
349:
342:
325:
305:
285:
278:
261:
254:
244:
231:
211:
164:
159:
158:
157:
131:Outline of logic
113:
20:
19:
16:
964:
963:
959:
958:
957:
955:
954:
953:
934:
933:
932:
931:
930:
929:
917:
905:
853:
811:
797:Revision theory
779:
767:
720:
698:
661:
652:Logical quality
634:
622:
585:
573:
556:
529:
507:
480:
433:
401:
377:
376:
375:
374:
371:
370:
354:
351:
350:
339:
330:
327:
326:
310:
307:
306:
290:
287:
286:
280:Epistemic logic
275:
266:
263:
262:
251:
246:
245:
233:
232:
216:
213:
212:
186:
177:
160:
155:
153:
150:
80:Set theory
27:
12:
11:
5:
962:
952:
951:
946:
928:
927:
921:
918:
916:
915:
909:
906:
904:
903:
898:
893:
888:
883:
878:
873:
871:Temporal parts
868:
863:
857:
854:
852:
851:
846:
841:
836:
831:
826:
821:
815:
812:
810:
809:
804:
799:
794:
789:
783:
780:
778:
777:
771:
768:
766:
765:
760:
755:
750:
745:
740:
735:
730:
724:
721:
719:
718:
713:
708:
702:
699:
697:
696:
691:
686:
681:
679:Modal collapse
676:
671:
665:
662:
660:
659:
654:
649:
644:
638:
635:
633:
632:
626:
623:
621:
620:
615:
610:
605:
600:
595:
589:
586:
584:
583:
577:
574:
572:
571:
566:
564:Game semantics
560:
557:
555:
554:
549:
547:Formal fallacy
544:
542:Fitch notation
539:
533:
530:
528:
527:
522:
517:
511:
508:
506:
505:
500:
495:
490:
484:
481:
479:
478:
473:
468:
466:Compossibility
463:
458:
453:
448:
443:
437:
434:
432:
431:
426:
421:
416:
411:
405:
402:
400:
399:
393:
391:
390:
381:
373:
372:
364:Temporal logic
362:
361:
358:
355:
353:
352:
338:
337:
334:
331:
329:
328:
318:
317:
314:
311:
309:
308:
298:
297:
294:
291:
289:
288:
274:
273:
270:
267:
265:
264:
250:
249:
247:
237:
236:
234:
224:
223:
220:
217:
215:
214:
204:
203:
200:
197:
196:
191:
166:
165:
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:
961:
950:
947:
945:
942:
941:
939:
926:
923:
922:
919:
914:
911:
910:
907:
902:
899:
897:
894:
892:
889:
887:
884:
882:
879:
877:
874:
872:
869:
867:
864:
862:
859:
858:
855:
850:
847:
845:
842:
840:
837:
835:
832:
830:
827:
825:
822:
820:
817:
816:
813:
808:
805:
803:
800:
798:
795:
793:
790:
788:
785:
784:
781:
776:
773:
772:
769:
764:
761:
759:
756:
754:
751:
749:
746:
744:
741:
739:
736:
734:
731:
729:
726:
725:
722:
717:
716:No–no paradox
714:
712:
709:
707:
704:
703:
700:
695:
692:
690:
687:
685:
684:Modal fallacy
682:
680:
677:
675:
672:
670:
667:
666:
663:
658:
657:Logical truth
655:
653:
650:
648:
645:
643:
640:
639:
636:
631:
628:
627:
624:
619:
616:
614:
611:
609:
606:
604:
601:
599:
596:
594:
591:
590:
587:
582:
579:
578:
575:
570:
567:
565:
562:
561:
558:
553:
550:
548:
545:
543:
540:
538:
535:
534:
531:
526:
523:
521:
518:
516:
513:
512:
509:
504:
501:
499:
496:
494:
493:Deontic logic
491:
489:
486:
485:
482:
477:
474:
472:
469:
467:
464:
462:
459:
457:
454:
452:
449:
447:
444:
442:
439:
438:
435:
430:
427:
425:
422:
420:
417:
415:
412:
410:
407:
406:
403:
398:
395:
394:
392:
388:
386:
379:
365:
360:
359:
356:
348:(32 C, 359 P)
345:
341:
336:
335:
332:
321:
316:
315:
312:
301:
296:
295:
292:
281:
277:
272:
271:
268:
257:
253:
248:
240:
239:Deontic logic
235:
227:
222:
221:
218:
207:
202:
201:
198:
194:
190:Subcategories
189:
185:
183:
175:
171:
163:
152:
148:
147:
142:
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:
949:Formal logic
901:Truth-bearer
382:
192:
178:
144:
127:
120:
36:
849:Stoic logic
689:Modal logic
669:Ernst Mally
498:Description
284:(1 C, 12 P)
260:(2 C, 20 P)
938:Categories
925:Word sense
876:Term logic
488:Definition
226:Definition
792:Reference
419:Aristotle
344:Semantics
256:Dialectic
174:Metalogic
75:Logicians
861:T-schema
802:Rhetoric
206:A priori
170:category
141:category
733:Paradox
608:Inquiry
537:Fallacy
133:
807:Rigour
787:Reason
368:(17 P)
324:(15 P)
230:(35 P)
210:(25 P)
126:
119:
896:Truth
304:(5 P)
243:(8 P)
168:This
117:Logic
25:Logic
706:Name
184:.
143:is
940::
387:.
366:
346:
322:
302:
282:
258:
241:
228:
208:
920:W
908:V
856:T
814:S
782:R
770:Q
723:P
701:N
664:M
637:L
625:K
588:I
576:H
559:G
532:F
510:E
483:D
436:C
404:A
357:T
333:S
313:P
293:N
269:E
219:D
199:A
176:.
149:.
128:·
121:·
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.