1. LOGIKAI (FORMÁLIS) SZEMANTIKA

Hasonló dokumentumok
A jelentéstan alapfogalmai

Szemantika (jelentéstan)

Bevezetés a nyelvtudományba Jelentéstan (szemantika)

Kijelentéslogika I szeptember 24.

Bútorfogantyúk fém fém. antik ezüst. antik ezüst fém fém. antik ezüst. antik ezüst.

Jelentés, jelek és jelrendszerek

A matematika nyelvér l bevezetés

Shaggy szőnyeg 51 Bone

SZEMANTIKA ÉS PRAGMATIKA A TERMINOLÓGIÁBAN

Megfelelőségi táblázatok

A szószemantika ábrázolási módszerei 1. Komponenses elemzés. 2. Szemantikai dekompozíció. - feltételezés (szemantikai jegyek = komponensek)

Kijelentéslogika, ítéletkalkulus

Matematika alapjai; Feladatok

Bevezetés a nyelvtudományba. 7. Szemantika. Gerstner Károly Magyar Nyelvészeti Tanszék

AZ INFORMATIKA LOGIKAI ALAPJAI

Matematikai logika és halmazelmélet

1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata.

Arról, ami nincs A nemlétezés elméletei. 8. Nemlétezőkre vonatkozó mondatok november 4.

MAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY

Predikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést.

Sémi összehasonlító nyelvészet

D Mandalák. 1. Mandala

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus

LOGIKA ÉS ÉRVELÉSTECHNIKA

KÖNYVJELZŐ KATALÓGUS SZERENCSEHOZÓ... 1 FENG SHUI. 4 HÁZI KEDVENC.. 16 EZOTERIKUS 20 MESEKÖNYV 22 GÉMKAPOCS 26 KONYHATÜNDÉR.

Predikátumkalkulus. 1. Bevezet. 2. Predikátumkalkulus, formalizálás. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák.

Kijelentéslogika, ítéletkalkulus

1. A matematikai logika alapfogalmai. 2. A matematikai logika műveletei

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika

A matematika nyelvéről bevezetés

Diszkrét matematika I.

Modellellenőrzés. dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék

3./ szemantikai határozatlanság (nagybácsi, nagynéni, szomszéd, asztal)

A logika, és a matematikai logika alapjait is neves görög tudós filozófus Arisztotelész rakta le "Analitika" című művében, Kr.e. IV. században.

Információ megjelenítés Diagram tervezés

1. Három tanuló reggel az iskola bejáratánál hányféle sorrendben lépheti át a küszöböt?

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Megoldás

Matematika Logika

Nyelv és gondolkodás

2) Egy háromszög két oldalának hossza 9 és 14 cm. A 14 cm hosszú oldallal szemközti szög 42. Adja meg a háromszög hiányzó adatait!

A készlet az MB Mese szekrénnyel kiegészíthető. Játéktároló szekrények polcokkal, zárt tároló szekrények ajtóval, pad,

Elsőrendű logika. Mesterséges intelligencia március 28.

Színes gyakorlókönyv színtévesztőknek

Matematikai logika NULLADRENDŰ LOGIKA

ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)

Bizonyítási módszerek ÉV ELEJI FELADATOK

BEVEZETÉS A NYELVTUDOMÁNYBA

Matematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1

Logika és informatikai alkalmazásai

Furnitura kollekció UNI bútorlapok

Knoch László: Információelmélet LOGIKA

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika

ABS Alu-grafitbarna 23x1,3mm 2in1 ABS fehér 23x1mm MF ABS fehér 23x2mm MF ABS fehér 45x2mm MF ABS bordó 23x2mm MF ABS woodline 33x2mm

Modellellenőrzés. dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék

Logika és informatikai alkalmazásai

- megnyilatkozás értelmezéséhez kell: 1. a világ ismerete pl.: vág 2. kommunikációs ismeret pl.: udvariasság - a beszédhelyzet szerepe pl.

S Z Í N E S JÁ T É K

GONDOLKODÁS ÉS NYELV

Arról, ami nincs A nemlétezés elméletei. 7. A modern logika és a létezés október 21.

Szemantika: modalitás, kompozicionalitás. Nyelvészet az informatikában informatika a nyelvészetben november 13.

Bevezetés a nyelvtudományba. 5. Szintaxis

Diszkrét matematika I.

Matematikai alapok és valószínőségszámítás. Valószínőségszámítási alapok

III. osztály 1 Orchidea Iskola IV. Matematika verseny 2011/2012 II. forduló

Borbás Gabriella Dóra bibliográfiája

Logika nyelvészeknek, 12. óra A típuselmélet alapjai. Lehetőség van a kvantorfogalom mellett a funktorfogalom általánosítására is.

Bevezetés a Formális Logikába Érveléstechnika-logika 7.

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus

M E T A LO M Á N I A T E R M É K E K

Kiefer Ferenc: Jelentéselmélet. Az ige

