In Leibniz’s thought, the concept of analysis is a very fundamental one. It concerns both his research about the institution of a general science and his mathematical achievement regarding infinitesimal calculus. In the attempt of establishing the outline of a general logical calculus, Leibniz comes to face up with the problem of modality, that he tries to solve inside his conception of truth, according to which every truth is analytic. The formal outcome he obtained shows some similarities with the development of the early ideas of theory of computation, especially by Turing. From an enough abstract point of view, it is possible to establish a parallel between Leibniz and Turing and consider how and in what sense the consequences of Turing’s theoretical achievements are similar to some epistemological consequences of Leibniz’s logical achievements, in order to get further insight into the problematic but very interesting question of Leibniz’s natural machines.

F. Bianchini (2011). The Analysis in Leibniz: Calculus, Contingency and Natural Machines. A Heuristic Parallel With Turing's Work. HANNOVER : Gottfried-Wilhelm-Leibniz-Gesellschaft.

The Analysis in Leibniz: Calculus, Contingency and Natural Machines. A Heuristic Parallel With Turing's Work

BIANCHINI, FRANCESCO
2011

Abstract

In Leibniz’s thought, the concept of analysis is a very fundamental one. It concerns both his research about the institution of a general science and his mathematical achievement regarding infinitesimal calculus. In the attempt of establishing the outline of a general logical calculus, Leibniz comes to face up with the problem of modality, that he tries to solve inside his conception of truth, according to which every truth is analytic. The formal outcome he obtained shows some similarities with the development of the early ideas of theory of computation, especially by Turing. From an enough abstract point of view, it is possible to establish a parallel between Leibniz and Turing and consider how and in what sense the consequences of Turing’s theoretical achievements are similar to some epistemological consequences of Leibniz’s logical achievements, in order to get further insight into the problematic but very interesting question of Leibniz’s natural machines.
2011
Natur und Subjekt
69
78
F. Bianchini (2011). The Analysis in Leibniz: Calculus, Contingency and Natural Machines. A Heuristic Parallel With Turing's Work. HANNOVER : Gottfried-Wilhelm-Leibniz-Gesellschaft.
F. Bianchini
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/105843
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact