Deduktv rvek mitl j egy kvetkeztets A strucc

Deduktív érvek

mitől jó egy következtetés A strucc madár. A strucc nem tud repülni. Nem minden madár tud repülni. A denevér madár. Minden madár tud repülni. A denevér tud repülni. A madaraknak van szárnyuk. A repülőgép is tud repülni. A repülőgépnek is van szárnya.

deduktív vs. induktív 1. Ha vörös az ég alja, nagy vihar lesz holnap. Vörös az ég alja. Nagy vihar lesz holnap. Eddig nem nőttek pálmák a Hortobágyon. Ezután sem fognak. Mit gondoljunk a És mit gondoljunk premisszákról, ha a konklúzióról, ha felvesszük premisszának, másnap nincs hogy vihar? erre még soha nem volt vihar? 50 év múlva mégis nőnek? a biológusok új, hidegtűrő pálmaféléket állítottak elő?

deduktív vs. induktív 2. 1. Hasogat a fejem, tehát rossz idő lesz. Meg hát a meteorológia is ezt mondta. 2. A tiszta víz nem éghető. A Duna vize nem tiszta. 3. A gyilkos 42 -es cipőt viselt. Te is 42 -es cipőt viselsz. Te vagy a gyilkos. 4. Azt mondod, szereted a fagyit. Akkor a jégkrémet is imádni fogod. 5. Ha halálos beteg lennél, s csak Brad Pitt csókja gyógyíthatna meg, azt jelenti-e ez, hogy kötelessége megcsókolni? Persze, hogy nem! Ezért az élethez való jog nem jelent jogot mindarra, ami az élet megőrzéséhez szükséges. 6. A folyadék színtelen és szagtalan volt, de Géza berúgott tőle. Vodka volt.

deduktív vs. induktív 3. Melyik konklúzió mellett érvelne inkább induktívan? a) Az első zh eredménye alapján tudható, hogy fog neked menni a kurzus. b) A végső osztályzat eredménye 50%-ban múlik a vizsgán. c) A késve leadott dolgozatok nem lesznek elfogadva. d) Margitay könyve lesz a kötelező irodalom. Melyik konklúzió mellett érvelne inkább deduktívan? a) Mo. népességének fogyása lassul. b) A magyarok szeretik a napsütést. c) Mo. lakosai Európában laknak. d) Mo. -n kevesebb autót regisztrálnak, mint Szlovákiában.

deduktív vs. induktív 4. Ha vörös az ég alja, nagy vihar lesz holnap. Vörös az ég alja. Nagy vihar lesz holnap. Eddig nem nőttek pálmák a Hortobágyon. Ezután sem fognak. Ha meghalsz, eltemetnek. Meghalsz. Eltemetnek. Eddig nem haltál meg. Ezután sem fogsz. Ha miffen, muffog. Miffen. Muffog. Eddig nem miffent. Ezután sem fog. Ha p, akkor q. p q

modus ponens behelyettesítései Ha p, akkor q. p q Ha a strucc madár, akkor tojásokat rak. A strucc madár. A strucc tojásokat rak. Ha a denevér madár, akkor repül. akkor a denevér madár. A denevér repül. A denevér madár. Ha Lajos beleszeret Lujzába, akkor: megkéri a kezét, Lujza igent mond, de Lajos inni kezd, Lujza pedig hűtlenkedik, és az egész történet nagyon rosszul végződik. Lajos beleszeret Lujzába. Lajos megkéri Lujza kezét, Lujza igent mond, de Lajos inni kezd, Lujza pedig hűtlenkedik, és az egész történet nagyon rosszul végződik. igaz premisszák és hamis konklúzió? Nincs!

lehetséges kombinációk 1. premissza 2. premissza konklúzió igaz + igaz hamis Nincs! igaz hamis igaz + igaz hamis + hamis igaz + hamis hamis +

deduktív összefoglaló Deduktív érvényesség = a premisszák igazsága esetén a konklúzió nem lehet hamis = a premisszák és a konklúzió tagadása együtt ellentmondás ezért: • ha egy érvényes deduktív következtetés konklúziója hamis, legalább egy premisszája hamis • ha egy érvényes deduktív következtetés premisszáját további premisszákkal egészítjük ki, érvényes marad Logikai forma • a deduktív érvényesség a logikai formán múlik = egy következtetés akkor és csak akkor érvényes, az összes egyező formájú következtetés érvényes • logikai forma = logikai kifejezések + csupán formájuk alapján megkülönböztett nem logikai kifejezések elrendezése • a deduktív logika formális logika

q Kijelentéslogika

