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

adäquatheitsbedingung

Adäquatheitsbedingung

  
Metzler Lexikon Philosophie
Metzler Lexikon Philosophie

Adäquatheitsbedingung

Kriterium der inhaltlichen Angemessenheit formaler Darstellungen bezüglich intendierter Bereiche in der Logik. Die A. unterteilt sich in die Bedingung der Korrektheit und die Bedingung der Vollständigkeit. Sie wird v.a. mit formalen Theorien verbunden. So sollen etwa logische Kalküle korrekt und vollständig bezüglich einer jeweiligen Semantik sein und Axiomensysteme bezüglich bestimmter, intendierter Modelle. Die A. ist nicht trivial wie etwa das Beispiel der Peano-Arithmetik zeigt, die von Gödel als unvollständig hinsichtlich der (im Standardmodell) wahren Aussagen der Zahlentheorie aufgezeigt wurde. In einem weiteren Sinn findet die A. auch Anwendung auf Definitionen sowie auf Mengen logischer Konstanten bezüglich der Charakterisierung aller, in einem formalen System definierbaren logischen Konstanten.

UM