PropertyValue
dbpedia-owl:abstract
  • Le raisonnement par l'absurde (du latin reductio ad absurdum) ou apagogie (du grec ancien apagôgê) est une forme de raisonnement logique, philosophique, scientifique consistant soit à démontrer la vérité d'une proposition en prouvant l'absurdité de la proposition complémentaire (ou « contraire »), soit à montrer la fausseté d'une autre proposition en déduisant logiquement d'elle des conséquences absurdes.
  • Důkaz sporem (reductio ad absurdum) je typ logického důkazu, ve kterém se prokáže, že předpoklad vede k nesmyslnému výsledku (ke sporu), což znamená, že předpoklad je nepravdivý, a tedy platí jeho negace. Jelikož důkaz sporem je založen na zákonu o vyloučení třetího, lze jej použít pouze v těch logických systémech, ve kterých tento zákon platí. Důkaz sporem tedy nelze využít např. ve vícehodnotových logikách či v intuicionistické logice.
  • 귀류법(歸謬法, 문화어: 귀유법), 배리법(背理法) 또는 반증법(反證法)은 어떤 주장에 대해 그 함의하는 내용을 따라가다보면 이치에 닿지 않는 내용 또는 결론에 이르게 된다는 것을 보여서 그 주장이 잘못된 것임을 보이는 것이다. 영어권에서는 라틴어로 "레둑티오 아드 아브수르둠(Reductio ad absurdum)"이라고 하며 이것의 해당 영어 번역은 "리덕션 투 더 업설드(reduction to the absurd)"이다. 수학에서는 특히 귀류법 또는 배리법이라고 부르며, 수학의 귀류법은 어떤 수학적 명제가 참인 것을 증명하는 수학적 증명 방법 중 하나이다. 수학의 귀류법은 영어로 "Proof by contradiction (프루프 바이 컨트러딕션 · 모순에 의한 증명)"이라고 한다.
  • Reductio ad absurdum, latinez Absurdoraino txikitu, logikan erabiltzen den demostrazio eredu bat da.Proposizio kategorikoen baliagarritasuna erakusteko erabiltzen da; hasiera batean hipotesi gisa hartzen da desmostratu nahi denaren kontrakoa gezurra dela, eta hainbat inferentzia logiko eginez kontradikzio logiko bat bilatzen da, absurdo bat; absurdo horretara iristen bagara, orduan hasierako hipotesia (orijinalaren negazioa dena) gezurra izan behar du eta, beraz, originala benetakoak.Metodo honi kontradikzio froga ere deitzen zaio.
  • Een bewijs uit het ongerijmde, of met de Latijnse term reductio ad absurdum (herleiding tot het absurde), soms ook indirect bewijs genoemd, is een bewijsmethode in de logica en de wiskunde. Deze bewijsmethode wordt bijvoorbeeld toegepast wanneer een direct bewijs niet mogelijk is. De geldigheid van de methode berust op het axioma dat een stelling alleen waar of onwaar kan zijn (de wet van de uitgesloten derde). De werkwijze is als volgt: men neemt aan dat de stelling niet waar is, en laat zien dat die aanname tot een tegenspraak of een onware bewering leidt. In de klassieke logica is dit voldoende om te bewijzen dat de stelling waar is. In de intuïtionistische of constructieve logica wordt dit niet als een sluitend bewijs gezien. In die logica moeten zowel de wet van de uitgesloten derde als het ex falso sequitur quod libet ofwel afgeleid worden ofwel als voorwaarden betrokken worden in het bewijs.Een speciaal geval van een bewijs uit het ongerijmde is een bewijs door contrapositie.
  • Довеждане до абсурд (на латински: reductio ad absurdum) e логическа техника представляваща серия от съждения, всяко от които логически е основано на предхождащото го. Тази техника се състои в логическото продължаване на противниковата теза и установяването, че тя довежда до абсурден резултат.
  • Pembuktian melalui kontradiksi (bahasa Latin: reductio ad absurdum, 'reduksi ke yang absurd', bahasa Inggris: proof by contradiction, 'bukti oleh kontradiksi'), adalah argumen logika yang dimulai dengan suatu asumsi, lalu dari asumsi tersebut diturunkan suatu hasil yang absurd, tidak masuk akal, atau kontradiktif, sehingga dapat diambil kesimpulan bahwa asumsi tadi adalah salah (dan ingkarannya benar). Dalam disiplin matematika dan logika, pembuktian melalui kontradiksi merujuk secara khusus kepada argumen dimana sebuah kontradiksi dihasilkan dari suatu asumsi (sehingga membuktikan asumsi tadi salah)Argumen ini menggunakan hukum non-kontradiksi - yaitu suatu pernyataan tidak mungkin benar dan salah sekaligus. Frase Latin reductio ad absurdum berasal dari frasi Yunani ἡ εἰς ἄτοπον ἀπαγωγή yang berarti sama, digunakan oleh filsuf Aristoteles.
  • Die Reductio ad absurdum (von lat. für Zurückführung auf das widrig Klingende, Ungereimte, Unpassende, Sinnlose) ist eine Schlussfigur und Beweistechnik in der Logik. Bei der Reductio ad absurdum wird eine Aussage widerlegt, indem gezeigt wird, dass aus ihr ein logischer Widerspruch oder ein Widerspruch zu einer bereits anerkannten These folgt.Als Beweistechnik ist die reductio ad absurdum unter der Bezeichnung „indirekter Beweis“ oder „Widerspruchsbeweis“ bekannt. Der indirekte Beweis ist dadurch gekennzeichnet, dass man die zu beweisende Aussage nicht direkt herleitet, sondern dass man ihr kontradiktorisches Gegenteil (d. h. die Annahme, dass die Aussage nicht zutreffe) widerlegt. In der klassischen, zweiwertigen Logik, in der jede Aussage entweder wahr oder falsch ist, ist mit diesem Widerlegen des Gegenteils einer Aussage gezeigt, dass die betroffene Aussage korrekt ist.
  • Dowód nie wprost (dowód apagogiczny, dowód sokratejski, łac. reductio ad absurdum - sprowadzenie do sprzeczności), to forma dowodu logicznego, w którym z założenia o nieprawdziwości tezy wyprowadza się sprzeczność ze zdaniem prawdziwym (założenie nieprawdziwości twierdzenia prowadzi do sprzeczności), co pozwala przyjąć, że zaprzeczenie tezy jest fałszywe, a sama teza prawdziwa. Inaczej sposób dowodzenia twierdzeń przez wykazanie sprzeczności między zaprzeczeniem dowodzonej tezy a przyjętymi założeniami.Dowód nie wprost jest często łatwiejszy do przeprowadzenia niż dowód wprost (wyprowadzający pewną tezę z założeń); stosowany jest szczególnie wtedy, gdy mamy do czynienia z subtelnymi własnościami obiektów, o których mówi twierdzenie.Dowód nie wprost był znany już Sokratesowi, który bardzo chętnie go stosował, jako część metody sokratycznej.
  • A matematikában és a logikában indirekt bizonyításnak nevezzük azt a fajta bizonyítást, amelyben feltesszük a bizonyítani kívánt állítás tagadását, majd ebből szabályos logikai lépések útján ellentmondásra jutunk valamilyen ismert ténnyel. Ez a bizonyítástípus alkalmazása az általánosabb reductio ad absurdum gondolatmenetnek.
  • Reductio ad absurdum, expresión latina que significa literalmente reducción al absurdo, es un método de demostración lógico.Es usado para demostrar la validez de proposiciones categóricas; se parte por suponer como hipotética la negación o falsedad de la tesis de la proposición a demostrar, y mediante una concatenación de inferencias lógicas válidas se pretende derivar una contradicción lógica, un absurdo; de derivarse una contradicción, se concluye que la hipótesis de partida (la negación de la original) ha de ser falsa, y la original es verdadera y la proposición o argumento es válido. A este método también se le conoce como prueba por contradicción o prueba ad absurdum. Parte de la base es el cumplimiento del principio de exclusión de intermedios: una proposición que no puede ser falsa necesariamente es verdadera.
  • In logic, proof by contradiction is a form of proof that establishes the truth or validity of a proposition by showing that the proposition's being false would imply a contradiction. Proof by contradiction is also known as indirect proof, apagogical argument, proof by assuming the opposite, and reductio ad impossibilem. It is a particular kind of the more general form of argument known as reductio ad absurdum.G. H. Hardy described proof by contradiction as "one of a mathematician's finest weapons", saying "It is a far finer gambit than any chess gambit: a chess player may offer the sacrifice of a pawn or even a piece, but a mathematician offers the game."
  • Prova por contradição (ou redução ao absurdo, do latim reductio ad absurdum) é um método de prova matemática indireta, não-construtiva. Este tipo de prova é feito assumindo-se como verdade o contrário do que queremos provar e então chegando-se a uma contradição.A prova por contradição é muito usada em teoremas de existência. Neste caso, é usada para provar a existência de um elemento com determinada característica, sem no entanto mostrar tal elemento. Por esta razão, alguns matemáticos a evitam quando possível, preferindo métodos de prova construtivos. O fato é que existem teoremas para os quais só se conhece prova por contradição, como o argumento de diagonalização de Cantor para demonstrar a não-enumerabilidade dos números reais.
  • Reductio ad absurdum, olmayana ergi ya da Osmanlıca abese irca, Latince saçma olana indirgeme anlamına gelir ve bir iddiayı doğru kabul ederek saçma bir sonuca varıp iddianın yanlış olduğu sonucuna ulaşıldığı bir mantık yöntemidir. Bu yöntemde, yanlış olamayacak bir önermeyi zorunlu olarak doğru olduğunu kabul eden üçüncü olanağın dışlanması kanunu kullanılır. Aristo'nun sıkça uyguladığı bir yöntemdir.Kabul edilmeyen bir iddiayı reddetmek üzere kullanılan en yaygın akıl yürütme biçimi olarak da tanımlanabilir. Diğer bir ifadeyle reductio ad absurdum, saçmaya indirgemek anlamına gelir. Örnek; Sanatın genel doğasıyla ilgili bir tartışmada, sanatın sanat müzelerinde sergilenen şeyler olduğunu belirtmiş olalım. Bu izah, bir görevlinin herhangi bir objeyi alıp müzede veya sergide yer almasını sağlamakla, hiçbir değeri olmayan nesnenin birdenbire sanatsal bir yapıta dönüşmüş olacağı iddiası içerir. Böylece, ansızın gerçekleşen bir statü değişiminin saçmalığı fark edilecektir.
  • La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum), nota anche come "ragionamento per assurdo", è un tipo di argomentazione logica in cui si assume temporaneamente un'ipotesi, si giunge ad una conclusione assurda, e quindi si dimostra che l'assunto originale deve essere errato.
