4. Mitől (nem) megbízható a tudás?

Méret: px
Mutatás kezdődik a ... oldaltól:

Download "4. Mitől (nem) megbízható a tudás?"

Átírás

1 Mitől (nem) megbízható a tudás?

2 Az indukció problémája 2

3 A tapasztalat és az elmélet viszonya Vezérfonal, azaz a következő vizsgálódásainkat vezető kérdés: Mi a magyarázata annak, hogy tapasztalatilag jól alátámasztott, sokáig, már régóta hatékonyan használt elméleteinkről egyszer csak kiderül, hogy nem írják le helyesen, pontosan a valóságot? Hogyan vizsgálhatók és értékelhetők azok a módszereink, amelyekkel elméleteinkhez jutunk? 3

4 A probléma szemléltetése - 1 Tegyük fel, hogy a középkori Kárpát-medence lakói vagyunk, és már számos madarat láttunk, amelynek mind voltak szárnyai, és ez idáig mind tudott repülni, struccal (vagy lusta túzokkal) pedig portyázásaink során még nem találkoztunk. Kérdés: hogyan általánosítsunk, és hogyan fogalmazzuk meg tapasztalatainkat? a) Minden madár repül. b) Minden Kárpát-medencében élő madár repül. c) Minden ilyen-és-ilyen körülmények (és itt a körülmények részletes specifikációja következik) között élő madár rendelkezik repülésre alkalmas szárnnyal és tud repülni. 4

5 A probléma szemléltetése - 2 Folytassuk a következő sort: (Milyen szabályszerűséggel ragadható meg?) 1, 2, 3, 4 5, 6, 7, 8, 9 1, 2, 3, 4, , 2, 1, 2, 3, 4, 3, 2, 1, 2 4, 3, 2, 1, 0, 1, 2, 3, 4 11, 12, 13, 14, 21 10, 20, 30, 40, 100, 200 5, 6, 7, 8, 9, 10, A, B, C 5

6 A probléma kibontása 1. Ez illusztrál két fontos tudományfilozófiai problémát is, jelesül: i) az elméletek tapasztalat általi aluldetermináltságának problémáját, és ii) az indukció problémáját. AZ INDUKCIÓ PROBLÉMÁJA Melyik az igazi megfejtés, ha a természet csak a számokat adja számunkra? Válaszkísérletek: 1. Mivel sorozatról volt szó, amely számokból áll, ezért itt egy számsorozatról van szó, azaz egy matematikai sorozattal állunk szemben, ahol a differencia d=1. 2. A legegyszerűbben leírható, megragadható szabályszerűség az igazi megfejtés, az a kitüntetett. 6

7 A probléma kibontása 2. Ellenvetések: Ad 1. Eredetileg szó sem volt számsorozatról, legfeljebb sorról, még ha számok sorozatát is látjuk! Ha számsorozatként értelmezzük, akkor az a mi értelmezésünk, mi vetítjük rá, hogy matematikai sorozatként kezelhessük, de hogy ez van-e valóságban, valóban így fogja-e természeti vagy társas világ folytatni a sort, arra nincs garanciánk. Ad 2. Hogyan ragadható meg az egyszerűség? Hogyan számszerűsíthető? A legkevesebb betűvel leírható? A legrövidebb programmal generálható? Mi van, ha a program hosszabb, mint a magyar nyelv szerinti leírás? Mit értsünk bele a programba? A teljes nyelvet? A felhasznált szimbólumokat? - Akárhogyis, az egyszerűség értékelhetősége kívül van az eredeti számsoron/ adatsoron. Az eredeti számsor/adatsor önmagában nem tartalmaz arra vonatkozó információt, hogy a legegyszerűbbet kell választanunk, hogy az lenne az igazi megfejtés. - Az elvileg lehetséges sor-folytatások között nincs önmagában kitüntetett ha kitüntetjük valamelyiket, akkor a kitüntetés szempontját mi tesszük hozzá, legfeljebb hallgatólagosan (implicite), anélkül, hogy tudatában lennénk e mozzanatnak. 7

8 Definíció és típusok Általában véve minden olyan következtetésfajtát indukciónak tekintünk, amely megfigyelések (empirikus adatok vagy kísérleti eredmények) véges halmazából valamilyen, a dolgok viselkedésére vonatkozó általános konklúzióra, egyetemes igazságra próbál jutni. Az induktív következtetések közé sorolható fontosabb következtetéstípusok (v.ö. magyarázat óra): Induktív általánosítás Oksági összefüggést (törvényszerűséget) megállapító következtetések Analógiás következtetések 8

9 Induktív általánosítás Tulajdonképpen az, amit a hétköznapokban általánosítás -nak nevezünk. Ez az indukció egyik legegyszerűbb esete, amikor megadjuk, felsoroljuk az indukció alapját képező egyedeket, adatokat, listázzuk a megfigyelési állításokat, kísérleti eredményeket. Ezért hívják felsorolásos (enumeratív) indukciónak. Az indukció, azaz az általánosítás, mint eljárás eredménye az általánosítás, mint állítás, amely lehet: univerzális állítás vagy statisztikai általánosítás. v.ö. magyarázat óra: általános trv. és statisztikus trv. 9

10 A logikailag helyes következtetés-e az indukció? A válaszhoz szükségünk van a logikailag helyes következtetés fogalmára: A logikailag helyes / logikailag érvényes / deduktív következtetések esetében a premisszák igazsága teljes mértékben garantálja, / kétséget kizáróan megalapozza, / szükségszerűen maga után vonja a konklúzió igazságát. A logikailag helyes következtetés tulajdonsága, hogy igazságőrző / igazságtovábbító, vagyis a premisszák igazsága továbbítódik a konklúzióra nem hamisságőrző,, nem hamisságtovábbító, vagyis hogy hamis premisszák esetén a konklúzió nem szükségszerűen hamis Szabatosabban: egy következtetés logikailag akkor és csak akkor helyes, ha nem lehetséges, hogy a premisszák mind igazak, miközben a konklúzió hamis. 10

11 Indukció fehér hattyúkra Formai oldal Tartalmi oldal (Premisszák) (P1) Ez (a t1-kor megfigyelt élőlény) hattyú1, és fehér. (P2) Ez (a t2-kor megfigyelt élőlény) hattyú2, és fehér. (P3) Ez (a t3-kor megfigyelt élőlény) hattyú3, és fehér. (Pn) Ez (a tn-kor megfigyelt élőlény) hattyún, és fehér. (Konklúzió) (K) Minden hattyú fehér. Lehet-e ez logikailag helyes következtetés? Igaz Igaz Igaz Igaz Nagyon valószínű Nyilván nem, hiszen a következtetés formai oldalára koncentrálva, ha a premisszákat igaznak feltételezzük, vagy azok ténylegesen is igazak lennének, akkor sem lehetne a konklúzió igazságát kétséget kizáró módon igaznak tekinteni, azaz lehetséges, hogy a premisszák mind igazak, miközben a konklúzió hamis! Vagyis az induktív következtetések definíciószerűen nem lehetnek deduktívak!! 11

