Sémantika sousedství - Neighborhood semantics
Sémantika sousedství, také známý jako Scott-Montague sémantika, je formální sémantika pro modální logiku. Jedná se o zevšeobecnění, vyvinuté nezávisle Dana Scott a Richard Montague, z více známých relační sémantika pro modální logiku. Vzhledem k tomu, že relační rámec sestává ze sady Ž světů (nebo států) a an vztah přístupnosti R určené k označení, které světy jsou alternativami k ostatním (nebo jsou přístupné) od ostatních, a sousedský rám stále má sadu Ž světů, ale má místo vztahu přístupnosti a funkce sousedství
který přiřadí každému prvku Ž sada podmnožin Ž. Každá rodina podmnožin přiřazených světu je intuitivně propozice nezbytná v tomto světě, kde je „propozice“ definována jako podmnožina Ž (tj. soubor světů, ve kterých je věta pravdivá). Konkrétně pokud M je tedy model na rámu
kde
je sada pravd z A.
Sémantika sousedství se používá pro klasické modální logiky, které jsou přísně slabší než normální modální logika K..
Korespondence mezi relačními a sousedskými modely
Každému relačnímu modelu M = (W, R, V) odpovídá ekvivalentní (ve smyslu bodově ekvivalentních modálních teorií) model sousedství M '= (W, N, V) definovaný
Skutečnost, že konverzace selhává, dává přesný smysl poznámce, že modely sousedství jsou zobecněním relačních modelů. Další (možná přirozenější) zobecnění relačních struktur je obecné relační struktury.
Reference
- Scott, D. "Poradenství o modální logice", v Filozofické problémy v logice, vyd. Karel Lambert. Reidel, 1970.
- Montague, R. "Universal Grammar", Theoria 36, 373–98, 1970.
- Chellas, B.F. Modální logika. Cambridge University Press, 1980.
![]() | Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |