Program konference Logika mezi filosofií a matematikou
1. května
| 17:00-18:00 | Příjezd |
| 18:00-19:00 | Večeře |
2. května
| 8:00-9:00 | Snídaně |
| chair: Peregrin |
| 9:00 | Hájek | (Fuzzy) logika v širokém a úzkém smyslu | |
| 9:45 | Cintula | Co to je logika? (jako objekt matematiky) |
| Káva |
| 10:45 | Sousedík | Dvě pojetí předmětu logiky ve scholastice | |
| 11:30 | Dvořák | Specifika scholastické logiky |
| 12:00-13:00 | Oběd |
| chair: Svoboda |
| 13:15 | Vopěnka | Problémy souladu syntaxe a sémantiky | |
| 14:00 | Trlifajová | Logik, který zpochybňuje (Nad Zenónovými paradoxy o kontinuu) |
| Káva |
| 14:45 | Peregrin | Dva pojmy platnosti a úplnosti | |
| 15:15 | Kolman | Je formální logika možná? |
| Káva |
| chair: Dvořák |
| 16:15 | Materna | Logika — matematika — filosofie | |
| 17:00 | Duží | Logika a informace | |
| 17:30 | Raclavský | Tichého TILka coby nástroj řešení sémantických problémů |
| 18:00-19:00 | Večeře |
| 20:00 | Víno |
3. května
| 8:00-9:00 | Snídaně |
| chair: Kolman |
| 9:00 | Šebestík | Leibnizovy logické kalkuly a modely | |
| 9:45 | Holeček | Matematická logika a „pravdivá idea“ u Spinozy | |
| 10:15 | Moural | Co bývala logika |
| Káva |
| 11:00 | Kvasz | Matematika a zkušenost | |
| 11:30 | Kůrka | Objektivní realita a matematické struktury |
| 12:00-13:00 | Oběd |
| 14:00 | Výlet |
| 19:00 | Raut |
4. května
| 8:00-9:00 | Snídaně |
| chair: Cintula |
| 9:00 | Svoboda | Logika a hodnoty | |
| 9:45 | Běhounek | Logika vs. logická analýza přirozeného jazyka |
| Káva |
| 10:45 | Majer | Logika hrou? | |
| 11:15 | Šebela | Logika jako teorie a logika jako nástroj | |
| 11:45 | Dostálová | (ohláška) |
| 12:00-13:00 | Oběd |
| 14:00 | Odjezd |
Poslední změna provedena 14.4.2008.