12 Fogalmi tisztázás: következtetés és logikailag helyes következtetés - Nem minősíthetnénk következtetésnek az induktív következtetéseket, ha a logikailag helyességet / deduktivitást elvárjuk a következtetésektől. - Pedig a fentihez hasonló induktív következtetéseket a hétköznapok során, vagy a tudományos életben gyakorta alkalmazzuk, és egyik alapja az intellektuális-megismerései tevékenységünknek. - Ezért a következtetés fogalmát nem azonosítjuk a logikailag helyes következtetés fogalmával, hanem az előbbit tekintjük az összefoglaló fogalomnak, amelynek a logikailag helyes következtetések csupán az egyik altípusa, és az iméntihez hasonló induktív következtetés pedig egy másik, különálló altípusa. 12

13 Új fogalom: ampliatív (információbővítő) következtetés A logikai helyesség definíciójából következik, hogy az ilyen következtetések nem lehetnek információbővítők: vagyis a konklúzióban foglalt ismeret a premisszákban foglalt ismeretekhez képest nem eredményez új, valódi, tartalmas információt. - A premisszák csak akkor képesek teljes mértékben megalapozni, szükségszerűen garantálni, kétséget kizáróan maguk után vonni a konklúzió igazságát, ha a konklúzió nem lépi túl a premisszákban foglalt, esetleg rejtett ismereteket, információkat. Azaz: a konklúzió legfeljebb annyit, vagy kevesebbet mondhat, mint ami a premisszákban benne rejlik, többet nem. 13

14 Logikailag helyes következtetések és ismeretbővítő következtetések A logika egy olyan mókuskerék vagy szőlőprés, ami kitapossa a premisszákban már implicite benne rejlő információkat, de a világról azon túl nem tudunk meg semmit, mint amit a premisszákba foglalva már eleve is tudtunk. Összefoglalva: - A logikailag helyes következtetések nem információbővítők, - az információbővítő következtetések pedig nem lehetnek logikailag helyes következtetések! - A világ (legyen az akár a fizikai, akár a társas világ) leírását megkísérlő elméletekhez nem juthatunk el logikailag helyes következtetések révén, amihez eljuthatunk a logika segítségével, az a világot már valahogyan leíró elméletekből (amelyhez valahogy el kellett jutni) következő tautológia! 14

15 Indukció a mindennapi életben és a tudományban Véges számú empirikus adatból következtetünk egyetemes igazságra, általános elméletre Megfigyelések véges halmazából általános konklúzióra jutunk A tapasztalati tudomány sokszor így működik: egyedi állításokból, megfigyelésekből, vagy kísérletek eredményeiből, egyetemes állításokra következtetünk Newton: minden testre igaz, h. a testek a tömegükkel arányosan és a köztük lévő távolság négyzetével fordított arányban vonzzák egymást de így működnek a mindennapi állításaink is: minden alkalommal, ha megvágod magad, vérezni fogsz, Nem tudunk és nem is akarunk lemondani arról, hogy indukáljunk. 15

16 Vita az indukcióról 16

17 Francis Bacon ( ) 1620, Novum Organum: a modern tudomány születésének módszertani bibliája egyben az induktív módszer apostola Emberi tudás és hatalom egy és ugyanaz : a természet megismerése a természet igába hajtása által történik, és fordítva a kísérletező megismerés apostola Az arisztotelészi szillogizmusok* helyett olyan módszer, amely fényt vet a természetre *Ált. kétpremisszás deduktív következtetések: pl. Minden ember állat. Minden állat halandó. Minden ember halandó. 17

18 A baconi fokozatos indukció Az empirikusok egyre csak gyűjtenek, mint a hangya, és felélik, amit gyűjtöttek; a racionalisták önmagukból szőnek fonalat, akár a pók. Pedig a méh választja kettejük között a helyes utat, mert a kert és a mező virágaiból hordja össze anyagát, de saját képességeinek megfelelően alakítja át és rendezi el. Tehát nem esztelen indukció, hanem módszeres kutatás (hipotézisek + kísérletek mentén!) 18

19 Miért van jogunk indukcióval élni??? Örökké fennáll a természeti szabályszerűség? Mi zárja ki, hogy megváltozzék? Eddig beváltak az induktív általánosítások, de miért válnának be a jövőben is? David Hume: az hogy eddig együtt járt az ok és az okozat, az csak együtt járás, nem szükségszerű, lehet másképp is, csak mi vetítjük bele, hogy így kell lennie Valóban: Egy ilyen elmélet bármikor hamisnak bizonyulhat, jöhet egy fekete hattyú Lakatlan szigeten egyedül indukálom, hogy eddig minden nap élve ébredtem fel, biztos mindig így lesz 19

20 David Hume indukció-kritikája ( ) a tárgyakban nincs semmi, ami arra jogosítana bennünket, hogy valami őket meghaladóra következtessünk Pl. attól még, hogy a Nap eddig minden reggel felkelt, nem következtethetünk arra, hogy holnap is fel fog kelni: ha nem teszi, azzal nincs logikai probléma Tapasztalunk állandó együttjárásokat, és ezekről gondoljuk, hogy szükségszerű vagy oksági viszonyokat jelentenek. De sem a szükségszerűség, sem az okság nem tapasztalható!!! Ezeket az elme teszi hozzá a tapasztalathoz. 20

21 A módszertani problémák kortól, fogalmaktól és módszerektől függőek Látszólag Hume egy, a korában bevett nézet nyilvánvaló problematikusságát mutatja meg Miért csak Hume-nak jut eszébe ez a probléma? Mert korábban (a középkorban) az experientia az általánosan megfigyelhetőre, az általános meggyőződésre vonatkozott, erről tettek állításokat, ehhez sorolta példákat. A kivételről nem szólt a tudomány, az szörnyszülöttnek számított Hume idejére azonban az experientia (tapasztalat), sőt az experimentum (kísérlet) az egyedi esetekről szól, ezekből kell elméletet indukálni Vagyis a fogalmi változás tett problematikussá egy módszertant 21

22 Hogyan alapozható meg az indukció? Érvek az indukció mellett és ellen - 1 érv. Meg kell fogalmaznunk egy induktív elvet, amely felhatalmaz E: Bármilyen A-ra és B-re, ha N db A a megfigyelések szerint B, akkor minden AB ellenérv. Igen ám, de az indukció elve maga is egyetemes igazság, hogyan jutottunk el hozzá az egyedi esetekből? Ez nem analitikus állítás, nem logikai igazság, amelynek igazságát a jelentése biztosítja (pl minden agglegény nőtlen férfi), hanem tapasztalati, (amelynek tagadása nem önellentmondás) amelyet empirikus bizonyítékokkal kell alátámasztani: és egy induktív érveléssel, Ez vagy körbenforgáshoz vezet (vagyis feltesszük a bizonyítandó bizonyítottságát), vagy végtelen regresszushoz (az induktív elvet induktív érveléssel kell alátámasztanunk, amit induktív érveléssel kell alátámasztannunk ) 22

23 Érvek az indukció mellett és ellen - 2 érv. A természet uniformitásának elve: eddig így működött, ezután is nyilván így fog, nem változik meg a természet menete ellenérv: Igen ám, de ez maga is múltbeli véges eseményre alapoz, eddig fenn állt a szabályszerűség, mi biztosítja, hogy ezután is fennáll? Russell: Az hogy a múltbeli jövő a múltbeli múlthoz képest a várakozásoknak megfelelően alakult nem segít abban, hogy megtudjuk, vajon a jövőbeli jövő a jövőbeli múlthoz képest is a várakozásoknak megfelelően alakul-e, azaz nem igazolható a kiterjesztés 23

