Traditional Logic and Computational Thinking
Bibliographic Data
| ID | 22134554 |
|---|---|
| Authors | José Martín Castro-Manzano (0000-0003-2227-921X, Universidad Popular Autónoma del Estado de Puebla, corresponding author) |
| Year | 2021 |
| Volume | 6 |
| Issue | 1 |
| Pages | 12 |
| Publication date | 2021-02-09 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Philosophies (JOURNAL) |
| Journal identifiers | ISSN: 2409-9287 • E-ISSN: 2409-9287 |
| Publisher | MDPI AG (PUBLISHER • IT) |
| DOI | 10.3390/philosophies6010012 |
| OpenAlex | W3126974349 |
| Language | EN |
| References cited | 23 |
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
Autoepistemic logic · Computational logic · Description logic · Logic programming · Multimodal logic · Philosophy of logic · Programming language · Computer Science · Engineering · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Semantic Web and Ontologies
| Citation velocity | historical |
|---|---|
| Highly cited | No |