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)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

2019

DOI

10.1080/01445340.2018.1524409

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

PLATO, JAN VON, The Great Formal Machinery Works. Theories of Deduction and Computation at the Origins of the Digital Age, Princeton University Press, Princeton, 2017, 377 pp. [REVIEW]Carlos Ortiz de Landázuri - 2018 - Anuario Filosófico 51 (1):202-205.
Proof and disproof in formal logic: an introduction for programmers.Richard Bornat - 2005 - New York: Oxford University Press.
The Transcendental Deduction of Categories as Philosophical Proof.Elena Ficara - 2023 - Kantian Journal 42 (3):74-96.
From Proof-Objects to Grounds.Enrico Moriconi - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 115-138.
From Strategies to Derivations and Back: An Easy Completeness Proof for First-Order Intuitionistic Dialogical Logic.Davide Catta - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 397-424.
Idea of the Proof.A. M. Anisov - 2020 - RUDN Journal of Philosophy 24 (2):228-243.
Husserl's conception of formal ontology.Roberto Poli - 1993 - History and Philosophy of Logic 14 (1):1-14.
A New Conjecture About Identity of Proofs.Paolo Pistone - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 251-286.
Other Logics: Alternatives to Formal Logic in the History of Thought and Contemporary Philosophy.Admir Skodo (ed.) - 2014 - Boston: Brill.
How Logic Works: A User's Guide.Hans Halvorson - 2020 - Princeton, NJ: Princeton University Press.

Analytics

Added to PP
2018-10-02

Downloads
25 (#878,439)

6 months
16 (#186,356)

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

No references found.

Add more references