24 Érvek az indukció mellett és ellen - 3 érv. Az induktív érvelések működnek, a konklúziók általában igazak (ez az ún. pragmatikus prediktív siker) ellenérv. Hogyan magyarázzuk, hogy gyakran racionális dolog hinni az induktív következtetések konklúzióiban, ha premisszáik nem biztosítják logikailag a konklúzióikat? A deduktív érveléseket valóban racionálisnak találjuk, de senki nem csak ezekre használja a racionális kifejezést. Megbízhatóságon alapuló érv: az az érvelés megbízható amelyik igaz premisszákból helyes, bár deduktívan nem érvényes konklúziót állít elő pl. x ember tehát x fiatalabb 200 évesnél. Ez nem deduktíve érvényes, mert logikailag lehetséges az ellentéte, de ténylegesen soha nem hamis ilyen értelemben az indukciók megbízhatóaknak bizonyulnak, megőrzi az igazságot ezt nem támadja az indukció kritikája, hogy ui. nem érvényes deduktíve, mert boldogan elismerik, és nem is követelik meg 24

25 Érvek az indukció mellett és ellen - 4 Azt továbbra is meg kell indokolni, hogy miért tekintsük az indukciót megbízhatónak pl. azért mert eddig megbízhatóak voltak az induktív következtetések? Nem körbenforgás ez? (még folynak a viták) de vannak olyan érvek is, amelyek szerint az indukció megbízhatatlan: Tudománytörténet a múltban sok olyan induktíve alátámasztott elmélet volt a ptolemaioszi csillagászattól a newtoni fizikáig, amely későbbi bizonyítékok alapján hamisnak bizonyult lásd a későbbiekben: pesszimista metaindukció 25

26 Falszifikáció 26

27 Egy megoldási javaslat: indukció helyett falszifikáció Válasszuk szét a felfedezés logikáját és az igazolás logikáját! A tudományos tevékenység első szakaszát, az elméletalkotást nem lehet és nem is kell logikailag elemezni, minden felfedezésben van valami irracionális mozzanat Hogy hogyan lett a megfigyelésekből elmélet, nem érdekes, ez pszichologizmus, megismerés-pszichológia, foglalkozzon ezzel a tudománytörténet Az, hogy miként jutott valakinek valami új az eszébe legyen az zenei téma, drámai konfliktus vagy éppen tudományos elmélet -, empirikus pszichológia és nem megismerés-logikai kérdés. Sir Karl Popper: A tudományos kutatás logikája Ami a logika területére tartozik, az a már meglévő elmélet racionális rekonstrukciója és vizsgálata 27

28 Ellenőrzési eljárás: a kész elméletet összevetjük a tapasztalattal Az ellenőrzés deduktív módszertana mondja Popper Az új elgondolásból logikai levezetés segítségével következményeket nyerünk. Ez deduktív eljárás: az elmélet gyakorlati következményeit nézzük, és összevetjük a tapasztalattal. Ha megcáfolja, akkor falszifikálta, és elvetettük az elméletet Mi van, ha alátámasztja? Pl. a Mars pozícióinak mérési adatai igazolják azt a Keplertörvényt, mely szerint a bolygók ellipszis alakú pályán mozognak: valóban egy ellipszist rajzolnak ki 28

29 Ha összhangban van a megfigyelés az elmélettel, akkor sem verifikálta, nem igazolta véglegesen, csak korroborálta, csupán azt mondjuk, h. az elmélet megállta a helyét, az elmélet átmenetileg túljutott az ellenőrzésen, nem találtunk okot arra, hogy elvessük. Összhangban van vele: Ha H akkor E E Tehát H H=hipotézis, Cáfolja: Ha H akkor E Nem E Tehát nem H modus tollens E=Evidencia (tapasztalat) NEM modus ponens (az ilyen formájú érvelés logikailag hibás, a hiba az ún. következmény állítása ) Ez tehát a elmélettesztelésnél úgy tűnik megbízhatóbban működik 29

30 A bizonyító és cáfoló tudományok idealizált modelljei Euklideszi tudomány: (pl. Arisztotelész) Tapasztalati tudomány: (pl. Newton) igazság Axiómák Alaptételek bizonyítás cáfolás Levezetett tételek Tapasztalati állítások hamisság 30

31 Pierre Duhem (korai, Poppert megelőző) kritikája a falszifikáció alapgondolata ellen a kísérletező fizikus egy sor elméleti kijelentés igazságát fogadja el munkája során így a kísérlet sikertelensége esetén nem tudja eldönteni, hogy melyik feltételezés hibás (csak annyit tud, hogy legalább egy) - az elméletet nem tudjuk a labor ajtaja előtt hagyni 31

32 A falszifikáció megoldás a demarkáció problémájára? - 1 Popper saját falszifikációs módszertanát megoldásnak tartotta a demarkáció problémájára Demarkáció (elhatárolás, megkülönböztetés): Hogyan tudnánk megkülönböztetni egymástól az egyetemen gyakorolt tudományt és a tévében pálcával jósoló mágusdoktort anélkül, hogy a fürdővízzel kiöntenénk a gyereket és esetleg más, nem az európai tudomány területére tartozó, de értékes hagyományt is elítélnénk? Falszifikálhatóság mint a demarkáció kritériuma: a kókler sarlatán kibújik az alól, hogy felkínálja magát a tapasztalati ellenőrzésre, a tisztességes tudomány nem. Az utóbbi bár nincsen bebizonyítva véglegesen legalább falszifikálható. 32

33 A falszifikáció megoldás a demarkáció problémájára? - 2 Mi nem tudományos? Ami olyan formájú, hogy nem lehet megcáfolni, vagyis minden lehetséges tapasztalat igazolja. Popper a következő példákat tekinti a legjellemzőbbnek marxi történelemelmélet: elvileg tett jóslatokat, de amikor ezek nem jöttek be, akkor a követők módosították az elméletet, és nem vetették el asztrológia: Előrejelzései oly homályosak, hogy aligha tévednek: cáfolhatatlanná válnak pszichoanalízis: bármilyen viselkedést meg tud magyarázni, semmi sem mond neki ellent Ezzel szemben a relativitáselmélet: bátor előrejelzéseket tesz, melyek megcáfolhatnák 33

34 A falszifikáció megoldás a demarkáció problémájára? - 3 Popper akkor tekint egy rendszert tapasztalatinak, ha tapasztalatilag ellenőrizhető. A komoly tudomány hajlandó a tapasztalat ítélőszéke elé járulni, és felkínálni magát a falszifikációnak (ez persze nem jelenti, hogy falszifikálódik is egyúttal) Mivel egy rendszer soha sem verifikálható végérvényesen, a falszifikációt tesszük a demarkáció kritériumává Egy tapasztalati-tudományos rendszernek alkalmasnak kell lennie arra, hogy a tapasztalat megcáfolja. Így elhatárolható a tapasztalati tudománytól az asztrológia, de a pszichoanalízis és a Marxizmus is, ezért magasabb rendű a tudomány minden babonánál, az áltudomány kibújik 34

