METODO

International Studies in Phenomenology and Philosophy

Book | Chapter

203640

(2015) The road to universal logic II, Basel, Birkhäuser.

Realist consequence, epistemic inference, computational correctness

Giuseppe Primiero

pp. 573-588

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

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

Full citation:

Primiero, G. (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.

This document is unfortunately not available for download at the moment.