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

Ugrás a navigációhoz Ugrás a kereséshez
a
nincs szerkesztési összefoglaló
aNincs szerkesztési összefoglaló
aNincs szerkesztési összefoglaló
 
Az '''extenzió''' vagy faktuális érték (extension) lényegében nem más, mint amit [[Frege]] úgy nevez, hogy ''az amit egy nyelvi kifejezés jelöl'' vagy amire referál (azaz egy szó vagy más kifejezés referenciája). Hogy jól érzékeltessük, hogy itt tényleg olyan értékekről van szó, mely szituciófüggőek erre a fogalomra mindenhol mint faktuális értékre fogunk hivatkozni. A modern [[halmazelmélet]] [[modellelmélet]] nevű ága meglehetősen hatékonyan tudja kezelni a klasszikus logikai elméletek referenciafogalmát a változó- vagy igazságértékeléseken keresztül. Egy individuumnév faktuális értéke az alaphalmaz egy eleme, egy mondat faktuális értéke pedig az igazságértéke, azaz az '''i''' (igaz) vagy '''h''' (hamis) értékek egyike. Egy ilyen értékelést nevezünk az elmélet egy modelljének. Például a „Szókratész győzedelmeskedett a vitában” mondat lehet igaz is és hamis is. Pontos faktuális értékét az adott szituáció dönti el.
 
 
=== Intenzió ===

Navigációs menü