Logika szeminárium Előadó: Máté András docens Demonstrátorok:

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

Arisztotelész (Kr.e ) Minden embernek természete, hogy

5. A klasszikus logika kiterjesztése

A filozófia helye a középiskolai oktatásban

Jt Java Feltételek, logikai kifejezések. jt 2 Logikai operátorok Logikai kifejezésekre alkalmazhatók a következő műveletek: 1. nem! 2. és&ill.&& 3. kizáró.

Fizika Bevezető 6. osztály.

É: Pali is, Pista is jól sakkozik. T: Nem igaz. É: Bizonyítsd be. Mi nem igaz? T: Nem igaz, hogy Pali jól sakkozik. Nyertem É: Pali vagy Pista.

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

Készítette: Tóth Enikő 11.A

Matematikai logika A diasorozat az Analízis 1. (Mozaik Kiadó 2005.) c. könyvhöz készült. Készítette: Dr. Ábrahám István.

Programozás alapjai A programozás azt a folyamatot jelenti, melynek során a feladatot a számítógép számára érthető formában írjuk le. C++, Delphi, Java,

A Venn-diagram használata

Barwise-Etchemendy: Language, Proof and Logic

Kétértékűség és kontextusfüggőség Kijelentéseink igazak vagy hamisak (mindig az egyik és csak az egyik) Kijelentés: kijelentő mondat (tartalma), amivel.

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

Számítógépes nyelvészeti alkalmazások Farkas Richárd szept 7.

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.

1900 Párizs-első matematikai világkonferencia Hilbert híres előadása, melynek hatására tág teret kapott az absztrakt gondolkodásmód széleskörű alkalmazása.

ARISZTOTELÉSZ (Kr. e ).

Rendszer és modell szeptember-december Előadó: Bornemisza Imre egyetemi adjunktus.

ME-ÁJK, Bevezetés az állam és jogtudományokba 1. Előadás vázlata

Bekő Éva Eötvös Loránd Tudományegyetem Elérhetőségem:

Érvelés Technika Ziegler Zsolt

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,

A modell fogalma, a modellezés jelentősége

Természetes és formális nyelvek Jellemzők, szintaxis definiálása, Montague, extenzió - intenzió, kategóriákon alapuló gramatika, alkalmazások.

Alapvető fogalmak, és leggyakrabban előforduló kifejezések HOGYAN HASZNÁLD A PTC OLDALAKAT?

Logika 2. Klasszikus logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 17.

2. A logika története Gregor Reisch  1503  Typus logice Premissae

1 Hernyák Zoltán Programozási Nyelvek II. Eszterházy Károly Főiskola Számítástudományi tsz.

1 Hernyák Zoltán Web: Magasszintű Programozási Nyelvek I. Eszterházy.

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,

Érvelés, bizonyítás, következmény, helyesség

Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.

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.

Atomi mondatok FOL-ban Atomi mondat általában: amiben egy vagy több dolgot megnevezünk, és ezekről állítunk valamit. Pl: „Jóska átadta a pikk dámát Pistának”

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

A kondicionális törvényei

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.

7.Az elméleti redukció 1.A mechanizmus-vitalizmus vita –Szélesebb értelemben: redukálható-e a biológia a fizikára és a kémiára, vagy beszélhetünk-e autonóm.

Fordítás természetes nyelvről FOL-ra Kvantifikáló kifejezések: Néhány/Egy F   x( F(x)  …) Minden G   x( G(x)  …) Két H   x  y( H(x)  H(y)  …)

Logika szeminárium Előadó: Máté András docens Demonstrátorok:

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

Máté András H 14:00-15:30, i/221.

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.

A folytonosság Digitális tananyag.

Tananyag: Barwise-Etchemendy: Language, Proof and Logic II. Quantifiers Weblap: Fogadóóra: H 15:30-17:00, i/226.

