33:
935:
183:'s attribution of human faults to the gods, Xenophanes states that humans also believe that the gods' bodies have human form. But if horses and oxen could draw, they would draw the gods with horse and ox bodies. The gods cannot have both forms, so this is a contradiction. Therefore, the attribution of other human characteristics to the gods, such as human faults, is also false.
227:. Typically, Socrates' opponent would make what would seem to be an innocuous assertion. In response, Socrates, via a step-by-step train of reasoning, bringing in other background assumptions, would make the person admit that the assertion resulted in an absurd or contradictory conclusion, forcing him to abandon his assertion and adopt a position of
353:
In 13.5, Nagarjuna wishes to demonstrate consequences of the presumption that things essentially, or inherently, exist, pointing out that if a "young man" exists in himself then it follows he cannot grow old (because he would no longer be a "young man"). As we attempt to separate the man from his
94:
and has been used throughout history in both formal mathematical and philosophical reasoning, as well as in debate. Formally, the proof technique is captured by an axiom for "Reductio ad
Absurdum", normally given the abbreviation RAA, which is expressible in
432:) cannot both be true. Therefore, if a proposition and its negation can both be derived logically from a premise, it can be concluded that the premise is false. This technique, known as indirect proof or
354:
properties (youth), we find that everything is subject to momentary change, and are left with nothing beyond the merely arbitrary convention that such entities as "young man" depend upon.
267:, where it was argued that if 1,000,000 grains of sand formed a heap, and removing one grain from a heap left it a heap, then a single grain of sand (or even no grains) forms a heap.
426:
403:
981:
87:, is the form of argument that attempts to establish a claim by showing that the opposite scenario would lead to absurdity or contradiction.
976:
905:
953:
878:
515:
915:
888:
718:
655:
127:
The Earth cannot be flat; otherwise, since the Earth is assumed to be finite in extent, we would find people falling off the edge.
105:) and it is sometimes named to make this connection clear. It is a consequence of the related mathematical proof technique called
138:
The first example argues that denial of the premise would result in a ridiculous conclusion, against the evidence of our senses (
532:
Pasti, Mary. Reductio Ad
Absurdum: An Exercise in the Study of Population Change. United States, Cornell University, Jan., 1977.
314:) of any essential existence. Nāgārjuna's main goal is often seen by scholars as refuting the essentialism of certain Buddhist
971:
382:
347:
295:
735:
535:
Daigle, Robert W.. The
Reductio Ad Absurdum Argument Prior to Aristotle. N.p., San Jose State University, 1991.
306:
arguments are used to show that any theory of substance or essence was unsustainable and therefore, phenomena (
91:
939:
433:
195:
172:
143:
107:
471:
461:
101:
32:
191:
996:
986:
279:
256:
96:
685:
576:
991:
476:
456:
218:
146:(also known as an indirect proof), which argues that the denial of the premise would result in a
139:
787:
319:
911:
884:
714:
814:
408:
162:
510:
264:
240:
224:
131:
299:
600:
552:
385:, which states that a proposition cannot be both true and false. That is, a proposition
486:
466:
388:
245:
934:
506:
965:
147:
46:
17:
761:
283:
629:
134:
because such a number would have to not be divisible by two, which is impossible.
709:
Howard-Snyder, Frances; Howard-Snyder, Daniel; Wasserman, Ryan (30 March 2012).
335:
42:
481:
315:
276:
176:
491:
381:
Aristotle clarified the connection between contradiction and falsity in his
235:
150:(there is a "smallest" number and yet there is a number smaller than it).
326:
206:
228:
948:
794:. Department of Mathematics and Computer Science, Clark University
443:
331:
202:
180:
78:
66:
54:
31:
310:) such as change, causality, and sense perception were empty (
249:
244:
where he referred to it as demonstration to the impossible (
123:
argument can take a range of forms, as these examples show:
186:
Greek mathematicians proved fundamental propositions using
338:
schools which posited a theory of ontological substances (
855:
New York: Columibia
University Press. 2005, pgs. 225-263.
171:
argument can be found in a satirical poem attributed to
99:. This axiom is the introduction rule for negation (see
736:"The reductio ad absurdum argument prior to Aristotle"
411:
391:
605:
Collins
English Dictionary – Complete and Unabridged
821:. The Metaphysics Research Lab, Stanford University
198:(c. 287 – c. 212 BCE) are two very early examples.
904:Ferguson, Thomas Macaulay; Priest, Graham (2016).
762:"Reductio ad Absurdum - Definition & Examples"
420:
397:
263:Another example of this technique is found in the
372:And because an old man does not grow old either.
260: "demonstration to the impossible", 62b).
713:(5th ed.). McGraw-Hill Higher Education.
234:The technique was also a focus of the work of
69:for "reduction to absurdity"), also known as
8:
839:
437:
216:
210:
166:
71:
59:
36:
215:arguments to a formal dialectical method (
205:(424–348 BCE), relating the discourses of
27:Argument that leads to a logical absurdity
410:
390:
910:. Oxford University Press. p. 146.
864:
526:The Fundamental Wisdom of the Middle Way
142:). The second example is a mathematical
634:The Internet Encyclopedia of Philosophy
544:
505:Hyde, Dominic; Raffman, Diana (2018).
369:Because a young man does not grow old.
330:(essential nature) and also the Hindu
286:ideas have absurd conclusions through
194:(mid-4th – mid-3rd centuries BCE) and
623:
621:
294:, "consequence" in Sanskrit). In the
7:
679:
677:
675:
577:"Definition of REDUCTIO AD ABSURDUM"
366:Something different does not change.
345:
954:Internet Encyclopedia of Philosophy
819:Stanford Encyclopedia of Philosophy
516:Stanford Encyclopedia of Philosophy
442:arguments in formal fields such as
238:(384–322 BCE), particularly in his
686:"Reductio Ad Absurdum in Argument"
412:
90:This argument form traces back to
25:
528:, Oxford: Oxford University Press
933:
81:for "argument to absurdity") or
982:Theorems in propositional logic
660:A Concise Introduction to Logic
363:A thing itself does not change.
282:centers on showing how various
654:DeLancey, Craig (2017-03-27),
553:"Reductio ad absurdum | logic"
383:principle of non-contradiction
377:Principle of non-contradiction
130:There is no smallest positive
1:
938:The dictionary definition of
119:The "absurd" conclusion of a
877:Ziembiński, Zygmunt (2013).
324:) which posited theories of
165:. The earliest example of a
977:Latin philosophical phrases
788:"Euclid's Elements: Book I"
251:ἡ εἰς τὸ ἀδύνατον ἀπόδειξις
1013:
734:Daigle, Robert W. (1991).
436:, has formed the basis of
250:
813:Bobzien, Susanne (2006).
656:"8. Reductio ad Absurdum"
524:Garfield, Jay L. (1995),
346:Example from Nāgārjuna's
201:The earlier dialogues of
883:. Springer. p. 95.
92:Ancient Greek philosophy
840:Hyde & Raffman 2018
581:www.merriam-webster.com
557:Encyclopedia Britannica
519:(Summer 2018 ed.).
421:{\displaystyle \lnot Q}
949:"Reductio ad absurdum"
630:"Reductio ad absurdum"
607:(12th ed.), 2014
601:"reductio ad absurdum"
438:
434:proof by contradiction
422:
399:
217:
211:
196:Archimedes of Syracuse
173:Xenophanes of Colophon
167:
144:proof by contradiction
108:proof by contradiction
73:argumentum ad absurdum
72:
60:
50:
37:
972:Latin logical phrases
907:A Dictionary of Logic
853:Nagarjuna in Context.
786:Joyce, David (1996).
742:. San Jose State Univ
662:, Open SUNY Textbooks
472:List of Latin phrases
462:Argument from fallacy
423:
400:
148:logical contradiction
102:negation introduction
35:
18:Reductio ad absurdium
684:Nordquist, Richard.
439:reductio ad absurdum
409:
389:
348:Mūlamadhyamakakārikā
304:reductio ad absurdum
296:Mūlamadhyamakakārikā
290:arguments (known as
288:reductio ad absurdum
209:, raised the use of
192:Euclid of Alexandria
188:reductio ad absurdum
161:was used throughout
159:Reductio ad absurdum
121:reductio ad absurdum
84:apagogical arguments
61:reductio ad absurdum
38:Reductio ad absurdum
280:Buddhist philosophy
271:Buddhist philosophy
223:), also called the
97:propositional logic
711:The Power of Logic
628:Nicholas Rescher.
477:Mathematical proof
457:Appeal to ridicule
418:
395:
140:empirical evidence
51:
792:Euclid's Elements
507:"Sorites Paradox"
446:and mathematics.
405:and its negation
398:{\displaystyle Q}
259:
175:(c. 570 – c. 475
45:exhibited at the
16:(Redirected from
1004:
958:
937:
922:
921:
901:
895:
894:
874:
868:
862:
856:
851:Wasler, Joseph.
849:
843:
837:
831:
830:
828:
826:
810:
804:
803:
801:
799:
783:
777:
776:
774:
773:
766:Literary Devices
758:
752:
751:
749:
747:
731:
725:
724:
706:
700:
699:
697:
696:
681:
670:
669:
668:
667:
651:
645:
644:
642:
640:
625:
616:
615:
614:
612:
597:
591:
590:
588:
587:
573:
567:
566:
564:
563:
549:
529:
520:
511:Zalta, Edward N.
441:
427:
425:
424:
419:
404:
402:
401:
396:
318:schools (mainly
255:
253:
252:
222:
214:
170:
163:Greek philosophy
154:Greek philosophy
75:
63:
40:
21:
1012:
1011:
1007:
1006:
1005:
1003:
1002:
1001:
962:
961:
947:
941:per impossibile
930:
925:
918:
903:
902:
898:
891:
880:Practical Logic
876:
875:
871:
863:
859:
850:
846:
838:
834:
824:
822:
815:"Ancient Logic"
812:
811:
807:
797:
795:
785:
784:
780:
771:
769:
760:
759:
755:
745:
743:
740:Master's Thesis
733:
732:
728:
721:
708:
707:
703:
694:
692:
683:
682:
673:
665:
663:
653:
652:
648:
638:
636:
627:
626:
619:
610:
608:
599:
598:
594:
585:
583:
575:
574:
570:
561:
559:
551:
550:
546:
542:
523:
504:
501:
496:
452:
407:
406:
387:
386:
379:
360:
351:
273:
265:sorites paradox
241:Prior Analytics
225:Socratic method
179:). Criticizing
156:
132:rational number
117:
28:
23:
22:
15:
12:
11:
5:
1010:
1008:
1000:
999:
994:
989:
984:
979:
974:
964:
963:
960:
959:
945:
929:
928:External links
926:
924:
923:
917:978-0192511553
916:
896:
890:978-9401756044
889:
869:
867:, p. 210.
857:
844:
832:
805:
778:
753:
726:
720:978-0078038198
719:
701:
671:
646:
617:
592:
568:
543:
541:
538:
537:
536:
533:
530:
521:
500:
497:
495:
494:
489:
487:Slippery slope
484:
479:
474:
469:
467:Contraposition
464:
459:
453:
451:
448:
417:
414:
394:
378:
375:
374:
373:
370:
367:
364:
359:
356:
350:
344:
272:
269:
155:
152:
136:
135:
128:
116:
113:
41:, painting by
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1009:
998:
995:
993:
990:
988:
985:
983:
980:
978:
975:
973:
970:
969:
967:
956:
955:
950:
946:
944:at Wiktionary
943:
942:
936:
932:
931:
927:
919:
913:
909:
908:
900:
897:
892:
886:
882:
881:
873:
870:
866:
865:Garfield 1995
861:
858:
854:
848:
845:
841:
836:
833:
820:
816:
809:
806:
793:
789:
782:
779:
767:
763:
757:
754:
741:
737:
730:
727:
722:
716:
712:
705:
702:
691:
687:
680:
678:
676:
672:
661:
657:
650:
647:
635:
631:
624:
622:
618:
606:
602:
596:
593:
582:
578:
572:
569:
558:
554:
548:
545:
539:
534:
531:
527:
522:
518:
517:
512:
508:
503:
502:
498:
493:
490:
488:
485:
483:
480:
478:
475:
473:
470:
468:
465:
463:
460:
458:
455:
454:
449:
447:
445:
440:
435:
431:
415:
392:
384:
376:
371:
368:
365:
362:
361:
357:
355:
349:
343:
341:
337:
333:
329:
328:
323:
322:
317:
313:
309:
305:
301:
297:
293:
289:
285:
281:
278:
270:
268:
266:
261:
258:
247:
243:
242:
237:
232:
230:
226:
221:
220:
213:
208:
204:
199:
197:
193:
189:
184:
182:
178:
174:
169:
164:
160:
153:
151:
149:
145:
141:
133:
129:
126:
125:
124:
122:
114:
112:
110:
109:
104:
103:
98:
93:
88:
86:
85:
80:
76:
74:
68:
64:
62:
56:
48:
47:Royal Academy
44:
39:
34:
30:
19:
952:
940:
906:
899:
879:
872:
860:
852:
847:
835:
823:. Retrieved
818:
808:
798:December 23,
796:. Retrieved
791:
781:
770:. Retrieved
768:. 2014-05-18
765:
756:
744:. Retrieved
739:
729:
710:
704:
693:. Retrieved
689:
664:, retrieved
659:
649:
637:. Retrieved
633:
609:, retrieved
604:
595:
584:. Retrieved
580:
571:
560:. Retrieved
556:
547:
525:
514:
429:
380:
352:
339:
325:
320:
311:
307:
303:
291:
287:
284:essentialist
274:
262:
239:
233:
200:
187:
185:
158:
157:
137:
120:
118:
106:
100:
89:
83:
82:
70:
58:
52:
29:
611:October 29,
43:John Pettie
997:Pyrrhonism
987:Madhyamaka
966:Categories
825:August 22,
772:2021-08-31
746:August 22,
695:2019-11-27
666:2021-08-31
586:2019-11-27
562:2019-11-27
540:References
482:Prasangika
321:Vaibhasika
316:Abhidharma
277:Madhyamaka
992:Arguments
690:ThoughtCo
413:¬
340:dravyatas
336:Vaiśeṣika
300:Nāgārjuna
236:Aristotle
492:Strawman
450:See also
327:svabhava
292:prasaṅga
275:Much of
219:elenchus
212:reductio
207:Socrates
168:reductio
115:Examples
639:21 July
513:(ed.).
499:Sources
308:dharmas
49:in 1884
914:
887:
717:
229:aporia
509:. In
444:logic
428:(not-
332:Nyāya
312:sunya
246:Greek
203:Plato
181:Homer
79:Latin
67:Latin
55:logic
912:ISBN
885:ISBN
827:2012
800:2017
748:2012
715:ISBN
641:2009
613:2016
358:13:5
334:and
257:lit.
342:).
302:'s
231:.
177:BCE
111:.
53:In
968::
951:.
817:.
790:.
764:.
738:.
688:.
674:^
658:,
632:.
620:^
603:,
579:.
555:.
298:,
254:,
248::
190:.
57:,
957:.
920:.
893:.
842:.
829:.
802:.
775:.
750:.
723:.
698:.
643:.
589:.
565:.
430:Q
416:Q
393:Q
77:(
65:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.