Tanulmány. Tóth Csilla. A magyar statikus lokatívuszi ragok, névutók monotonitásának szerepe a következtetésekben
|
|
- Diána Vassné
- 6 évvel ezelőtt
- Látták:
Átírás
1 83 Tanulmány Tóth Csilla A magyar statikus lokatívuszi ragok, névutók monotonitásának szerepe a következtetésekben Abstract Monotonicity is a basic component of syllogistic reasoning (van Eijck 2007, Geurts 2003). Inference rules based on it can be defined for any kind of linguistic units (van Eijck 2007). This kind of inferences can be defined between sentences, can be specified for sentence operators, generalized quantifiers, determiners. In each of these cases the monotonicity of a particular linguistic expression has a direct relationship with some inferences (Barwise & Cooper 1981, van Eijk 2007). In the case of locative prepositions Zwarts & Winter (2000) defined point-monotonicity for locative phrases themselves and not for sentences containing them. Examining the inferences based on Hungarian sentences containing locative phrases gives us arguments against treating Hungarian locative particles as two-place predicates. If they were two-place predicates, their monotonicity would guarantee certain valid inferences predicting their validity according to the enlargement or the diminution of the reference objects. The present paper focuses on the question what kind of role the point-monotonicity of locative particles plays in the inferences between sentences containing locative phrases. Keywords: locative phrase, inferences, monotonicity 1 Bevezetés A monotonitás az emberi érvelés (human reasoning) egyik alapvető komponense. A monotonitás a szillogisztikus érvelés egyik kulcsa (Geurts 2003, van Eijck 2007, van Benthem 2008), mégpedig olyan kulcs, mely kognitív magyarázatot is szolgáltat a következtetésekre (Geurts 2003). A statikus lokatívuszi prepozíciók monotonitási tulajdonságát Zwarts és Winter (2000) definiálták. A dolgozatom azt vizsgálja, milyen szerepet tölt be ez a tulajdonság a lokatívuszi frázisokat tartalmazó egyszerű mondatokon alapuló következtetésekben. Vizsgálataimban olyan egyszerű mondatokból indulok ki, melyekben egy lokalizált objektumra referáló DP, egy statikus lokatívuszi ragot vagy névutót tartalmazó lokatívuszi frázis és egy kopula szerepel: (1) Az alma az asztalon van. Köszönöm Maleczki Mártának a tanulmány megírásához nyújtott támogatását, valamint a cikk lektorának megjegyzéseit. Minden esetleges hibáért a felelősség az enyém.
2 84 A dolgozatban azokat az állításokat (illetve állítások közötti következtetéseket) vizsgálom, melyekben a lokatívuszi frázison kívüli DP determinánsa más, mint a határozott névelő. Mivel az általánosított kvantorok elméletében a határozott névelős DP éppúgy általánosított kvantor, mint a minden, legalább egy, néhány, stb. determinánsokat tartalmazó főnévi csoportok, ezért indokolt a határozott névelő mellett más determinánsokat is vizsgálni. Célom, hogy az ilyen állításokon alapuló következtetéseket szemantikai szempontból egységesen lehessen kezelni. Az általánosított kvantorok vagy a determinánsok esetében a monotonitásra megfogalmazott definíciók a kvantorokat, determinánsokat tartalmazó mondatok igazságértékén keresztül közvetlen kapcsolatot teremtenek a kvantor/determináns monotonitási tulajdonsága és az őket tartalmazó állítások közötti következtetések között (Barwise & Cooper 1981, van Eijck 2007). A lokatívuszi prepozíciók esetében azonban Zwarts és Winter (2000) a pontmonotonitást a lokatívuszi frázisokra definiálták, nem pedig állításokra. (Ez érthető, hiszen az angol lokatívuszi prepozíciók denotációit egyargumentumú függvényekként definiálták a PP-n belül.) Egyetlen mondat utal arra a hivatkozott cikkben, mit is jelent(het) ez a tulajdonság az állítások szintjén (Zwarts & Winter 2000: 183): Intuitively, point-monotonicity corresponds to truth preservation under enlargement/ diminuation of the reference object. 1 A dolgozatom két kérdésre világít rá: 1. Hogyan tehető formális eszközökkel explicitté, hogy milyen kapcsolat van a lokalizátorok 2 pontmonotonitása és a vizsgált állítások közötti következtetések között? 2. Tekinthetők-e kétargumentumú predikátumoknak a lokatívuszi ragok, névutók? Általánosan elfogadott nézet, hogy a lokalizátorokat kétargumentumú predikátumokként interpretálják, melyek a viszonyítási és lokalizált objektumok közötti téri relációt denotálják. Ha ez általánosan érvényes, akkor a lokalizátorok monotonitásán kellene alapulnia a lokatívuszi frázisokat tartalmazó egyszerű mondatokon működő következtetéseknek. Ez azonban nem mindig így van. Megmutatom, hogy általánosságban a lokatívuszi ragok, névutók, nem tekinthetők kétargumentumú predikátumoknak, jóllehet vannak akik emellett érvelnek (pl. Herskovits 1985, 1986, Aurnague & Vieu 1993). A tanulmány felépítése: A második részben a monotonitás kalkulust mint az emberi érvelésben működő egyik általános elvet szeretném bemutatni a természetes logika keretében, illetve ebben a részben szeretnék kitérni arra is, hogy a monotonitás alapja a rendezési reláció. A harmadik részben az 1. pontban megfogalmazott problémára fókuszálok, vagyis arra, hogy milyen kapcsolat van a lokalizátorok pontmonoton tulajdonsága és a következtetések között, illetve a következtetésekhez szükséges feltétel-e a lokalizátorok pontmonotonitása. A negyedik rész foglalkozik a konkrét nyelvi adatokkal, az ötödik rész pedig az adatok formális elemzésével. 1 2 Intuitív megközelítésben a pontmonotonitás az igazság megőrzését jelenti a referenciális objektum növelése vagy csökkentése mellett. Azért, hogy a statikus lokatívuszi ragokra, névutókra, esetleg akár az ilyen funkciójú prepozíciókra is együtt tudjak utalni, a rövidség kedvéért kölcsönöztem a Marcus Kracht (2002) által használt localizer kifejezést.
3 85 2 Monotonitás a természetes logikában Az 1980-as években kezdett megfogalmazódni az az elképzelés, hogy a természetes nyelv nemcsak eszköz arra, hogy kimondjunk dolgokat, vagy hogy kommunikáljunk egymással, hanem egy természetes logikával is rendelkezik (van Benthem 2008). Lényeges, hogy az érvelés moduljai a felszíni formán működnek. Az egyik ilyen érvelési modul a monotonitás, ami a predikátum kicserélhetőségével tesztelhető. A monotonitás pszichológiailag is plauzibilis elképzelés az emberi érvelés következtetési folyamataira (Geurts 2003). A monotonitáson alapuló érvelés szemantikai alapja a logikai következmény-fogalom tetszőleges típusokra való általánosítása. Ezt az általánosítást az teszi lehetővé, hogy minden típusra definiáljuk a részben rendezési relációt. 2.1 Rendezési relációk a nyelvi elemek szemantikájában Fyodorov, Winter & Francez (2003) szerint a nyelvi rendezési relációknak három forrása lehet. 1. Konstrukciós alapú konstrukciókból vagy lexikális elemek közötti viszonyokból származnak: (2) János okos diák. János diák. 2. Lexikális alapú a szavak lexikális jelentésén alapuló rendezési relációk: (3) fut < mozog, gyerek < ember, kutya < állat 3. Következtetési folyamatokból létre jött, vagy más külső forrásból származó rendezési relációk: (4) Minden kutya négylábú. A (4)-hez hasonló állítások a világról való ismereteinken alapulnak. A monotonitás tehát a részben rendezési reláción értelmezhető. Ezt a relációt megtaláljuk a lokalizátorok szemantikájában is: ponthalmazok között éppen ezt a relációt kódolja pl. az angol in, inside vagy a magyar -ban. Pl. egy olyan szituációban, melyben egy könyv benne van egy fiókban, a fiók belsejét kitöltő ponthalmaznak ami megfelel a fiókban kifejezés denotációjának részhalmaza a könyvet kitöltő ponthalmaz. A rendezésmegőrző vagy monoton növekvő függvény definíciója: (5) ha X Y, akkor f(x) f(y) A rendezésmegfordító vagy monoton csökkenő függvény: (6) ha Y X, akkor g(x) g(y) 2.2 A monotonitási kalkulus szintaktikai és szemantikai oldala van Eijck (2007) alapján A monotonitási kalkulus szintaktikai vonatkozása abban áll, hogy a szintaktikai elemek monotonitását a szintaktikai struktúrában jelöljük. Most nézzük meg, hogyan kapcsolódik egymáshoz a szintaktikai és szemantikai oldal a monotonitási kalkulusban van Eijck (2007: 216) alapján.
4 86 Legyen S egy szintaktikai struktúra, A pedig ennek a struktúrának egy komponense. Legyen A típusa α, S típusa pedig β. Legyen F egy szintaktikai művelet, olyan függvény, amely az A komponenst más α típusú komponensekre cseréli: F = λy.s[y/a]. F szemantikai megfelelője az f függvény, amely α β típusú. Az A komponenst a monotonitásra nézve jelöljük: + jellel, ha monoton növekvő, jellel, ha monoton csökkenő. A monotonitási kalkulus helyes (sound) akkor, ha teljesül, hogy ha A +-szal jelölt S-ben, akkor a λy.s[y/a]-t interpretáló f függvény monoton növekvő, valamint, ha teljesül, hogy ha A -szal van jelölve S-ben, akkor az interpretáló függvény monoton csökkenő. A monotonitási kalkulus teljes (complete), ha a következő két feltétel teljesül: ha a λy.s[y/a]-t interpretáló f függvény monoton növekvő, akkor A +-szal van jelölve S-ben, és, ha a λy.s[y/a]-t interpretáló f függvény monoton csökkenő, akkor A -szal van jelölve S-ben. 2.3 A monotonitás szabályai különböző nyelvi struktúrákra (van Eijck 2007) Az alábbiakban a monotonitáson alapuló érvelés általános struktúráinak a szabályait tekintem át, hogy illusztráljam azt, hogy olyan általános elvről van szó, mely a nyelvi struktúra bármely szintjén működhet A monotonitás általános szabálya (van Eijck 2007: 220) (7) X Y F F(X) F(Y) F α β típusú, monoton növekvő kifejezés, X, Y α típusú kifejezések, F(X), F(Y) β típusú kifejezések, részben rendezési reláció. A szabály egyik olvasata annak explikálása, hogy F rendezésmegőrző, vagyis monoton növekvő. A másik olvasata (8)-nak az a következtetés, amelynek az az alapja, hogy F monoton növekvő. Az alábbi szabály érvényes, ha F monoton csökkenő: (8) X Y F F(X) F(Y) A monotonitás speciális esetei (van Eijck 2007: 220) A monotonitás állítások esetében Ha X, Y, F(X), F(Y) t típusúak, azaz szemantikai értékük bármely lehetséges világban egy igazságérték, akkor a rendezési reláció ( ) a logikai következmény relációnak 3 felel meg (9): (9) X Y F(X) F F(Y) 3 van Eijck megjegyzi, hogy a (10)-zel jelölt szabályban az X Y premissza helyére írhatunk olyan nyelvi példát, mely implikációt tartalmaz, és olyan nyelvi példát is, melyben X és Y között logikai következmény reláció áll fenn. A szabály alatt írt nyelvi példa ez utóbbira, a következmény relációra példa.
5 87 Nyelvi példa erre a szabályra: X helyett álljon a Mari táncol mondat, Y legyen a Mari mozog mondat. F: valószínűleg. A Ha Mari táncol, akkor Mari mozog állításból és a Valószínűleg Mari táncol állításból a valószínűleg mondatoperátor monotonitása alapján következik a Valószínűleg Mari mozog állítás. Monoton csökkenő függvénnyel interpretálható nyelvi elem pl. a tagadás, amely az alábbi szabály szerint működik: (10) X Y F(Y) F F(X) van Eijck (2007) a következő angol nyelvi példát adja a (10)-es szabályra: Mary dances (Mari táncol) (X), Mary moves (Mari mozog) (Y), does not (nem) (F). A Mary dances implies Mary moves (Ha Mari táncol, akkor Mari mozog) és a Mary does not move (Mari nem mozog) állítások igazságából következik a Mary does not dance (Mari nem táncol) állítás igazsága Az általánosított kvantorok és a monotonitás (11) Q(X) X Y Q Q(Y) Legyenek X és Y halmazok, e t típusú kifejezések extenziói. Q(X), Q(Y) igazságértékek, t típusú kifejezések szemantikai értékei. Q pedig ((e t) t) típusú, egyargumentumú, másodrendű predikátumok extenziója. Nyelvi példa: Q(X) legyen: János fut, X legyen: fut, Y legyen: mozog, Q(Y) pedig: János mozog. A János fut állítás igazságából a fut és mozog kifejezések denotációi között fennálló részhalmazreláció alapján az általánosított kvantor (János) monoton növekvő tulajdonsága miatt következtethetünk a János mozog állítás igazságára Determinánsok monotonitása A determinánsok kétargumentumú predikátumokként is felfoghatók, melyek <<e,t>,<<e,t>,t>> típusúak. Szemantikai interpretációik olyan függvények, melyek halmazok közötti relációkat adnak meg, vagyis melyek entitáshalmazokhoz olyan entitáshalmazok halmazait rendelik, melyek általánosított kvantorok extenziói. Röviden: rendezett halmazpárok halmazait adják meg. Négyféle szabály adódik a jobb- és baloldali argumentumokra való monotonitást is figyelembe véve (12-15). (12) D(X,P) X Y D(,-) D(Y,P) Például a néhány determináns bal argumentumára nézve monoton növekvő a (12) szabály szerint, mert ha feltesszük, hogy D jelöli a néhány determináns denotációját, X a kislány, Y a 4 A lektor megjegyzi, hogy a példa általában is igaz, ehhez a következtetéshez nem kell monotonitás. A nyelvi példa valóban példa lehet a modus tollens-re is, de van Eijck (2007) általában azt írja a monotonitási szabályokkal kapcsolatban, hogy két olvasatuk van: az egyik, hogy egy adott nyelvi elem monoton növekvő vagy csökkenő, a másik pedig az a következtetés, amelynek alapja az F-fel jelölt elem monotonitása. A (11) szabály tehát azt is kifejezi, hogy a does not ( nem ) monoton csökkenő.
6 88 gyerek, P a játszik kifejezések denotációit, akkor a Néhány kislány játszik állítás igazságából, és abból a feltételből, hogy X Y, vagyis a kislány kifejezés denotációját alkotó halmaz részhalmaza a gyerek kifejezés denotációját alkotó halmaznak, következik a Néhány gyerek játszik állítás igazsága. (13) D(X,P) P R D(-, ) D(X,R) A (13) szabályra példa a minden determináns, mely jobb argumentumára monoton növekvő. A Minden gyerek ugrál állítás igazságából következik a Minden gyerek mozog állítás igazsága. D a minden, X a gyerek, P az ugrál, R a mozog kifejezések denotációit jelöli. (14) D(Y,P) X Y D(,-) D(X,P) Balmonoton csökkenő determinánsra szintén példa a minden. A Minden gyerek ugrál állítás igazságából következik a Minden kisfiú ugrál állítás igazsága. (15) D(X,R) P R D(-, ) D(X,P) Jobbmonoton csökkenő determinánsra példa a legfeljebb öt. A Legfeljebb öt gyerek mozog állítás igazságából következik a Legfeljebb öt gyerek ugrál állítás igazsága. (15)-ben ekkor D a legfeljebb öt, X a gyerek, R a mozog, P az ugrál kifejezések denotációit jelöli. Látható a fentiekből, hogy a monotonitás általános szabályából kiindulva (l. 7-8), amely az állítások közötti következmény-relációban ragadható meg, a szintaktikai struktúra más egységeire is specifikálható a monotonitás. A lokatívuszi ragokkal, névutókkal kapcsolatosan kérdés, hogy felfoghatók-e kétargumentumú predikátumokként, és (13) és (15)-höz hasonló szabályokkal leírhatók-e monotonitási tulajdonságaikon alapuló következtetések. 3 A lokatívuszi ragok, névutók, monotonitása és a következtetések 3.1 A problémák bemutatása A nyelvi struktúrák közül az általánosított kvantorok monotonitási tulajdonságai a legismertebbek. Az általánosított kvantorok esetében a monotonitás definíció szerint közvetlen kapcsolatban áll az állítás igazságával (Barwise & Cooper 1981: 171). Ugyanis egy Q általánosított kvantort tartalmazó Qψ mondat szemantikai értéke (melyben ψ egy halmazt denotáló kifejezés): (16) [[Qψ]]= 1 ha [[ψ]] [[Q]] 0 ha [[ψ]] [[Q]] Barwise & Cooper (1981: ) monotonitásra vonatkozó definíciói: (17) Egy Q általánosított kvantor monoton növekvő, ha X Q és X Y E akkor Y Q.
7 89 (18) Egy Q általánosított kvantor monoton csökkenő, ha X Q és Y X E akkor Y Q. (E a modellbeli entitások halmaza.) Ezt a közvetlen kapcsolatot láthattuk a természetes logika szabályaiban, illetve a determinánsok esetében (l. (12) (15)). Az angol lokatívuszi prepozíciók monotonitási tulajdonságait Zwarts és Winter (2000) definiálták vektortér-szemantikai modellben. Az ő definíciójuk (19) a lokatívuszi frázisok denotációi közötti kapcsolat függvényében értelmezi a monotonitást, mivel a lokatívuszi prepozíciókat egyargumentumú függvényekként kezelik, vagyis szemantikai interpretációik olyan függvények, melyek a viszonyítási objektumot/objektumokat 5 alkotó ponthalmazokhoz egy vektorhalmazt rendelnek. Ez a vektorhalmaz lesz a lokatívuszi frázis denotációja. Zwarts & Winter (2000: 183) az alábbi definíciót (19) adja a lokatívuszi prepozíciók monotonitására. A definícióban D pt topológiailag egyszerű területek tartománya, vagyis olyan területeket tartalmaz, melyek zártak 6 és nem üresek. A definíció azt mondja ki, hogy a P prepozíciós függvény akkor és csak akkor pontmonoton növekvő, ha teljesül az a feltétel, hogy ha van két olyan topológiailag egyszerű terület, melyek közül A része B-nek, akkor a P prepozíciós függvénynek megfelelő P e függvény 7 által A-hoz és B-hez rendelt ponthalmazok között is ilyen irányú reláció áll fenn, azaz P e (A) P e (B). P akkor és csak akkor pontmonoton csökkenő, ha az A része B-nek feltétel esetén a B-hez rendelt ponthalmaz lesz része az A-hoz rendelt ponthalmaznak. (19) Legyen P egy prepozíciós függvény, és X D pt. 1. P pontmonoton növekvő X fölött (PMON ) akkor és csak akkor, ha A, B X [A B P e (A) P e (B)] 2. P pontmonoton csökkenő X fölött (PMON ) akkor és csak akkor, ha A, B X [A B P e (B) P e (A)] Definíciójuk alapján pontmonoton növekvő az angol in, inside, az outside pontmonoton csökkenő. A magyar ragok, névutók közül a -ban tekinthető minden körülmények között pontmonotonnak. A kívül és belül a magyarban ritkábban fordul elő téri jelentésben, ezért nehéz a definícióknak megfelelő nyelvi példákat találni, valamint a magyar névutók denotációira az angol megfelelőiktől eltérő definíciót javaslok, amely alapján nem tekintem őket feltétel nélkül pontmonotonnak. (Erről részletesebben Tóth 2010.) A továbbiakban a -ban pontmonotoni A lokatívuszi kifejezések prepozíciók, ragok, névutók vizsgálatakor olyan állításokból szoktak kiindulni, melyekben egy konkrét objektum helyét egy másik objektumhoz viszonyítva határozzuk meg. Pl.: A macska az asztal alatt van. Az ilyen állítások által jellemzett szituációkban a macska a lokalizált objektum, míg az asztal a viszonyítási objektum. (A lokalizált objektumot Talmy (1983) figure-nek, Langacker (1986) trajector-nak nevezte, míg a viszonyítási objektumot Talmy ground-nak, Langacker landmark-nak.) Dolgozatomban a lokalizált és viszonyítási objektum kifejezéseket fogom használni, mivel elméletfüggetlenek, és jól kifejezik a két objektum kommunikatív célok szempontjából megkülönböztetett funkcióit. Egy ponthalmaz zárt, ha tartalmazza minden határpontját. P e = λ A.λ p. v P(A)[p=e-point(v)] Az angol lokatívuszi prepozíciók (hasonlóan a magyar ragok, névutók) olyan függvények (P) Zwarts & Winter (2000: 182) modelljében, melyek ponthalmazokhoz vektorhalmazt rendelnek. A pontmonotonitás szempontjából a vektorok végpontjainak van jelentősége, ezért van szükség a P e függvényre, ami ponthalmazokhoz ponthalmazokat (a vektorok végpontjaiból álló ponthalmazokat) rendel.
8 90 tásával fogok foglalkozni, illetve megvizsgálok néhány kívül névutót tartalmazó nyelvi példát, melyek olyan szituációkra vonatkoznak, ahol a kívül pontmonoton csökkenőnek tekinthető. Zwarts és Winter (2000: 183) azt állítja, hogy a pontmonotonitás intuitívan az igaz igazságérték megőrzését jelenti a viszonyítási objektum növelése vagy csökkentése mellett, bár a fenti definícióban (19) ez nem nyilvánvaló. A következő példával szemléltetik állításukat: (20) The house is in Paris. The house is in France. A (20) példa alapján valóban úgy tűnik, hogy az in pontmonoton növekvő tulajdonsága megfelel a viszonyítási objektum növelhetőségének az igaz igazságérték megváltozása nélkül. A pontmonotonitás definíciója (19) a viszonyítási objektumokat alkotó ponthalmazok és a lokatívuszi frázisok denotációját alkotó ponthalmazok közötti relációkra épül, vagyis a definíció nem fogalmazza meg expliciten, hogy a pontmonotonitás hogyan befolyásolja a lokatívuszi frázisokat tartalmazó állításokon működő következtetéseket. Ez a kérdés azzal áll összefüggésben, hogy a lokatívuszi prepozícióknak, illetve a magyarban: ragoknak, névutóknak milyen interpretációt adunk. Zwarts és Winter (2000) tanulmánya nem egyértelmű ebben, hiszen egyrészt a lokatívuszi prepozíciók típusát <<p,t>,<v,t>> típusként határozzák meg, melynek szemantikai interpretációja egy olyan függvény, mely ponthalmazokhoz vektorhalmazokat rendel. Tehát a típusuk szerint nem kétargumentumú predikátumokként kezelik a lokatívuszi prepozíciókat. Viszont pl. a between-t háromargumentumú predikátumnak nevezik, és a determinánsokkal való párhuzam, ami az egész tanulmányban hangsúlyos, szintén azt sugallja, hogy a loktívuszi prepozíciók kaphatnak olyan interpretációt, mint a kétargumentumú predikátumok. A következő részben megvizsgálom azt a lehetőséget, ami abból következik, ha a pontmonoton növekvő tulajdonságot úgy tekintjük, mint az igaz igazságérték megőrzésének garanciáját a viszonyítási objektum denotációjának növelése esetén, és a pontmonoton csökkenő tulajdonságot, úgy tekintjük, mint az igaz igazságérték megőrzésének garanciáját a viszonyítási objektum denotációjának csökkentése esetén. 3.2 Milyen következménye van a monotonitáson alapuló következtetésekre nézve, ha a lokalizátorokat kétargumentumú predikátumokként interpretáljuk? Ha a lokalizátorok monotonitása garantálja az igaz igazságérték megőrzését pontmonoton növekvő lokalizátor esetén viszonyítási objektum növelése mellett, pontmonoton csökkenő lokalizátor esetén a viszonyítási objektum csökkentése mellett, vagyis pontmonoton növekvő lokalizátor esetén nagyobb viszonyítási objektumokra, pontmonoton csökkenő lokalizátor esetén kisebb viszonyítási objektumokra következtethetünk, akkor kétargumentumú predikátumokként kell őket interpretálnunk. Ekkor az (1)-hez hasonló állításokat a (21)-ben látható logikai szerkezet alapján interpretálhatnánk: (21) L (X,Z) (21) szemantikai interpretációja: L-t a lokatívuszi rag, névutó denotációját megadó függvényként interpretáljuk, melynek egyik argumentuma X, amelynek denotációja a viszonyítási objektum, másik argumentuma pedig Z, amelynek denotációja a lokalizált objektum. A függ-
9 91 vény értékkészlete a {0,1} halmaz. A (21)-es szerkezetet feltételezve a lokatívuszi rag, névutó monoton növekvő tulajdonsága a következő formulával (22) adható meg: (22) L (X,Z) X Y L L (Y,Z) Mondhatnánk, hogy az alábbi adatok a (23) séma szerint működnek: (23) A ház Párizsban van. A ház Franciaországban van. (24) Néhány gyerek a szobában van. Néhány gyerek a házban van. (25) Minden gyerek a szobában van. Minden gyerek a házban van. Azonban már itt is felmerül az a probléma, hogy míg (23)-ban interpretálhatjuk úgy a -ban ragot, ami egy téri relációt denotál a két DP a ház és Párizs, illetve a ház és Franciaország denotációja között, addig (24) és (25) esetében nem mondhatjuk, hogy ez a téri reláció áll fenn a néhány gyerek és a szoba denotációi között. A néhány gyerek denotációja azoknak a halmazoknak a halmaza lesz, melyeknek a metszete a gyerek kifejezés denotációját alkotó individuumhalmazzal nem üres. Nyilvánvaló, hogy a szoba denotációja nem állhat téri relációban ezzel a halmazzal. Ha ezt a problémát egyelőre figyelmen kívül hagyjuk, akkor is találunk példákat olyan következtetésekre (l. (26) (28)), melyek nem a (21) szabály szerint működnek, bár az állításokban változatlanul pontmonoton növekvő lokalizátor szerepel. (26) Kevés bútor van a szobában. =/=> Kevés bútor van a házban. (27) Legfeljebb három szék van a szobában. =/=> Legfeljebb három szék van a házban. (28) Páros számú szék van a szobában. =/=> Páros számú szék van a házban. 3.3 A fenti megfigyelések konklúziója A példák alapján úgy tűnik, hogy az állítások közötti következtetések irányát nem a lokalizátorok pontmonotonitása határozza meg, hanem inkább a determináns monotonitási tulajdonsága. (23) (25)-ben jobbmonoton növekvő determinánsokat látunk, melyek jobboldali argumentumát éppen a lokatívuszi frázisok foglalják el. (26) (27)-ben jobbmonoton csökkenő determinánsok 8 vannak, tehát a következtetés épp az ellenkező irányba működik, míg (28)-ban nem monoton a determináns, tehát a következtetés egyik irányba sem működik, hiába pontmonoton a lokatívuszi rag. Tehát a lokatívuszi ragok, névutók általában nem interpretálhatók kétargumentumú predikátumokként. 4 A lokalizátorok monotonitása szükséges feltétele-e a monotonitáson alapuló következtetéseknek? Azt, hogy egy lokalizátor monotonitása önmagában nem elégséges a monotonitáson alapuló következtetéshez, láthattuk a (28) példából. Most vizsgáljuk meg azt, hogy szükséges feltétele-e a következtetéseknek a lokalizátorok monotonitása. Ha olyan mondatokat vizsgálunk, melyekben a lokalizált objektumra referáló 8 A kevés itt olyan értelemben jobbmonoton csökkenő, hogy egy bizonyos n számnál kisebb.
10 92 DP determinánsa monoton, de a lokalizátor nem monoton, azt látjuk, hogy nem működik a következtetés. Tekintsük a (29) és (30) állításokat. (29) Minden gyerek a garázs mögött van. (30) Minden gyerek az autó mögött van. (Feltételezzük, hogy az autó a garázsban van.) Ha Zwarts & Winter (2000: 183) pontmonotonitásra adott definíciói alapján (l. (19)) megvizsgáljuk a mögött névutót, láthatjuk, hogy nem pontmonoton növekvő. Csak azok a lokalizátorok lehetnek pontmonoton növekvők, melyek a viszonyítási objektumhoz képest belső térre referálnak, mivel csak ebben marad változatlan a részhalmaz reláció a lokatívuszi frázisok denotációit alkotó ponthalmazok között, miközben egyre nagyobb, az eredeti viszonyítási objektumot magába foglaló, másik viszonyítási objektumot választunk. A mögött így csak pontmonoton csökkenő lehetne, mivel a viszonyítási objektumhoz képest külső térdarabra referál. Azonban nem pontmonoton csökkenő, mert két egymást tartalmazó objektum elhelyezkedhet úgy, hogy az objektumok által meghatározott mögött irányok ellentétes irányt jelentenek, így nem teljesül a definícióban megkívánt feltétel. l. 2. ábra (Az ábrán a szürke pontozott területek jelölik a garázs mögött, illetve az autó mögött kifejezések denotációit. Látható, hogy a két szürke terület nem részhalmaza egymásnak.) 2. ábra (29) igazságából nem következik (30) igazsága, mivel nem teljesül, hogy a garázs mögött frázis denotációját alkotó ponthalmaz része lesz az autó mögött frázist alkotó ponthalmaznak, azaz nem teljesül a mögött esetében a pontmonotonitásra adott definíció (l.(19)). Ennek alapján úgy tűnik, hogy a lokalizátor monotonitása szükséges feltétele a következtetéseknek. Azonban a következő szituáción alapuló magyarázattal megmutatom, hogy nem így van: a lokalizátor monotonitása csak egy lehetséges módja annak, hogy kielégítse a determinánsok monotonitásán alapuló következtetés szükséges feltételét. A lokalizátorok pontmonotonitása azt garantálja, hogy a lokatívuszi frázisok denotációját alkotó ponthalmazok részhalmaz relációban állnak egymással, ami a determinánsok jobboldali monotonitása esetén szükséges feltétel. Ez a részhalmaz reláció fennállhat bizonyos speciális esetekben is anélkül, hogy szükség lenne a lokalizátor pontmonoton tulajdonságára. Egy ilyen szituáció látható a 3. ábrán.
11 93 3. ábra A pálcikaember nézőpontjából a szürkével jelölt ponthalmaz nagyjából megfelel a ház mögött kifejezés denotációjának, míg a narancssárgával jelölt a pad alatt kifejezés denotációjának. Ha ebben a szituációban igaz (31), akkor következtethetünk (32) igazságára. (31) A macska a pad alatt van. (32) A macska a ház mögött van. Látható, hogy a két állítás közötti logikai kapcsolat feltétele egyrészt a lokalizált objektumot (macska) kifejező DP determinánsának jobboldali monotonitása, mégpedig jobbmonoton növekvése, másrészt pedig a lokatívuszi frázisok denotációi között fennálló részhalmaz reláció, amit itt az adott szituáció biztosít. Más szituációban nem garantált, hogy a mögött, illetve az alatt kifejezéseket tartalmazó lokatívuszi frázisok denotációi részhalmaz viszonyban állnak egymással. A lokalizátorok pontmonotonitása tehát annyiban szükséges feltétele az ilyen állítások közötti következtetéseknek, hogy a következtetéshez szükséges részhalmaz relációt a jobboldali halmazok között, szituációtól függetlenül, szabályszerűen biztosítja. 5 Egy formalizálási lehetőség Az adatok vizsgálata alapján olyan megoldást javaslok a vizsgált mondatok között működő következtetések formális kezelésére, amely a determinánsok monotonitásán alapuló következtetésekre már ismert a természetes logika szabályai között. Megmutatom, hogy a lokatívuszi ragok/névutók monotonitása hogyan illeszkedik ezekbe a szabályokba. Ahhoz, hogy megmutassam, hogy a következtetések valóban a (13) szabály szerint működnek, ha a lokalizált objektumot/objektumokat denotáló DP determinánsa jobbmonoton növekvő, illetve a (15) szabály szerint működnek, ha a lokalizált objektumot/objektumokat denotáló DP determinánsa jobbmonoton csökkenő, felhasználom Barwise & Cooper (1981) definícióit a determinánsok denotációra, és ezt kombinálom a ragok/névutók Zwarts & Winter (2000), illetve Mador-Haim & Winter (2007)-féle vektortér alapú kezelésével. A következő eseteket fogom formálisan elemezni:
12 94 1. a lokalizált objektumot kifejező DP determinánsa jobbmonoton növekvő (a, egy, minden, néhány), és a lokatívuszi rag pontmonoton növekvő (-ban); 2. a lokalizált objektumot kifejező DP determinánsa jobbmonoton növekvő (a, egy, minden, néhány), és a lokatívuszi rag pontmonoton csökkenő (kívül); 3. a lokalizált objektumot kifejező DP determinánsa jobbmonoton csökkenő (legfeljebb n, kevés), és a lokatívuszi rag pontmonoton növekvő (-ban); 4. a lokalizált objektumot kifejező DP determinánsa jobbmonoton csökkenő (legfeljebb n, kevés), és a lokatívuszi rag pontmonoton csökkenő (kívül); 5. a lokalizált objektumot kifejező DP determinánsa nem monoton (páros számú), és a lokatívuszi rag pontmonoton csökkenő (kívül); 6. a lokalizált objektumot kifejező DP determinánsa jobbmonoton csökkenő (legfeljebb n, kevés), és a lokatívuszi rag nem monoton (mögött); 4.1 Az 1. eset elemzése 1. a lokalizált objektumot kifejező DP determinánsa jobbmonoton növekvő (a, egy, minden, néhány), és a lokatívuszi rag pontmonoton növekvő (-ban); Példák: (33) A ház Párizsban van. A ház Franciaországban van. (34) Minden gyerek a szobában van. Minden gyerek a házban van. (35) Legalább egy gyerek a szobában van. Legalább egy gyerek a házban van. (36) Néhány gyerek a szobában van. Néhány gyerek a házban van. Azt állítom tehát, hogy a (33) (36) következtetések a (13) szabály szerint működnek. (13) D(P,X) X Y D(-, ) D(P,Y) Mivel a határozott névelő Barwise & Cooper (1981)-nél ugyanolyan szemantikai interpretációt kap, mint az every (minden) determináns, azzal a megszorítással, hogy az univerzum csak egyetlen olyan elemet tartalmaz, ami a köznév denotációja lehet, ezért csak a (34) következtetést fogom részletesen elemezni. Barwise & Cooper (1981) az every denotációját az alábbi módon definiálják: (37) [[every]](a) = {X A X} A Minden gyerek a szobában van állítás igazságfeltételeit a következőképpen adhatjuk meg: (38) [[Minden gyerek a szobában van]] = 1 [[gyerek]] [[szobában]] Ahhoz, hogy a részhalmaz, illetve eleme relációkat értelmezhessük, szükségünk van a lokatívuszi frázis denotációjára (39). A szobában kifejezés esetében ez Mador-Haim & Winter (2007: 8) alapján a következő: (39) loc -1 (BAN(loc(SZOBA)))
13 95 A SZOBA a viszonyítási objektum, a loc függvény megadja ennek az objektumnak a saját terét, a BAN függvény meghatározza a legközelebbi belső határvektorok végpontjainak halmazát, majd a loc -1 függvény ezt a területet képezi le olyan entitások halmazára, amelyeknek a saját tere benne van ebben a területben, vagyis a lokatívuszi frázis denotációja azoknak az entitásoknak a halmaza lesz, melyek a szobában vannak. A gyerek kifejezés denotációja modellünkben legyen a következő: 9 (40) [[gyerek]] = {ANDRIS, VIKI, MATYI, LILI, ZOZI} (41) megadja a Minden gyerek a szobában van állítás igazságfeltételét, vagyis az állítás igaz akkor és csak akkor, ha a gyerek kifejezés denotációjának megfelelő halmaz része a szobában levő entitások halmazának. (41) {ANDRIS, VIKI, MATYI, LILI, ZOZI} loc -1 (BAN(loc(SZOBA))) Ha most újra megnézzük (13)-at, hogy milyen feltételnek kell teljesülnie a következtetéshez egy olyan determináns esetében, amely jobbmonoton növekvő, akkor látjuk, hogy keresnünk kell egy másik lokatívuszi frázist, amelynek a denotációja egy nagyobb entitáshalmaz lesz. Ez kétféleképpen lehetséges. Az egyik lehetőség, egy olyan szituáció, amit a 3. ábrán láttunk, a másik lehetőséget a lokalizátorok pontmonotonitása biztosítja. Ahhoz, hogy ezt meg lehessen mutatni, Zwarts & Winter (2000: 183) monotonitásra adott definícióját (19) Mador-Haim & Winter (2007: 8) loc -1 függvényével kiegészítve fogom használni. Ez a kiegészítés nem befolyásolja a lokalizátor monotonitását, mivel maga is monoton: ha két lokatívuszi frázis denotációját alkotó ponthalmaz részhalmaz relációban áll egymással, akkor ugyanilyen relációban állnak egymással a loc -1 függvény eredményeként kapott entitáshalmazok is, azaz egy nagyobb térdarab legalább annyi entitást foglal magába, mint egy kisebb, melyet a nagyobb térdarab magába foglal. (42) P e (A) P e (B) loc -1 P e (A) loc -1 P e (B) A -ban pontmonoton növekvő, vagyis (19) és (42) alapján: (43) loc(szoba) loc(ház) loc -1 (BAN( loc(szoba))) loc -1 (BAN(loc(HÁZ))) Ezek alapján a (34) következtetés a (13) szabályt alkalmazva a következőképpen formalizálható: (44) { ANDRIS, VIKI, MATYI, LILI, ZOZI } loc -1 (BAN(loc(SZOBA))) loc -1 (BAN( loc(szoba))) loc -1 (BAN(loc(HÁZ))). { ANDRIS, VIKI, MATYI, LILI, ZOZI } loc -1 (BAN(loc(HÁZ))) 9 A halmazok elemeit általában kisbetűkkel szokás jelölni, azonban példáimban szükség van az entitások téri tulajdonságaira is (hogy a loc függvényt alkalmazni tudjuk), valamint azt is jelezni szeretném, hogy a halmaz elemei téri tulajdonságaikat tekintve ugyanolyan típusúak, mint a viszonyítási objektum, amit Mador-Haim Winter (2007) nagybetűvel jelöl, ezért használok én is a halmaz elemeinek jelölésére nagybetűket.
14 96 Ha igaz az az állítás, hogy Minden gyerek a szobában van, azaz teljesül (44) első sora (a (13) szabályban D(P,X)-nek felel meg), és teljesül (44) második sora is, mivel a -ban rag pontmonoton növekvő (ez a (13) szabályban a X Y feltétel), akkor következtethetünk a Minden gyerek a házban van állítás igazságára ((44) harmadik sora). Ezt a feltételt (X Y ) egy szituáció is biztosítani tudja, ahogyan azt a 3. ábrán láthattuk. A (31) (32) következtetés formális elemzését mutatja (45), melynek szintén a (13) szabály az alapja. (45) {MACSKA} loc -1 (ALATT(loc(PAD))) loc -1 (ALATT(loc(PAD))) loc -1 (MÖGÖTT(loc(HÁZ))) {MACSKA} loc -1 (MÖGÖTT(loc(HÁZ))) (45) első sora tartalmazza a A macska a pad alatt van állítás igazságfeltételét, mégpedig a határozott névelő denotációjának Barwise & Cooper (1981: 169) által adott definíciója alapján. A második sor foglalja magába azt a relációt, mely a 3. ábrán rögzített szituációban a pad alatt és a ház mögött lokatívuszi frázisok denotációi között fennáll, kielégítve ezzel a determináns jobbmonotonitásán alapuló következtetés feltételét. Ha igaz az az állítás, hogy A macska a pad alatt van, és a szituáció olyan, hogy teljesül a lokatívuszi frázisok denotációi között a részhalmaz reláció, akkor fennáll A macska a ház mögött van állítás igazsága, azaz érvényes a következtetés. Hasonlóan alakul a következtetés a (35) és (36) példák esetében. A legalább egy valamint a néhány determinánsok interpretációja az általánosított kvantorok elméletében: (46) [[néhány]](a) = {X A X } (35), illetve (36) esetében a következtetés magyarázata: (47) { ANDRIS, VIKI, MATYI, LILI, ZOZI } loc -1 (BAN(loc(SZOBA))) loc -1 (BAN( loc(szoba))) loc -1 (BAN(loc(HÁZ))). { ANDRIS, VIKI, MATYI, LILI, ZOZI } loc -1 (BAN(loc(HÁZ))) (47) első sora a Legalább egy gyerek/néhány gyerek a szobában van állítások igazságfeltételét adja meg, a második sora a -ban rag pontmonoton növekvő tulajdonságából következik, a harmadik sor tartalmazza a következtetést. 5.2 A 2. eset elemzése 2. a lokalizált objektumot kifejező DP determinánsa jobbmonoton növekvő (a, egy, minden, néhány), és a lokatívuszi rag pontmonoton csökkenő (kívül); Példák: Az alábbi ábrákkal illusztrált szituációkról a (48) (51) állításokat tehetjük.
15 97 4. ábra (48) A pötty a körön kívül van. A pötty a háromszögön kívül van. (49) Legalább egy pötty a körön kívül van. Legalább egy pötty a háromszögön kívül van. 5. ábra (50) Minden pötty a körön kívül van. Minden pötty a háromszögön kívül van. (51) Néhány pötty a körön kívül van. Néhány pötty a háromszögön kívül van. Az (48) (51) következtetések szintén a (13) szabály szerint működnek, mivel a lokalizált objektumokra utaló DP determinánsa ezekben jobbmonoton növekvő. Mégis, mivel ezekben az esetekben a lokalizátor monotonitása pontmonoton csökkenő, máshogyan tudunk a viszonyítási objektumokra nézve következtetést levonni. Ezekben az esetekben egyre kisebb viszonyítási objektumokra nézve marad meg az állítás igazsága. A kívül pontmonoton csökkenő, vagyis (19) és (42) alapján fennáll (52) a 4. és 5. ábrán látható szituációkban. (52) loc(háromsz) loc(kör) loc -1 (KÍVÜL(loc(KÖR))) loc -1 KÍVÜL(loc(HÁROMSZ))) Az (48) következtetés magyarázatát láthatjuk (53)-ban. Ekkor, ha azt állítjuk, hogy A pötty a körön kívül van, a kívül névutó pontmonoton csökkenése (52) és a határozott névelő jobmonoton növekvő tulajdonsága (13) alapján következtetünk A pötty a háromszögön kívül van állítás igazságára.
16 98 (53) {PÖTTY} loc -1 (KÍVÜL(loc(KÖR))) loc -1 (KÍVÜL(loc(KÖR))) loc -1 KÍVÜL(loc(HÁROMSZÖG))) {PÖTTY} loc -1 KÍVÜL(loc(HÁROMSZÖG))) (54)-ben a Legalább egy pötty/néhány pötty a körön kívül van és a Legalább egy pötty/néhány pötty a háromszögön kívül van állítások közötti következtetések formális magyarázata látható. (54) {PÖTTY 1,,...PÖTTY n} loc -1 (KÍVÜL(loc(KÖR))) loc -1 (KÍVÜL(loc(KÖR))) loc -1 KÍVÜL(loc(HÁROMSZÖG))) {PÖTTY 1,,...PÖTTY n} loc -1 KÍVÜL(loc(HÁROMSZÖG))) (55)-ben a Minden pötty a körön kívül van állítás igazságából a minden determináns jobmonoton növekvő tulajdonsága és a kívül névutó pontmonoton csökkenő tulajdonsága alapján következtetünk a Minden pötty a háromszögön kívül van állítás igazságára az 5. ábrán bemutatott szituációban. (55) {PÖTTY 1,,...PÖTTY n} loc -1 (KÍVÜL(loc(KÖR))) loc -1 (KÍVÜL(loc(KÖR))) loc -1 KÍVÜL(loc(HÁROMSZÖG))) {PÖTTY 1,,...PÖTTY n} loc -1 KÍVÜL(loc(HÁROMSZÖG))) 5.3 A 3. eset elemzése 3. a lokalizált objektumot kifejező DP determinánsa jobbmonoton csökkenő (legfeljebb n, kevés 10 ), és a lokatívuszi rag pontmonoton növekvő (-ban); Példák: (56) Legfeljebb öt gyerek van a házban. Legfeljebb öt gyerek van szobában. (57) Kevés gyerek van a házban. Kevés gyerek van szobában. Magyarázat: (58) { ANDRIS, VIKI, MATYI, LILI, ZOZI } loc -1 (BAN(loc(HÁZ))) 5 loc -1 (BAN( loc(szoba))) loc -1 (BAN(loc(HÁZ))). { ANDRIS, VIKI, MATYI, LILI, ZOZI } loc -1 (BAN(loc(SZOBA))) 5 Ha a gyerek kifejezés denotációját alkotó halmaz és a házban lokatívuszi frázis denotációját alkotó halmaz vagyis a házban levő entitások halmazának metszete kevesebb mint 5 elemet tartalmaz, akkor a gyerekek halmazát metszve egy olyan halmazzal, mely a házban levő entitások halmazának részhalmaza, biztos, hogy ez az új metszet nem tartalmazhat 5 elemnél többet. Tehát a következtetés helyes. Itt a (15) szabályt alkalmaztuk, ami a jobbmonoton csökkenő determinánsokra vonatkozik. 10 [[kevés]](a)={x X A n}
17 A 4. eset elemzése 4. a lokalizált objektumot kifejező DP determinánsa jobbmonoton csökkenő (legfeljebb n, kevés), és a lokatívuszi rag pontmonoton csökkenő (kívül) Példák: (59) Legfeljebb hat pötty van a háromszögön kívül. Legfeljebb hat pötty van a körön kívül. (60) Kevés pötty van a háromszögön kívül. Kevés pötty van a körön kívül. Elemzés: (61) {P 1, P 2,...P n} loc -1 (KÍVÜL(loc(HÁROMSZ))) 6 loc -1 (KÍVÜL(loc(KÖR))) loc -1 KÍVÜL(loc(HÁROM SZ))) {P 1, P 2,...P n} loc -1 KÍVÜL(loc(KÖR))) 6 Az elemzésben szintén a jobbmonoton csökkenő determinánsokra vonatkozó (15) szabályt alkalmaztuk, mint (58)-ban. Itt is a kisebb halmazra vonatkozóan tudunk következtetést levonni (loc -1 (KÍVÜL(loc(KÖR))), de mivel ebben a példában pontmonoton csökkenő lokalizátor szerepel, ezért ez a következtetés a nagyobb viszonyítási objektumra ami a példában a kör vonatkozik. 5.5 Az 5. és a 6. esetek elemzése 5. a lokalizált objektumot kifejező DP determinánsa nem monoton (páros számú), és a lokatívuszi rag pontmonoton csökkenő (kívül) vagy pontmonoton növekvő (-ban) 6. a lokalizált objektumot kifejező DP determinánsa jobbmonoton növekvő (minden, néhány), vagy jobbmonoton csökkenő (legfeljebb n, kevés), és a lokatívuszi rag nem monoton (mögött) Példák: (62) Páros számú pötty van a körön kívül. <=/=> Páros számú pötty van a háromszögön kívül. (63) Páros számú gyerek van a szobában. <=/=> Páros számú gyerek van a házban. (64) Minden autó a ház mögött van.? (65) Legfeljebb 5 autó van a ház mögött.? (62) és (63) esetében nincs olyan szabály mivel a páros számú determináns nem monoton, amely alkalmazható lenne, vagyis nem tud mibe illeszkedni a rag/névutó monotonitására vonatkozó szabály. (64) és (65) esetében pedig a (13), illetve (15) szabályt alkalmazhatnánk a korábbi példákhoz hasonlóan, de nincs, ami kielégítse a determináns jobb oldali argumentumára vonatkozó feltételt. (Kivéve, ha éppen olyan a szituáció, mint azt a (31) (32) következtetésben láttuk.)
18 100 6 Összegzés A dolgozatban arra a kérdésre kerestem választ a lokatívuszi ragok, névutók monotonitási tulajdonságán alapuló következtetések vizsgálatán keresztül, hogy a lokatívuszi ragok, névutók általánosságban fordíthatók-e egy logikai nyelvre kétargumentumú predikátumokként. A gondolatmenet a következő volt: ha feltételezzük, hogy kétargumentumú predikátumokként interpretálhatók, akkor a monotonitáson alapuló következtetések irányát minden esetben az adott lokatívuszi rag, névutó monotonitásának iránya határozná meg. Ez azt jelenti, hogy pontmonoton növekvő rag vagy névutó esetén mindig a nagyobb viszonyítási objektumot tartalmazó állítás igazságára tudnánk következtetni. Pontmonoton csökkenő lokatívuszi rag, névutó esetében pedig a kisebb viszonyítási objektumokat tartalmazó állítások igazságára. Azonban, mint a fent bemutatott és alább összefoglalt vizsgálatok mutatják, ez nem így van; következésképpen a lokatívuszi ragok, névutók szemantikai szempontból nem tekinthetők kétargumentumú predikátumoknak. Más megoldást kell keresni, ami további kutatások tárgya lehet. Ebben a dolgozatban megmutattam, hogy a lokatívuszi ragok, névutók monotonitási tulajdonsága milyen szerepet játszik a következtetésekben. Összefoglaltam, hogy a természetes logikában hogyan tükröződik a monotonitás szerepe a következtetésekben. Kitértem arra is, hogy a monotonitás általános elve hogyan fogalmazható meg speciális esetekre, valamint arra, hogy a monotonitás alapja a rendezési reláció. A természetes logika elveit, Barwise & Cooper (1981) determinánsok denotációira adott definícióit, valamint Zwarts & Winter (2000) és Mador-Haim & Winter (2007) modelljét használva bemutattam, hogy azokban az egyszerű mondatokban, melyekben egy DP, egy kopula és egy lokatívuszi frázis szerepel, az alanyi pozícióban levő DP determinánsának a monotonitása határozza meg a következtetések irányát, a lokalizátorok monotonitása pedig a lokalizált objektumnak megfelelő DP determinánsának jobboldali monotonitásán alapuló következtetések szükséges feltételét elégíti ki. Megmutattam azt is, hogy ezt a feltételt akár egy adott szituáció is kielégítheti. Az alábbi pontokban összegzem, hogyan kapcsolódik egymáshoz a determinánsok és lokalizátorok monotonitása. 1. A mondat igazságértékének megőrzésében nem kizárólagos szereppel rendelkezik a lokalizátorok pontmonotonitási tulajdonsága, hanem egyszerre befolyásolja azt a lokalizált objektumo(ka)t kifejező DP determinánsának monotonitási tulajdonságával, ahogyan azt az alábbi (i-iv) pontokban összefoglalom: 2. A lokalizátorok monotonitási tulajdonságainak fontos szerepe van a következtetésekben: i. ha a lokalizált objektumot kifejező DP determinánsa jobbmonoton növekvő, akkor a következtetés iránya megegyezik a lokalizátor monotonitásának irányával: pontmonoton növekvő lokalizátor esetén a viszonyítási objektum növelésével; pontmonoton csökkenő lokalizátor esetén viszonyítási objektum csökkentésével. ii. ha a lokalizált objektumot kifejező DP determinánsa jobbmonoton csökkenő, akkor a következtetés iránya megváltozik: pontmonoton növekvő lokalizátor esetén a viszonyítási objektum csökkentésével, pontmonoton csökkenő lokalizátor esetén viszonyítási objektum növelésével juthatunk igazságmegőrző következtetéshez. iii. ha a lokalizált objektumot kifejező DP determinánsa nem jobbmonoton, akkor ez blokkolja a következtetést, a lokalizátor monotonitása önmagában nem elég a következtetés helyességéhez.
19 101 iv. önmagában a determinánsok monotonitása sem elegendő ezekben a mondatokban a következtetésekhez. A nem monoton lokalizátor szintén blokkolja a következtetést, még ha a determináns jobbmonoton is. Irodalom Barwise, J. & Cooper, R. (1981): Generalized Quantifiers and Natural Language. Linguistics and Philosophy 4, van Benthem, J. (2008): A brief history of natural logic. In: Chakraborty, M., Löwe, B., Nath Mitra, M. & Sarukkai, S. (eds.): Logic, Navya-Nyaya & Applications, Homage to Bimal Krishna Matilal. London: College Publications. van Eijk, J. (2007): Natural Logic for Natural Language. Lecture Notes in Computer Science, Vol. 4363/2007, (letöltés: ) Geurts, B. (2003): Reasoning with quantifiers. Cognition 86, Geurts, B. (2003): Monotonicity and Syllogistic Inference: a reply to Newstead. Cognition 90, Herskovits, A. (1985): Semantics and Pragmatics of Locative Expressions. Cognitive Science 9, Herskovits, A. (1986): Language and Spatial Cognition: An Interdisciplinary study of the Preposition in English. Cambridge: Cambridge University Press. Kracht, M. (2002): On the Semantics of Locatives. Linguistics and Philosophy 25, Langacker, R.W. (1986): An introduction to Cognitive Grammar. Cognitive Science 10, Mador-Haim, S. & Winter, Y. (2007): Non-existential indefinites and semantic incorporation of PP complements. In: Gibson, M. & Friedman, T. (eds.): Proceedings of Semantics and Linguistic Theory, SALT17. CLC Publications. Cornell University, Ithaca, NY. (letöltés: ) Talmy, L. (1983): How language structures space. In: Pick, H.L. Jr. & Acredolo, L.P. (eds.): Spatial orientation: Theory, research and application. Plenum, NY Tóth, Cs. (2007): Kollektivitás és disztributivitás vizsgálata a magyar statikus helyhatározóragok és névutók körében. Nyelvtudományi Közlemények 104, Tóth, Cs. (2010): A magyar statikus helyhatározóragok/névutók denotációs tulajdonságai egy vektortér-modellben. Lingdok 9. Szeged: JATEPress, Zwarts, J-Winter, Y. (2000): Vector Space Semantics: a Modeltheoretic Analysis of Locative Prepositions. Journal of Logic, Language and Information 9, Tóth Csilla Szegedi Tudományegyetem, Általános Nyelvészeti Tanszék H-6722 Szeged Egyetem u. 2. csillto@gmail.com
A magyar statikus lokatívuszi kifejezések szemantikai struktúrái
SZEGEDI TUDOMÁNYEGYETEM BÖLCSÉSZETTUDOMÁNYI KAR PHD ÉRTEKEZÉS Tóth Csilla A magyar statikus lokatívuszi kifejezések szemantikai struktúrái NYELVTUDOMÁNYI DOKTORI ISKOLA ELMÉLETI NYELVÉSZET PROGRAM TÉMAVEZETŐ:
Logika nyelvészeknek, 11. óra A kvantifikáció kezelése a klasszikus és az általánosított kvantifikációelméletben
Logika nyelvészeknek, 11. óra A kvantifikáció kezelése a klasszikus és az általánosított kvantifikációelméletben I. A kvantifikáció a klasszikus Frege-féle kvantifikációelméletben A kvantifikáció klasszikus
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.
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. Az L 1 elsőrendű nyelvben csak bizonyos típusú funktoraink voltak: ami
f(x) vagy f(x) a (x x 0 )-t használjuk. lim melyekre Mivel itt ɛ > 0 tetszőlegesen kicsi, így a a = 0, a = a, ami ellentmondás, bizonyítva
6. FÜGGVÉNYEK HATÁRÉRTÉKE ÉS FOLYTONOSSÁGA 6.1 Függvény határértéke Egy D R halmaz torlódási pontjainak halmazát D -vel fogjuk jelölni. Definíció. Legyen f : D R R és legyen x 0 D (a D halmaz torlódási
KOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I. 4 IV. FÜGGVÉNYEk 1. LEkÉPEZÉSEk, függvények Definíció Legyen és két halmaz. Egy függvény -ből -ba egy olyan szabály, amely minden elemhez pontosan egy elemet rendel hozzá. Az
Logika es sz am ıt aselm elet I. r esz Logika Negyedik el oad as 1/26
1/26 Logika és számításelmélet I. rész Logika Negyedik előadás Tartalom 2/26 Az elsőrendű logika szemantikája Formulák és formulahalmazok szemantikus tulajdonságai Elsőrendű logikai nyelv interpretációja
Elsőrendű logika. Mesterséges intelligencia március 28.
Elsőrendű logika Mesterséges intelligencia 2014. március 28. Bevezetés Ítéletkalkulus: deklaratív nyelv (mondatok és lehetséges világok közti igazságrelációk) Részinformációkat is kezel (diszjunkció, negáció)
Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé.
HA 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) HA 2 Halmazok HA 3 Megjegyzések A halmaz, az elem és az eleme fogalmakat nem definiáljuk, hanem alapfogalmaknak
Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 1
Halmazok 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 2 A fejezet legfontosabb elemei Halmaz megadási módjai Halmazok közti műveletek (metszet,
A logikai következmény
Logika 3 A logikai következmény A logika egyik feladata: helyes következtetési sémák kialakítása. Példa következtetésekre : Minden veréb madár. Minden madár gerinces. Minden veréb gerinces 1.Feltétel 2.Feltétel
AZ INFORMATIKA LOGIKAI ALAPJAI
AZ INFORMATIKA LOGIKAI ALAPJAI Előadó: Dr. Mihálydeák Tamás Sándor Gyakorlatvezető: Kovács Zita 2017/2018. I. félév 4. gyakorlat Interpretáció A ϱ függvényt az L (0) = LC, Con, Form nulladrendű nyelv egy
LOGIKA ÉS ÉRVELÉSTECHNIKA
LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika NULLADREND LOGIKA 1. Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Ruzsa
minden x D esetén, akkor x 0 -at a függvény maximumhelyének mondjuk, f(x 0 )-at pedig az (abszolút) maximumértékének.
Függvények határértéke és folytonossága Egy f: D R R függvényt korlátosnak nevezünk, ha a függvényértékek halmaza korlátos. Ha f(x) f(x 0 ) teljesül minden x D esetén, akkor x 0 -at a függvény maximumhelyének
Diszkrét matematika I.
Diszkrét matematika I. középszint 2013 ősz 1. Diszkrét matematika I. középszint 8. előadás Mérai László merai@compalg.inf.elte.hu compalg.inf.elte.hu/ merai Komputeralgebra Tanszék 2013 ősz Kombinatorika
Elsőrendű logika szintaktikája és szemantikája. Logika (3. gyakorlat) 0-adrendű szemantika 2009/10 II. félév 1 / 1
Elsőrendű logika szintaktikája és szemantikája Logika és számításelmélet, 3. gyakorlat 2009/10 II. félév Logika (3. gyakorlat) 0-adrendű szemantika 2009/10 II. félév 1 / 1 Az elsőrendű logika Elemek egy
Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) Egy halmaz akkor adott, ha minden objektumról eldönthető, hogy
1. előadás: Halmazelmélet Szabó Szilárd Halmazok Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) összessége. Egy halmaz akkor adott, ha minden objektumról eldönthető, hogy hozzátartozik-e,
1. Mondjon legalább három példát predikátumra. 4. Mikor van egy változó egy kvantor hatáskörében?
Definíciók, tételkimondások 1. Mondjon legalább három példát predikátumra. 2. Sorolja fel a logikai jeleket. 3. Milyen kvantorokat ismer? Mi a jelük? 4. Mikor van egy változó egy kvantor hatáskörében?
Ohnmacht Magdolna A progresszív aspektus mint temporális determináns-függvény. Tézisek
Ohnmacht Magdolna A progresszív aspektus mint temporális determináns-függvény Tézisek Témavezető: Dr. Maleczki Márta Szegedi Tudományegyetem Nyelvtudományi Doktori Iskola Elméleti nyelvészet program 2012,
1. előadás: Halmazelmélet, számfogalom, teljes
1. előadás: Halmazelmélet, számfogalom, teljes indukció Szabó Szilárd Halmazok Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) összessége. Egy halmaz akkor adott, ha minden objektumról eldönthető,
A magyar létige problémái a számítógépes nyelvi elemzésben
A magyar létige problémái a számítógépes nyelvi elemzésben Dömötör Andrea PPKE BTK Nyelvtudományi Doktori Iskola Nyelvtechnológia Műhely Témavezető: Prószéky Gábor Komplex vizsga 2018. jún. 1. Létige:
Halmazelmélet. 1. előadás. Farkas István. DE ATC Gazdaságelemzési és Statisztikai Tanszék. Halmazelmélet p. 1/1
Halmazelmélet 1. előadás Farkas István DE ATC Gazdaságelemzési és Statisztikai Tanszék Halmazelmélet p. 1/1 A halmaz fogalma, jelölések A halmaz fogalmát a matematikában nem definiáljuk, tulajdonságaival
Csima Judit október 24.
Adatbáziskezelés Funkcionális függőségek Csima Judit BME, VIK, Számítástudományi és Információelméleti Tanszék 2018. október 24. Csima Judit Adatbáziskezelés Funkcionális függőségek 1 / 1 Relációs sémák
Adatbázisok elmélete 12. előadás
Adatbázisok elmélete 12. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu http://www.cs.bme.hu/ kiskat 2005 ADATBÁZISOK ELMÉLETE
Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit.
2. A VALÓS SZÁMOK 2.1 A valós számok aximómarendszere Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit. 1.Testaxiómák R-ben két művelet van értelmezve, az
ismertetem, hogy milyen probléma vizsgálatában jelent meg ez az eredmény. A kérdés a következő: Mikor mondhatjuk azt, hogy bizonyos események közül
A Borel Cantelli lemma és annak általánosítása. A valószínűségszámítás egyik fontos eredménye a Borel Cantelli lemma. Először informálisan ismertetem, hogy milyen probléma vizsgálatában jelent meg ez az
Predikátumkalkulus. 1. Bevezet. 2. Predikátumkalkulus, formalizálás. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák.
Predikátumkalkulus Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. 1. Bevezet Nézzük meg a következ két kijelentést: Minden almához tartozik egy fa, amir l leesett. Bármely
Diszkrét matematika I.
Diszkrét matematika I. középszint 2014. ősz 1. Diszkrét matematika I. középszint 2. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Matematikai logika Diszkrét matematika I. középszint
1. A matematikai logika alapfogalmai. 2. A matematikai logika műveletei
1. A matematikai logika alapfogalmai Megjegyzések: a) A logikában az állítás (kijelentés), valamint annak igaz vagy hamis voltát alapfogalomnak tekintjük, nem definiáljuk. b) Minden állítással kapcsolatban
1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata.
1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata. HLMZOK halmaz axiomatikus fogalom, nincs definíciója. benne van valami a halmazban szintén axiomatikus fogalom,
FÜGGVÉNYTANI ALAPOK A) ÉRTELMEZÉSI TARTOMÁNY
FÜGGVÉNYTANI ALAPOK Foglalkoztunk az alaptulajdonságnak tekinthető értelmezési tartománnyal, és a paritással, továbbá az összetett függvények képzési módjával, illetve ezeknek az elemi függvényekre való
Függvények július 13. f(x) = 1 x+x 2 f() = 1 ()+() 2 f(f(x)) = 1 (1 x+x 2 )+(1 x+x 2 ) 2 Rendezés után kapjuk, hogy:
Függvények 015. július 1. 1. Feladat: Határozza meg a következ összetett függvényeket! f(x) = cos x + x g(x) = x f(g(x)) =? g(f(x)) =? Megoldás: Összetett függvény el állításához a küls függvényben a független
Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus
Ítéletkalkulus Logikai alapfogalmak, m veletek, formalizálás, logikai ekvivalencia, teljes diszjunktív normálforma, tautológia. 1. Bevezet A matematikai logikában az állításoknak nem a tényleges jelentésével,
Diszkrét matematika 1. középszint
Diszkrét matematika 1. középszint 2017. sz 1. Diszkrét matematika 1. középszint 3. el adás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
Felügyelt önálló tanulás - Analízis III.
Felügyelt önálló tanulás - Analízis III Kormos Máté Differenciálható sokaságok Sokaságok Röviden, sokaságoknak nevezzük azokat az objektumokat, amelyek egy n dimenziós térben lokálisan k dimenziósak Definíció:
Predikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést.
Predikátumkalkulus Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. 1. Bevezet Vizsgáljuk meg a következ két kijelentést. Minden almához tartozik egy fa, amir l leesett.
Matematikai logika és halmazelmélet
Matematikai logika és halmazelmélet Wettl Ferenc előadása alapján 2015-09-07 Wettl Ferenc előadása alapján Matematikai logika és halmazelmélet 2015-09-07 1 / 21 Tartalom 1 Matematikai kijelentések szerkezete
17. előadás: Vektorok a térben
17. előadás: Vektorok a térben Szabó Szilárd A vektor fogalma A mai előadásban n 1 tetszőleges egész szám lehet, de az egyszerűség kedvéért a képletek az n = 2 esetben szerepelnek. Vektorok: rendezett
Relációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel!
függvények RE 1 Relációk Függvények függvények RE 2 Definíció Ha A, B és ρ A B, akkor azt mondjuk, hogy ρ reláció A és B között, vagy azt, hogy ρ leképezés A-ból B-be. Ha speciálisan A=B, azaz ρ A A, akkor
Nagyságrendek. Kiegészítő anyag az Algoritmuselmélet tárgyhoz. Friedl Katalin BME SZIT február 1.
Nagyságrendek Kiegészítő anyag az Algoritmuselmélet tárgyhoz (a Rónyai Ivanyos Szabó: Algoritmusok könyv mellé) Friedl Katalin BME SZIT friedl@cs.bme.hu 018. február 1. Az O, Ω, Θ jelölések Az algoritmusok
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 1. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Követelmények A tárgy (ea+gyak) teljesítésének követlményeit
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Exponenciális, logaritmikus függvények
Exponenciális, logaritmikus függvények DEFINÍCIÓ: (Összetett függvény) Ha az értékkészlet elemeihez, mint értelmezési tartományhoz egy újabb egyértelmű hozzárendelést adunk meg, akkor összetett (közvetett)
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 1. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Követelmények A tárgy (ea+gyak) teljesítésének követlményeit
ACTA ACADEMIAE PAEDAGOGICAE AGRIENSIS
Separatum ACTA ACADEMIAE PAEDAGOGICAE AGRIESIS OVA SERIES TOM. XXII. SECTIO MATEMATICAE TÓMÁCS TIBOR Egy rekurzív sorozat tagjainak átlagáról EGER, 994 Egy rekurzív sorozat tagjainak átlagáról TÓMÁCS TIBOR
Struktúra nélküli adatszerkezetek
Struktúra nélküli adatszerkezetek Homogén adatszerkezetek (minden adatelem azonos típusú) osztályozása Struktúra nélküli (Nincs kapcsolat az adatelemek között.) Halmaz Multihalmaz Asszociatív 20:24 1 A
Hadamard-mátrixok Előadó: Hajnal Péter február 23.
Szimmetrikus kombinatorikus struktúrák MSc hallgatók számára Hadamard-mátrixok Előadó: Hajnal Péter 2012. február 23. 1. Hadamard-mátrixok Ezen az előadáson látásra a blokkrendszerektől független kombinatorikus
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Függvények
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Függvények A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval az érintett feladatrészek
Bevezetés a nyelvtudományba Mondattan (szintaxis) Kiegészítés
Bevezetés a nyelvtudományba Mondattan (szintaxis) Kiegészítés Az egyszerű mondat szerkezete (É. Kiss 1992) a fő összetevők lehetséges sorrendje: Imre ismeri Erzsit. Erzsit ismeri Imre. Imre Erzsit ismeri.
2. Logika gyakorlat Függvények és a teljes indukció
2. Logika gyakorlat Függvények és a teljes indukció Folláth János Debreceni Egyetem - Informatika Kar 2012/13. I. félév Áttekintés 1 Függvények Relációk Halmazok 2 Természetes számok Formulák Definíció
Logika és informatikai alkalmazásai kiskérdések február Mikor mondjuk, hogy az F formula a G-nek részformulája?
,,Alap kiskérdések Logika és informatikai alkalmazásai kiskérdések 2012. február 19. 1. Hogy hívjuk a 0 aritású függvényjeleket? 2. Definiálja a termek halmazát. 3. Definiálja a formulák halmazát. 4. Definiálja,
Logika es sz am ıt aselm elet I. r esz Logika 1/36
1/36 Logika és számításelmélet I. rész Logika 2/36 Elérhetőségek Tejfel Máté Déli épület, 2.606 matej@inf.elte.hu http://matej.web.elte.hu Tankönyv 3/36 Tartalom 4/36 Bevezető fogalmak Ítéletlogika Ítéletlogika
Hogyan értik a magyar gyerekek a számneveket? Pintér Lilla Gerőcs Mátyás
Hogyan értik a magyar gyerekek a számneveket? Pintér Lilla Gerőcs Mátyás A vizsgált kérdések Érzékenyek-e a magyar anyanyelvű gyerekek a fókuszált és nem fókuszált számneves kifejezések jelentésbeli különbségére?
Diszkrét matematika II., 8. előadás. Vektorterek
1 Diszkrét matematika II., 8. előadás Vektorterek Dr. Takách Géza NyME FMK Informatikai Intézet takach@inf.nyme.hu http://inf.nyme.hu/ takach/ 2007.??? Vektorterek Legyen T egy test (pl. R, Q, F p ). Definíció.
RE 1. Relációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel!
RE 1 Relációk Függvények RE 2 Definíció: Ha A, B és ρ A B, akkor azt mondjuk, hogy ρ reláció A és B között, vagy azt, hogy ρ leképezés A-ból B-be. Ha speciálisan A=B, azaz ρ A A, akkor azt mondjuk, hogy
6. Függvények. Legyen függvény és nem üreshalmaz. A függvényt az f K-ra való kiterjesztésének
6. Függvények I. Elméleti összefoglaló A függvény fogalma, értelmezési tartomány, képhalmaz, értékkészlet Legyen az A és B halmaz egyike sem üreshalmaz. Ha az A halmaz minden egyes eleméhez hozzárendeljük
Kalkulus S af ar Orsolya F uggv enyek S af ar Orsolya Kalkulus
Függvények Mi a függvény? A függvény egy hozzárendelési szabály. Egy valós függvény a valós számokhoz, esetleg egy részükhöz rendel hozzá pontosan egy valós számot valamilyen szabály (nem feltétlen képlet)
f(x) a (x x 0 )-t használjuk.
5. FÜGGVÉNYEK HATÁRÉRTÉKE ÉS FOLYTONOSSÁGA 5.1 Függvény határértéke Egy D R halmaz torlódási pontjainak halmazát D -vel fogjuk jelölni. Definíció. Legyen f : D R R és legyen x 0 D (a D halmaz torlódási
Az optimális megoldást adó algoritmusok
Az optimális megoldást adó algoritmusok shop ütemezés esetén Ebben a fejezetben olyan modellekkel foglalkozunk, amelyekben a munkák több műveletből állnak. Speciálisan shop ütemezési problémákat vizsgálunk.
5. SOR. Üres: S Sorba: S E S Sorból: S S E Első: S E
5. SOR A sor adatszerkezet is ismerős a mindennapokból, például a várakozási sornak számos előfordulásával van dolgunk, akár emberekről akár tárgyakról (pl. munkadarabokról) legyen szó. A sor adattípus
ELŐREHALADÁS TÉRBEN ÉS IDŐBEN
Harmati-Pap Veronika Nyelvészdoktoranduszok 20. Országos Konferenciája 2016. December 1. ELŐREHALADÁS TÉRBEN ÉS IDŐBEN Téri és Idői Referenciakeretvizsgálat a magyar nyelvben 1. Mi az a referenciakeret?
3. Fuzzy aritmetika. Gépi intelligencia I. Fodor János NIMGI1MIEM BMF NIK IMRI
3. Fuzzy aritmetika Gépi intelligencia I. Fodor János BMF NIK IMRI NIMGI1MIEM Tartalomjegyzék I 1 Intervallum-aritmetika 2 Fuzzy intervallumok és fuzzy számok Fuzzy intervallumok LR fuzzy intervallumok
Országos Középiskolai Tanulmányi Verseny 2009/2010 Matematika I. kategória (SZAKKÖZÉPISKOLA) 2. forduló feladatainak megoldása
Oktatási Hivatal Országos Középiskolai Tanulmányi Verseny / Matematika I. kategória (SZAKKÖZÉPISKOLA) 2. forduló feladatainak megoldása. Oldja meg a valós számok legbővebb részhalmazán a egyenlőtlenséget!
Arról, ami nincs A nemlétezés elméletei. 8. Nemlétezőkre vonatkozó mondatok november 4.
Arról, ami nincs A nemlétezés elméletei 8. Nemlétezőkre vonatkozó mondatok 2013. november 4. Tanulságok a múlt óráról A modern szimbolikus logika feltárja a kifejezések valódi szerkezetét, ami nem azonos
Leképezések. Leképezések tulajdonságai. Számosságok.
Leképezések Leképezések tulajdonságai. Számosságok. 1. Leképezések tulajdonságai A továbbiakban legyen A és B két tetszőleges halmaz. Idézzünk fel néhány definíciót. 1. Definíció (Emlékeztető). Relációknak
... és amit kihagytunk a nyelvi cikkből
... és amit kihagytunk a nyelvi cikkből Tordai Renáta, Andréka Hajnal, Németi István Habár azzal az ígérettel zártuk a nyelvről szóló cikket, hogy nemsokára már a relativitás elméletét kezdjük felépíteni,
Gráfelmélet. I. Előadás jegyzet (2010.szeptember 9.) 1.A gráf fogalma
Készítette: Laczik Sándor János Gráfelmélet I. Előadás jegyzet (2010.szeptember 9.) 1.A gráf fogalma Definíció: a G=(V,E) párt egyszerű gráfnak nevezzük, (V elemeit a gráf csúcsainak/pontjainak,e elemeit
Logika es sz am ıt aselm elet I. r esz Logika Harmadik el oad as 1/33
1/33 Logika és számításelmélet I. rész Logika Harmadik előadás Tartalom 2/33 Elsőrendű logika bevezetés Az elsőrendű logika szintaxisa 3/33 Nulladrendű állítás Az ítéletlogikában nem foglalkoztunk az álĺıtások
Válasz Pólos László opponensi véleményére Demeter Márton: A jel, a kép és az Ikon című PhD disszertációjáról
Válasz Pólos László opponensi véleményére Demeter Márton: A jel, a kép és az Ikon című PhD disszertációjáról Mindenekelőtt köszönöm Pólos professzor széleskörű, logikai, szemiotikai, nyelvészeti és filológiai
Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus
Ítéletkalkulus Logikai alapfogalmak, m veletek, formalizálás, logikai ekvivalencia, teljes diszjunktív normálforma, tautológia. 1. Bevezet A matematikai logikában az állításoknak nem a tényleges jelentésével,
Halmazelméleti alapfogalmak
Halmazelméleti alapfogalmak halmaz (sokaság) jól meghatározott, megkülönböztetett dolgok (tárgyak, fogalmak, stb.) összessége. - halmaz alapfogalom. z azt jelenti, hogy csak példákon keresztül magyarázzuk,
Egészrészes feladatok
Kitűzött feladatok Egészrészes feladatok Győry Ákos Miskolc, Földes Ferenc Gimnázium 1. feladat. Oldjuk meg a valós számok halmazán a { } 3x 1 x+1 7 egyenletet!. feladat. Bizonyítsuk be, hogy tetszőleges
Vektorterek. Több esetben találkozhattunk olyan struktúrával, ahol az. szabadvektorok esetében, vagy a függvények körében, vagy a. vektortér fogalma.
Vektorterek Több esetben találkozhattunk olyan struktúrával, ahol az összeadás és a (valós) számmal való szorzás értelmezett, pl. a szabadvektorok esetében, vagy a függvények körében, vagy a mátrixok esetében.
4. Fuzzy relációk. Gépi intelligencia I. Fodor János NIMGI1MIEM BMF NIK IMRI
4. Fuzzy relációk Gépi intelligencia I. Fodor János BMF NIK IMRI NIMGI1MIEM Tartalomjegyzék I 1 Klasszikus relációk Halmazok Descartes-szorzata Relációk 2 Fuzzy relációk Fuzzy relációk véges alaphalmazok
A MAGYAR REKURZÍV BIRTOKOS SZERKEZET ELSAJÁTÍTÁSA A NEMZETKÖZI KUTATÁSOK TÜKRÉBEN
A MAGYAR REKURZÍV BIRTOKOS SZERKEZET ELSAJÁTÍTÁSA A NEMZETKÖZI KUTATÁSOK TÜKRÉBEN Tóth Ágnes Pázmány Péter Katolikus Egyetem MTA Nyelvtudományi Intézet KÍSÉRLETI HIPOTÉZIS, MEGVÁLASZOLANDÓ KÉRDÉSEK 1.
Programok értelmezése
Programok értelmezése Kód visszafejtés. Izsó Tamás 2016. szeptember 22. Izsó Tamás Programok értelmezése/ 1 Section 1 Programok értelmezése Izsó Tamás Programok értelmezése/ 2 programok szemantika értelmezése
A 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny döntő forduló MATEMATIKA III. KATEGÓRIA (a speciális tanterv szerint haladó gimnazisták)
A 205/206. tanévi Országos Középiskolai Tanulmányi Verseny döntő forduló MATEMATIKA III. KATEGÓRIA a speciális tanterv szerint haladó gimnazisták Javítási-értékelési útmutató. feladat Az {,2,...,n} halmaz
Matematikai logika NULLADRENDŰ LOGIKA
Matematikai logika NULLADRENDŰ LOGIKA Kijelentő mondatokhoz, melyeket nagy betűkkel jelölünk, interpretáció (egy függvény) segítségével igazságértéket rendelünk (I,H). Szintaxisból (nyelvtani szabályok,
Menet. A konfirmáció Hempel paradoxonai. Hempel véleménye a konformációs paradoxonokról
1 Kvalitatív konfirmáció Menet Konfirmációs kritériumok 2 A konfirmáció Hempel paradoxonai Hempel véleménye a konformációs paradoxonokról Hempel konfirmáció fogalma A konfirmáció problémája: 3 Mit jelent
Sorozatok I. Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma)
Sorozatok I. DEFINÍCIÓ: (Számsorozat) A számsorozat olyan függvény, amelynek értelmezési tartománya a pozitív egész számok halmaza, értékkészlete a valós számok egy részhalmaza. Jelölés: (a n ), {a n }.
3. Magyarország legmagasabb hegycsúcsa az Istállós-kő.
1. Bevezetés A logika a görög,,logosz szóból származik, melynek jelentése gondolkodás, beszéd, szó. A logika az emberi gondolkodás vizsgálatával foglalkozik, célja pedig a gondolkodás során használt helyes
Elliptikus listák jogszabályszövegekben
Szeged, 2015. január 15 16. 273 Elliptikus listák jogszabályszövegekben Hamp Gábor 1, Syi 1, Markovich Réka 2,3 1 BME Szociológia és Kommunikáció Tanszék 1111 Budapest, Egry József u. 1. hampg@eik.bme.hu,
6. Függvények. 1. Az alábbi függvények közül melyik szigorúan monoton növekvő a 0;1 intervallumban?
6. Függvények I. Nulladik ZH-ban láttuk: 1. Az alábbi függvények közül melyik szigorúan monoton növekvő a 0;1 intervallumban? f x g x cos x h x x ( ) sin x (A) Az f és a h. (B) Mindhárom. (C) Csak az f.
Bevezetés a matematikába (2009. ősz) 1. röpdolgozat
Bevezetés a matematikába (2009. ősz) 1. röpdolgozat 1. feladat. Fogalmazza meg a következő ítélet kontrapozícióját: Ha a sorozat csökkenő és alulról korlátos, akkor konvergens. 2. feladat. Vezessük be
A gyerekek mindig pontosan értik a számneveket? Pintér Lilla Gerőcs Mátyás
A gyerekek mindig pontosan értik a számneveket? Pintér Lilla Gerőcs Mátyás A vizsgált kérdések Hogyan értelmezik az óvodáskorú gyerekek a számneves kifejezéseket tartalmazó mondatokat? Milyen értelmezésbeli
FÜGGVÉNYEK. A derékszögű koordináta-rendszer
FÜGGVÉNYEK A derékszögű koordináta-rendszer Az. jelzőszámot az x tengelyről, a 2. jelzőszámot az y tengelyről olvassuk le. Pl.: A(-3;-) B(3;2) O(0;0) II. síknegyed I. síknegyed A (0; 0) koordinátájú pontot
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Függvények
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Függvények A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval az érintett feladatrészek
Determinánsok. A determináns fogalma olyan algebrai segédeszköz, amellyel. szolgáltat az előbbi kérdésekre, bár ez nem mindig hatékony.
Determinánsok A determináns fogalma olyan algebrai segédeszköz, amellyel jól jellemezhető a mátrixok invertálhatósága, a mátrix rangja. Segítségével lineáris egyenletrendszerek megoldhatósága dönthető
Matematika alapjai; Feladatok
Matematika alapjai; Feladatok 1. Hét 1. Tekintsük a,, \ műveleteket. Melyek lesznek a.) kommutativok b.) asszociativak c.) disztributívak-e a, műveletek? Melyik melyikre? 2. Fejezzük ki a műveletet a \
MATE-INFO UBB verseny, március 25. MATEMATIKA írásbeli vizsga
BABEŞ-BOLYAI TUDOMÁNYEGYETEM, KOLOZSVÁR MATEMATIKA ÉS INFORMATIKA KAR MATE-INFO UBB verseny, 218. március 25. MATEMATIKA írásbeli vizsga FONTOS TUDNIVALÓK: 1 A feleletválasztós feladatok,,a rész esetén
Általános algoritmustervezési módszerek
Általános algoritmustervezési módszerek Ebben a részben arra mutatunk példát, hogy miként használhatóak olyan általános algoritmustervezési módszerek mint a dinamikus programozás és a korlátozás és szétválasztás
KOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I. 1 I. HALmAZOk 1. JELÖLÉSEk A halmaz fogalmát tulajdonságait gyakran használjuk a matematikában. A halmazt nem definiáljuk, ezt alapfogalomnak tekintjük. Ez nem szokatlan, hiszen
Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika
Logika Indukció: A fogalomalkotásnak azt a módját, amikor a konkrét tapasztalatokra támaszkodva jutunk el az általános fogalomhoz, indukciónak nevezzük. Dedukció: A fogalomalkotásnak azt a módját, amikor
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 2. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Diszkrét matematika 2.C szakirány
Diszkrét matematika 2.C szakirány 2017. tavasz 1. Diszkrét matematika 2.C szakirány 4. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2017.
1. Homogén lineáris egyenletrendszer megoldástere
X HOMOGÉN LINEÁRIS EGYENLET- RENDSZEREK 1 Homogén lineáris egyenletrendszer megoldástere Homogén lineáris egyenletrendszer definíciója már szerepelt Olyan lineáris egyenletrendszert nevezünk homogénnek,
VEKTORTEREK I. VEKTORTÉR, ALTÉR, GENERÁTORRENDSZER október 15. Irodalom. További ajánlott feladatok
VEKTORTEREK I. VEKTORTÉR, ALTÉR, GENERÁTORRENDSZER 2004. október 15. Irodalom A fogalmakat, definíciókat illetően két forrásra támaszkodhatnak: ezek egyrészt elhangzanak az előadáson, másrészt megtalálják
Formális szemantika. Kifejezések szemantikája. Horpácsi Dániel ELTE Informatikai Kar
Formális szemantika Kifejezések szemantikája Horpácsi Dániel ELTE Informatikai Kar 2016-2017-2 Az előadás témája Egyszerű kifejezések formális szemantikája Az első lépés a programozási nyelvek szemantikájának
Hódmezővásárhelyi Városi Matematikaverseny április 14. A osztályosok feladatainak javítókulcsa
Hódmezővásárhelyi Városi Matematikaverseny 2003. április 14. A 11-12. osztályosok feladatainak javítókulcsa 1. feladat Egy számtani sorozatot az első eleme és különbsége egyértelműen meghatározza, azt
2014. szeptember 24. és 26. Dr. Vincze Szilvia
2014. szeptember 24. és 26. Dr. Vincze Szilvia Mind a hétköznapi, mind a tudományos életben gyakran előfordul, hogy bizonyos halmazok elemei között kapcsolat figyelhető meg. A kapcsolat fogalmának matematikai