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

Ugrás a navigációhoz Ugrás a kereséshez
a
a (Bot: következő hozzáadása: es:Semántica formal)
=== Extenzió vagy faktuális érték ===
 
Az '''extenzió''' vagy faktuális érték (extension) lényegében nem más, mint amit [[Gottlob Frege|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ü