35 Problémák a popperi demarkáció megoldással - ez egy külön óra témája lesz Nem mindig olyan nagy módszertani különbség egy adott kor tudománya és áltudománya pl. asztrológiája közt, De még inkább: a tudomány sem veti el mindig a falszifikált elméleteket, hajlamos segédhipotézisekkel módosítani (ezt P is látta, old.), Ad hoc hipotézisekkel lehet védeni egy elméletet, az ellentmondó tapasztalati bizonyítékokkal szemben Ahogy Lakatos Imre fogalmazott: a tudomány alapállításainak kemény magja körül védőgyűrűt alkotnak a segédelméletek, és ezt a gyűrűt éri az empirikus támadás, a modus tollens ez ellen fordíttatik, nem a mag ellen. Következésképp a védőgyűrűt kell az idők folyamán módosítgatni. - Newton gravitációs elmélete sokszor konfrontálódott az empíriával, mégse vetették el, csak erősödött és formálódott 35

36 Az analógiás következtetés 36

37 Analógiás következtetés 1. példa A művészeti alkotás a művész tulajdona. Ami más tulajdona, azt csak az ár vagy a bérleti díj kifizetésével használhatjuk. A szoftverek művészeti alkotások. Ezért a szoftvereket csak az ár vagy a bérleti díj kifizetésével használhatjuk. 37

38 Analógiás következtetés 2. példa A kutyapiszok szennyezi a köztereket, és az utcán maradt kutyapiszok veszélyes betegségeket terjeszthet. A kutyapiszkot a kutya gazdájának el kell távolítania az utcáról. Az gépjárművek szennyezik a városok levegőjét, a levegőben lévő égéstermékek veszélyes betegségeket okozhatnak. Ezért a gépjárművek okozta légszennnyeződést a gépjárművek tulajdonosainak el kell távolítaniuk a levegőből. 38

39 Premisszák: Az analógia szerkezete X rendelkezik a T tulajdonsággal. 2. Y rendelkezik a T tulajdonsággal. 3. X rendelkezik az S tulajdonsággal. Következtetés: Y rendelkezik az S tulajdonsággal. Az analógia hárompremisszás következtetés. Ebből két premissza azt mondja ki, hogy a két tárgy rendelkezik ugyanazzal a tulajdonsággal, vagyis a két tárgy hasonló. Elegendő a 3. premissza a helyes következtetéshez? 39

40 Premisszák: Az analógia szerkezete X rendelkezik a T tulajdonsággal. 2. Y rendelkezik a T tulajdonsággal. 3. X pontosan ezért rendelkezik az S tulajdonsággal, mert T tulajdonságú. Következtetés: Y rendelkezik az S tulajdonsággal. Az analógia annyival több, mint a felsorolásos indukció, hogy láthatóvá (és kritizálhatóvá) teszi, hogy mi alapján terjesztettük ki a tapasztalatokat az ismeretlenre. 40

4. Mitől (nem) megbízható a tudás?

4. Mitől (nem) megbízható a tudás? 2010.03.02. 4. Mitől (nem) megbízható a tudás? 10-03-02 1 A tapasztalat és az elmélet viszonya Vezérfonal, azaz a következő vizsgálódásainkat vezető kérdés: Mi a magyarázata annak, hogy tapasztalatilag

Részletesebben

Mitől megbízható a tudás?

Mitől megbízható a tudás? Mitől megbízható a tudás? Ha... a múlt nem jelent szabályt a jövőre nézve, akkor minden tapasztalat haszontalan, és semmire sem következtethetünk. David Hume (1711-1776), filozófus Az induktív következtetés

Részletesebben

A tapasztalat és az elmélet viszonya

A tapasztalat és az elmélet viszonya Indukció Ha... a múlt nem jelent szabályt a jövőre nézve, akkor minden tapasztalat haszontalan, és semmire sem következtethetünk. David Hume (1711-1776), filozófus Az induktív következtetés az egyetlen

Részletesebben

Mitől megbízható a tudás?

Mitől megbízható a tudás? Mitől megbízható a tudás? Ha... a múlt nem jelent szabályt a jövőre nézve, akkor minden tapasztalat haszontalan, és semmire sem következtethetünk. David Hume (1711-1776), filozófus Az induktív következtetés

Részletesebben

Mitől megbízható a tudás?

Mitől megbízható a tudás? Mitől megbízható a tudás? Ha... a múlt nem jelent szabályt a jövőre nézve, akkor minden tapasztalat haszontalan, és semmire sem következtethetünk. David Hume (1711-1776), filozófus Az induktív következtetés

Részletesebben

A tapasztalat és az elmélet viszonya

A tapasztalat és az elmélet viszonya Indukció A tapasztalat és az elmélet viszonya A mai óra kérdése: Mi a magyarázata annak, hogy tapasztalatilag jól alátámasztott, sokáig, már régóta hatékonyan használt elméleteinkről egyszer csak kiderül,

Részletesebben

A tapasztalat és az elmélet viszonya

A tapasztalat és az elmélet viszonya Indukció Ha... a múlt nem jelent szabályt a jövőre nézve, akkor minden tapasztalat haszontalan, és semmire sem következtethetünk. David Hume (1711-1776), filozófus Az induktív következtetés az egyetlen

Részletesebben

A tapasztalat és az elmélet viszonya

A tapasztalat és az elmélet viszonya Indukció A tapasztalat és az elmélet viszonya A mai óra kérdése: Mi a magyarázata annak, hogy tapasztalatilag jól alátámasztott, sokáig, már régóta hatékonyan használt elméleteinkről egyszer csak kiderül,

Részletesebben

Mitől (nem) megbízható a tudás?

Mitől (nem) megbízható a tudás? Mitől (nem) megbízható a tudás? Ha... a múlt nem jelent szabályt a jövőre nézve, akkor minden tapasztalat haszontalan, és semmire sem következtethetünk. David Hume (1711-1776), filozófus Az induktív következtetés

Részletesebben

3. Az indukció szerepe