kijelentéslogika: összefoglalás • logikai forma = mondatok + logikai kötőszavak • a logikai kötőszavak: negáció (nem), konjunkció (és), alternáció (vagy), kondicionális (ha, akkor), bikondicionális (akkor és csak akkor, ha) • a logikai kötőszavak igazságfüggvények: a velük képzett összetett mondatok igazságértéke az egyszerű mondatok igazságértékének (igaz, hamis) függvénye • a logikai kötőszavak jelentését az igazságtáblázat rögzíti • a logika kötőszavak jelentése és használata nem egyezik tökéletesen természetes nyelvi megfelőikkel! • az érvényesség (a premisszák igazsága esetén a konklúzió nem lehet hamis) itt azt a formát ölti, hogy az atomi mondatok igazságértékeinek minden olyan kombinációja, mely az összes premisszát igazzá teszi, igazzá teszi a konklúziót is • az érvényességet igazságtáblázattal ellenőrizhetjük

Negáció p I H p H I Természetes nyelven: nem; nem igaz, hogy; hamis, hogy; hazugság, hogy; lehetetlen stb. Következtetés vele: kettős tagadás kiküszöbölése Nem igaz, hogy Lajos nem lüke. Lajos lüke. p I H konklúzió p H I p p p I H premissza

Konjunkció p q p&q I I H H H I H H Természetes nyelven: és, de, míg, noha, bár, habár, nemcsak … hanem is, jóllehet, pedig, ugyanakkor, mégis, stb. Következtetés vele: két mondatból konjunkciójukra (konjunkció), konjunkcióra bármelyik tagjára (egyszerűsítés). Bea bájos. p Lajos lüke. q Bea bájos és Lajos lüke. p & q Bea bájos. p pr p I pr q I konk p&q I I H H H H konk pr

mint vélgaban 1. Ha a pő engemély kimár, akkor mindegegy. Nem mindegegy. A pő engemély nem már ki. Fancsa pő és engemély kimár. Murcsa pő és engemély kimár. Glossza pő és engemély kimár. Engemély minden pő kimár. Fancsa pő és engemély kimár. Murcsa pő és engemély kimár. Glossza pő és engemély kimár. Fancsa, Murcsa és Glossza pő, és senki más nem pő. Engemély minden pő kimár.

mint vélgaban 2. Ha mindegegy, akkor vildagár. Ha vildagár, akkor engemély minden bagul. Ha mindegegy, akkor engemély minden bagul. Ha koszmabég, akkor vereki. Ha vereki, akkor dengelegi. Ha koszmabég, akkor dengelegi. Ha vildagár, akkor mindegegy. Ha vildagár, akkor engemély minden bagul. Ha mindegegy, akkor engemély minden bagul. Ha vereki, akkor dengelegi. Ha koszmabég, akkor vereki. Ha koszmabég, akkor dengelegi. Ha ne mánd a vereszt, akkor ne mánd a vereszt.

Alternáció p q pvq I I H H H diszj. szill. add. Természetes nyelven: vagy Következtetés vele: diszjunktív szillogizmus, addíció Olvasok vagy tévézek. p v q Nem olvasok. p Tévézek. q Olvasok. p Olvasok vagy tévézek. p v q p I pr konk ~p q H I I H H I I I H H pr pr pvq I konk

Pénzt Életet I I Pénzt vagy életet! H I H I I H H H Iszol Vezetsz Iszol vagy vezetsz I I H I H I I H H I Más „vagy”-ok Kizáró vagy: a természetes nyelvben gyakoribb az alternációnál, a „vagy-vagy” tipikusan ezt jelenti p I q I pvq I I H H H összeférhetetlenségi vagy: ritka, a „vagy-vagy” néha ezt jelenti Haladó kérdés: érvényes-e a diszjunktív szillogizmus és az addíció a „vagy” kizáró illetve összeférhetetlenségi változatával?

Kondicionális 1. p q I I H H H I I H H I Természetes nyelven: ha, akkor; feltéve, hogy; amennyiben; következménye; Következtetés vele: modus ponens, modus tollens, hipotetikus szillogizmus Ha vérzik, meg MP tudom ölni. Vérzik. Meg tudom ölni. MT p q Ha vérzik, meg tudom ölni. p q Nem tudom megölni ~q Nem vérzik. ~p pr p I ~p H konk q I I H H I I H I H I I pr pr konk pr ~q p q H I

Kondicionális 2. hipotetikus szillogizmus p q r Ha bánatos, iszik. Ha iszik, dalol. Ha bánatos, dalol. I I H H I H I H Kérdés: érvényesek-e az alábbi következetetések: p q ~p q ~q p p q pr I I H H I I q r pr I H I I p r konk I H I I

Kondicionális és „ha, akkor” Ha nagyanyám sárga lenne és csilingelne, villamos lenne. Ha Neymar nem sérült volna meg, a brazilok nyertek volna. A feltételes módban szereplő „ha, akkor” nem materiális kondicionális. Ha Nobel-díjat kapok, olimpiai bajnok is leszek. Ha BME Budapesten van, akkor Berlin Németország fővárosa. A természetes nyelvi kijelentő módú „ha, akkor” kissé különbözik a materiális kondicionálistól.

Rakoncátlan kondicionálisok 1. q p p q p szükséges feltétele q-nak. p elégséges feltétele q-nak. megvan a 4, 5 -ös átlag p I I megvan az ösztöndíj q I H az ösztöndíjhoz 4, 5 -ös átlag szükséges I a 4, 5 -ös átlag elégséges az ösztöndíjhoz I I H H H I I I