p_p_r = sz_kr_ny = f k = _b_ly_ = k_l_p = dr_g_k_ = festékpötty Varga Julcsa zokni kisfiú Föld lyuk Mikkamakka Tejút Okker Ultramarin

Rhino WL4S Négyablakos ablakemelő modul Dover Kft

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Megfelelőségi táblázatok

Logikai ágensek. Mesterséges intelligencia március 21.

Deutsche Telebank besorolása

Metaforaértés Williams szindrómában: tudatelmélet vagy analógiás illesztés?

Matematikai logika Arisztotelész Organon logika feladata Leibniz Boole De Morgan Frege dedukció indukció kijelentésnek

MILOVÁN ANDREA VALÓ KEZELÉSÉNEK LEHETİSÉGEIRİL

S0-02 Típusmodellek (Programozás elmélet)

ÚTMUTATÓ A SZÓTÁR HASZNÁLATÁHOZ

Méret szélesség x magasság x talp. 20x24x10 cm. 24x35x8 cm. 26x35x12 cm. 32x41x12 cm. 45x36x15 cm. Boros tasak. 10x38x8,5 cm. 250 db alatti mennyiség

Új műveletek egy háromértékű logikában

3. Magyarország legmagasabb hegycsúcsa az Istállós-kő.

VII. Keretalapú ismeretábrázolás

Ismeretalapú modellezés XI. Leíró logikák

Tanulói feladatok értékelése

Elemi matematika szakkör

Kognitív nyelvészet. Kognitív szemantika Kognitív grammatika

Bevezetés a nyelvtudományba Mondattan (szintaxis) Kiegészítés

OEK-butik állványok. ONDA plakáttartó állvány. Akril állványok. TWIN-szett DEKOLINE. OEK-butik állványok

AJÁNLATOK. többet. a hideg napokra is! BOMBA ÁR BOMBA ÁR BOMBA ÁR. mindennap! 2890 ft ft. kevesebbért...

BÉRLÉS, LÍZING, SZERVÍZ

ÉLETTERÜLETEK Készőlt: Halzer Dorottya Feng Shui iskolák titkai c. könyv alapján.

Logika. Mihálydeák Tamás szeptember 27. Tartalomjegyzék. 1.

3. OSZTÁLY A TANANYAG ELRENDEZÉSE

Speciális szükségletű felhasználók navigációjának vizsgálata különböző multimédiás alkalmazásokban

MAGIC PARTY-BOX. Asztaldekoráció. 1. Dekorációs kavics Szolnok, Abonyi u. 1/E. Telefon: 56/

Emelt szintű feladatok

KOVÁCS BÉLA, MATEMATIKA I.

Átírás:

- Gombocz: jelentés = funkciófogalom - más jelentéstanok: jelentés = viszonyfogalom 1. LOGIKAI (FORMÁLIS) SZEMANTIKA - jelek vonatkozásából indul ki (referencia, denotátum) - nyelvi kifejezések világ - tulajdonnevek köznevek különbsége - referenciális kifejezések - kijelentés (propozíció) - mondat propozíció különbsége - egyed halmaz vonatkozása: a/ disztributív b/ kollektív

- jelentés vonatkozás! Gottlob Frege: A hajnalcsillag az estcsillag. A hajnalcsillag a hajnalcsillag. - az igazságfeltétel fogalma - a kijelentés jelentése (részben v. egészben) = igazságfeltételeivel - A jelentés lényegét: nyelvi kifejezések + világ objektumai közti kapcsolatban keresik. - a világ = a fizikai világ mentális ábrázolása: Mari 4 órakor belépett az irodába. Józsi 5 órakor kiugrott az ablakon. + lehetséges világok (mese, álom stb.)

a nyelvi kifejezéseket a világ modelljéhez kapcsoljuk! - Minden mondat kijelentést fejez ki? - a szójelentés: a kijelentés függvényében - a jelentés kompozicionalitása (kivételek!!!) - jelentésábrázolás módszere (jelentésposztulátum): "x"y[apa (x,y) (férfi (x) & szülő (x, y))] Összefoglalva: 1.) vonatkozás problémái 2.) propozíció a középpontban 3.) igazságfeltételek 4.) jelentés-kompozicionalitás (Frege-féle elv) 5.) formális ábrázolás

2. KOGNITÍV SZEMANTIKA - jelentés + megismerés (kogníció) a jelentésleírásnak a mentális ábrázolást hűen kell tükröznie - jelentés észlelés (percepció) kapcsolata A gyerek az iskola előtt van. Az iskola a gyerek mögött van. logikai ekvivalencia = nyelvhasználatbeli ekvival. - okai