3. Az indukció szerepe 3. Az indukció szerepe Honnan jönnek a hipotézisek? Egyesek szerint az előzetesen összegyűjtött adatokból induktív (általánosító) következtetések útján. [Az induktív következtetésekről l. Kutrovátz jegyzet,

Részletesebben

Következtetések a tudományban

Következtetések a tudományban 0. a határok megvonása Következtetések a tudományban Tudományfilozófia, 2007. 02. 22. bár nem tűnik szükségszerűnek a továbbiakban a tudományos következtetéseket a nyelven belül írjuk le, és ezoterikusabb,

Részletesebben

Igazolás és cáfolás a tudományban

Igazolás és cáfolás a tudományban Igazolás és cáfolás a tudományban Tudományfilozófia, 2007. 03. 01 1. A tapasztalat nyelvi formája Ismétlés: a levélsor példája: vannak nem nyelvi természetű következtetések De ezek nem ellenőrizhetők logikailag:

Részletesebben

Érveléstechnika 6. A Racionális vita eszközei

Érveléstechnika 6. A Racionális vita eszközei Érveléstechnika 6. A Racionális vita eszközei A racionális vita célja és eszközei A racionális vita célja: a helyes álláspont kialakítása (a véleménykülönbség feloldása). A racionális vita eszköze: bizonyítás

Részletesebben

TUDOMÁNYOS MÓDSZERTAN

TUDOMÁNYOS MÓDSZERTAN TUDOMÁNYOS MÓDSZERTAN Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi Tanszék az MTA Közgazdaságtudományi

Részletesebben

ÉRVELÉSTECHNIKA-LOGIKA GYAKORLÓ FELADATOK, 1. ZH

ÉRVELÉSTECHNIKA-LOGIKA GYAKORLÓ FELADATOK, 1. ZH ÉRVELÉSTECHNIKA-LOGIKA GYAKORLÓ FELADATOK, 1. ZH 1. Mi a különbség a veszekedés és a racionális vita között? 2. Mit nevezünk premisszának a logikában? 3. Mi a hasonlóság és mi a különbség a veszekedés

Részletesebben

Szociolingvisztikai. alapismeretek

Szociolingvisztikai. alapismeretek Szociolingvisztikai alapismeretek 10. A szociolingvisztika kialakulásának okai Hagyományos nyelvészet: A nyelv társadalmi normák strukturált halmaza (invariáns, homogén) Noam Chomsky: A nyelvelmélet elsődlegesen

Részletesebben

Pszichológiatörténet. Aczél Balázs 2011

Pszichológiatörténet. Aczél Balázs 2011 Pszichológiatörténet Aczél Balázs 2011 Mi értelme van pszichológiatörténetről tanulni? Útkeresések története: Mi a téma? Mi a módszer? Mivel foglalkozik a pszichológia? Klasszikus hagyomány: önmegfigyeléssel

Részletesebben

Szocio- lingvisztikai alapismeretek

Szocio- lingvisztikai alapismeretek Szocio- lingvisztikai alapismeretek 10. A szociolingvisztika kialakulásának okai Hagyományos nyelvészet: A nyelv társadalmi normák strukturált halmaza (invariáns, homogén) Noam Chomsky: A nyelvelmélet

Részletesebben

A demarkáció-probléma a tudományfilozófiában

A demarkáció-probléma a tudományfilozófiában A demarkáció-probléma a tudományfilozófiában Felvilágosodás: a modern tudomány a megismerés kitüntetett formája, ennek mintájára építsük fel tudásunk egészét, ez az emberiség boldogulásának kulcsa Romantika:

Részletesebben

Tartalomjegyzék. Pragmatikai és logikai alapok. Első rész A könyv célja, használata 1.2 Elméleti keretek: pragmatika és logika

Tartalomjegyzék. Pragmatikai és logikai alapok. Első rész A könyv célja, használata 1.2 Elméleti keretek: pragmatika és logika Tartalomjegyzék ELSŐ FEJEZET Bevezetés 1.1. A könyv célja, használata 1.2 Elméleti keretek: pragmatika és logika 15 15 17 Első rész Pragmatikai és logikai alapok MÁSODIK FEJEZET A vita 2.1 A vita: megközelítési

Részletesebben

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

Bizonyítási módszerek ÉV ELEJI FELADATOK Bizonyítási módszerek ÉV ELEJI FELADATOK Év eleji feladatok Szükséges eszközök: A4-es négyzetrácsos füzet Letölthető tananyag: Emelt szintű matematika érettségi témakörök (2016) Forrás: www.mozaik.info.hu

Részletesebben

Az eredeti tézis szerint a fizikában (különösen az elméleti fizikában) soha

Az eredeti tézis szerint a fizikában (különösen az elméleti fizikában) soha Seite 1 1 Seite 2 2 Seite 3 3 Seite 4 4 * Lásd - http://index.hu/tech/szoftver/goog0826/ Letöltés 08/10/05 A Google kalkulátor nem konzekvensen hibázik, de mindig csak a nagyon nagy számoknál ront. Például

Részletesebben

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

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

Részletesebben

Érveléstechnika-logika 4. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2.

Érveléstechnika-logika 4. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2. Érveléstechnika-logika 4. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Következtetések két csoportja Különböző állítások különböző erősségű indoklást igényelnek. Annak

Részletesebben

Arisztotelesz Kr.e. 350 körül írta logikai műveit, melyek egyrésze elveszett, a többit 300 évvel később

Arisztotelesz Kr.e. 350 körül írta logikai műveit, melyek egyrésze elveszett, a többit 300 évvel később Slide 1 Induktív következtetés Érvelési hibák Ajánlott források: Lakatos László Kutrovátz Gábor Bognár - Forrai Slide Arisztotelesz Kr.e. 350 körül írta logikai műveit, melyek egyrésze elveszett, a többit

Részletesebben

A matematikai logika alapjai

A matematikai logika alapjai A matematikai logika alapjai A logika a gondolkodás törvényeivel foglalkozó tudomány A matematikai logika a logikának az az ága, amely a formális logika vizsgálatára matematikai módszereket alkalmaz. Tárgya

Részletesebben

LOGIKA ÉS ÉRVELÉSTECHNIKA

LOGIKA ÉS ÉRVELÉSTECHNIKA LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika NULLADREND LOGIKA 3. Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Ruzsa

Részletesebben

Pszichológia a Tudomány Világában

Pszichológia a Tudomány Világában Pszichológia a Tudomány Világában Lehet, hogy a szomszéd füve zöldebb, de azt is ugyanolyan nehéz nyírni. - Little Richard Dr. Szabó Attila, PhD Tudomány és Pszichológia A tudomány a tudás forrása Megbízható

Részletesebben

A logikai következmény

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

Részletesebben

Oktatási Hivatal FILOZÓFIA. A 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny első forduló. Javítási-értékelési útmutató

Oktatási Hivatal FILOZÓFIA. A 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny első forduló. Javítási-értékelési útmutató Oktatási Hivatal A 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny első forduló FILOZÓFIA Javítási-értékelési útmutató OKTV 2015/2016 1. forduló 1. A keresztrejtvény vízszintes soraiba írja

Részletesebben

Menet. A konfirmáció Hempel paradoxonai. Hempel véleménye a konformációs paradoxonokról

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

Részletesebben

Tudományfilozófia. A demarkáció problémája

Tudományfilozófia. A demarkáció problémája Tudományfilozófia A demarkáció problémája Az óra tematikája I. II. III. IV. V. VI. VII. VIII. Az órán a tudomány szót általában a legszűkebb értelmében használjuk, de a legtöbb esetben ez értelemszerűen

Részletesebben

TUDOMÁNYOS MÓDSZERTAN

TUDOMÁNYOS MÓDSZERTAN TUDOMÁNYOS MÓDSZERTAN Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi Tanszék az MTA Közgazdaságtudományi

Részletesebben

A világtörvény keresése

A világtörvény keresése A világtörvény keresése Kopernikusz, Kepler, Galilei után is sokan kételkedtek a heliocent. elméletben Ennek okai: vallási politikai Új elméletek: mozgásformák (egyenletes, gyorsuló, egyenes, görbe vonalú,...)

Részletesebben

A gyógyszerek hatásának bizonyítása a 18. század végéig

A gyógyszerek hatásának bizonyítása a 18. század végéig A gyógyszerek hatásának bizonyítása a 18. század végéig Görög-római ókor Három orvosi irányzat létezik, a racionális (dogmatikus), az empirikus és a methodikus. A racionális a természet vizsgálatát (phüsziologia)

Részletesebben

KOVÁCS BÉLA, MATEMATIKA I.

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

Részletesebben

Adatbázisok elmélete 12. előadás

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

Részletesebben

A demarkációprobléma a tudományfilozófiában. Tudomány, tudományellenesség, áltudomány BME Filozófia és Tudománytörténet Tanszék

A demarkációprobléma a tudományfilozófiában. Tudomány, tudományellenesség, áltudomány BME Filozófia és Tudománytörténet Tanszék A demarkációprobléma a tudományfilozófiában Mi a tudomány, és mi nem az? Kurzusunk célja, hogy adjunk némi praktikus fogódzót ahhoz, hogy meg tudjuk különböztetni a tudományokat az áltudományoktól Mi a

Részletesebben

LOGIKA ÉS ÉRVELÉSTECHNIKA

LOGIKA ÉS ÉRVELÉSTECHNIKA LOGIKA ÉS ÉRVELÉSTECHNIKA Készült a TÁMOP-4.1.2-08/2/a/KMR-2009-0041 pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi Tanszék az MTA

Részletesebben

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. 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.

Részletesebben

Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2. Érveléstechnika-logika 9. Induktív érvek, analógiás érvek

Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2. Érveléstechnika-logika 9. Induktív érvek, analógiás érvek Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Érveléstechnika-logika 9. Induktív érvek, analógiás érvek Induktív érvek Az induktív érvnél a premisszákból sosem következik

Részletesebben

TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA

TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi

Részletesebben

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

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

Részletesebben

Csima Judit október 24.

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

Részletesebben

A sorozat fogalma. függvényeket sorozatoknak nevezzük. Amennyiben az értékkészlet. az értékkészlet a komplex számok halmaza, akkor komplex

A sorozat fogalma. függvényeket sorozatoknak nevezzük. Amennyiben az értékkészlet. az értékkészlet a komplex számok halmaza, akkor komplex A sorozat fogalma Definíció. A természetes számok N halmazán értelmezett függvényeket sorozatoknak nevezzük. Amennyiben az értékkészlet a valós számok halmaza, valós számsorozatról beszélünk, mígha az

Részletesebben

A törzsszámok sorozatáról

A törzsszámok sorozatáról A törzsszámok sorozatáról 6 = 2 3. A 7 nem bontható fel hasonló módon két tényez őre, ezért a 7-et törzsszámnak nevezik. Törzsszámnak [1] nevezzük az olyan pozitív egész számot, amely nem bontható fel

Részletesebben

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 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

Részletesebben

Szerző: Sztárayné Kézdy Éva Lektor: Fokasz Nikosz TÁMOP-4.1.2.A/1-11/1-2011-0091 INFORMÁCIÓ - TUDÁS ÉRVÉNYESÜLÉS

Szerző: Sztárayné Kézdy Éva Lektor: Fokasz Nikosz TÁMOP-4.1.2.A/1-11/1-2011-0091 INFORMÁCIÓ - TUDÁS ÉRVÉNYESÜLÉS Kutatásmódszertan és prezentációkészítés Szerző: Sztárayné Kézdy Éva Lektor: Fokasz Nikosz Első rész Bevezetés a tudományos elemzésbe Tartalomjegyzék Mi a Tudomány? A világ megismerésére szolgáló egyéb

Részletesebben

Fizika óra. Érdekes-e a fizika? Vagy mégsem? A fizikusok számára ez nem kérdés, ők biztosan nem unatkoznak.

Fizika óra. Érdekes-e a fizika? Vagy mégsem? A fizikusok számára ez nem kérdés, ők biztosan nem unatkoznak. Fizika óra Érdekes-e a fizika? A fizikusok számára ez nem kérdés, ők biztosan nem unatkoznak. A fizika, mint tantárgy lehet ugyan sokak számára unalmas, de a fizikusok világa a nagyközönség számára is

Részletesebben

Matematikai logika és halmazelmélet

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

Részletesebben

ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)

ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA) ÍTÉLETKALKULUS SZINTAXIS ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA) jelkészlet elválasztó jelek: ( ) logikai műveleti jelek: ítéletváltozók (logikai változók): p, q, r,... ítéletkonstansok: T, F szintaxis szabályai

