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

Slides:



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

5. A klasszikus logika kiterjesztése
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
Szemiot i ka.
Matematikai logika.
Logika 12. Retorika Miskolci Egyetem Állam- és Jogtudományi Kar
Jogi logika.
Logika Miskolci Egyetem Állam- és Jogtudományi Kar
Készítette: Tóth Enikő 11.A
Determinisztikus programok. Szintaxis: X : Pvalt program változók E : Kifkifejezések B : Lkiflogikai kifejezések C : Utsutasítások.
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 ő
Szemiot i ka.
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.
Kultúra – nemzet – emlékezet
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.
Bekő Éva Eötvös Loránd Tudományegyetem Elérhetőségem:
A TUDOMÁNY KOGNITÍV MODELLJEI: elnöki zárszó MTA november 7 Pléh Csaba BME Kognitív Tudományi Tanszék MTA-BME Neuropszichológiai és Pszicholingvisztikai.
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
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 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.
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.
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
Az informatika logikai alapjai
Tananyag: Barwise-Etchemendy: Language, Proof and Logic II. Quantifiers Weblap: Fogadóóra: H 15:30-17:00, i/226.
Kiterjesztések szemantikája: Szemantikai tartomány : Adatoknak, vagy értékeknek egy nem üres halmazát szemantikai tartománynak nevezzük. Jelölése: D. Egy.
Felosztási tétel Legyen R ekvivalenciareláció: reflexív, azaz tetsz. a-ra aRa, szimmetrikus, azaz tetsz. a, b-re ha aRb, akkor bRa, tranzitív, azaz tetsz.
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.
Információelmélet 8. 1 Eszterházy Károly Főiskola, Eger Médiainformatika intézet Információs Társadalom Oktató-
A generatív nyelvelmélet
Logika szeminárium Barwise-Etchemendy: Language, Proof and Logic
A nyelvtan szerepe és célja
Érvelések (helyességének) cáfolata
A RENESZÁNSZ KÉPEKBEN század
Dialektika, logika, retorika, avagy miről lesz szó
Logika Miskolci Egyetem Állam- és Jogtudományi Kar
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 2

A félév tematikája 1.A LOGIKÁRÓL 1.A logika elmélete 2.A logika története 2.A KLASSZIKUS LOGIKA 1.A klasszikus logika alapelemei 2.Állítások és következtetések 3.A DEVIÁNS LOGIKA RENDSZEREI 4.A JOGI LOGIKA 5.TÚL A LOGIKÁN: Retorika, Érveléselmélet 3

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

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

A logika társtudományai 1.Logika és filozófia 2.Logika és pszichológia 3.Logika és grammatika 4.Logika és matematika 5.Logika és retorika 6

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: 1.Filozófiai logika (a logika és és filozófia – ontológia, episztemológia, szakfilozófiák – közös tárgya) 2.A logika filozófiája (a logika a filozófia tárgya: igazság, jelölés, modalitás, kvantifikálás stb.) 7

1.3.Logika és pszichológia logikai pszichologizmus :  „A logika tárgya a (helyes) 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! 8

1.4. Logika és grammatika A nyelvek sokfélesége; mindenekelőtt : természetes nyelvek – mesterséges nyelvek Mindkettőben: szavak, mondatok, szabályok –  „alkotórészek” Mindkettő: „a helyes beszéd tudománya” Szemiotika = a jelek általános tudománya 1.Szintaxis 2.Szemantika (jel – jelentés – jelölet) 3.Pragmatika Logikai rendszer = (formalizált nyelv (= jelrendszer + szabályrendszer)) + (levezetési szabályrendszer) 9

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 – Kalkulus (kizárólag szintaktikai alapú következtetés) Pl.: szöveges matematika feladatok Mindkettőben: demonstráció 10

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

1.7. Logikai rendszerek Arisztotelészi logika Tradicionális logika Szimbolikus logika Matematikai logika Klasszikus logika Deviáns logika 1.Nem alethikus 2.Nem kétértékű 3.Nem formális 12