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

modaloperator
Modaloperator	Metzler Lexikon Philosophie

Metzler Lexikon Philosophie

Modaloperator

in der Regel nicht-wahrheitsfunktionaler Operator der Modallogik, der in einer modallogischen Sprache aus Formeln Formeln bildet. Gebräuchlich sind die Zeichen ›□‹ für den einstelligen Notwendigkeitsoperator und ›◊‹ für den einstelligen Möglichkeitsoperator, sowie ›→‹ für die zweistellige strikte Implikation. Diese werden im Allgemeinen als wechselseitig definierbar verstanden, etwa:

\begin{eqnarray}\begin{array}{ll}(\text{A}\to \text{B}) & :\leftrightarrow \square (\text{A}\to \text{B}); \\ \square \text{A} & :\leftrightarrow eg \lozenge eg \text{A}\\ \lozenge \text{A} & :\leftrightarrow eg ((\text{B}\vee eg \text{B})\to eg \text{A})\end{array}\end{eqnarray}

Die Bedeutung eines M.s wird durch eine Intensionale Semantik festgelegt. Partiell ergibt sie sich aus dem jeweiligen Modalsystem, in dem sie Verwendung finden.

UM