Rakoncátlan kondicionálisok 2. Csak akkor p, ha q. p, kivéve ha q. p q p ~q azaz q ~p A brazilok nyernek. p Neymar játszik. q Neymar nem játszik. ~q H A brazilok csak akkor nyernek, ha Neymar játszik. I A brazilok nyernek, kivéve, ha Neymar játszik. H I I I H I H I I H H I I I Hogyan lehetne bebizonyítani, hogy p ~q ugyanazt mondja, mint q ~p?

bikondicionális Lajos akkor és csak akkor teljesíti a kurzust, ha legalább elégségest ér el az összes zárthelyin és megszerzi a zárthelyikért beszámításra kerülő pontszám 40%-át. p I q I p q I I H H H I

Az érvényesség ellenőrzése 1. Módszer: érvénytelenség megmutatása ellenpéldával 1. Formalizáld a következtetést. 2. Keress olyan behelyettesítést, amely esetén a premisszák igazak, de a konklúzió hamis. Korlát: az érvényességet nem bizonyítja, ti. ha nem találunk ellenpéldát, lehet, hogy csak ügyetlenek vagyunk. 2. Módszer: szisztematikus ellenőrzés igazságtáblázattal 1. Formalizáld a következtetést. 2. Vedd fel az elemezhetetlen kijelentések lehetséges igazságértékeit. 3. Számítsd ki az összetett kijelentések igazságértékeit az összes esetre. 4. Húzd ki azokat a sorokat, amelyekben valamelyik premissza hamis. 5. A következtetés akkor érvényes, ha a konklúzió minden megmaradó sorban igaz.

ellenpélda Strandra megyünk, ha ha meleg lesz, és és süt aa nap. Strandra Nem süt aa nap. Nem megyünk strandra Nem A formalizáláshoz szótárat készítünk az az elemi mondhatokhoz A strandra megyünk ss == strandra m == meleg lesz m süt aa nap nn == süt aztán beírjuk a logikai kötőszavakat. (m & n) s nem: (m s) & n ~n ~s A cáfoló behelyettítést keresünk. (FG szőke & FG nő) FG budapesti ~FG nő ~FG budapesti igaz hamis

igazságtáblázat 1. (m & n) s ~n ~s 4. 2. 3. m n I I s m&n (m&n) s pr I I I H ~n pr H H ~s konk H I I I H H H I I H H I I H I H H H H I I I 5.

Nem igaz, hogy esik az eső vagy sáros az utca. Nem esik az eső, és nem sáros az utca. gyakorlás 1. A vatikáni csatársornál nincs jobb. Vatikán megnyeri a vb-t vagy nem. Géza szeret. Ha Géza szeret, virágot hoz neked. Géza nem hoz virágot neked. Géza szeret, és ha szeret, virágot hoz neked, de nem hoz virágot neked. Száraz ágon fütyörész egy vaddisznó. A híd túlterheltség vagy szerkezeti hiba miatt szakadt le. Ha szerkezeti hiba volt, az építők felelősek. A túlterheltség ténye megállapítást nyert. Az építők nem felelősek.

gyakorlás 2 Nem mondhatni, hogy nem iszik, ha nem vezet. Ha ismerem a szabályt, és tudom hogyan kell alkalmazni, helyes eredményt kapok, feltéve hogy nem számolom el magam. Ami a kerti bulit illeti, ha eső lesz, nem lesz, ha nem lesz, lesz. Vagy Marit és Nórát szeretem, vagy Orsit is Marit és Nórát is szeretem, vagy egyiküket sem. Ha Marit és Nórát szeretem, akkor Orsit is. Szeretem Orsit. Ha a szép fogalma empirikus fogalmakkal meghatározható, akkor az esztétikai kijelentések tudományosan igazolhatók, és az esztétika racionális alapokon nyugszik. Az esztétikai kijelentések nem igazolhatók tudományosan Tehát az esztétika nem nyugszik racionális alapokon.

ütközés az intuíciókkal Intuíciónk szerint ezek érvényesek. És a kijelentéslogika szerint? János agglegény. János nem nős. Szókratész ember. Minden ember halandó. Szókratész halandó. Ebben a formában nem. De a szavak jelentése alapján tudjuk, hogy minden agglegény nőtlen, így János. Ennek alapján kiegészítjük azzal az a premisszával, hogy „Ha János agglegény, akkor nőtlen”, s így kiegészítve már érvényes. Nem. A kijelentéslogika alkalmatlan az olyan következtetések elemzésére, amelyek a „minden” szót tartalmazzák. Ráadásul olyan elemzésre van szükség, amelyik belelát a korábban atominak tekintett mondatok szerkezetébe. Ehhez egy gazdagabb logikai elméletre van szükség. Ez a logika nem mond ellent a kijelentéslogikának, hanem részként tartalmazza azt.