„Logikai szemantika” változatai közötti eltérés

=== Intenzió ===
 
A faktuális értékek nem tudnak elszámolni azzal, hogy egy kifejezés törvényszerűen jelent-e valamit vagy csak úgy adódott a konkrét esetben. Az '''intenzió''' (intension) számbaveszi, hogy a kifejezés hogyan viselkedik az összes lehetséges szituációban. Például aza „a katolikus„katolikus egyházfő” és a „Róma püspöke” kifejezéseknek mindig ugyanaz a faktuális értéke (az aktuális pápa), taháttehát ugyanarra a dologra terjed ki mindkét fogalom (extenziójuk azonos), de egyáltalán nem mondhatjuk, hogy a szükségszerű ez az egybeesés, hiszen alakulhatott volna úgy is, hogy nem Róma püspöke a katolikus egyházfő. Lehet tehát, hogy két fogalom faktuális értéke azonos, de intenziója más. Az intenziókat jól lehet modellezni a lehetséges világok szemantikai rendszereiben (ez egy speciális [[modellelmélet]]i konstrukció, mellyel például magyarázni lehet a nemklasszikus logikákat is). Például egy mondat intenziója egy olyan függvény, mely minden lehetséges szituációhoz hozzárendeli, hogy abban milyen faktuális értékű. Mondhatjuk, hogy míg a faktuális érték modellfüggő (szituációfüggő), addig az intenzió csak interpretációfüggő (adott szövegkörnyezetben mindig ugyanaz).
 
=== Jelentés vagy értelem ===
89 988

szerkesztés