Kvantifikáció:  xA: az x változó minden értékére igaz, hogy…  a: értelmetlen. (Megállapodás volt: ̒a’, ̒b’, … individuumnevek.) Annak sincs értelme,

Slides:



Advertisements
Hasonló előadás
Predikátumok Dr. György Anna BMF-NIK Szoftvertechnológia Intézet.
Advertisements

Készítette: Kunkli Zsóka Balásházy MGSZKI Debrecen,
Kondicionális Eddig: Boole-konnektívumok ( , ,  ) Ezek igazságkonnektívumok (truth-functional connectives) A megfelelő köznyelvi konnektívumok: nem.
5. A klasszikus logika kiterjesztése
Miről szól a Katégoriák? Cat.3: „Amikor valamit másvalamiről, mint alanyról állítunk, mindaz, amit az állítmányról mondunk, az alanyról is mondható. Pl.
Matematikai logika.
É: Pali is, Pista is jól sakkozik. T: Nem igaz. É: Bizonyítsd be. Mi nem igaz? T: Nem igaz, hogy Pali jól sakkozik. Nyertem É: Pali vagy Pista.
Logika Miskolci Egyetem Állam- és Jogtudományi Kar
A Venn-diagram használata
Barwise-Etchemendy: Language, Proof and Logic
Kétértékűség és kontextusfüggőség Kijelentéseink igazak vagy hamisak (mindig az egyik és csak az egyik) Kijelentés: kijelentő mondat (tartalma), amivel.
A sztoikus lektonelmélet avagy mi az igazság hordozója? Arisztotelész példái: időtlen mondatok: ‚Minden ló állat’, ‚Egy ember sem kő’. A jellegzetes sztoikus.
Logika Érettségi követelmények:
MI 2003/5 - 1 Tudásábrázolás (tudásreprezentáció) (know- ledge representation). Mondat. Reprezentá- ciós nyelv. Tudás fogalma (filozófia, pszichológia,
Általános lélektan IV. 1. Nyelv és Gondolkodás.
Bizonyítási stratégiák
ARISZTOTELÉSZ (Kr. e ).
Logika 5. Logikai állítások Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 10.
Logika 7. A klasszikus logika kiterjesztése Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 24.
Az érvelés.
1. Bevezetés a tárgy célja: azoknak az eszközöknek és módszereknek a megismertetése és begyakoroltatása, melyek az érvelések megértéséhez, elemzéséhez,
Logika 2. Klasszikus logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 17.
Érvelés, bizonyítás, következmény, helyesség
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Arisztotelész szillogisztikája
Henkin-Hintikka játék (részben ismétlés) Alapfelállás: -Két játékos van, Én és a Természet (TW képviseli). - A játék tárgya egy zárt mondat: P. - Választanom.
I.7: „Világos az is, hogy mindegyik alakzatban, amikor nincs szillogizmus, és mindkettő állító, avagy tagadó, akkor egyáltalán semmi nem lesz szükségszerű.
Első Analitika I.1. Az állításelmélet újrafogalmazása „Protaszisz az a mondat, ami valamit valamiről állít vagy tagad.” „Lehet egyetemes, részleges (en.
Atomi mondatok FOL-ban Atomi mondat általában: amiben egy vagy több dolgot megnevezünk, és ezekről állítunk valamit. Pl: „Jóska átadta a pikk dámát Pistának”
Szillogisztika = logika (következtetéselmélet)? Az An.Post.-ban, és másutt is találunk olyan megjegyzéseket, hogy minden helyes következtetés szillogizmusok.
Nem igaz, hogy a kocka vagy tetraéder. Nem igaz, hogy a kicsi és piros. a nem kocka és nem tetraéder. a nem kicsi vagy nem piros. Általában: "  (A  B)
Függvényjelek (function symbols) (névfunktorok) FOL-ban Névfunktor: olyan kifejezés, amelynek argumentumhelyeire neveket vagy in- változókat lehet írni.
A kvantifikáció igazságfeltételei
„Házasodj meg, meg fogod bánni; ne házasodj meg, azt is meg fogod bánni; házasodj vagy ne házasodj, mindkettőt meg fogod bánni; vagy megházasodsz, vagy.
A kondicionális törvényei
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
A logika centrális fogalmai a kijelentéslogikában Propositional logic Nulladrendű logika Általában Logikai igazság Logikai ekvivalencia Logikai következmény.
(nyelv-családhoz képest!!!
Formális bizonyítások Bizonyítások a Fitch bizonyítási rendszerben: P QRQR S1Igazolás_1 S2Igazolás_2... SnIgazolás_n S Igazolás_n+1 Az igazolások mindig.
Logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék.
A kvantifikáció igazságfeltételei “  xA(x)” akkor és csak akkor igaz, ha van olyan objektum, amely kielégíti az A(x) nyitott mondatot. “  xA(x)” akkor.
Stratégiai játékok. Mit nevezünk stratégiai játéknak? Az ilyen típusú játékokban a játékosok megadott szabály szerint lépnek. Általában kötelező lépni.
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Az informatika logikai alapjai
MI 2003/6 - 1 Elsőrendű predikátumkalkulus (elsőrendű logika) - alapvető különbség a kijelentéslogikához képest: alaphalmaz. Objektumok, relációk, tulajdonságok,
Henkin-Hintikka-játék szabályai, kvantoros formulákra, még egyszer: Aki ‘  xA(x)’ igazságára fogad, annak kell mutatnia egy objektumot, amire az ‘A(x)’
Ne felejtsük el: Legyen A tetszőleges kijelentés. Arra a kérdésre, hogy „A akkor és csak akkor igaz-e, ha te lovag vagy?” a lovagok is, a lókötők is.
Mindenki kezet fogott mindenkivel.  x  y(x kezet fogott y-nal) Biztos? Ugyanez a probléma egy másik példán: Cantor’s World, Cantor’s Sentences. Az érdekesebb.
Tananyag: Barwise-Etchemendy: Language, Proof and Logic II. Quantifiers Weblap: Fogadóóra: H 15:30-17:00, i/226.
1 Relációs kalkulusok Tartománykalkulus (DRC) Sorkalkulus (TRC) - deklaratív lekérdezőnyelvek - elsőrendű logikát használnak - relációs algebra kifejezhető.
Monadikus predikátumlogika, szillogisztika, Boole-algebra
Egzisztenciális gráfok Alfa-gráfok: kijelentéslogika Kijelentésszimbólumok: P, Q, R [elemi kijelentések] Egy ilyen lap (sheet) a P kijelentés állításával.
Analitikus fa készítése Ruzsa programmal
Analitikus fák kondicionálissal
Logika szeminárium Barwise-Etchemendy: Language, Proof and Logic
Kvantifikáló kifejezések a természetes nyelvben: ̒minden’, ̒némely’, ̒̒három’, stb. Ezek determinánsok, predikátumból (VP-ből) NP-t képeznek. Az elsőrendű.
Analitikus fák a kijelentéslogikában
Demonstrátorok: Sulyok Ági Tóth  István
Fordítás (formalizálás, interpretáció)
A házi feladatokhoz: 1.5: Azonosság Jelölések a feladatszám alatt:
Logika előadás 2017 ősz Máté András
σωρεύω – felhalmoz, kupacot rak
Atomi mondatok Nevek Predikátum
Érvelések (helyességének) cáfolata
Kijelentéslogikai igazság (tautológia):
Elméleti probléma: vajon minden következtetés helyességét el tudjuk dönteni analitikus fával (véges sok lépésben)? Ha megengedünk végtelen sok premisszás.
Készítette: Kunkli Zsóka Balásházy MGSZKI Debrecen,
ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
9.10 feladat: arra kellett törekedni, hogy a magyar köznyelvben is elképzelhető mondatokká fordítsuk le a FOL-mondatokat. („clear english”) Ez nem mindig.
Előadás másolata:

Kvantifikáció:  xA: az x változó minden értékére igaz, hogy…  a: értelmetlen. (Megállapodás volt: ̒a’, ̒b’, … individuumnevek.) Annak sincs értelme, hogy „Minden Lánchídra igaz, hogy …” Mi van, ha A-ban nem fordul elő x (a kvantorváltozó) szabadon? Igazságfeltétel volt: x összes megengedett értékére (az univerzum összes elemére) igaz az x mondat. Ha A-ban nem fordul elő az x szabadon, akkor A értéke nem függ x-től. Tehát “  xA” ugyanakkor igaz, amikor A. “  xA” ugyanígy. Ilyen esetben a kvantifikáció hatástalan. Zárójelek: A szintaxis szerint tagoló zárójelek csak többargumentumú konnektívumok alkalmazásakor kerülnek be egy FOL-mondatba. Tehát pl. így: (A  B) Konvenció: bizonyos fölösleges zárójeleket el lehet hagyni. Pl. kész FOL-mondatban a legkülsőket. Tehát negáció argumentuma, kvantifikáció hatóköre nem kerül automatikusan zárójelbe, csak ha kijelentéslogikailag összetett.

A logikai négyzet Arisztotelészi kategorikus kijelentések Egyetemes állító Minden, ami A, az B  x(A(x)  B(x))  x(A(x)   B(x)) Részleges állító Van olyan A, amely B  x(A(x)  B(x))  x(A(x)   B(x)) Egyetemes tagadó Egy A sem B  x(A(x)   B(x))  x(A(x)  B(x)) Részleges tagadó Van olyan A, ami nem B  x(A(x)   B(x))  x(A(x)  B(x)) kontra- diktórius kontrárius szubkontrárius szubaltern a o i e

Kontradiktórius párok: az egyik igaz, a másik hamis. Kontrárius párok: lehetnek egyszerre hamisak, de nem lehetnek egyszerre igazak. Szubkontrárius párok: lehetnek egyszerre igazak, de nem lehetnek egyszerre hamisak. Szubaltern kijelentés következik a fölötte levőből. Az i és e típusú kijelentések megfordíthatók, azaz ekvivalensek az A és B felcserélésével keletkező kijelentéssel. Az a típusú kijelentés gyengén megfordítható, azaz következik belőle megcserélt alannyal és állítmánnyal az i típusú kijelentés. Kivéve, ha …

Arisztotelész és követői szerint az a típusú kijelentések egzisztenciális súllyal (avagy nyomatékkal; existential import) rendelkeznek, azaz maguk után vonják, hogy az alanyterminus (A) terjedelme nem üres. Ez vagy azt jelenti, hogy “ Minden, ami A, az B”-t így kell értenünk:  x(A(x)  B(x))   xA(x), vagy azt, hogy a kategorikus kijelentésekben nem is szabad üres terjedelmű terminusokat használni. Az első esetben baj lesz a kontradiktórius viszonyokkal. A másodikban az elmélet érvényességi köre nagyon leszűkül, s főképp sok esetben nem tudjuk előre, teljesül-e a feltétel. HF: 9.10 Cél: egy szövegfájl (9.10_vezeteknev.doc,.docx vagy.rtf) tizenkét mondattal (angol vagy magyar, tetszés szerint). Mindegyik mondat zárt mondat. Következésképp a fordításban nem szerepelhet változó.

Henkin-Hintikka játék (részben ismétlés) Alapfelállás: -Két játékos van, Én és a Természet (TW képviseli). - A játék tárgya egy zárt mondat: P. -Választanom kell egy elkötelezettséget: P igaz, avagy hamis. -Az ellenfél automatikusan a másikat választja. -A kezdésnél P az aktuális mondat, az én választásom szabja meg az elkötelezettséget. -A további lépésekben mindig változik az aktuális mondat is, az elkötelezettség is. -Azt, hogy ki jön a következő lépésben, mindig az aktuális mondat alakja és az elkötelezettségem együtt dönti el. -Ha pl. azt állítom, hogy “Q  R” igaz, akkor a Természet választhat Q és R között, hogy szerinte melyik hamis. Amit választott, az lesz az aktuális mondat, és én amellett leszek elkötelezve, hogy ez a mondat igaz. -Ha azt állítom, hogy hamis, akkor neki kell azt állítania, hogy igaz, tehát én választok (hogy szerintem melyik hamis).

- Ha “Q  R” igazságát állítom, akkor én választhatok, hogy melyiknek az igazságát akarom negvédeni, ha pedig a hamisságát, akkor a Természet választja ki, hogy szerinte melyik hamis. -Tehát mindegyik lépés eredménye egy új (egyszerűbb) mondat és egy új elkötelezettség. - Az igazság természetesen mindig egy adott világban értendő. - Végül eljutunk egy atomi mondatig és van vele kapcsolatban egy elkötelezettségem. Ha ez teljesül a világban, én nyertem, ha nem, a Természet. - Ha igazam van, akkor mindig van nyerő stratégiám (de veszíthetek is, ha rosszul játszom). -Ha nincs igazam, akkor a Természet fog nyerni (mert van nyerő stratégiája, és nem fog hibázni).

Játékszabályok kvantoros formulákra Ha azt állítom, hogy “  xP(x)” igaz, akkor kell tudnom mutatni egy olyan objektumot a világban, amelyre P(x) igaz. Nem biztos, hogy van neve, de adunk neki (egy új nevet akkor is, ha már van neki); legyen ez b. Tehát az eredmény: P(b) igazságát kell állítanom. Ha azt állítom, hogy “  xP(x)” hamis, akkor a Természet választ tetszése szerint egy b-t és nekem meg kell védenem P(b) hamisságát. Hasonlóképpen: ha “  xP(x)” igazságát állítom, akkor a természet választ b-t és nekem P(b) igazságát kell állítanom; ha pedig a hamisságát, akkor én választom meg az ellenpéldát, azaz azt a b-t, amelyre szerintem P(b) hamis. Példa (órai gyakorlásra) : 9.5 feladat Ajánlott otthoni munka: továbbjátszani 9.5 mondataival.

Logikai igazságok, helyes következtetések – újak és régiek0 000  x Él(x)  x Virul(x)  x(Él(x)  Virul(x))  x Él(x)  x Virul(x)  x Él(x)   x Virul(x)  x Él(x)  x Virul(x)  x Él(x)   x Virul(x)  x Él(x)  x Virul(x)  x (Él(x)  Virul(x)) Kijelentéslogikai következmények (TautCon) Elsőrendű következmény (FOCon) Nem következmény Tarski-ellenpélda?

Hasonlóképpen logikai igazságokkal:  xTet(x)  xTet(x) logikai igazság (tautológia)  xTet(x)  x  Tet(x) nem logikai igazság  x(Tet(x)  Tet(x)) (FO) logikai igazság, de nem tautológia.  xTet(x)   x  Tet(x) ugyancsak FO logikai igazság, de nem tautológia.  xTet(x)   xTet(x) tautológia. Definíció: Az elsőrendű nyelv egy mondata tautológia, ill. egy következtetése tautologikusan helyes (másképp: a konklúzió tautologikusan következik a premisszákból), ha a kijelentéslogikai formája tautológia, illetve helyes kijelentéslogikai következtetési séma. A kijelentéslogikai forma úgy áll elő, ha a kijelentéslogikában tovább nem bontható részmondatokat mondatbetűkkel helyettesítjük. Volt a szemináriumon, de pontosabb és részletesebb bemutatás: jövő héten. A tárgyalási univerzum nem lehet üres!