Részletesebben

Kijelentéslogika, ítéletkalkulus

Kijelentéslogika, ítéletkalkulus Kijelentéslogika, ítéletkalkulus Arisztotelész (ie 4. sz) Leibniz (1646-1716) oole (1815-1864) Gödel (1906-1978) Neumann János (1903-1957) Kalmár László (1905-1976) Péter Rózsa (1905-1977) Kijelentés,

Részletesebben

Logika és informatikai alkalmazásai

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

Részletesebben

(Természetesen, nem lesz ilyen sok kérdés feladva a vizsgán!) Hogy szól a relativitási elv a lehető legjobb megfogalmazásban?

(Természetesen, nem lesz ilyen sok kérdés feladva a vizsgán!) Hogy szól a relativitási elv a lehető legjobb megfogalmazásban? Próba vizsgakérdések (A téridő fizikájától a tér és idő metafizikájáig) (Természetesen, nem lesz ilyen sok kérdés feladva a vizsgán!) Hogy szól a relativitási elv a lehető legjobb megfogalmazásban? Mit

Részletesebben

Készítette: Bruder Júlia

Készítette: Bruder Júlia Készítette: Bruder Júlia nkp.hu Megfigyelés Kísérlet Mérés Feladat: Lakóhely időjárásának megfigyelése 2 hétig: max. hőmérséklet, min. hőmérséklet, szél (nincs, gyenge, erős), csapadék. Az adatokat táblázatba

Részletesebben

Logika és informatikai alkalmazásai

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

Részletesebben

Holizmus, aluldetermináltság

Holizmus, aluldetermináltság Holizmus, aluldetermináltság Hogyan magyarázzuk megfigyeléseinket? Miért esik le a kréta? A gravitáció miatt? Evidensnek tűnik, nem? Ostobaság lenne kételkedni egy ilyen meggyőző demonstráció után a gravitáció

Részletesebben

LOGIKA ÉS ÉRVELÉSTECHNIKA

LOGIKA ÉS ÉRVELÉSTECHNIKA LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika A RACIONÁLIS VITA Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Forrai Gábor

Részletesebben

Kijelentéslogika, ítéletkalkulus

Kijelentéslogika, ítéletkalkulus Kijelentéslogika, ítéletkalkulus Kijelentés, ítélet: olyan kijelentő mondat, amelyről egyértelműen eldönthető, hogy igaz vagy hamis Logikai értékek: igaz, hamis zürke I: 52-53, 61-62, 88, 95 Logikai műveletek

Részletesebben

1. tétel. Valószínűségszámítás vizsga Frissült: 2013. január 19. Valószínűségi mező, véletlen tömegjelenség.

1. tétel. Valószínűségszámítás vizsga Frissült: 2013. január 19. Valószínűségi mező, véletlen tömegjelenség. 1. tétel Valószínűségszámítás vizsga Frissült: 2013. január 19. Valószínűségi mező, véletlen tömegjelenség. A valószínűségszámítás tárgya: véletlen tömegjelenségek vizsgálata. véletlen: a kísérlet kimenetelét

