PEZLAR, Ivo. Logic as a Toolbox. In The Future of Philosophy. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2014, s. 73-85. ISBN 978-80-244-4316-4.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Logic as a Toolbox
Autoři PEZLAR, Ivo.
Vydání 1. vyd. Olomouc, The Future of Philosophy, od s. 73-85, 13 s. 2014.
Nakladatel Univerzita Palackého v Olomouci
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
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
ISBN 978-80-244-4316-4
Klíčová slova anglicky logic, logic as a toolbox, labelled deductive systems, Gabbay
Příznaky Recenzováno
Změnil Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 16. 3. 2015 10:37.
Anotace
Over the last few decades, a distinct turn in logic took place. More and more logicians started to be interested in capturing the way in which we actually reason in our everyday problem solving as opposed to earlier tendency towards the way in which we should reason. This new trend brought many good things, but there were also many disadvantages. Mainly, large number of logical systems started to appear and the connections between them were not always clear. In response to that new type of systems arose that were focused on making these connections clearer. We briefly introduce one of them, specifically Gabbay's Labelled deductive systems (LDS).
VytisknoutZobrazeno: 22. 7. 2024 10:20