D 2014

Logic as a Toolbox

PEZLAR, Ivo

Základní údaje

Originální název

Logic as a Toolbox

Autoři

Vydání

1. vyd. Olomouc, The Future of Philosophy, od s. 73-85, 13 s. 2014

Nakladatel

Univerzita Palackého v Olomouci

Další údaje

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ěněno: 16. 3. 2015 10:37, Ing. Mgr. Zdeňka Jastrzembská, Ph.D.

Anotace

V originále

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