A logika története – mi a tárgya és hol kezdődik?

Slides:



Advertisements
Hasonló előadás
Kondicionális Eddig: Boole-konnektívumok ( , ,  ) Ezek igazságkonnektívumok (truth-functional connectives) A megfelelő köznyelvi konnektívumok: nem.
Advertisements

Az Élet Igéje április.
Arisztotelész (Kr.e ) Minden embernek természete, hogy
Matematika és módszertana
A filozófia helye a középiskolai oktatásban
Matematika a filozófiában
Érvek, érvelés.
Képességszintek.
Fizika Bevezető 6. osztály.
Görög filozófia.
Logika Miskolci Egyetem Állam- és Jogtudományi Kar
Rekurzió (Horváth Gyula és Szlávi Péter előadásai felhasználásával)
A Venn-diagram használata
Csoport részcsoport invariáns faktorcsoport részcsoport
Logika Érettségi követelmények:
Logikai műveletek
Általános lélektan IV. 1. Nyelv és Gondolkodás.
Általános lélektan IV. Nyelv és Gondolkodás 2..
Matematika Eredete és története Kaszás Tamás.
Thalész tétel és alkalmazása
Mi a filozófia? bevezetés. Mi a filozófia? bevezetés.
ARISZTOTELÉSZ (Kr. e ).
A digitális számítás elmélete
Differenciál számítás
Az érvelés.
Aki keres, az talál? Igen, talál. Ki ezt, ki azt, de egy szót beütve a google keresőbe (pl.) mindig ugyanazt, hacsak nem kerültek fel új honlapok az adott.
1 1 1.
Vicces, hogy milyen könnyű levegőnek nézni Istent, és csodálkozni, hogy a világ pokollá válik.
1. Bevezetés a tárgy célja: azoknak az eszközöknek és módszereknek a megismertetése és begyakoroltatása, melyek az érvelések megértéséhez, elemzéséhez,
2. Argumentációs szabályok (É 50−55) argumentációs szabályok meghatározzák, hogy mi mellett és mivel kell érvelni 1. a feleknek érveléssel indokolniuk.
Thalész tétel és alkalmazása
Pedagógiai antropológia és etika
Isaac Newton.
"Folyamodjatok az ÚRhoz, keressétek orcáját szüntelen!"
Természetes és formális nyelvek Jellemzők, szintaxis definiálása, Montague, extenzió - intenzió, kategóriákon alapuló gramatika, alkalmazások.
Naturalista filozófia Avagy milyen állásponton lehetünk azzal kapcsolatban, hogy hogyan épül fel a világ? Sipos Péter Budapest, 2007 október 10.
A görög és római kultúra
A létezés válasz arra a kérdésre, hogy „Hogyan van?”, a lényeg térbeli és időbeli megnyilvánulásait foglalja magába, és megnevezi az ember sajátos létmódját:
Bemutatjuk a híres/fontos W  és Z 0 Bozonokat Sheldon Glashow Steven WeinbergAbdus Salam Ők jósolták meg elméletileg. Nobel díj: 1979 Ők pedig felfedezték.
2. A logika története Gregor Reisch  1503  Typus logice Premissae
A tudományfilozófia két nagy tradíciója Bevett (elfogadott) nézet Kb A logikai pozitivizmus eszmei áramlatához tartozik R. Carnap, M. Schlick,
Miért nem valóságos az idő?
Érvelés, bizonyítás, következmény, helyesség
Volt: Egyiptomi földmérés-és számolástudomány Gyakorlati matematika
Első Analitika I.1. Az állításelmélet újrafogalmazása „Protaszisz az a mondat, ami valamit valamiről állít vagy tagad.” „Lehet egyetemes, részleges (en.
Szillogisztika = logika (következtetéselmélet)? Az An.Post.-ban, és másutt is találunk olyan megjegyzéseket, hogy minden helyes következtetés szillogizmusok.
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
(nyelv-családhoz képest!!!
Exponenciális - Logaritmus függvények, Benford fura törvénye
Logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék.
A szellemi tulajdon védelme Alapinformációk március
Három kérdés Problémamegoldás.
1 A Nyelvi Tesztelés és Értékelés Európai Egyesülete (EALTA)
Készítette :Varga Sára
A valószínűségi magyarázat induktív jellege
I. Eltér-e az alany-állítmány viselkedése az alárendelő szintagmáktól? Három helyen azt mondhatjuk, igen, ez a régi elmélet mellett szól. (Oda-vissza kérdezhetőség,
A kurzus anyaga: 12 válogatott szöveg a filozófia történetéből
XVIII. sz. , skót felvilágosodás Empirista, szkeptikus
Milétoszi filozófusok
Kijelentések könyve: mindegyik oldalon egy kijelentés. Egyes igaz kijelentések axiómák. Az axiómákból bizonyítható kijelentések mind igazak, és a cáfolható.
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
Kegyelem által Élet Világosságban.  Jn20,30-31 Sok más jelt is tett Jézus a tanítványai szeme láttára, amelyek nincsenek megírva ebben a könyvben. Ezek.
1 „Még korunk szélhámosainak is tudósnak kell magukat színlelni, mert különben senki sem hinne nekik.” C.F. Weizsacker.
Filozófiatörténet előadások 1I.
ADATBÁZIS- RENDSZEREK 12. rész: Konkurenciavezérlés.
A HÁROMSZÖGSZÁMOKRÓL - SZEMLÉLETESEN
Mit jelent önmagunk és mások szeretete?
Analitikus fa készítése Ruzsa programmal
Logika szeminárium Barwise-Etchemendy: Language, Proof and Logic
Galileo Galilei Készítette : Adorján Bezaló. Élete: Galilei az olasz Pisában született ben.Orvosnak készült a pisai egyetemen de anyagi okok miatt.
Előadás másolata:

A logika története – mi a tárgya és hol kezdődik? Természetesen Görögországban kezdődik. Logika: a helyes érvelés szabályai és kritériumai meg sok minden, ami hozzá kapcsolódik. Állítások értelmezése Fogalmak kapcsolata Heurisztika … Logikai elmélet: 1. Következtetések egy tág körére vonatkozóan állít fel általános szabályokat 2. Ezeket rendszerbe foglalja (a szabályok között is vannak logikai kapcsolatok. Ezt a két követelményt együtt elsőként az Organon teljesíti. 1.-re Platón dialógusaiban is találunk számos példát. Sőt, korábban is.

Logikai gyakorlat: Szisztematikusan alkalmazunk következtetéseket mások meggyőzésére. Megkülönböztetjük a következtetésekre és a tényekre való hivatkozást. A gyakorlat itt megelőzi az elméletet. Nem a gyakorlat az alkalmazás, hanem az elmélet a (kritikai) reflexió a gyakorlatra. Ez sem volt mindig. A klasszikus antikvitásban szaporodnak meg nagy mértékben az ilyen gyakorlatra utaló bizonyítékok. (Kr. e. (6.) 5. sz.-tól.) Társadalomtörténeti alapok? Hipotézisek. Három terület: 1. jog/bíráskodás, 2. filozófia, 3.matematika. 1.: csak most, bevezetőként említem. Törvények írásba foglalása (Szolón, 6. sz.). Más, korábbi társadalmakban is van írott törvénykönyv. (Mózes, Hammurapi) Mennyiben más a görög törvénykezési gyakorlat, a bírósági viták természete? 2.,3. : követni fogjuk. De előbb egy szöveg, ahol mind a három megvan.

Epikharmosz (5. sz. komédiaíró) 1. fragmentum  Mindig itt volt minden isten, s nem hiányzott, nem soha, s minden itt van mindörökkön változatlan általuk.  Mégis mondják: istenek közt Khaosz lett legelőbb.  Már hogyan? Honnnan jöhetne mint első, s hová mehet?  Semmi sem jött hát először?  Másodszor sem, Zeuszra, nem, már legalább, amiről mi szólunk, mindaz itt volt mindig is. Mire-kire emlékeztet? Találunk-e benne érvelést? Milyen érvelést?

2. fragmentum  Páratlan számhoz, vagy éppen pároshoz, ha óhajtod, egy kövecskét hozzátesznek, vagy elvesznek egyet is, azt hiszed, hogy ugyanaz marad talán?  Dehogy hiszem.  És ha egy könyöknyi mértékhez talán még egy kicsit hozzátesznek, vagy ami megvolt, azt lemetszik, megmarad ugyanaz a mérték?  Semmiképpen.  Kérlek akkor, hogy tekints éppenígy az emberekre: ez növekszik, az lefogy, minden ember egyre-másra új s új változásban él. És mi természettől fogva változik s helyt nem marad, az már más, mi volt imént a mássá változás előtt; s így te is más voltál tegnap, mint ma vagy, s én magam is, s holnap is mások leszünk már ugyane törvény szerint. Kontextus: jogvita Matematikai példák: nevezetesek Probléma: aminek a tulajdonságai megváltoznak, lehet-e ugyanaz? Ha igen: miben különböznek az emberek a számoktól és mértékektől? Mi ennek a problémának a kontraponáltja? Hova tegyük ezt a problémát? Logika?Metafizika?

Matematika: A görögök tudományos példaképe: Egyiptom Földmérési, számolási gyakorlatok Közelítő megoldások Művészi ügyesség Babiloni matematika: Csilagászati számítások Kvázi-egyenletmegoldás Oktató anyagok: nincs explicit általános szabály, de van módszer Hogyan fedezték fel? Miért fogadták el? Felmerült-e a helyesség kérdése?

Korai görög matematika (Kr. e. 6. sz., Thalész, …) Szemléletesség, meggyőző erő Számolókavicsok (pszéphoi) aritmetikája: négyzetszám, háromszögszám, … Deiknümi: „megmutat” (a bizonyítás igéje, magyarul és minden más nyelven szintén használják így). Szabó Árpád elmélete: ebben a korban szó szerint megmutatást jelentett: olyan ábra, konfiguráció, ami szemléletessé teszi az állítást. Vannak általános tételek. Ha egy háromszögszám nyolcszorosához egyet adunk, négyzetszámot kapunk. Nem sokkal később: „anti-empirikus, szemléletellenes fordulat” + a geometria túlsúlyba kerülése Valahogy köze van az összemérhetetlenséghez