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

formalisierung

Formalisierung

  
Metzler Lexikon Philosophie
Metzler Lexikon Philosophie

Formalisierung

Wiedergabe oder Darstellung mit formalen Mitteln, insbesondere durch eine formale Sprache. F. ist ein wichtiges Hilfsmittel der Metamathematik, z.B. zum Nachweis der Widerspruchsfreiheit mathematischer Theorien oder für Entscheidbarkeitsfragen. Für diese Zwecke muss mit der F. auch eine explizite Darstellung der in einer Theorie verwendeten logischen Schlussregeln erfolgen. In naheliegender Weise kann dies durch die Darstellung der Theorie auf der Grundlage eines logischen Kalküls geschehen. – Im Rahmen der logischen Sprachanalyse gestattet die F. eine Untersuchung der logischen und semantischen Verhältnisse einer natürlichen Sprache. Allerdings muss sich die F. dabei nach einem intuitiven Sprachempfinden richten, da ihre Adäquatheit nicht selbst formalen Kriterien unterliegt. – Pragmatische Gründe für eine F. ergeben sich aus dem Wunsch nach Übersichtlichkeit bzw. Vermeidung von Mehrdeutigkeiten.

UM