Részletesebben

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

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

Részletesebben

Érveléstechnika-logika 6. óra

Érveléstechnika-logika 6. óra Érveléstechnika-logika 6. óra BME Filozófia és Tudománytörténet Tanszék http://www.filozofia.bme.hu/ Tartalom Deduktív és induktív érvelések Induktív érvelések értékelése Induktív általánosítások Adatok

Részletesebben

TUDOMÁNYOS MÓDSZERTAN

TUDOMÁNYOS MÓDSZERTAN TUDOMÁNYOS MÓDSZERTAN Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi Tanszék az MTA Közgazdaságtudományi

Részletesebben

TUDOMÁNYOS MÓDSZERTAN

TUDOMÁNYOS MÓDSZERTAN TUDOMÁNYOS MÓDSZERTAN TUDOMÁNYOS MÓDSZERTAN Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TátK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi

Részletesebben

Érvelés, tárgyalás, meggyőzés

Érvelés, tárgyalás, meggyőzés Érvelés, tárgyalás, meggyőzés 10. óra Retorika és logika Csordás Geng Pinkasz Szabó - Tanács TÉMAKÖRÖK A vita elemzése: retorika és logika 2 BME Filozófia és Tudománytörténet Tanszék, Érvelés, tárgyalás,

Részletesebben

1. A TUDOMÁNYOS KUTATÓMUNKA ELMÉLETI ALAPJAI ÉS AZ ÜZLETI KUTATÁSOK SAJÁTOSSÁGAI

1. A TUDOMÁNYOS KUTATÓMUNKA ELMÉLETI ALAPJAI ÉS AZ ÜZLETI KUTATÁSOK SAJÁTOSSÁGAI 1. A TUDOMÁNYOS KUTATÓMUNKA ELMÉLETI ALAPJAI ÉS AZ ÜZLETI KUTATÁSOK SAJÁTOSSÁGAI 1.1. Feleletválasztásos tesztkérdések 1. 2. 3. 4. 5. 6. A annak levezetése, hogy a tudomány szabályai szerint hogyan juthattunk

Részletesebben

9. előadás. Programozás-elmélet. Programozási tételek Elemi prog. Sorozatszámítás Eldöntés Kiválasztás Lin. keresés Megszámolás Maximum.

9. előadás. Programozás-elmélet. Programozási tételek Elemi prog. Sorozatszámítás Eldöntés Kiválasztás Lin. keresés Megszámolás Maximum. Programozási tételek Programozási feladatok megoldásakor a top-down (strukturált) programtervezés esetén három vezérlési szerkezetet használunk: - szekvencia - elágazás - ciklus Eddig megismertük az alábbi

Részletesebben

Bizonytalanság. Mesterséges intelligencia április 4.

Bizonytalanság. Mesterséges intelligencia április 4. Bizonytalanság Mesterséges intelligencia 2014. április 4. Bevezetés Eddig: logika, igaz/hamis Ha nem teljes a tudás A világ nem figyelhető meg közvetlenül Részleges tudás nem reprezentálható logikai eszközökkel

Részletesebben

Varga Tamás szellemébenkonkrét tapasztalatok, gondolkodásra és önállóságra nevelés

Varga Tamás szellemébenkonkrét tapasztalatok, gondolkodásra és önállóságra nevelés Varga Tamás szellemébenkonkrét tapasztalatok, gondolkodásra és önállóságra nevelés Előadásom részei Múlt hét: 30 órás továbbképzés. Fókuszban: Varga Tamás matematikája, eszközhasználat és játék, tudatos

Részletesebben

GYAKORLATI FILOZÓFIA FILOZÓFIA TANÉV II. ELŐADÁS SZEPT. 18.

GYAKORLATI FILOZÓFIA FILOZÓFIA TANÉV II. ELŐADÁS SZEPT. 18. GYAKORLATI FILOZÓFIA FILOZÓFIA 2014-2015. TANÉV II. ELŐADÁS 2014. SZEPT. 18. A GYAKORLATI FILOZÓFIA TÁRGYA ELMÉLETI ÉSZ GYAKORLATI ÉSZ ELMÉLETI ÉSZ: MILYEN VÉLEKEDÉSEKET FOGADJUNK EL IGAZNAK? GYAKORLATI

Részletesebben

5. Holizmus, aluldetermináltság. BME - GTK Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2.

5. Holizmus, aluldetermináltság. BME - GTK Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2. 5. Holizmus, aluldetermináltság BME - GTK Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Telefon: 463-1181 Mielőtt elkezdenénk mi a helyes válasz? Amikor ugyanazon adatokra,

Részletesebben

ESSZÉÍRÁS június

ESSZÉÍRÁS június ESSZÉÍRÁS Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi Tanszék az MTA Közgazdaságtudományi

Részletesebben

p-érték, hipotézistesztelés, és ellentmondásaik

p-érték, hipotézistesztelés, és ellentmondásaik p-érték, hipotézistesztelés, és ellentmondásaik Ferenci Tamás tamas.ferenci@medstat.hu 2018. május 16. Ferenci Tamás tamas.ferenci@medstat.hu p-érték, hipotézistesztelés, és ellentmondásaik 2018. május

Részletesebben

A 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny első forduló FILOZÓFIA FELADATLAP ÉS VÁLASZLAP

A 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny első forduló FILOZÓFIA FELADATLAP ÉS VÁLASZLAP Oktatási Hivatal Munkaidő: 120 perc Elérhető pontszám: 50 pont ÚTMUTATÓ A 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny első forduló FILOZÓFIA FELADATLAP ÉS VÁLASZLAP A munka megkezdése előtt

Részletesebben

A 2016/2017. tanévi Országos Középiskolai Tanulmányi Verseny első forduló FILOZÓFIA FELADATLAP ÉS VÁLASZLAP

A 2016/2017. tanévi Országos Középiskolai Tanulmányi Verseny első forduló FILOZÓFIA FELADATLAP ÉS VÁLASZLAP Oktatási Hivatal Munkaidő: 120 perc Elérhető pontszám: 50 pont ÚTMUTATÓ A 2016/2017. tanévi Országos Középiskolai Tanulmányi Verseny első forduló FILOZÓFIA FELADATLAP ÉS VÁLASZLAP A munka megkezdése előtt

Részletesebben

ELTE TáTK Közgazdaságtudományi Tanszék ESSZÉÍRÁS. Készítette: Reich Orsolya. Szakmai felelős: Wessely Anna június

ELTE TáTK Közgazdaságtudományi Tanszék ESSZÉÍRÁS. Készítette: Reich Orsolya. Szakmai felelős: Wessely Anna június ESSZÉÍRÁS ESSZÉÍRÁS Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TátK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi Tanszék, az MTA Közgazdaságtudományi

Részletesebben

A matematika nyelvér l bevezetés

A matematika nyelvér l bevezetés A matematika nyelvér l bevezetés Wettl Ferenc 2012-09-06 Wettl Ferenc () A matematika nyelvér l bevezetés 2012-09-06 1 / 19 Tartalom 1 Matematika Matematikai kijelentések 2 Logikai m veletek Állítások

