TỰ ĐIỂN TỔNG HỢP
  • Tra từ
  • Các Từ điển khác
    Từ điển Hán Việt Trích Dấn Từ điển Hán Việt Thiều Chửu
    Từ điển Chữ Nôm Trích Dấn
    Đại Nam Quấc Âm Tự Vị Từ điển Hội Khai Trí Tiến Đức
    Phật Quang Đại Từ điển
  • Hướng dẫn
    Hướng dẫn
    Về Từ điển tổng hợp
  • Tài khoản
    Đăng nhập Đăng xuất Đăng ký
  • Quản lý
    Cấu hình tự điển Bảng thuật ngữ Nhập bảng thuật ngữ Xuất bảng thuật ngữ
ANY>>ANY

Đức

beweis

Beweis

 
Metzler Lexikon Philosophie
Metzler Lexikon Philosophie

Beweis

allgemein ein Verfahren, die Wahrheit eines Satzes, einer Hypothese oder einer Theorie sicherzustellen, meist durch Rückführung des zu Beweisenden auf bereits als wahr Anerkanntes. – Strenger oder progressiver B. (aus den Gründen auf die Folgen): Die Behauptung wird aus als wahr anerkannten Sätzen (Beweisgründe, Argumente, Prämissen) korrekt erschlossen. Sonderform des strengen B.es ist der indirekte B. (durch Widerlegung des Gegenteils), auch reductio ad absurdum (lat. Zurückführung auf den Widersinn): Aus dem kontradiktorischen Gegenteil nicht-A des zu beweisenden Satzes A wird in korrekter Weise ein als falsch anerkannter Satz gefolgert, daher kann nicht-A nicht wahr sein, also muss A gelten (Tertium non datur). – In der mathematischen Logik wird als (deduktiver) B. oft eine Ableitung aus rein logischen Prämissen bezeichnet (im Gegensatz zu Ableitungen auch aus nicht-logischen Prämissen). – Zu den weniger strengen Beweisverfahren gehören vor allem der B. durch Analogie und der regressive B. (aus den Folgen auf den Grund): Aus dem zu beweisenden Satz A werden möglichst viele als wahr anerkannte Sätze gefolgert, so dass man guten Grund hat, auch A als wahr anzunehmen. Sonderform davon ist der induktive B., der aus einem bereits bekannten Teil einer Grundgesamtheit auf die Beschaffenheit aller Elemente dieser Grundgesamtheit schließt (nach dem Muster: die bisher beobachteten Raben sind schwarz, also sind alle Raben schwarz).

VP