Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží (BRAK, 23. 11. 2015, Brno)
Title in English | Survival of the most elegant. Why representation of logical system also matters (BRAK, 23. 11. 2015, Brno) |
---|---|
Authors | |
Year of publication | 2015 |
MU Faculty or unit | |
Citation | |
Description | Konkrétnímu vzhledu logických systémů se obecně nevěnuje příliš pozornosti. V přednášce se ale pokusím ukázat, že způsob reprezentace může mít mnohem větší vliv na to, jak s logikou pracujeme, než by se na první pohled mohlo zdát. Zaměřím se na tři témata, a to (1) vývoj jazyka logických systémů (konkrétně predikátové logiky), (2) reprezentace významu pomocí pravidel (konkrétně v rámci Gentzenova systému přirozené dedukce) a (3) vliv reprezentace na naši představivost a praktické důsledky (konkrétně elektromechanizace uvažování a rozvoj počítačů). |