Részletesebben

A. RAKITOV: A TUDOMÁNYOS ISMERET ANATÓMIÁJA BEVEZETÉS A LOGIKÁBA ÉS A TUDOMÁNYOS METODOLÓGIÁBA

A. RAKITOV: A TUDOMÁNYOS ISMERET ANATÓMIÁJA BEVEZETÉS A LOGIKÁBA ÉS A TUDOMÁNYOS METODOLÓGIÁBA Molnár Irén A. RAKITOV: A TUDOMÁNYOS ISMERET ANATÓMIÁJA BEVEZETÉS A LOGIKÁBA ÉS A TUDOMÁNYOS METODOLÓGIÁBA Fordította: Tucher György A szöveget az eredetivel egybevetette: Dr. Székely Sándor Kossuth Könyvkiadó

Részletesebben

* Pl. szeretjük előre tudni kik lesznek ott a buliban, vagy mikor ér véget

* Pl. szeretjük előre tudni kik lesznek ott a buliban, vagy mikor ér véget * Pl. szeretjük előre tudni kik lesznek ott a buliban, vagy mikor ér véget egy program. Nehezen viseljük a kiszámíthatatlanságot, t tl á t pl. vasutas sztrájk. ** Pl az MNB a kamatpolitikájával akarja

Részletesebben

A megismerés másik célja: előrejelzés

A megismerés másik célja: előrejelzés Előrejelzés A megismerés másik célja: előrejelzés Miért akarjuk megismerni magunkat és a környezetünket? Előrejelzéseket szeretnénk tenni, mert: szeretünk kiszámítható világban élni céljainknak megfelelően

Részletesebben

Érveléstechnika-logika 7. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2.

Érveléstechnika-logika 7. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Érveléstechnika-logika 7. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Induktív érvek Az induktív érvnél a premisszákból sosem következik szükségszerűen a konklúzió.

Részletesebben

MATEMATIK A 9. évfolyam. 2. modul: LOGIKA KÉSZÍTETTE: VIDRA GÁBOR

MATEMATIK A 9. évfolyam. 2. modul: LOGIKA KÉSZÍTETTE: VIDRA GÁBOR MATEMATIK A 9. évfolyam 2. modul: LOGIKA KÉSZÍTETTE: VIDRA GÁBOR Matematika A 9. évfolyam. 2. modul: LOGIKA Tanári útmutató 2 MODULLEÍRÁS A modul célja Időkeret Ajánlott korosztály Modulkapcsolódási pontok

Részletesebben

Az ellenpéldával történő cáfolás az elemi matematikában

Az ellenpéldával történő cáfolás az elemi matematikában Az ellenpéldával történő cáfolás az elemi matematikában Tuzson Zoltán, Székelyudvarhely Ismeretes, hogy a logika a helyes gondolkodás törvényeit leíró tudomány, ezért más tudományágakban sem nélkülözhető.

Részletesebben

Érveléstechnika-logika 2. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2.

Érveléstechnika-logika 2. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Érveléstechnika-logika 2. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Racionális vita, mint érvelési helyzet A racionális (érvelő) vitát tekinthetjük az érvelési alaphelyzetnek.

Részletesebben

BEVEZETÉS A PSZICHOLÓGIÁBA

BEVEZETÉS A PSZICHOLÓGIÁBA BEVEZETÉS A PSZICHOLÓGIÁBA Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén, az ELTE Közgazdaságtudományi Tanszék, az

Részletesebben

Memo: Az alábbi, "természetes", Gentzen típusú dedukciós rendszer szerint készítjük el a levezetéseket.

Memo: Az alábbi, természetes, Gentzen típusú dedukciós rendszer szerint készítjük el a levezetéseket. Untitled 2 1 Theorema Predikátumlogika 1 3 Natural Deduction (Gentzen mag/alap kalkulus) Cél: a logikai (szematikai) következményfogalom helyett a (szintaktikai) levethetõség vizsgálata. A bizonyítási

Részletesebben

Kora modern kori csillagászat. Johannes Kepler ( ) A Világ Harmóniája

Kora modern kori csillagászat. Johannes Kepler ( ) A Világ Harmóniája Kora modern kori csillagászat Johannes Kepler (1571-1630) A Világ Harmóniája Rövid életrajz: Született: Weil der Stadt (Német -Római Császárság) Protestáns környezet, vallásos nevelés (Művein érezni a

Részletesebben

25. tétel: Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel

25. tétel: Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel 5. tétel: Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel Axióma: Bizonyítás: olyan állítás, amelynek igazságát bizonyítás nélkül elfogadjuk.

Részletesebben

p-érték, hipotézistesztelés, és ellentmondásaik

p-érték, hipotézistesztelés, és ellentmondásaik p-érték, hipotézistesztelés, és ellentmondásaik Ferenci Tamás tamas.ferenci@medstat.hu 2018. május 16. Következtetéselmélet A megfigyelt világ és a tudásunk összekapcsolása Deduktív következtetés: kiindulunk

Részletesebben

Kant és a transzcendentális filozófia. Filozófia ös tanév VI. előadás

Kant és a transzcendentális filozófia. Filozófia ös tanév VI. előadás Kant és a transzcendentális filozófia Filozófia 2014-2015-ös tanév VI. előadás Kant és a transzcendentális filozófia A 18. század derekára mind az empirista, mind a racionalista hagyomány válságba jutott.

Részletesebben

Diszkrét matematika I.

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

Részletesebben

Módszertani dilemmák a statisztikában 40 éve alakult a Jövőkutatási Bizottság

Módszertani dilemmák a statisztikában 40 éve alakult a Jövőkutatási Bizottság Módszertani dilemmák a statisztikában 40 éve alakult a Jövőkutatási Bizottság SZIGNIFIKANCIA Sándorné Kriszt Éva Az MTA IX. Osztály Statisztikai és Jövőkutatási Tudományos Bizottságának tudományos ülése

Részletesebben

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

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

Részletesebben

Speciális relativitás

Speciális relativitás Fizika 1 előadás 2016. április 6. Speciális relativitás Relativisztikus kinematika Utolsó módosítás: 2016. április 4.. 1 Egy érdekesség: Fizeau-kísérlet A v sebességgel áramló n törésmutatójú folyadékban

Részletesebben

AZ ELME RÉTEGEI DIAGRAM

AZ ELME RÉTEGEI DIAGRAM AZ ELME RÉTEGEI DIAGRAM "Vágyad éppúgy helyreállítja az igazságot, ahogy az igazság elvesztése is egy vágyadnak volt köszönhető. A csodák tanítása, Törzsszöveg, 20. VIII. 1.2. A. Amikor arra gondolok:

Részletesebben

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

Í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,

Részletesebben

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

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

Részletesebben

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

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

Részletesebben

Diszkrét matematika I.

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

Részletesebben

[Biomatematika 2] Orvosi biometria

[Biomatematika 2] Orvosi biometria [Biomatematika 2] Orvosi biometria 2016.02.08. Orvosi biometria (orvosi biostatisztika) Statisztika: tömegjelenségeket számadatokkal leíró tudomány. A statisztika elkészítésének menete: tanulmányok (kísérletek)

Részletesebben