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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Philosophies (Basel) 2021-03, Vol.6 (1), p.12
1. Verfasser:	Castro-Manzano, J.-Martín
Format:	Artikel
Sprache:	eng
Schlagworte:	aristotelian logic Critical thinking Language Logic programming Natural language syllogistic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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