Traditional Logic and Computational Thinking

Philosophies

J.-Martín Castro-Manzano¹ 

[1] Faculty of Philosophy, UPAEP University, Puebla 72410, Mexico;

关键词: syllogistic;    aristotelian logic;    logic programming;   

DOI  :  10.3390/philosophies6010012

来源: DOAJ

【 摘 要 】

In this contribution, we try to show that traditional Aristotelian logic can be useful (in a non-trivial way) for computational thinking. To achieve this objective, we argue in favor of two statements: (i) that traditional logic is not classical and (ii) that logic programming emanating from traditional logic is not classical logic programming.

【 授权许可】

Unknown