Modální operátor - Modal operator - Wikipedia

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Modální operátor“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Květen 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

A modální spojovací (nebo modální operátor) je logické pojivo pro modální logika. Je to operátor který tvoří propozice z propozic. Obecně má modální operátor „formální“ vlastnost být non-pravda-funkční v následujícím smyslu: Pravdivostní hodnota složených vzorců někdy závisí na jiných faktorech, než je skutečná pravdivostní hodnota jejich složek. V případě aletické modální logiky lze o modálním operátoru říci, že je funkčně pravdivý v jiném smyslu, konkrétně v tom, že je citlivý pouze na distribuci pravdivostních hodnot napříč možnými světy, ať již skutečnými či nikoli. A konečně je modální operátor "intuitivně" charakterizován vyjádřením modálního postoje (např nutnost, možnost, víra nebo znalost ) o nabídce, na kterou se operátor vztahuje.

Interpretace modality

Existuje několik způsobů, jak interpretovat modální operátoři v modální logice, včetně:aletický, deontický, axiologický, epistemický, a doxastický.

Aletický

Aletický modální operátoři (operátoři M) určují základní podmínky možné světy, zvláště kauzalita, časoprostorové parametry a akční kapacita osob. Označují možnost, nemožnost a nutnost akcí, stavů věcí, událostí, lidí a kvalit v možných světech.

Deontický

Deontický modální operátoři (P-operátoři) ovlivňují konstrukci možných světů jako proskriptivní nebo normativní normy, tj. označují, co je zakázané, povinné nebo povolené.

Axiologické

Axiologické modální operátoři (operátoři G) transformují svět subjekty do hodnot a hodnot, které vidí sociální skupina, kultura nebo historické období. Axiologické modality jsou vysoce subjektivní kategorie: to, co je dobré pro jednu osobu, může druhá považovat za špatné.

Epistemie

Epistemie modální operátoři (operátoři K) odrážejí úroveň znalostí, nevědomosti a víry v možný svět.

Doxastický

Doxastický modální operátoři vyjadřují víru ve výroky.

Boulomaic

Boulomaičtí modální operátoři vyjadřují přání.