Filozofická Fakulta

Katedra logiky

14.02.2017 - 10:11
16. březen 2017

Začínají až v druhém týdnu semestru (od 27.2.)

V letním semestru vypisuji dvě povinně volitelné přednášky: Úvod do matematiky II, středa 16:40 (přednáška předpokládá pouze Úvod do matematiky I) a Forcing, pondělí 11:40 (přednáška předpokládá Teorii množin I, II). K úvodu do matematiky II bude vyučován Seminář z matematiky II rovněž jako povinně volitelný, úterý 12:30 (Stejskalová). Zájemci vítáni.

14.02.2017 - 07:46
16. 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 - 11: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 - 14: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 - 14: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 - 20: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 - 10:20
1. leden 2017

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

07.12.2016 - 16: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 - 22: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 - 14: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 - 08: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 - 11:38
30. listopad 2016

budou sekretariát a knihovna uzavřeny.

23.11.2016 - 12:31
25. listopad 2016

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

21.11.2016 - 13: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 - 10:36
26. listopad 2016

21.11. se seminář katedry nekoná.

28.10.2016 - 09: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 - 15: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 - 07: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 - 09:12
28. říjen 2016

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

16.10.2016 - 10:50
26. říjen 2016

Seminar katedry se 17.10. se nekona.

14.10.2016 - 21: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 - 07: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 - 09:52
12. říjen 2016

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

02.10.2016 - 13: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 - 10: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 - 10:08
30. září 2016

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

27.09.2016 - 08:15
9. říjen 2016

se v nadcházejícím školním roce vzhledem k malému počtu zájemců konat nebudou. Prosím ty, kteří s konáním počítali a nekonání by jim způsobilo potíže, aby mě kontaktovali, a pokusíme se nalézt nějaké nouzové řešení (samostudium a konzultace). Avšak pro konání obvyklým způsobem (referáty studentů na témata často obtížnější) by se museli ozvat nejméně řekněme čtyři zájemci. V.Š.

19.09.2016 - 18:32
5. říjen 2016

Jako každoročně, koná se i letos festival Open Square spolupořádaný FFUK. Více informací zde.

29.08.2016 - 12:07
20. září 2016

nabízím na Po 19.9. od 15h. Termín opět nevypisuji v ISu a prosím zájemce, aby se mi ozvali mailem.

18.08.2016 - 09:56
27. srpen 2016

která bude mít dopad na provoz celé fakulty, budou sekretariát a knihovna katedry od 22.8. - 26.8. uzavřeny.