Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You and Your Team.

Learn More →

Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations

Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations We record the advances made by the eleventh century Persian logician Ibn Sina—known in the West as Avicenna—away from a purely cognitive view of proofs and towards a more computational view, and the kinds of consideration that led him to these advances. Some of Ibn Sina’s new logics, which stand somewhere between Aristotle’s categorical syllogisms and modern first-order logic, can serve as a kind of laboratory for testing what are the differences between Aristotelian and modern logic, and where these differences come from. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Philosophy & Technology Springer Journals

Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations

Philosophy & Technology , Volume 31 (1) – Nov 21, 2016

Loading next page...
 
/lp/springer-journals/proofs-as-cognitive-or-computational-ibn-s-n-s-innovations-lxBgWhzCSo
Publisher
Springer Journals
Copyright
Copyright © 2016 by Springer Science+Business Media Dordrecht
Subject
Philosophy; Philosophy of Technology
ISSN
2210-5433
eISSN
2210-5441
DOI
10.1007/s13347-016-0242-2
Publisher site
See Article on Publisher Site

Abstract

We record the advances made by the eleventh century Persian logician Ibn Sina—known in the West as Avicenna—away from a purely cognitive view of proofs and towards a more computational view, and the kinds of consideration that led him to these advances. Some of Ibn Sina’s new logics, which stand somewhere between Aristotle’s categorical syllogisms and modern first-order logic, can serve as a kind of laboratory for testing what are the differences between Aristotelian and modern logic, and where these differences come from.

Journal

Philosophy & TechnologySpringer Journals

Published: Nov 21, 2016

References