Logika Miskolci Egyetem Állam- és Jogtudományi Kar

Slides:



Advertisements
Hasonló előadás
Nem formális logika.
Advertisements

5. A klasszikus logika kiterjesztése
Nem alethikus logika.
Logika Miskolci Egyetem Állam- és Jogtudományi Kar
Diagnosztika szabályok felhasználásával, diagnosztikai következtetés Modell alapú diagnosztika diszkrét módszerekkel.
A filozófia helye a középiskolai oktatásban
2. A logika története Gregor Reisch  1503  Typus logice Premissae
Matematika a filozófiában
Tudás, közösség, hatalom
Matematikai logika.
Logika 12. Retorika Miskolci Egyetem Állam- és Jogtudományi Kar
Jogi logika.
Készítette: Tóth Enikő 11.A
Logika 3. Logikai műveletek Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 24.
Kocsisné Dr. Szilágyi Gyöngyi. Elérehet ő ség: aszt.inf.elte.hu/~szilagyi/ aszt.inf.elte.hu/~szilagyi Fogadó óra: hétf ő
Logika Érettségi követelmények:
Logikai műveletek
MI 2003/5 - 1 Tudásábrázolás (tudásreprezentáció) (know- ledge representation). Mondat. Reprezentá- ciós nyelv. Tudás fogalma (filozófia, pszichológia,
MTA-DE-PTE-SZTE Elméleti Nyelvészeti Kutatócsoport Szegedi Munkacsoport 2007–2011 Bibok Károly, Maleczki Márta, Nagy Katalin, Németh T. Enikő, Vecsey Zoltán.
Általános lélektan IV. 1. Nyelv és Gondolkodás.
ARISZTOTELÉSZ (Kr. e ).
F. Bacon ( ) és a modern tudományok alapvetése.
Logika 5. Logikai állítások Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 10.
Logika 11. A jog számára releváns logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék április 28.
Logika 7. A klasszikus logika kiterjesztése Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 24.
Logika 9. Deviáns logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék április 14.
ME-ÁJK, Bevezetés az állam és jogtudományokba 1. Előadás vázlata
Az érvelés.
1 1 1.
Bevezetés az orvosi kódrendszerekhez 2. előadás Semmelweis Egyetem Egészségügyi szervező szak II. évf
Bekő Éva Eötvös Loránd Tudományegyetem Elérhetőségem:
Esztétika Kerékgyártó Béla docens Jász Borbála doktorandusz
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,
Magyar Coachszövetség Közhasznú Alapítvány Logikus érvelés alapjai Előadja: Dr. Kormos József.
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.
Történelemfilozófia Típusok.
Logika 2. Klasszikus logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 17.
Logika 4. Logikai összefüggések Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 3.
2. A logika története Gregor Reisch  1503  Typus logice Premissae
Érvelés, bizonyítás, következmény, helyesség
Henkin-Hintikka játék (részben ismétlés) Alapfelállás: -Két játékos van, Én és a Természet (TW képviseli). - A játék tárgya egy zárt mondat: P. - Választanom.
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.
A kvantifikáció igazságfeltételei
A logika története – mi a tárgya és hol kezdődik?
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
A logika centrális fogalmai a kijelentéslogikában Propositional logic Nulladrendű logika Általában Logikai igazság Logikai ekvivalencia Logikai következmény.
(nyelv-családhoz képest!!!
Logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék.
Logika.
2. Döntéselméleti irányzatok
Az irodalomtudomány alapjai
Az irodalomtudomány alapjai Anglisztika alapszak Germanisztika alapszak Kedd ADs 035.
Az irodalomtudomány alapjai
A kvantifikáció igazságfeltételei “  xA(x)” akkor és csak akkor igaz, ha van olyan objektum, amely kielégíti az A(x) nyitott mondatot. “  xA(x)” akkor.
Útmutató Tippek, típushibák, megoldások és némi statisztika.
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Az informatika logikai alapjai
Henkin-Hintikka-játék szabályai, kvantoros formulákra, még egyszer: Aki ‘  xA(x)’ igazságára fogad, annak kell mutatnia egy objektumot, amire az ‘A(x)’
A középkor után A filozófia változása: metafizika helyett az ismeretelmélet a központi diszciplína. Logika: A középkori logika továbbélése: reneszánsz.
Hátralevő évek: Próbálkozás a paradoxon kiküszöbölésére a rossz úton – 1906 k. feladja. Vita Hilberttel a geometriáról: szélsőségesen konzervatív kantiánus.
Kvantifikáció:  xA: az x változó minden értékére igaz, hogy…  a: értelmetlen. (Megállapodás volt: ̒a’, ̒b’, … individuumnevek.) Annak sincs értelme,
Logika szeminárium Barwise-Etchemendy: Language, Proof and Logic
A nyelvtan szerepe és célja
Érvelések (helyességének) cáfolata
Dialektika, logika, retorika, avagy miről lesz szó
Logika Miskolci Egyetem Állam- és Jogtudományi Kar
ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
Nem formális logika.
Előadás másolata:

Logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék

Tananyag, követelmények Szabó Miklós: TRIVIUM: Grammatika, logika, retorika joghallgatók számára Miskolc: Bíbor Kiadó, 2001, 111-250. oldal + az előadások anyaga

A félév tematikája A LOGIKÁRÓL A logika elmélete A logika története A KLASSZIKUS LOGIKA A klasszikus logika alapelemei Állítások és következtetések A DEVIÁNS LOGIKA RENDSZEREI A JOGI LOGIKA TÚL A LOGIKÁN: A RETORIKA

1.1. A logika elmélete A kérdés: „Mi a logika?” A válasz elemei: A „logika” szó jelentése Kapcsolódások és különbözőségek A logikai rendszerek sokfélesége

1.1.1. A ‘logika’ szó jelentése λόγος (logosz) = beszéd ( -lógia) „Ominis ars logica de oratione est.” A beszéd funkciói: deskriptív preskriptív (normatív) expresszív performatív A beszéd célja: állítások következtetések Érvelések A beszéd érték-dimenziója: helyesség – érvényesség

A logika társtudományai Logika és filozófia Logika és pszichológia Logika és grammatika Logika és matematika Logika és retorika

1.1.2. Logika és filozófia A logika a filozófia része Mindkettő: „a tudományok tudománya” Mindkettő vezéreszméje: az „igazság” – vagyis: „Melyek az állítások igazságának feltételei?” De: egyfelől megismerés – másfelől következtetés Kapcsolatuk: Filozófiai logika (a logika és episztemológia, ontológia, szakfilozófiák közös tárgya) A logika filozófiája (a logika a filozófia tárgya: igazság, jelölés, modalitás, kvantifikálás stb.)

1.1.3.Logika és pszichológia logikai pszichologizmus :  „A logika tárgya a gondolkodás. ”  A gondolkodás az emberi elme terméke  Az emberi elme pszichológiai jelenség  A logika a pszichológia része Kritika (G. Frege): A gondolkodás törvényei nem azonosak az igazság törvényeivel!

1.1.4. Logika és grammatika A nyelvek sokfélesége; mindenekelőtt : természetes nyelvek – mesterséges nyelvek Mindkettőben: szavak, mondatok, szabályok Mindkettő: „a helyes beszéd tudománya” Szemiotika = a jelek általános tudománya Szintaxis Szemantika Pragmatika

1.1.5. Logika és matematika Ars logica more mathematico (Leibniz, Frege) Mesterséges nyelv – tökéletes nyelv „alany – állítmány”  „funktor – argumentum”: Függvények Állandók Változók Pl.: szöveges matematika feladatok Mindkettőben: demonstráció

1.1.6. Logika és retorika Demonstráció: igaz premisszák  a logika szabályainak betartása (mesterséges nyelv, formulák) igaz konklúzió Argumentáció: premisszák: a bizonyosság hiányzik meggyőzés (természetes nyelv, gyakorlati fogások készlete) bizonyosság helyett: „meggyőzöttség”

1.1.7. Logikai rendszerek Arisztotelészi logika Tradicionális logika Szimbolikus logika Matematikai logika Klasszikus logika Deviáns logika Nem alethikus Nem kétértékű Nem formális