文章基本信息

标题：Traditional Logic and Computational Thinking
本地全文：下载
作者：J.-Martín Castro-Manzano
期刊名称：Philosophies
印刷版ISSN：2409-9287
出版年度：2021
卷号：6
期号：1
页码：12
DOI：10.3390/philosophies6010012
语种：English
出版社：MDPI Publishing
摘要：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.