Matematika | Logika » A nevek szemantikai értékei

Alapadatok

Év, oldalszám:2009, 3 oldal

Nyelv:magyar

Letöltések száma:49

Feltöltve:2012. október 21.

Méret:118 KB

Intézmény:
-

Megjegyzés:

Csatolmány:-

Letöltés PDF-ben:Kérlek jelentkezz be!



Értékelések

Nincs még értékelés. Legyél Te az első!


Tartalmi kivonat

A NEVEK SZEMANTIKAI ÉRTÉKEI A névnek jelölte van, illetve az a dolog, amelyet a név jelöli. Egy interpretált név intenzióján a név jelöletét meghatározó feltételek összességét értjük, beleértve azon feltételeket is, amelyek mellett a névnek egyáltalán van jelölete. anyám (az „én”?) Péter fivére Franciaország királya (csak ha egyetlen férfitestvére van) (egyik feltétel: az időpont) Értékelésre szorulnak a három fönti mondatot, más szóval: adni kell a használati körülményekre vonatkozó adatokat. a név intenziója = a név individuális fogalma A tulajdonneveknek nincs jelentésünk, nincs intenziójuk! Csongrad (= „fekete vár”) jelöli a földrajzi helyet csak (a „fekete vár” nem határozza meg e név jelenlegi jelöletét) Példák Prímszám a név extenziója: mindegyik prímszámnak a halmaza. a név intenziója: a „prím” attribútum – a „prímesség”-, amelynek a birtoklása azt engedi, hogy egy szám

a prímszám osztályhoz tartozik. Zöld növény a név extenziója: mindegyik zöld növénynek a halmaza. a név intenziója: a növény és a zöld szinűség attribútainak a halmaza, amelynek birtoklása megengedi, hogy a fajta egyike legyen. Kutya vagy ‘kutya’ “A ‘kutya’ szó jelentése nem ugat, de azok az egyedek, amelyeket e szóval jelölhetünk, azok ugatnak.” Más a jelentésük, de ugyanaz a jelöletük! Phosphorus (hajnali csillag) Hesperus (esti csillag) Vénusz (Venus) Csak az asztonómia segítségével lehet tudni, hogy phosphorus azonos Hesperus-sal. 1 Faktuális érték (extenzió): amely a factum-októl, a tényektől is függhet = az igazságértéke (a mondat igaz vagy hamis?) Ha a mondat nem fejezi ki állítást, nincs faktuális értéke! (faktuális=amit jelöl) 1. egy (interpretált) mondat igazságértéke 2. egy (interpretált) név jelölte Faktuális érték EXTENZIONÁLIS ÉS INTENZIONÁLIS FUNKTOROK Interpretált funktor

intenziója azt a szabályt értjük, amely bemenetének (illetve bemeneteinek) intenziójából meghatározza, „kiszámítja” kimenetének intenzióját. Interpretált és (szükség esetén) értékelt funktor intenzióját szokás általános fogalomnak nevezni. Névfunktorok intenziója Predikátumok intenziója = „műveleti fogalma” = „predikatív” Prédikátumok A Duna Magyarország leghosszabb folyó a fekete Tengerbe ömlik. a Fekete-tengerbe ömlik. Péter ismeri a bélyegklub titkárát. a körzeti orvost. Ömlik (a Duna, a Fekete-tenger) . ömlik be ismeri (Péter, a belyeg titkár) . ismeri –t vagy ( . keresi -t) Mondatfunktorok Péter elment, és Mária megjött. Péter nyugtalan volt, mert Mária elkésett. „A logikai szemantikában az elsődleges jelentéshordozó elemek a funktorok; ezek mindig van jelentésük. Egy mondat vagy egy név jelentése mindig a benne foglalt funktor(ok) jelentéséből származik. Ebből következik,

hogy a tulajdonneveknek nincs jelentésük, hiszen nem szerep bennük funktor. A leírásoknak pedig van jelentésük (szerepel bennük funktor).” A funktorok mindig van jelentésük! 2 „Ha egy név jelentéssel bír, jelentése nem más, mint a ‘jelöletét’ (az, amit a név jelöl) meghatározó feltételek összessége.” Albánia jelenlegi államforma királyság „a jelenlegi Albán király” feltételei a trón be van töltve nincsenek rivális királyok Extenzionális funktorok: a bemet(ek) faktuális értéke (plusz a funktor jelentése) egyértelműen meghatározza a kimenet faktuális értékét. sétál 2. A titkár idősebb, mint az igazgató. A bélyegklub pénztárosa a polgármester sogora 1. Amália Béla nővére igazság értéke ugyanaz jelentése módosult Gyakorlatok 3.3 a.) és e)-nek ugyanaz az intenziójuk Azt hisszük . / Tudjuk, hogy / Szükséges, hogy „Substitution of co-referring terms in a knowledge context problematical. In

classical first-order logic intension plays no role: to model the reasoning needed in mathematics. Comprehension Connotation „The number of the planets” denotation denotation 9 (denotation only) 3