Traditional Logic and Computational Thinking

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

Full description

Saved in:
Bibliographic Details
Published in:Philosophies (Basel) 2021-03, Vol.6 (1), p.12
Main Author: Castro-Manzano, J.-Martín
Format: Article
Language:English
Subjects:
aristotelian logic
Critical thinking
Language
Logic programming
Natural language
syllogistic
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2409-9287
2409-9287
DOI:10.3390/philosophies6010012