dbpedia-owl:wikiPageID
  • 1064019 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 9475 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 52 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 108247397 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • Le raisonnement par l'absurde (du latin reductio ad absurdum) ou apagogie (du grec ancien apagôgê) est une forme de raisonnement logique, philosophique, scientifique consistant soit à démontrer la vérité d'une proposition en prouvant l'absurdité de la proposition complémentaire (ou « contraire »), soit à montrer la fausseté d'une autre proposition en déduisant logiquement d'elle des conséquences absurdes.
  • Důkaz sporem (reductio ad absurdum) je typ logického důkazu, ve kterém se prokáže, že předpoklad vede k nesmyslnému výsledku (ke sporu), což znamená, že předpoklad je nepravdivý, a tedy platí jeho negace. Jelikož důkaz sporem je založen na zákonu o vyloučení třetího, lze jej použít pouze v těch logických systémech, ve kterých tento zákon platí. Důkaz sporem tedy nelze využít např. ve vícehodnotových logikách či v intuicionistické logice.
  • 귀류법(歸謬法, 문화어: 귀유법), 배리법(背理法) 또는 반증법(反證法)은 어떤 주장에 대해 그 함의하는 내용을 따라가다보면 이치에 닿지 않는 내용 또는 결론에 이르게 된다는 것을 보여서 그 주장이 잘못된 것임을 보이는 것이다. 영어권에서는 라틴어로 "레둑티오 아드 아브수르둠(Reductio ad absurdum)"이라고 하며 이것의 해당 영어 번역은 "리덕션 투 더 업설드(reduction to the absurd)"이다. 수학에서는 특히 귀류법 또는 배리법이라고 부르며, 수학의 귀류법은 어떤 수학적 명제가 참인 것을 증명하는 수학적 증명 방법 중 하나이다. 수학의 귀류법은 영어로 "Proof by contradiction (프루프 바이 컨트러딕션 · 모순에 의한 증명)"이라고 한다.
  • Reductio ad absurdum, latinez Absurdoraino txikitu, logikan erabiltzen den demostrazio eredu bat da.Proposizio kategorikoen baliagarritasuna erakusteko erabiltzen da; hasiera batean hipotesi gisa hartzen da desmostratu nahi denaren kontrakoa gezurra dela, eta hainbat inferentzia logiko eginez kontradikzio logiko bat bilatzen da, absurdo bat; absurdo horretara iristen bagara, orduan hasierako hipotesia (orijinalaren negazioa dena) gezurra izan behar du eta, beraz, originala benetakoak.Metodo honi kontradikzio froga ere deitzen zaio.
  • Довеждане до абсурд (на латински: reductio ad absurdum) e логическа техника представляваща серия от съждения, всяко от които логически е основано на предхождащото го. Тази техника се състои в логическото продължаване на противниковата теза и установяването, че тя довежда до абсурден резултат.
  • A matematikában és a logikában indirekt bizonyításnak nevezzük azt a fajta bizonyítást, amelyben feltesszük a bizonyítani kívánt állítás tagadását, majd ebből szabályos logikai lépések útján ellentmondásra jutunk valamilyen ismert ténnyel. Ez a bizonyítástípus alkalmazása az általánosabb reductio ad absurdum gondolatmenetnek.
  • La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum), nota anche come "ragionamento per assurdo", è un tipo di argomentazione logica in cui si assume temporaneamente un'ipotesi, si giunge ad una conclusione assurda, e quindi si dimostra che l'assunto originale deve essere errato.
  • In logic, proof by contradiction is a form of proof that establishes the truth or validity of a proposition by showing that the proposition's being false would imply a contradiction. Proof by contradiction is also known as indirect proof, apagogical argument, proof by assuming the opposite, and reductio ad impossibilem. It is a particular kind of the more general form of argument known as reductio ad absurdum.G. H.
  • Reductio ad absurdum, expresión latina que significa literalmente reducción al absurdo, es un método de demostración lógico.Es usado para demostrar la validez de proposiciones categóricas; se parte por suponer como hipotética la negación o falsedad de la tesis de la proposición a demostrar, y mediante una concatenación de inferencias lógicas válidas se pretende derivar una contradicción lógica, un absurdo; de derivarse una contradicción, se concluye que la hipótesis de partida (la negación de la original) ha de ser falsa, y la original es verdadera y la proposición o argumento es válido.
  • Pembuktian melalui kontradiksi (bahasa Latin: reductio ad absurdum, 'reduksi ke yang absurd', bahasa Inggris: proof by contradiction, 'bukti oleh kontradiksi'), adalah argumen logika yang dimulai dengan suatu asumsi, lalu dari asumsi tersebut diturunkan suatu hasil yang absurd, tidak masuk akal, atau kontradiktif, sehingga dapat diambil kesimpulan bahwa asumsi tadi adalah salah (dan ingkarannya benar).
  • Dowód nie wprost (dowód apagogiczny, dowód sokratejski, łac. reductio ad absurdum - sprowadzenie do sprzeczności), to forma dowodu logicznego, w którym z założenia o nieprawdziwości tezy wyprowadza się sprzeczność ze zdaniem prawdziwym (założenie nieprawdziwości twierdzenia prowadzi do sprzeczności), co pozwala przyjąć, że zaprzeczenie tezy jest fałszywe, a sama teza prawdziwa.
  • Die Reductio ad absurdum (von lat. für Zurückführung auf das widrig Klingende, Ungereimte, Unpassende, Sinnlose) ist eine Schlussfigur und Beweistechnik in der Logik. Bei der Reductio ad absurdum wird eine Aussage widerlegt, indem gezeigt wird, dass aus ihr ein logischer Widerspruch oder ein Widerspruch zu einer bereits anerkannten These folgt.Als Beweistechnik ist die reductio ad absurdum unter der Bezeichnung „indirekter Beweis“ oder „Widerspruchsbeweis“ bekannt.
  • Prova por contradição (ou redução ao absurdo, do latim reductio ad absurdum) é um método de prova matemática indireta, não-construtiva. Este tipo de prova é feito assumindo-se como verdade o contrário do que queremos provar e então chegando-se a uma contradição.A prova por contradição é muito usada em teoremas de existência. Neste caso, é usada para provar a existência de um elemento com determinada característica, sem no entanto mostrar tal elemento.
  • Reductio ad absurdum, olmayana ergi ya da Osmanlıca abese irca, Latince saçma olana indirgeme anlamına gelir ve bir iddiayı doğru kabul ederek saçma bir sonuca varıp iddianın yanlış olduğu sonucuna ulaşıldığı bir mantık yöntemidir. Bu yöntemde, yanlış olamayacak bir önermeyi zorunlu olarak doğru olduğunu kabul eden üçüncü olanağın dışlanması kanunu kullanılır.
  • Een bewijs uit het ongerijmde, of met de Latijnse term reductio ad absurdum (herleiding tot het absurde), soms ook indirect bewijs genoemd, is een bewijsmethode in de logica en de wiskunde. Deze bewijsmethode wordt bijvoorbeeld toegepast wanneer een direct bewijs niet mogelijk is. De geldigheid van de methode berust op het axioma dat een stelling alleen waar of onwaar kan zijn (de wet van de uitgesloten derde).
rdfs:label
  • Raisonnement par l'absurde
  • Bewijs uit het ongerijmde
  • Dimostrazione per assurdo
  • Dowód nie wprost
  • Důkaz sporem
  • Indirekt bizonyítás
  • Pembuktian melalui kontradiksi
  • Proof by contradiction
  • Prova por contradição
  • Reducció a l'absurd
  • Reductio ad absurdum
  • Reductio ad absurdum
  • Reductio ad absurdum
  • Reductio ad absurdum
  • Доказательство от противного
  • Довеждане до абсурд
  • 背理法
  • 귀류법
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of