térérzékelés színérzékelés (jelentésük) fehér piros zöld kék barna lila fekete sárga rózsaszín narancssárga szürke alapnevek - alá-, fölérendelés - tulajdonságaik mozgásérzékelés - alak, háttér, mozgás, útvonal - lexikailag kifejezhető jellemzők (m.: csúszik, lép, gurul; fr.: descendre, monter, partir;

kalif. indián: -lup- kicsi, fényes, kerek a mozgó tárgy -t- kicsi, lapos, rögzíthető a mozgó t. -swal- hosszúkás, puha, egyik végén felfüggesztett a mozgó tárgy ) középpontjában a szószemantika - ábrázolása: lop(x,y,z) [vki lop vkitől vmit] MEGENGED(y, BIRTOKOL(x,z)) SZÁNDÉKOSAN(ELVESZ(x,y,z)) SZÁNDÉKOZIK(x, AD(x,y,z))

3. STRUKTURÁLIS SZEMANTIKA nyelven belül kívánja a jelentést meghatározni egy nyelvi kifejezés jelentése két szó közti jelentésviszony Hagyományos jelentésviszonyok: 3.1./ SZINONÍMIA - több fajtája van - feltételei - pl.: Szeretem a krumplit. K K Szeretem a burgonyát. nem K nem K

3.2./ HIPONÍMIA és HIPERONÍMIA - fölé-, alárendeltségi viszony - pl.: (K) Ez egy oroszlán. K K (K ) Ez egy állat. K K 3.3./ INKOMPATIBILITÁS - pl.: (K) Ez egy egér. K K (K ) Ez nem egy macska. K K - A (egy) X kijelentés implikálja az A nem (egy) Y kijelentést - 1 adott K kijelentéshez végtelen inkompatibilis K kijelentés szerkeszthető

3.4./ ELLENTMONDÁS - 2 lexikai elem teljesen kizárja egymást - teljesen lefedik a releváns konceptuális teret - pl.: János beteg. János egészséges. - ha K-t állítjuk, K -t tagadjuk, és fordítva: K nem K K nem K - pl.: János nem beteg. = János egészséges. János beteg. = János nem egészséges. konceptuális tér: egészség egészséges beteg

3.5./ ANTONÍMIA - nem kizáró ellentét (jó-rossz, nagy-kicsi) - nem fedik le teljesen a releváns konceptuális teret - semleges zóna konceptuális tér: hőmérséklet meleg hideg nem hideg K nem K nem K K nem meleg

Mondatszemantikai jelentésviszonyok: 3.6./ GYENGE IMPLIKÁCIÓ - p gyengén implikálja q-t, ha p igaz voltából következik q igaz volta, de q tagadásából nem kell következnie p tagadásának - pl.: p Jancsinak sikerült megoldania a feladatot. q Jancsi megoldotta a feladatot. q p Jancsi nem oldotta meg a feladatot. Jancsinak nem sikerült megoldania a feladatot.

3.7./ ELŐFELTEVÉS - következmény, melyet a tagadás nem érint - q előfeltevése p-nek, ha q következik p-ből is és p tagadásából is - pl.: q Anna hazajött. p Péter tudta, hogy Anna hazajött. Péter nem tudta, hogy Anna hazajött.

3.8./ KONVENCIONÁLIS IMPLIKATÚRA - mondatbeli nyelvi elemek, eszközök idézik elő - előre jelezhető következményreláció - pontos tartalma nem fogalmazható meg - pl.: - A lány szegény és becsületes. A lány szegény de becsületes. - Mari szereti a kaviárt. Még Mari is szereti a kaviárt.

Hogyan vizsgálódnak? 1./ FORMÁLIS SZEMANTIKA AGGLEGÉNY(x) FÉRFI(x) & NŐTLEN(x) & FELNŐTT(x) - szükséges és elégséges feltételek (egyidejűség) 2./ STRUKTURÁLIS SZEMANTIKA - lényegében ugyanez - szükséges és elégséges feltételekről nem szól AGGLEGÉNY(x) FÉRFI(x) AGGLEGÉNY(x) NŐTLEN(x) AGGLEGÉNY(x) FELNŐTT(x) [FÉRFI(x) & NŐTLEN(x) & FELNŐTT(x)] AGGLEGÉNY(x)

3./ KOGNITÍV SZEMANTIKA - megkérdőjelezi az elégséges feltételeket - szerinte nem egyértelmű a vonatkozás - idealizált világban érvényes (tulajdonképpen) - pl.: A pápa agglegény. A pápa tulajdonképpen agglegény.

Fő érdeklődési területük? 1./ FORMÁLIS SZEMANTIKA - mondatszemantika - cél: formális ábrázolásba illesztés 2./ KOGNITÍV SZEMANTIKA - szószemantika - megismeréssel kapcsolatba hozható problémák - tér, idő, mozgás észlelése és nyelvi tükröztetése - nem törekszik ábrázolásra - csak ez foglalkozik a diakrón jelentésvizsgálattal

3./ STRUKTURÁLIS SZEMANTIKA - szószemantika - a nyelvi jelek közti strukturális összefüggést kutatja 1. Logikai jelentésfogalom: jel + világ viszonya 2. Kognitív jelentésfogalom: jel + megismerés viszony 3. Strukturális jelentésfogalom : jel + jel viszonya