Organon VII - NIHIL NOVI

Program workshopu o výuce logiky

CO A JAK UČIT...

čtvrtel 23. září, odpoledne: ... právníky

• 14:00 Zahájení
• 14:15 František Gahér: Logika a sémantika pre právnikov: Čo z logiky učiť právnikov a ako to učiť
• 15:30 Tomáš Sobek: Argumenty teorie práva
• 16:30 Michal Peliš, Ondřej Majer: Logika pro právníky

pátek 24. září, dopoledne: ... logiky i nelogiky

• 09:00 Vítězslav Švejdar: Výuka logiky bez logických pojmů
• 10:00 Marta Bílková: Logika jako samostatný studijní obor
• 11:00 Svatopluk Nevrkla: Neformální logika: Contradictio in adjecto

pátek 24. září, odpoledne: ... filosofy a studenty humanitních oborů

• 14:00 Tomáš Holeček: Námět na výuku logiky pro studenty filosofie
• 15:00 Vladimír Marko: Historická rekonstrukce antické logiky
• 16:00 Karel Šebela: Proč učit tradiční logiku?
• 17:00 Tomáš Grulich: Scholastická inspirace podruhé, tentokrát disputační
• 18:00 Ondřej Majer: Využití herní sémantiky pro úvodní kurz logiky

sobota 25. září, dopoledne: ... informatiky

• 09:00 Martin Víta: Od elementární logiky k teoretické informatice a zpět
• 10:00 Lubomír Popelínský, Eva Mráková: Výuka logiky na FI MU, současnost a perspektivy
• 11:00 Martina Číhalová, Marek Menšík, Vladimír Matějičný: 3D vizualizace modelů predikátové logiky
• 12:00 Marek Menšík, Martina Číhalová, Vít Schuster, Lukáš Vích: Jak automaticky vyhodnocovat správnost formalizací věty z přirozeného jazyka do PL1

sobota 25. září, odpoledne:

• 14:00 Ondřej Nečas, Jiří Pecl, Tomáš Sklenák : Logika pro nevidomé a slabozraké
• 15:00 Ondřej Nečas, Jiří Pecl, Tomáš Sklenák : Logika pro neslyšící
• 16:00 Setkání řešitelského týmu projektu ORGANON: LMS pro výuku logiky (OPVK č. CZ.1.07/2.2.00/07.0217)
• 16:00 Volné odpoledne v Olomouci

neděle 26. září, dopoledne:
Prezentace projektu ORGANON: LMS pro výuku logiky (OPVK č. CZ.1.07/2.2.00/07.0217)

• 09:00 Ludmila Dostálová, Jaroslav Lang: E-learning a výuka logiky
• 10:00 Ludmila Dostálová, David Pelikán: Modul výrokové logiky
• 10:45 Marek Menšík, Martina Číhalová: Modul predikátové logiky
• 10:45 Marie Benediktová, Igor Sedlár: Negování tvrzení