Proofs, necessity and causality

In Enrique Alonso, Antonia Huertas & Andrei Moldovan (eds.), Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano. College Publications. pp. 239-263 (2019)
  Copy   BIBTEX

Abstract

There is a long tradition of logic, from Aristotle to Gödel, of understanding a proof from the concepts of necessity and causality. Gödel's attempts to define provability in terms of necessity led him to the distinction of formal and absolute (abstract) provability. Turing's definition of mechanical procedure by means of a Turing machine (TM) and Gödel's definition of a formal system as a mechanical procedure for producing formulas prompt us to understand formal provability as a mechanical causality. We propose a formalism which makes explicit the mechanical causal nature of a TM's work. We claim that Gödel's axiomatised ontotheology and his ontological proof give a clue for the understanding of the concept of absolute provability and the pattern of the corresponding absolute completeness proof, respectively.

Links

PhilArchive

External links

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

Through your library

Similar books and articles

The Necessity of Causality from Avicenna’s and Spinoza’s Viewpoints.Reza Berenjkar - 2011 - Journal of Philosophical Theological Research 12 (47):37-58.
Causation and intensionality in Aristotelian Logic.Srećko Kovač - 2013 - Studia Philosophiae Christianae 49 (2):117-136.
Conceptual necessity, causality and self-ascriptions of sensation.Frederik Kaufman - 1990 - International Studies in Philosophy 22 (3):3-11.
Modal collapse in Gödel's ontological proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.
Causality and determinism: Tension, or outright conflict?Carl Hoefer - 2004 - Revista de Filosofía (Madrid) 29 (2):99-115.

Analytics

Added to PP
2023-03-18

Downloads
159 (#111,195)

6 months
89 (#41,435)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Srećko Kovač
Institute of Philosophy, Zagreb

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references