"REDUCTIO" WITHOUT ASSUMPTIONS?
It is argued that a demonstration of logical inconsistency in the conjunction of (1) the premises of an argument & (2) the negation of its conclusion is the sole essential element of the method of proof by reductio ad absurdum. The traditional views of reductio ad absurdum as necessarily involvi...
Gespeichert in:
| Veröffentlicht in: | Logique et analyse 1994-09, Vol.37 (147/148), p.329-337 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 337 |
|---|---|
| container_issue | 147/148 |
| container_start_page | 329 |
| container_title | Logique et analyse |
| container_volume | 37 |
| creator | HANSEN, H. Vilhelm |
| description | It is argued that a demonstration of logical inconsistency in the conjunction of (1) the premises of an argument & (2) the negation of its conclusion is the sole essential element of the method of proof by reductio ad absurdum. The traditional views of reductio ad absurdum as necessarily involving an assumption & a rule permitting its discharge are argued to stem from a position that all deduction is sentential; an examination of argument converses & argument augments used in proof by reductio ad absurdum is held to show that the latter is not sentential but argumental deduction, relying only on logical facts. Three logical systems incorporating this approach are cited: an argument sequence reduction system used by Aristotle, Stoic argumental deductive systems as characterized by John Corcoran (1974), & Gentzen's sequent calculus method described by Ian Hacking (1993). 10 References. J. Hitchcock |
| format | Article |
| fullrecord | <record><control><sourceid>jstor_proqu</sourceid><recordid>TN_cdi_proquest_miscellaneous_85654609</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><jstor_id>44084399</jstor_id><sourcerecordid>44084399</sourcerecordid><originalsourceid>FETCH-LOGICAL-j819-1b4bd47979c0bef164accbfd50387f7cb2f3a8e406bafadc47ed4f3f5fcb0f833</originalsourceid><addsrcrecordid>eNpdj01Lw0AYhBdRMNT-BLFU8BZ4N_t9khJbW6hGTILHsLvZhYa0qdnm4L83Wk-eZhgehpkLFCWJYjGThF-iCCChv_4aTUNoAABjwhmTEbqbvy-fyrTYZPPZx6ZYZ2UxW-R5-fI2Rq_54w268roNbvqnE1SslkW6jrfZ8yZdbONGYhVjQ01NhRLKgnEec6qtNb5mQKTwwprEEy0dBW6017WlwtXUE8-8NeAlIRP0cK499t3n4MKp2u-CdW2rD64bQiUZZ5SDGsH7f2DTDf1hnFZhAliK8dZP3e2ZasKp66tjv9vr_quiFCQlSpFvPtJPjA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1301876553</pqid></control><display><type>article</type><title>"REDUCTIO" WITHOUT ASSUMPTIONS?</title><source>Periodicals Index Online</source><source>JSTOR Archive Collection A-Z Listing</source><creator>HANSEN, H. Vilhelm</creator><creatorcontrib>HANSEN, H. Vilhelm</creatorcontrib><description>It is argued that a demonstration of logical inconsistency in the conjunction of (1) the premises of an argument & (2) the negation of its conclusion is the sole essential element of the method of proof by reductio ad absurdum. The traditional views of reductio ad absurdum as necessarily involving an assumption & a rule permitting its discharge are argued to stem from a position that all deduction is sentential; an examination of argument converses & argument augments used in proof by reductio ad absurdum is held to show that the latter is not sentential but argumental deduction, relying only on logical facts. Three logical systems incorporating this approach are cited: an argument sequence reduction system used by Aristotle, Stoic argumental deductive systems as characterized by John Corcoran (1974), & Gentzen's sequent calculus method described by Ian Hacking (1993). 10 References. J. Hitchcock</description><identifier>ISSN: 0024-5836</identifier><identifier>EISSN: 2295-5836</identifier><identifier>CODEN: LOANAM</identifier><language>eng</language><publisher>Bruxelles: Centre National Belge de Recherches de Logique</publisher><subject>Antilogisms ; Deductive reasoning ; Formal systems ; Logic ; Logical proofs ; Mathematical validity ; Proof by contradiction ; Reductio ad absurdum ; Syllogisms ; Tautologies</subject><ispartof>Logique et analyse, 1994-09, Vol.37 (147/148), p.329-337</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.jstor.org/stable/pdf/44084399$$EPDF$$P50$$Gjstor$$H</linktopdf><linktohtml>$$Uhttps://www.jstor.org/stable/44084399$$EHTML$$P50$$Gjstor$$H</linktohtml><link.rule.ids>314,780,784,803,27869,58017,58250</link.rule.ids></links><search><creatorcontrib>HANSEN, H. Vilhelm</creatorcontrib><title>"REDUCTIO" WITHOUT ASSUMPTIONS?</title><title>Logique et analyse</title><description>It is argued that a demonstration of logical inconsistency in the conjunction of (1) the premises of an argument & (2) the negation of its conclusion is the sole essential element of the method of proof by reductio ad absurdum. The traditional views of reductio ad absurdum as necessarily involving an assumption & a rule permitting its discharge are argued to stem from a position that all deduction is sentential; an examination of argument converses & argument augments used in proof by reductio ad absurdum is held to show that the latter is not sentential but argumental deduction, relying only on logical facts. Three logical systems incorporating this approach are cited: an argument sequence reduction system used by Aristotle, Stoic argumental deductive systems as characterized by John Corcoran (1974), & Gentzen's sequent calculus method described by Ian Hacking (1993). 10 References. J. Hitchcock</description><subject>Antilogisms</subject><subject>Deductive reasoning</subject><subject>Formal systems</subject><subject>Logic</subject><subject>Logical proofs</subject><subject>Mathematical validity</subject><subject>Proof by contradiction</subject><subject>Reductio ad absurdum</subject><subject>Syllogisms</subject><subject>Tautologies</subject><issn>0024-5836</issn><issn>2295-5836</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1994</creationdate><recordtype>article</recordtype><sourceid>K30</sourceid><recordid>eNpdj01Lw0AYhBdRMNT-BLFU8BZ4N_t9khJbW6hGTILHsLvZhYa0qdnm4L83Wk-eZhgehpkLFCWJYjGThF-iCCChv_4aTUNoAABjwhmTEbqbvy-fyrTYZPPZx6ZYZ2UxW-R5-fI2Rq_54w268roNbvqnE1SslkW6jrfZ8yZdbONGYhVjQ01NhRLKgnEec6qtNb5mQKTwwprEEy0dBW6017WlwtXUE8-8NeAlIRP0cK499t3n4MKp2u-CdW2rD64bQiUZZ5SDGsH7f2DTDf1hnFZhAliK8dZP3e2ZasKp66tjv9vr_quiFCQlSpFvPtJPjA</recordid><startdate>19940901</startdate><enddate>19940901</enddate><creator>HANSEN, H. Vilhelm</creator><general>Centre National Belge de Recherches de Logique</general><general>Centre national de recherches de logique</general><scope>FYSDU</scope><scope>GPCCI</scope><scope>IOIBA</scope><scope>K30</scope><scope>PAAUG</scope><scope>PAWHS</scope><scope>PAWZZ</scope><scope>PAXOH</scope><scope>PBHAV</scope><scope>PBQSW</scope><scope>PBYQZ</scope><scope>PCIWU</scope><scope>PCMID</scope><scope>PCZJX</scope><scope>PDGRG</scope><scope>PDWWI</scope><scope>PETMR</scope><scope>PFVGT</scope><scope>PGXDX</scope><scope>PIHIL</scope><scope>PISVA</scope><scope>PJCTQ</scope><scope>PJTMS</scope><scope>PLCHJ</scope><scope>PMHAD</scope><scope>PNQDJ</scope><scope>POUND</scope><scope>PPLAD</scope><scope>PQAPC</scope><scope>PQCAN</scope><scope>PQCMW</scope><scope>PQEME</scope><scope>PQHKH</scope><scope>PQMID</scope><scope>PQNCT</scope><scope>PQNET</scope><scope>PQSCT</scope><scope>PQSET</scope><scope>PSVJG</scope><scope>PVMQY</scope><scope>PZGFC</scope><scope>7T9</scope></search><sort><creationdate>19940901</creationdate><title>"REDUCTIO" WITHOUT ASSUMPTIONS?</title><author>HANSEN, H. Vilhelm</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-j819-1b4bd47979c0bef164accbfd50387f7cb2f3a8e406bafadc47ed4f3f5fcb0f833</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1994</creationdate><topic>Antilogisms</topic><topic>Deductive reasoning</topic><topic>Formal systems</topic><topic>Logic</topic><topic>Logical proofs</topic><topic>Mathematical validity</topic><topic>Proof by contradiction</topic><topic>Reductio ad absurdum</topic><topic>Syllogisms</topic><topic>Tautologies</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>HANSEN, H. Vilhelm</creatorcontrib><collection>Periodicals Index Online Segment 07</collection><collection>Periodicals Index Online Segment 10</collection><collection>Periodicals Index Online Segment 29</collection><collection>Periodicals Index Online</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - West</collection><collection>Primary Sources Access (Plan D) - International</collection><collection>Primary Sources Access & Build (Plan A) - MEA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Midwest</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Northeast</collection><collection>Primary Sources Access (Plan D) - Southeast</collection><collection>Primary Sources Access (Plan D) - North Central</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Southeast</collection><collection>Primary Sources Access (Plan D) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - UK / I</collection><collection>Primary Sources Access (Plan D) - Canada</collection><collection>Primary Sources Access (Plan D) - EMEALA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - North Central</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - International</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - International</collection><collection>Primary Sources Access (Plan D) - West</collection><collection>Periodicals Index Online Segments 1-50</collection><collection>Primary Sources Access (Plan D) - APAC</collection><collection>Primary Sources Access (Plan D) - Midwest</collection><collection>Primary Sources Access (Plan D) - MEA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Canada</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - UK / I</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - EMEALA</collection><collection>Primary Sources Access & Build (Plan A) - APAC</collection><collection>Primary Sources Access & Build (Plan A) - Canada</collection><collection>Primary Sources Access & Build (Plan A) - West</collection><collection>Primary Sources Access & Build (Plan A) - EMEALA</collection><collection>Primary Sources Access (Plan D) - Northeast</collection><collection>Primary Sources Access & Build (Plan A) - Midwest</collection><collection>Primary Sources Access & Build (Plan A) - North Central</collection><collection>Primary Sources Access & Build (Plan A) - Northeast</collection><collection>Primary Sources Access & Build (Plan A) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - Southeast</collection><collection>Primary Sources Access (Plan D) - UK / I</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - APAC</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - MEA</collection><collection>Linguistics and Language Behavior Abstracts (LLBA)</collection><jtitle>Logique et analyse</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>HANSEN, H. Vilhelm</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>"REDUCTIO" WITHOUT ASSUMPTIONS?</atitle><jtitle>Logique et analyse</jtitle><date>1994-09-01</date><risdate>1994</risdate><volume>37</volume><issue>147/148</issue><spage>329</spage><epage>337</epage><pages>329-337</pages><issn>0024-5836</issn><eissn>2295-5836</eissn><coden>LOANAM</coden><abstract>It is argued that a demonstration of logical inconsistency in the conjunction of (1) the premises of an argument & (2) the negation of its conclusion is the sole essential element of the method of proof by reductio ad absurdum. The traditional views of reductio ad absurdum as necessarily involving an assumption & a rule permitting its discharge are argued to stem from a position that all deduction is sentential; an examination of argument converses & argument augments used in proof by reductio ad absurdum is held to show that the latter is not sentential but argumental deduction, relying only on logical facts. Three logical systems incorporating this approach are cited: an argument sequence reduction system used by Aristotle, Stoic argumental deductive systems as characterized by John Corcoran (1974), & Gentzen's sequent calculus method described by Ian Hacking (1993). 10 References. J. Hitchcock</abstract><cop>Bruxelles</cop><pub>Centre National Belge de Recherches de Logique</pub><tpages>9</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0024-5836 |
| ispartof | Logique et analyse, 1994-09, Vol.37 (147/148), p.329-337 |
| issn | 0024-5836 2295-5836 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_85654609 |
| source | Periodicals Index Online; JSTOR Archive Collection A-Z Listing |
| subjects | Antilogisms Deductive reasoning Formal systems Logic Logical proofs Mathematical validity Proof by contradiction Reductio ad absurdum Syllogisms Tautologies |
| title | "REDUCTIO" WITHOUT ASSUMPTIONS? |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-21T17%3A23%3A13IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-jstor_proqu&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=%22REDUCTIO%22%20WITHOUT%20ASSUMPTIONS?&rft.jtitle=Logique%20et%20analyse&rft.au=HANSEN,%20H.%20Vilhelm&rft.date=1994-09-01&rft.volume=37&rft.issue=147/148&rft.spage=329&rft.epage=337&rft.pages=329-337&rft.issn=0024-5836&rft.eissn=2295-5836&rft.coden=LOANAM&rft_id=info:doi/&rft_dat=%3Cjstor_proqu%3E44084399%3C/jstor_proqu%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1301876553&rft_id=info:pmid/&rft_jstor_id=44084399&rfr_iscdi=true |