Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Knihovna FF UK bude od nového semestru pořádat výběrový seminář Kurz informační gramotnosti....

25. září 2017

budou sekretariát a knihovna v době od 25.9. do 4.10. uzavřeny.

21. září 2017

Budu zkoušet v pondělí 18.9. v 14:00 (termín je vypsán v SIS). R. Honzík.

11. září 2017

Petr Jirků

Doc. PhDr. Petr Jirků, CSc.

(10. 10. 1942 - 5.8.2017)

 

S lítostí oznamujeme smutnou zprávu, že v sobotu 5. srpna dopoledne zemřel český logik a dlouholetý pedagog katedry logiky FF UK Petr Jirků. 


Doc. PhDr. Petr Jirků, CSc. (10. 10. 1942 - 5.8.2017) vystudoval fyziku a filozofii na MFF a FF UK, titul CSc. získal v roce 1972 s kandidátskou prací Axiomatická teorie logické konsekvence pod vedením Miroslava Mlezivy (kterou mohl obhájit až v roce 1991), a v roce 1994 se na FF UK habilitoval v oboru Logika. Petr Jirků se zejména zabýval problematikou nemonotónního usuzování a logickými metodami v umělé inteligenci, působil na Katedře informačního a znalostního inženýrství na Fakultě informatiky a statistiky VŠE (v letech 1993–95 byl jejím vedoucím) a na Katedře logiky FF UK, kde pedagogicky působil v magisterském studiu logiky prakticky od jeho znovuzrození v 90. letech, a kterou také v letech 1995-2001 vedl.

Prosím, vzpomeňte si na něj v pátek 11. srpna v 11h dopoledne, kdy se bude konat rozloučení v kruhu rodiny.

 

Interní učitelé

JménoOborKonzultaceE-mail
Mgr. Marta Bílková, Ph.D.
vedoucí katedry
neklasické logiky, teorie důkazů podle dohody marta.bilkova at ff.cuni.cz
Miha Habić, Ph.D. teorie množin   miha.habic at gmail.com
Stefan Hoffelner, Ph. D. teorie množin   stefan.hoffelner at ff.cuni.cz
Mgr. Radek Honzík, Ph.D. teorie množin podle dohody radek.honzik at ff.cuni.cz
Prof. PhDr. Petr Koťátko, CSc. analytická filosofie podle dohody kotatko at flu.cas.cz
PhDr. Michal Peliš, Ph.D. logika otázek, epistemická logika podle dohody michal.pelis at ff.cuni.cz
Doc. RNDr. Vítězslav Švejdar, CSc. neklasické logiky, metamatematika aritmetiky út 15:00 vitezslav.svejdar
Mgr. Jonathan Verner, Ph.D. teorie množin podle dohody jonathan.verner at ff.cuni.cz

 

Sekretariát a knihovna

JménoÚřední hodinyE-mail
Marcela Kýrová

Sekretariát i knihovna po až st 10:00–13:00, čt 10:00–12:00

O prázdninách jsou úřední hodiny pouze út a čt od 10:00 do 12:00.

marcela.kyrova at ff.cuni.cz
(lze použít i jako obecnou adresu katedry)

 

Externí učitelé a spolupracovníci

JménoPracovištěOborE-mail
Mgr. Libor Běhounek, Ph.D. ÚI AV ČR fuzzy logika behounek at ff.cuni.cz
Ing. Petr Cintula, Ph.D. ÚI AV ČR mathematická fuzzy logika, abstraktní algebraická logika cintula at cs.cas.cz
Doc. RNDr. Marie Duží, CSc. VŠB-TU Ostrava transparentní intenzionální logika marie.duzi at vsb.cz
Mgr. Tomáš Holeček, Ph.D. FHS UK filosofie a logika holecek at ojrech.cz
RNDr. Magdalena Hykšová, Ph.D. ČVUT historie matematiky  
Mgr. Emil Jeřábek, Ph.D. MÚ AV ČR matematická logika jerabek at math.cas.cz
Doc. PhDr. Petr Jirků, CSc.   umělá inteligence  
RNDr. Ondrej Majer, CSc. FLÚ AV ČR neklasické logiky, teorie her majer at flu.cas.cz
Mgr. Tomáš Marvan, Ph.D. FLÚ AV ČR analytická filosofie  
Carles Noguera, Ph.D. UTIA AV ČR mathematická fuzzy logika, abstraktní algebraická logika noguera at utia.cas.cz
Doc. RNDr. Vladimír Petkevič, CSc. ÚTKL matematická lingvistika vladimir.petkevic at ff.cuni.cz
RNDr. Petr Savický, CSc. ÚI AV ČR výpočtová složitost savicky at cs.cas.cz
PhDr. Vladimír Svoboda, CSc. FLÚ AV ČR filosofie logiky, deontická logika svoboda at lorien.site.cas.cz
Doc. RNDr. Jiří Velebil, Ph.D. ČVUT teorie kategorií velebil at math.feld.cvut.cz
PhDr. Marta Vlasáková, Ph.D. FLÚ AV ČR filosofie logiky  

 

Interní a externí doktorandi

JménoZaměřeníE-mail
Mgr. Pavel Arazim analytická filosofie parazim at tiscali.cz
Mgr. Derek von Barandy philosophical logic derek at logici.cz
Mgr. Pavla Bergmannová fragmenty PA v širších souvislostech pavla.bergmannova
Mgr. Veronika Douchová logika a estetika veronika.douchova at centrum.cz
Mgr. Anna Horská teorie důkazů horska.anna at post.sk
Mgr. Tomáš Lávička abstraktní algebraická logika lavicka.thomas at gmail.com
Mgr. Adam Přenosil neklasické logiky adam.prenosil at gmail.com
Mgr. Šárka Stejskalová teorie množin sarka.stejskalova at ff.cuni.cz
Mgr. Petr Švarný temporální a epistemické logiky, AI svarnyp at logici.cz
Mgr. Eva Kolovratníková (Vachková) intuicionistická logika eva.vachkova at seznam.cz

 

Pomocné vědecké síly

JménoE-mail
Eva Ullrichová