Traditional Logic and Computational Thinking

Philosophies 6 (1):12 (2021)
  Copy   BIBTEX

Abstract

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.3390/philosophies6010012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

What Should We Do With Traditional Logic?Jesse P. Bohl - 2002 - Informal Logic 22 (1).
Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.
Bolzano and Kant on the Nature of Logic.Clinton Tolley - 2012 - History and Philosophy of Logic 33 (4):307-327.
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Damásio & Luís Pereira - 2002 - Studia Logica 72 (1):113-138.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Dynamic Deontic Logic and its Paradoxes.Albert J. J. Anglberger - 2008 - Studia Logica 89 (3):427-435.
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I.Antonis C. Kakas & Robert Kowalski - 2002 - Springer.
Remarks on the concept of distribution in traditional logic.David Makinson - 1969 - Noûs 3 (1):103-108.
Możliwościowe ujęcie logiki praktycznej. Logika bez kantów Andrzeja Kisielewicza.Bartłomiej Skowron - 2018 - Studia Philosophica Wratislaviensia 13 (3):95-114.
On the use (and abuse) of Logic in Game Theory.Eric Pacuit - 2015 - Journal of Philosophical Logic 44 (6):741-753.
Traditional Logic, Modern Logic and Natural Language.Wilfrid Hodges - 2009 - Journal of Philosophical Logic 38 (6):589-606.
The Place of Logic in Kant's Philosophy.Clinton Tolley - 2017 - In Matthew C. Altman (ed.), The Palgrave Kant Handbook. London: Palgrave. pp. 165-87.
The structure of Aristotelian logic.James Wilkinson Miller - 1938 - London,: K. Paul, Trench, Trubner & co..
The Structure of Aristotelian Logic.James Wilkinson Miller - 1938 - London,: Routledge.
Natural Language Understanding and Logic Programming, II: Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987.Veronica Dahl & Patrick Saint-Dizier - 1988 - North Holland.

Analytics

Added to PP
2021-02-10

Downloads
2 (#1,809,554)

6 months
1 (#1,478,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Die alte und die neue logik.Rudolf Carnap - 1930 - Erkenntnis 1 (1):12-26.
An axiomatization of predicate functor logic.Steven T. Kuhn - 1983 - Notre Dame Journal of Formal Logic 24 (2):233-241.
Syllogistic with Indefinite Terms.Enrique Alvarez & Manuel Correia - 2012 - History and Philosophy of Logic 33 (4):297-306.

View all 6 references / Add more references