Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

203666

Realist consequence, epistemic inference, computational correctness

Giuseppe Primiero

pp. 573-588

Abstract

Standard views on logical consequence stem historically from the propositions as truth-bearers tradition on the one hand, and from the assertoric standpoint on truth for propositions by proof-objects, on the other. A further step in the evolution of the notion of logical validity is represented by the formulation of correctness on computational processes, as suggested by the proofs-as-programs interpretation. We analyse this fairly recent computational interpretation of logic in view of the new principles it offers to characterize the notion of validity: execution conditions; resources accessibility; local validity; error-handling. In this new and extended sense, logical validity significantly improves the simple assertoric interpretation of correctness of non-realistic philosophies of logic. We set explicitly the connection to the notion of eventual consistency that holds for computational systems in a distributed setting.

Publication details

Published in:

Koslow Arnold, Buchsbaum Arthur (2015). The road to universal logic II: Festschrift for the 50th birthday of Jean-Yves Béziau, Birkhäuser, Basel.

Pages: 573-588

DOI: 10.1007/978-3-319-15368-1_26

Full citation:

Primiero Giuseppe (2015). Realist consequence, epistemic inference, computational correctness, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, pp. 573-588.