Filozofická Fakulta

Katedra logiky

26.04.2017 - 13:11
26. květen 2017

Přednáška Teorie důkazů se ve čtvrtek 27.4. nekoná.

22.04.2017 - 14:18
22. květen 2017
Obě zkoušky se budou konat společně 19.6. nebo/a 16.6. Poslední termín pro odevzdání závěrečné práce je stanoven na Ne 21.5. Prosíme zájemce o zkoušky, aby svůj úmysl se ke zkoušce přihlásit dali najevo nezávazně i dřív, a aby i práci pokud možno odevzdali i dřív.
18.04.2017 - 11:09
21. duben 2017

More than the sum of its parts: perceiving complexity in painting
(Laura Commare, Department of Art History, University of Vienna)

Over the last decades, image complexity has been discussed as one of the predominant predictors for liking and interest in images, patterns and artworks. Since the 1960’s most studies have equated image complexity with visual complexity. They understood image complexity as formal aspect of art, as objective visual property that artworks may hold, which is comprised of number, variety and organization of visual elements. This ‘traditional’ concept of image complexity is however challenged by other studies in psychology, which suggest that for artworks objective measures of visual complexity do not represent perceived image complexity adequately. That is to say, the subjectively felt difficulty in processing visual input as expressed in self-reports differs from what objective measures of visual complexity predict. Most recent studies offer a possible explanation...

23.03.2017 - 11:33
4. 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
10. 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