Filozofická Fakulta

Katedra logiky

23.03.2017 - 11:33
22. duben 2017

Na mém webu jsou nyní k dispozici průběžně doplňovaná skripta ke kurzu Úvod do matematiky II. Složka uvod_do_matematiky_II_2017 (ve složce je i sken kapitoly z knihy, kterou používáme při přednášce).

11.03.2017 - 12:20
17. březen 2017

V týdnu od 13.3. do 17.3. ruším svou výuku a konzultace (např. se tedy nekonají mé pondělní a středeční kurzy 13.3. a 15.3.). Náhradu domluvíme na příští hodině.

06.03.2017 - 09:56
24. duben 2017

Výuka předmětu Logika a informace II probíhá po dohodě se studenty v pondělí od 17.00 ve Studentském klubu.

02.03.2017 - 13:06
1. duben 2017

Pozvánka na 27. setkání pražského informatického semináře.

14.02.2017 - 11:11
10. březen 2017

Tématem budou topologické vlastnosti a vlastnosti týkající se Lebesgueovy míry na reálných číslech. Reálná čásla budeme chápat podle potřeby jako klasická reálná čísla, nebo jako prvky Cantorova nebo Bairova prostoru. Přednáška bude přístupná i pro studenty 1. ročníku Bc (kteří již mají Úvod do matematiky I).

14.02.2017 - 08:46
10. březen 2017

dne 14.2. odpadá. Kvůli dalším termínům se na mě prosím obraťte mailem.

13.02.2017 - 12:58
19. únor 2017

16. 2., ve 14 hod., budou v zasedací místnosti Filosofického ústavu (Jilská 1, 1. p.)  přednášet Hans Rott a Georg Brun:

Georg Brun, University of Berne: "Operationalizing Reflective Equilibrium: A Formal Model Based on the Theory of Dialectical Structures"

Reflective equilibrium (RE) is often taken to be a powerful method in ethics, logic, theories of rationality, or philosophy in general. But so far, RE has never been characterized in a rigorous way. This talk presents a formal model of the RE. I focus on the key idea of RE, i.e. the elaboration of an agent's commitments under the pressure from systematic theories. This idea is spelled out in the formal framework of the Theory of Dialectical Structures (Betz, 2010, 2012). Commitments and theories are represented using dialectical structures; desiderata on sets of commitments and theories are introduced; a state of RE is defined, and rules...

11.01.2017 - 15:53
10. únor 2017

Minulý týden začalo tradiční studentské hodnocení výuky. Studenti mohou hodnotit kurzy zimního semestru až do 4. února, výsledky fakulta zveřejní před začátkem letního semestru.

11.01.2017 - 15:48
2. únor 2017

The annual Prague Gathering of Logicians will take place 26 - 27 January 2017, at the Academic Conference Centre of Czech Academy of Sciences, Prague, Husova street 4. The event is organized by the Institute of Philosophy and logicians from both Czech Republic and abroad will participate.

http://logika.flu.cas.cz/en/workshopy/prague-gathering-of-logicians-2017

13.12.2016 - 21:52
19. prosinec 2016

Na semináři bude mluvit Jana Glivická na téma "Nestandardní metody v konstrukci modelů slabých aritmetik". Koná se v 16:30, místnost 119. Abstrakt naleznete v sekci Věda a výzkum, Seminář.

13.12.2016 - 11:20
1. leden 2017

jsou z důvodu dovolené sekretariát a knihovna uzavřeny.

07.12.2016 - 17:00
19. prosinec 2016

Prague Workshop on Nonclassical Logics, Collocated with the meeting of CAS-JSPS Joint Research Project “Nonclassical Mathematics Based on Fuzzy, Paraconsistent and Substructural Logics”, takes place 9 December 2016, at the Institute of Computer Science of Czech Academy of Sciences in Ládví (lecture room 318). For more info and programme see http://uivty.cs.cas.cz/~horcik/pwnl2016/ .

06.12.2016 - 23:13
12. prosinec 2016

Bude mluvit Tomáš Lávička na téma "Birkhoff's subdirect representation from a broader perspective". Koná se v 16:30 (místnost 119). Abstrakt v sekci Věda a výzkum, Seminář.

03.12.2016 - 15:59
27. prosinec 2016

katedry logiky se koná ve středu 21.12. od 18h. Všichni přátelé logiky jsou srdečně zváni.

30.11.2016 - 09:13
5. prosinec 2016

Bude mluvit Anna Horská na téma "Gentzen's cut elimination strategy and Tait's cut elimination strategy in propositional sequent calculus". Přednáška začíná v 16:30, Celetná 20. Abstrakt viz sekce Věda a výzkum, Seminář.

28.11.2016 - 12:38
30. listopad 2016

budou sekretariát a knihovna uzavřeny.

23.11.2016 - 13:31
25. listopad 2016

budou 24.11. sekretariát a knihovna uzavřeny.

21.11.2016 - 14:08
28. listopad 2016

Bude mluvit Martin Blicha na téma "Interpolants in the context of software verification". Koná se v 16:30, 28.11., místnost 119. Abstrakt naleznete v sekci Věda a výzkum > Seminář.

04.11.2016 - 11:36
26. listopad 2016

21.11. se seminář katedry nekoná.

28.10.2016 - 10:03
5. listopad 2016

Workshop on topics addressed in J. Peregrin's recent book on inferentialism, organized by the Institute of Philosophy, Czech Academy of Sciences on November 2 - 4 2016 at Villa Lanna in Prague. Program can be found on the web:
http://logika.flu.cas.cz/en/why-rules-matter/why-rules-matter3#program

27.10.2016 - 16:32
2. listopad 2016

*Začíná výjimečně až v 17:30* Bude mluvit Eva Kolovratníková na téma Nestovaný sekventový kalkulus pro intuicionistickou logiku . Více informací v sekci Věda a výykum, Seminář.

24.10.2016 - 08:10
2. listopad 2016

Přednášky Klasická logika I a Modální logiky tento týden z důvodu pracovní cesty odpadají.

23.10.2016 - 10:12
28. říjen 2016

Přednášky z Úvodu do programování a Teorie modelů se 25. 10. nekonají.

16.10.2016 - 11:50
26. říjen 2016

Seminar katedry se 17.10. se nekona.

14.10.2016 - 22:16
16. říjen 2016
jedeme v 9:41 vlakem z Masarykova nádraží do Roztok. Pak pěšky asi 14km přes Nebušice do Šárky s pravděpodobným zakončením v restauraci Dívčí skok.
07.10.2016 - 08:10
10. říjen 2016

Radek Honzík bude mluvit na téma "Vopěnkův princip a Vopěnkovy kardinály". Abstrakt naleznete v sekci Věda a výzkum > Seminář. Koná se v pondělí 10.10. v 16:30 na katedře logiky.

03.10.2016 - 10:52
12. říjen 2016

výuka formálních jazyků začne až 11.10.2016

02.10.2016 - 14:46
25. říjen 2016

Jako každoročně, i letos se koná podzimní výlet katedry logiky. Výlet se koná v sobotu 15.10. (další informace napíšeme později). Všichni přátelé logiky vítáni.

28.09.2016 - 11:42
6. říjen 2016

Informační schůzka pro studenty (hlavně) prvního ročníku se koná v pondělí 3.10. v 10:50 v místnosti 137. Všichni studenti jsou vítáni.

27.09.2016 - 11:08
30. září 2016

budou sekretariát a knihovna z důvodu dovolené uzavřeny.