p 2015

Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží (BRAK, 23. 11. 2015, Brno)

PEZLAR, Ivo

Základní údaje

Originální název

Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží (BRAK, 23. 11. 2015, Brno)

Název anglicky

Survival of the most elegant. Why representation of logical system also matters (BRAK, 23. 11. 2015, Brno)

Autoři

Vydání

BRAK, 2015

Další údaje

Jazyk

čeština

Typ výsledku

Vyžádané přednášky

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Organizační jednotka

Filozofická fakulta
Změněno: 17. 2. 2016 11:13, Ing. Mgr. Zdeňka Jastrzembská, Ph.D.

Anotace

V originále

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čů).