PEZLAR, Ivo. Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží (BRAK, 23. 11. 2015, Brno) (Survival of the most elegant. Why representation of logical system also matters (BRAK, 23. 11. 2015, Brno)). In BRAK. 2015.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží (BRAK, 23. 11. 2015, Brno)
Name (in English) Survival of the most elegant. Why representation of logical system also matters (BRAK, 23. 11. 2015, Brno)
Authors PEZLAR, Ivo.
Edition BRAK, 2015.
Other information
Original language Czech
Type of outcome Requested lectures
Field of Study 60300 6.3 Philosophy, Ethics and Religion
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
Organization unit Faculty of Arts
Changed by Changed by: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Changed: 17/2/2016 11:13.
Abstract
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čů).
PrintDisplayed: 5/9/2024 21:43