Logika szeminarium

Az ELTE BTK Szimbolikus Logika Tanszek es az MTA Matematikai Kutatointezet Algebrai Logika osztalya kozos szeminariuman NEMETI ISTVAN tart eloadast Miert olyan a logikafogalmunk, amilyen (kapcsolatok kognitiv tudomannyal). cimmel. Ido: Pentek, nov. 7, du. 15.30. Hely: MKI (1053 Realtanoda u. 13-15), I. e. 13. (algebrai logika szoba). Absztrakt: Uj kihivas a tudomany elott: a gondolkodasi folyamat egzakt megertese. (Csak reszleges megertes a cel persze.) Sema: "Gondolkodas" resze a "megismeresi folyamat" resze a "logika". Miert van minden logikai rendszernek sok modellje (de csak egy szintaxis)? Milyen hosszuak a formulak (es/vagy bizonyitasok)? Mit modellezunk? Mikor hu a modell? Mi mast vizsgal a logika? (elmeletmorfizmusok, elmelet (logika) kombinalas, fibralas, induktiv logika, abdukcio es algebrai logika) Nemeti Istvan a matematikai tudomany doktora, az MTA MAKI tudomanyos tanacs- adoja, a filozofiai logika es matematikai alapjai nemzetkozileg elismert kutatoja. Minden erdeklodot szeretettel varunk!