Miért viselkedjünk jól a Földön? Mert így jegyet válthatunk a Paradicsomba. Különben a Pokol vár!!! De a mindennapi életben a Paradicsom és a Pokol ugyan.

Algebrai logika Leibniz folytatói a 18. században: Lambert, Segner és mások. 19. sz., Nagy-Britannia: Aritmetikai és szimbolikus algebra. Szimbolikus algebra:

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.

A generatív nyelvelmélet

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,

Analitikus fa készítése Ruzsa programmal

Analitikus fák kondicionálissal

Logika szeminárium Barwise-Etchemendy: Language, Proof and Logic

Fordítás (formalizálás, interpretáció)

Logika előadás 2017 ősz Máté András

Variációk a hazugra Szókratész: Platón hazudik.

Atomi mondatok Nevek Predikátum

Érvelések (helyességének) cáfolata

Pitlik László, Szani Ferenc, Balogh Anikó

Előadás másolata:

Logika szeminárium Előadó: Máté András docens Demonstrátorok: Sulyok Rozi Susánszky Tananyag: Barwise-Etchemendy: Language, Proof and Logic Stanford:CSLI

Mivel foglalkozik a logika? Következtetésekkel Minden attó bág. Minden bág cékes. Tehát? Minden attó cékes. Miért? Egy másik következtetés: Minden attó bág. Van olyan bág, amelyik cékes. Tehát minden attó cékes. Mi a különbség ??? Ez helyes Ez hibás (helytelen) 4

Miért helyes az egyik és hibás a másik következtetés? Legáltalánosabb válasz: Egy állítás akkor következik egy vagy több másik állításból, ha nem lehetséges, hogy az utóbbiak (a premisszák) igazak legyenek, az előbbi (a konklúzió) pedig hamis.

Miféle diszciplína a logika? A filozófia eszköze, módszere Arisztotelész: Organon (Kr. e. 4. sz.) Matematikai tudomány Boole: The Mathematical Analysis of Logic (1847) Frege: Begriffsschrift (1879) Jelentősége: minden tudományos vizsgálódás alapvető fontosságú része, de mindennapi tevékenységeinknek is lényeges eleme az érvelés. Érveléseink értékét meghatározza, hogy közben helyesen következtetünk-e, vagy sem. Korlátja: nem lehet tőle megtanulni „jól” következtetni.

Fő feladat: Adott következtetések elemzése, kritikája Elméletek, kommunikációs/érvelési folyamatok modellezése Fő alkalmazási területek: Matematika alapjai Filozófia Természettudományok elméleti része (fizika, biológia) Nyelvészet Számítástudomány Mesterséges intelligencia-kutatás

A matematikai vagy szimbolikus logika formális nyelven megfogalmazott következtetéseket vizsgál. Mitől formális egy nyelv? 1.Zárt elemi jelkészlete van. 2.Szintaxisa definícióval meghatározott. Ebben a kurzusban elsőrendű nyelvekről (FOL) lesz szó. Korlátozást jelent abban, milyen típusú jelek fordulhatnak elő. Egy elsőrendű nyelv legfontosabb kifejezései:  x...,  y... Minden x dologra igaz, hogy... Van olyan y dolog, amelyre igaz, hogy...

A FOL nyelvek szintaxisa eltér a megszokottól: Van olyan bág, amelyik cékes  Van olyan y dolog, hogy (y bág és y cékes) Vannak bennük olyan elemek, amelyeknek nincs (pontos) megfelelője a köznyelvben. De a köznyelvi állítások nagy és lényeges részének megfeleltethetők FOL-mondatok (formulák). Interpretált nyelv: minden kifejezésről tudjuk, hogy mit jelent és tudhatjuk, mire vonatkozik. Interpretálatlan nyelv: egyes kifejezéseknek (a nem- logikaiaknak) nem tudjuk a jelentését, csak a szintaktikai szerepét (paraméterek - lásd attó-bág-cékes).