- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The Great Formal Machinery Works. Theories of Deduction and Computation at the Origins of the Digital Age
History and Philosophy of Logic 40 (1):98-99 (2018)
Abstract
The main subject of this very original and engaging book is the history of the idea of formal proof. Von Plato shows how that idea emerged, from the Greeks to the crucial last few decades of the ni...My notes
Similar books and articles
Neural Computation and the Computational Theory of Cognition.Gualtiero Piccinini & Sonya Bahar - 2013 - Cognitive Science 37 (3):453-488.
Concrete digital computation: competing accounts and its role in cognitive science.Nir Fresco - 2013 - Dissertation, University of New South Wales
The instructional information processing account of digital computation.Nir Fresco & Marty J. Wolf - 2014 - Synthese 191 (7):1469-1492.
Information Processing as an Account of Concrete Digital Computation.Nir Fresco - 2013 - Philosophy and Technology 26 (1):31-60.
What might dynamical intentionality be, if not computation?Ronald L. Chrisley - 1998 - Behavioral and Brain Sciences 21 (5):634-635.
Analog versus digital: Extrapolating from electronics to neurobiology.Rahul Sarpeshkar - 1998 - Neural Computation 10 (7):1601--1638.
Concrete Digital Computation: What Does it Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.
The Explanatory Role of Computation in Cognitive Science.Nir Fresco - 2012 - Minds and Machines 22 (4):353-380.
Constructivism and Computation: Can Computer-Based Modeling Add to the Case for Constructivism?M. Füllsack - 2013 - Constructivist Foundations 9 (1):7-16.
Essay Review: History of Psychology in Synthesis, Mental Machinery: The Origins and Consequences of Psychological IdeasMental Machinery: The Origins and Consequences of Psychological Ideas. Part 1: 1600–1850. RichardsGraham . Pp. xii + 490. £50.Roger Smith - 1994 - History of Science 32 (1):103-106.
What is a digital state?Vincent C. Müller - 2013 - In Mark J. Bishop & Yasemin Erden (eds.), The Scandal of Computation - What is Computation? - AISB Convention 2013. AISB. pp. 11-16.
Analytics
Added to PP
2018-10-02
Downloads
8 (#1,316,752)
6 months
1 (#1,469,946)
2018-10-02
Downloads
8 (#1,316,752)
6 months
1 (#1,469,946)
Historical graph of downloads
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-g9b9l uwo