Tartalomjegyzék. Pragmatikai és logikai alapok. Első rész A könyv célja, használata 1.2 Elméleti keretek: pragmatika és logika
|
|
- Dóra Takácsné
- 7 évvel ezelőtt
- Látták:
Átírás
1 Tartalomjegyzék ELSŐ FEJEZET Bevezetés 1.1. A könyv célja, használata 1.2 Elméleti keretek: pragmatika és logika Első rész Pragmatikai és logikai alapok MÁSODIK FEJEZET A vita 2.1 A vita: megközelítési módok 2.2 A vita típusa A vita jellegének tisztázása 2.3 A vita mint a konfliktusmegoldás eszköze 2.4 Vita és érvelés 2.5 Feladatok HARMADIK FEJEZET A vita mint dialógus 3.1 Beszédaktusok Érvelési beszédaktusok Beszédaktus implicit utalások, következtetések, előfeltevések Visszaélések a performatív kifejezésekkel A beszédaktusok sikerességének ellenőrzése 3.2 A racionális vita általános szabályai Szabályok implicit utalások és következtetések 3.3 A racionális vita speciális szabályai Konfrontációs szabályok Argumentációs szabályok Dramaturgiai szabályok 3.4 A látszatvita Hogyan ismerhető föl, ha a feltételek nem teljesülnek? 3.5 Feladatok NEGYEDIK FEJEZET Érvelések szerkezete és rekonstrukciója 4.1 Érvelés, következtetés 4.2 Mondatok és állítások 4.3 Premisszák és konklúziók 4.4 Mellékes megjegyzések 4.5 Hiányos következtetések 4.6 Összetett érvelések, érvelési térképek 4.7 Ahol nincsenek érvelések 4.8 Rekonstrukció és értelmezés a jóindulat elve
2 4.9 Érvelések logikai rekonstrukciója A konklúzió elhelyezése 4.10 Érvelések elemzésének szempontjai 4.11 Feladatok ÖTÖDIK FEJEZET Logikai alapfogalmak 5.1 Érvelések értékelése, jósága 5.2 Deduktív és induktív érvelések 5.3 Forma tartalom 5.4 Érvényesség 5.5 Igazság, érvényesség, helytállóság 5.6 Induktív erő, plauzibilitás 5.7 Deduktív induktív Deduktív és induktív érvelések azonosítása 5.8 Érvelések értékelésének eszközei Eljárási garanciák, logikai kritériumok Az érvelési tevékenység minősítésének módszere A deduktív érvelések minősítésének módszerei Az induktív érvelések minősítésének módszerei Érvelési hibák Második rész Formális logika HATODIK FEJEZET A kijelentéslogika alapfogalmai 6.1 A kijelentéslogika eszköztára áttekintés 6.2. Formalizáció 6.3. Negáció 6.4. Konjunkció 6.5. Alternáció 6.6. Kondicionális A kondicionális természetes nyelvi változatai 6.7 Bikondicionális 6.8 Elnevezések és jelölések 6.9 Összetett állítások, amelyek nem igazságfüggvények 6.10 Állítások formalizálása 6.11 Összetett állítások igazságértékének kiszámítása 6.12 Állítássémák lehetséges igazságértékeinek meghatározása 6.13 Analitikus táblázatok 6.14 Speciális sémák: logikai igazság és logikai ellentmondás 6.15 Formulák összehasonlítása, logikai ekvivalencia 6.16 Ekvivalens állítássémák Feladatok HETEDIK FEJEZET Következtetések a kijelentéslogikában 7.1 A következtetések ellenőrzése igazságtáblázatok segítségével 7.2 A következtetések ellenőrzése analitikus táblázatok segítségével
3 7.3 Konzisztencia, logikai következmény, ekvivalencia 7.4 Néhány fontos következtetési forma és alkalmazásaik Diszjunktív szillogizmus Hipotetikus szillogizmus Modus ponens, modus tollens és a kapcsolódó hibák Konstruktív és destruktív dilemma 7.5 Alapvető következtetési sémák 7.6 Természetes levezetés Feltételes és indirekt bizonyítás Természetes levezetés és érvelés 7.7 Feladatok NYOLCADIK FEJEZET A predikátumlogika alapjai 8.1 A predikátumlogika eszköztára áttekintés 8.2 Individuumok és jellemzőik Individuumok és megnevezésük Tulajdonságok és predikátumok Individuumváltozók és nyitott mondatok A predikátum terjedelme Összetett szinguláris állítások 8.3 Egzisztenciális és univerzális kvantorok 8.4 Kategorikus állítások Állítások ábrázolása Venn-diagramon Az univerzális állítások egzisztenciális tartalma Univerzális állítás és általánosítás Az univerzális állítás alátámasztása és megbízhatósága Összetett kategorikus állítások 8.5 Relációk Többargumentumú predikátumok Kvantifikáció 8.6 Állítások formalizálása: összefoglalás Szinguláris állítások formalizálása Kvantoros állítások formalizálása Egyéb kérdések 8.7 Feladatok KILENCEDIK FEJEZET Következtetések a predikátumlogikában 9.1 Néhány fontos következtetési séma Kategorikus állítások közvetlen következményei Kategorikus szillogizmusok 9.2 Következtetések ellenőrzése Venn-diagrammal Kategorikus szillogizmusok ellenőrzése Venn-diagramokkal Egyéb következtetések vizsgálata Venn-diagramon 9.3 Természetes levezetés Kvantoros levezetési szabályok Levezetések 9.4 Következtetések érvénytelensége: ellenpéldák 9.5 Feladatok
4 Harmadik rész Informális logika TIZEDIK FEJEZET Nyelv 10.1 Kognitív és emotív jelentés Véleménykülönbség és viszonyulásbeli különbség Átminősítés és a beállítás megváltoztatása A vita nyelve és a vita eredményessége 10.2 Kétértelműség és homályosság A kétértelműség-hiba A szavakon való vitatkozás A homályos kifejezés hiba Demagógia Csúszdaérvelés 10.3 Definíciók A definíciók fajtái A lényegmeghatározás A túl sokat állító definíció 10.4 A nyelvhasználat az érvelésekben 10.5 Feladatok TIZENEGYEDIK FEJEZET Adatok, induktív általánosítás, statisztikák 11.1 Az adatok előállítása 11.2 Induktív általánosítás 11.3 A minta reprezentativitása és az induktív általánosítás hibái A minta elfogultsága Anekdotikus adatokra épülő általánosítások 11.4 A statisztikai adatok egyéb hibái Az értelmetlen adatok hibája A hozzáférhetetlen adatok hibája 11.5 Statisztikus következtetések és hibáik Hibás statisztikai következtetések: Az adatok szórása és az átlag Hibás statisztikai következtetések: mértékek és arányok, százalék 11.6 Az adatok interpretációja 11.7 A statisztikák ábrázolása 11.8 Feladatok TIZENKETTEDIK FEJEZET Okság 12.1 Az ok fogalma 12.2 Oksági törvények 12.3 Korreláció és okság 12.4 Mill-féle indukciós következtetési szabályok A direkt egyezés módszere Az inverz egyezés módszere Az egyezés kombinált módszere
5 A különbség módszere Az együttváltozás módszere A maradék módszere 12.5 Az ok-okozati összefüggések típusai és az oksági összefüggésre való következtetések hibái 12.6 Okból okozatra és okozatról okra való következtetések Kontrafaktuális hipotézis Dominóhatás-érvelés 12.7 Feladatok TIZENHARMADIK FEJEZET Analógiák 13.1 Az analógia szerkezete Az analógiák használata érvelésekben Osztályozás Helyes eljárás megválasztása Ismertről az ismeretlenre való következtetés Előrejelzések 13.3 Az analógiák erősségének vizsgálata, kritizálási stratégiák 13.4 Az analógiák szerepe a magyarázatban, a megértésben és az értelmezésben 13.5 Hibás analogikus érvelések Félrevezető hasonlóság Az analógiák retorikai használata 13.6 Analógia és indukció, az analógiák általános értékelése 13.7 Feladatok TIZENNEGYEDIK FEJEZET Kérdések és válaszok 14.1 A kérdések szerepe 14.2 A túl általános kérdés 14.3 Az agresszív kérdés 14.4 Komplex kérdés 14.5 Túl sokat állító kérdés Válaszolási stratégiák 14.6 Mellébeszélés A mellébeszélés aranyszabályai 14.7 Feladatok TIZENÖTÖDIK FEJEZET További gyakori érvelési típusok és érvelési hibák 15.1 Az érzelmekre apellálás esetei Szénalomra apellálás A fenyegetésre apellálás A többiekre hivatkozó érvelések Közvélekedésre apellálás Más is ezt csinálja A csoportnyomásra hivatkozás 15.2 A hitelességre hivatkozó érvelések A hitelesség
6 Személyeskedés A személy lejáratása A személy elfogultságára hivatkozás A személy következetlenségére hivatkozás A személy inkompetenciájára hivatkozás A személyeskedés pragmatikai és pszichológiai hatásai Válasz a személyeskedésre Személyeskedés Rossz hivatkozás Egyoldalúhivatkozás A szakértő félreértelmezése Elfogult szakértő Azonosíthatatlan hivatkozás A tekintélyre hivatkozó érvelések kritikája Néhány további gyakori relevancia-hiba Témaváltás A tárgy figyelmen kívül hagyása Árnyékbokszolás Mások még rosszabbak Felosztás-hiba kompozíciós hiba A következményekre hivatkozás Körbenforgás Néhány további hibás érvelés, amelyekben általában nem elegendőek a premisszák Nem tudásra apellálás Összehasonlítások Leplezett összehasonlítás Elfogult összehasonlítás Az összehasonlítások logikai szerkezete Feladatok Negyedik rész Függelék TIZENHATODIK FEJEZET Feladatmegoldások TIZENHETEDIK FEJEZET Irodalom TIZENNYOLCADIK FEJEZET Név- és tárgymutató TIZENKILENCEDIK FEJEZET Szimbólumok jegyzéke
Margitay Tihamér Az érvelés mestersége
Margitay Tihamér Az érvelés mestersége Margitay Tihamér Az érvelés mestersége Érvelések elemzése, értékelése és kritikája Budapest, 2007 A könyv első kiadása az OTKA (T037504), az MTA BME Tudományfilozófiai
RészletesebbenTUDOMÁ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észletesebbenMATEMATIK 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észletesebbenLOGIKA É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észletesebbenMit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? 4/14/2014. propozicionális logikát
roozicionális logikát roozicionális logikát Legfontosabb logikai konnektívumok: roozíció=állítás nem néztünk a tagmondatok belsejébe, csak a logikai kacsolatuk érdekelt minket Legfontosabb logikai konnektívumok:
RészletesebbenI. Igazolás és/vagy meggyőzés. Érvelés és elemzés A deduktív logika elemei. Ismétlés 2: Érvelési forma. Ismétlés 1: Deduktív érvelés
I. Igazolás és/vagy meggyőzés Érvelés és elemzés A deduktív logika elemei Érvelések elemzése milyen kérdésre keres választ Milyen cél alapján? / Mit tekint az érvelések funkciójának? Mi az igazsgág? Mi
RészletesebbenArisztotelesz 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észletesebbenAz informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Formulahalmaz kielégíthetősége Ezen az előadáson Γ-val egy elsőrendű logikai nyelv
RészletesebbenLOGIKA É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észletesebbenLOGIKA ÉS ÉRVELÉSTECHNIKA
LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika ÉRVELÉSI HIBÁK Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Forrai Gábor
RészletesebbenA 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Összefüggések. kondicionális jelentése
Összefüggések kondicionális jelentése p q ~pvq Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p Kontrapozíció
RészletesebbenTartalom A TELEVÍZIÓSZOLGÁLTATÁS ALAPFOGALMAI A TELEVÍZIÓSZOLGÁLTATÁS MEGVALÓSÍTÁSÁRA SZOLGÁLÓ TECHNOLÓGIÁK. Előszó. Első rész.
Tartalom Előszó Első rész A TELEVÍZIÓSZOLGÁLTATÁS ALAPFOGALMAI ELSŐ FEJEZET: Bevezetés MÁSODIK FEJEZET: A televíziózás története HARMADIK FEJEZET: A televíziószolgáltatás alapfogalmai A képátvitel technikai
RészletesebbenAZ 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
Részletesebben3. 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észletesebbenLOGIKA É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észletesebbenPrediká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észletesebbenLOGIKA É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
RészletesebbenÍ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észletesebbenMatematikai 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észletesebbenElső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ó)
RészletesebbenNegáció igazságtáblája. Propozicionális logika -- levezetések. Diszjunkció igazságtáblája. Konjunkció igazságtáblája. Kondicionális igazságtáblája
Negáció igazságtáblája Propozicionális logika -- levezetések p ~p I H H I Konjunkció igazságtáblája Diszjunkció igazságtáblája p q p&q I I I I H H H I H H H H p q pvq I I I I H I H I I H H H Megengedő
RészletesebbenPrediká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észletesebbenLOGIKA É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észletesebbenA 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észletesebbenLOGIKA É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észletesebbenAz informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. A logika szó hétköznapi jelentése: rendszeresség, következetesség Ez logikus beszéd
RészletesebbenLOGIKA É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észletesebben4. fejezet Analitikus táblázatok a kijelentéslogikában Bevezetés A következtetések helyességének ellenőrzésére több eljárás is kínálkozik.
4. fejezet Analitikus táblázatok a kijelentéslogikában Bevezetés A következtetések helyességének ellenőrzésére több eljárás is kínálkozik. Az egyik az igazságtáblázatok módszere, amelyet az előző fejezetekben
RészletesebbenKondicionális. Konverz (retro) kondicionális. Predikátumlogika. Predikátumlogika 22/05/2014. p q
Kondicionális p q Ha esik az eső, (akkor) vizes út. Ha felhívsz holnap, (akkor) találkozunk. Ha adsz pénzt, (akkor) veszek fagyit. Akkor vizes az út, ha esik az eső. Akkor találkozunk, ha felhívsz holnap.
RészletesebbenÉrvelés-Meggyőzés-Tárgyalástechnika Gyakorló feladatok, 1 ZH
Érvelés-Meggyőzés-Tárgyalástechnika Gyakorló feladatok, 1 ZH Kidolgozta: Sipos-Takáts Bence 1. Mi a különbség a deduktív és az induktív érvek között? Ebben az érvben a premisszák és a konklúzió között
RészletesebbenLogika. Mihálydeák Tamás szeptember 27. Tartalomjegyzék. 1.
Logika Mihálydeák Tamás mihalydeak@inf.unideb.hu www.inf.unideb.hu/szamtud/tagok/?mihalydeak 2007. szeptember 27. Tartalomjegyzék 1. Irodalom 3 2. A logika feladata 3 3. A helyes következtetés 3 4. Történeti
RészletesebbenTartalomjegyzék I. RÉSZ: KÍSÉRLETEK MEGTERVEZÉSE
Tartalomjegyzék 5 Tartalomjegyzék Előszó I. RÉSZ: KÍSÉRLETEK MEGTERVEZÉSE 1. fejezet: Kontrollált kísérletek 21 1. A Salk-oltás kipróbálása 21 2. A porta-cava sönt 25 3. Történeti kontrollok 27 4. Összefoglalás
RészletesebbenÁtlag (standard hiba)
Képességpont A képességpont valószínűségi modellel számított érték, amely a tanuló teszten elért eredményét egy mesterséges, a matematikai eszköztudást, illetve szövegértési képességet jelképező skálára
RészletesebbenA TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Történelem és Filozófia 1.3 Intézet Magyar Filozófiai Intézet 1.4 Szakterület Filozófia
RészletesebbenMagyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László
MATEMATIKAI LOGIKA A gondolkodás tudománya Diszkrét matematika Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey,
RészletesebbenMenet. 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É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észletesebbenAz első gyakorlatban tárgyakat tanulsz meg, valamint megtanulsz válaszolni a Mi ez? Mi az? kérdésekre. Megtanulod a számokat 1-16-ig.
Tartalom p1 Drill01 Az első gyakorlatban tárgyakat tanulsz meg, valamint megtanulsz válaszolni a Mi ez? Mi az? kérdésekre. Megtanulod a számokat 1-16-ig. Drill02 A második gyakorlatban további tárgyakat
RészletesebbenBró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észletesebbenInduktív érvelések. Érveléselmélet, 2011. október 17.
Induktív érvelések Érveléselmélet, 2011. október 17. 0. Igazolás és/vagy meggyőzés Érvelések használata milyen kérdésre keres választ: Mi az érvelések funkciója: Milyen területek foglalkoznak ezzel: Az
RészletesebbenLogika é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észletesebbenMemo: 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észletesebbenLOGIKA. Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László.
MATEMATIKAI A gondolkodás tudománya Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey, Tarski, Ramsey, Russel,
RészletesebbenLogika é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észletesebbenMatematikai 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,
RészletesebbenÍ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észletesebbenA matematika nyelvéről bevezetés
A matematika nyelvéről bevezetés Wettl Ferenc 2006. szeptember 19. Wettl Ferenc () A matematika nyelvéről bevezetés 2006. szeptember 19. 1 / 17 Tartalom 1 Matematika Kijelentő mondatok Matematikai kijelentések
RészletesebbenHalmazelmélet és logika
Halmazelmélet és logika Dr. Szilágyi Ibolya szibolya@ektf.hu Matematika és Informatika Intézet EKF, Eger 2006/07 I. szemeszter Dr. Szilágyi Ibolya (EKF) Logika 2006/007 1 / 58 Outline A halmazelmélet és
RészletesebbenLogikai ágensek. Mesterséges intelligencia március 21.
Logikai ágensek Mesterséges intelligencia 2014. március 21. Bevezetés Eddigi példák tudásra: állapotok halmaza, lehetséges operátorok, ezek költségei, heurisztikák Feltételezés: a világ (lehetséges állapotok
RészletesebbenÉrvelés, tárgyalás, meggyőzés
Érvelés, tárgyalás, meggyőzés 9. óra Elek Nikolett nikolett.elek@filozofia.bme.hu Csordás Hédi Virág hedi.csordas@filozofia.bme.hu Egres Dorottya egres.dorottya@filozofia.bme.hu A bizonyítás terhe Gyakran
RészletesebbenTartalom. Quintilianus levele Tryphóhoz (Krupp József fordítása)... 63
Tartalom BEVEZETÉS (Adamik Tamás) Quintilianus élete... 17 Az Institutio oratoria felépítése és eszmeisége... 27 Az Institutio oratoria hagyományozása... 43 Quintilianus Magyarországon... 46 Quintilianus,
RészletesebbenÉrveléstechnika-logika 4. óra
Érveléstechnika-logika 4. óra BME Filozófia és Tudománytörténet Tanszék http://www.filozofia.bme.hu/ Tartalom Érvelési hibák II. Érzelmekkel kapcsolatos érvelési hibák Hitelességgel kapcsolatos érvelési
RészletesebbenLevezetések klasszikus nulladrendű logikai kalkulusban
Levezetések klasszikus nulladrendű logikai kalkulusban Molnár Attila 2008. november 21. Ebben az óravázlatban a nulladrendű logikai kalkulusbeli tételek levezetéséről esik majd szó. Következzen egy gyors
RészletesebbenBevezetés a Formális Logikába Érveléstechnika-logika 7.
Bevezetés a Formális Logikába Érveléstechnika-logika 7. Elemi és összetett állítások Elemi állítások Állítás: Jelentéssel bíró kijelentő mondat, amely információt közöl a világról. Az állítás vagy igaz
RészletesebbenI. Igazolás és/vagy meggyőzés. A deduktív logika elemei. Ismétlés 2: Érvelési forma. Ismétlés 1: Deduktív érvelés
I. Igazolás és/vagy meggyőzés Érvelés és elemzés A deduktív logika elemei Érvelések elemzése milyen kérdésre keres választ Milyen cél alapján? / Mit tekint az érvelések funkciójának? Mi az igazsgág? Mi
RészletesebbenA 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észletesebbenESSZÉÍ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észletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 2016. ősz 1. Diszkrét matematika 1. középszint 2. 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
RészletesebbenDiszkré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észletesebbenGONDOLKODÁS ÉS NYELV
GONDOLKODÁS ÉS NYELV GONDOLKODÁS A. Propozicionális B. Képzeleti Propozicionális gondolkodás Propozíció kijelentés, amely egy tényállásra vonatkozik, meghatározott viszonyban összekombinált fogalmakból
RészletesebbenELTE 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észletesebbenA deduktív logika elemei
Ismétlés 1: Deduktív érvelés A deduktív logika elemei Érveléselmélet, 2006. 10. 24. Deduktív érvelés: A premisszák igazsága szükségszerűen maga után vonja a konklúzió igazságát. Minden magyar adócsaló.
RészletesebbenÉrvelési és meggyőzési készségek 4. óra
Érvelési és meggyőzési készségek 4. óra BME Filozófia és Tudománytörténet Tanszék http://www.filozofia.bme.hu/ Tartalom Keretezés Kognitív és emotív jelentés Átminősítés Keretezés 3 Keretezés 4 Keretezés
RészletesebbenDiszkré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
RészletesebbenMekis Péter A kijelentéslogika elemei
Mekis Péter A kijelentlogika elemei 1. Következtetek feltételes kijelentekkel (1) Ha jó idő van, nyitva tart a büfé. (2) Ha nem érem el a hét ötvenes buszt, nem érek be időben a munkahelyemre. (3) Ha Einsteinnek
RészletesebbenESSZÉÍ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észletesebbenKijelenté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észletesebbenMatematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1
3. fejezet Matematikai logika Logikai m veletek, kvantorok D 3.1 A P és Q elemi ítéletekre vonatkozó logikai alapm veleteket (konjunkció ( ), diszjunkció ( ), implikáció ( ), ekvivalencia ( ), negáció
RészletesebbenKÁROLY KRISZTINA SZÖVEGKOHERENCIA A FORDÍTÁSBAN
KÁROLY KRISZTINA SZÖVEGKOHERENCIA A FORDÍTÁSBAN Budapest, 2014 TARTALOM ELŐSZÓ...9 1. BEVEZETÉS...15 1.1. A vizsgálat tárgya...17 1.2. Célkitűzések és kutatási kérdések...18 1.3. A vizsgált nyelvek, műfaj
RészletesebbenBró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észletesebbenA deduktív logika elemei. Érveléselmélet, 2015. 10. 12.
A deduktív logika elemei Érveléselmélet, 2015. 10. 12. Ismétlés: Deduktív érvelés Deduktív érvelés: A premisszák igazsága szükségszerűen maga után vonja a konklúzió igazságát. Minden magyar adócsaló. Pityu
Részletesebbennappali tagozat, tanítói szak TAN05MSZ Szigorlati követelmények és tételek Vizsgatematika A szigorlat követelményei:
Matematika Tanszék Matematika műveltségi terület, nappali tagozat, tanítói szak TAN05MSZ Szigorlati követelmények és tételek A szigorlat követelményei: Vizsgatematika A hallgató legyen képes 15-20 perces
Részletesebben3. 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észletesebbenKOVÁ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észletesebbenBizonyí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észletesebben1. 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észletesebbenMAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY
MAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY Tantárgy neve: BBNMT00300 Fonetika 3 A tantárgy célja, hogy az egyetemi tanulmányaik kezdetén levő magyar szakos hallgatókat megismertesse
RészletesebbenÉrveléstechnika-logika 5. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2.
Érveléstechnika-logika 5. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Elemi állítás Állítás: Jelentéssel bíró kijelentő mondat, amely információt közöl a világról.
RészletesebbenLogika 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
RészletesebbenDiszkré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észletesebbenMindent 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,
RészletesebbenLogikai alapok a programozáshoz. Nagy Károly 2014
Logikai alapok a programozáshoz előadások összefoglalója (Levelezős hallgatók számára) Nagy Károly 2014 1 1. Kijelentés logika, ítéletkalkulus 1.1. Definíció. Azokat a kijelentő mondatokat, amelyekről
RészletesebbenLogika 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
RészletesebbenLogikai alapok a programozáshoz
Logikai alapok a programozáshoz Nagy Károly 2014 Nyíregyházi Főiskola Matematika és Informatika Intézet 1 Tartalomjegyzék 1. Kijelentés logika, ítéletkalkulus 2 2. A kijelentés logika törvényei 5 3. Logikai
RészletesebbenAz Országos kompetenciamérés (OKM) tartalmi kerete. a 20/2012. (VIII. 31.) EMMI rendelet 3. melléklete alapján
Az Országos kompetenciamérés (OKM) tartalmi kerete a 20/2012. (VIII. 31.) EMMI rendelet 3. melléklete alapján Az OKM tartalmi keret Célja: definiálja azokat a tényezőket és szempontrendszereket, amelyek
RészletesebbenA 2011/2012-es iskolaév érettségi vizsgakatalógusa. Logika. LOGIKA 2012 mad.indd 1 13.4.2012 13:45:44
A 2011/2012-es iskolaév érettségi vizsgakatalógusa Logika LOGIKA 2012 mad.indd 1 13.4.2012 13:45:44 A logika vizsgaanyagát kidolgozó szakcsoport tagjai: Krešimir Gracin, prof., vezető, X. Gimnázium Ivan
RészletesebbenHelyi tanterv Német nyelvű matematika érettségi előkészítő. 11. évfolyam
Helyi tanterv Német nyelvű matematika érettségi előkészítő 11. évfolyam Tematikai egység címe órakeret 1. Gondolkodási és megismerési módszerek 10 óra 2. Geometria 30 óra 3. Számtan, algebra 32 óra Az
RészletesebbenKijelenté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észletesebbenBevezetés a logikába és az érveléselméletbe
Kutrovátz Gábor Bevezetés a logikába és az érveléselméletbe (nemhivatalos jegyzet) Ez a jegyzet az ELTE Társadalomtudományi Karán tanuló elsőévesek számára meghirdetett Bevezetés a logikába és a tudományfilozófiába
RészletesebbenHARMADIK RÉSZ / 5. FEJEZET A RUSSELL-FÉLE LÉTEZÉSI PARADOXON
HARMADIK RÉSZ / 5. FEJEZET A RUSSELL-FÉLE LÉTEZÉSI PARADOXON C: \ WORDWO80 SELENE PR_F_DIAMANT VVxxx vv05xxx.doc 97792 14327 2063 9 2011.08.11. 09:48:45 1 / 13 TARTALOMJEGYZÉK HARMADIK RÉSZ / 5. FEJEZET...1
Részletesebben1.1. Alapfogalmak. Vektor: R 2 beli elemek vektorok. Pl.: (2, 3) egy olyan vektor aminek a kezdo pontja a (0, 0) pont és a végpontja a
1. 1. hét 1.1. Alapfogalmak Vektor: R 2 beli elemek vektorok. Pl.: (2, 3) egy olyan vektor aminek a kezdo pontja a (0, 0) pont és a végpontja a (2, 3) Egyenes normál vektora egy pontban: egy olyan vektor
RészletesebbenMindenki tud úszni. Nincs olyan, aki ne tudna úszni.
Mindenki tud úszni. Nincs olyan, aki ne tudna úszni. Kvantoros logikai ekvivalenciák Mindenki tud úszni. Nincs olyan, aki ne tudna úszni. x(úx) ~ x(~úx) Kvantoros logikai ekvivalenciák Mindenki tud úszni.
RészletesebbenA TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika 1.4 Szakterület
RészletesebbenKijelentéslogika I. 2004. szeptember 24.
Kijelentéslogika I. 2004. szeptember 24. Funktorok A természetesnyelvi mondatok gyakran összetettek: további mondatokból, végső soron pedig atomi mondatokból épülnek fel. Az összetevő mondatokat mondatkonnektívumok
RészletesebbenÉ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észletesebbenJEGYZŐKÖNYVI KIVONAT képviselő-testület 2012. március 7-ei rendkívüli nyílt üléséről
JEGYZŐKÖNYVI KIVONAT képviselő-testület 2012. március 7-ei rendkívüli nyílt üléséről 121/2012.(III.7.) Ökt. h. A képviselő-testület az elhangzott módosító javaslatok szerint 2012. március 7-ei rendkívüli
RészletesebbenEmerald: Integrált jogi modellező keretrendszer
Emerald: Integrált jogi modellező keretrendszer Förhécz András Szőke Ákos Kőrösi Gábor Strausz György Budapesti Műszaki és Gazdaságtudományi Egyetem Multilogic Kft, Budapest Networkshop 2011 2011. április
RészletesebbenMindent 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
RészletesebbenInduktív érvelések. Érveléselmélet, 2015. október 5.
Induktív érvelések Érveléselmélet, 2015. október 5. 0. Igazolás és/vagy meggyőzés Érvelések használata milyen kérdésre keres választ: Mi az érvelések funkciója: Milyen területek foglalkoznak ezzel: Az
Részletesebben