PEZLAR, Ivo. Logic as a Toolbox. In The Future of Philosophy. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2014, p. 73-85. ISBN 978-80-244-4316-4.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Logic as a Toolbox
Authors PEZLAR, Ivo.
Edition 1. vyd. Olomouc, The Future of Philosophy, p. 73-85, 13 pp. 2014.
Publisher Univerzita Palackého v Olomouci
Other information
Original language English
Type of outcome Proceedings paper
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
ISBN 978-80-244-4316-4
Keywords in English logic, logic as a toolbox, labelled deductive systems, Gabbay
Tags Reviewed
Changed by Changed by: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Changed: 16/3/2015 10:37.
Abstract
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).
PrintDisplayed: 5/9/2024 21:27