Razonamiento abductivo y método axiomático en la lógica deóntica

Lorenzo Peña

Cita: Prueba y razonamiento probatorio en Derecho: Debates sobre abducción, coord. por Juan Antonio García Amado & Pablo Raúl Bonorino.
Granada: Editorial Comares, 2014, pp. 233-258
ISBN: 978-84-9045-135-9


REGLAS-CLAVE: bien común, método axiomático, abducción, lógica deóntica
KEYWORDS: common good, axiomatic method, abduction, deontic logic

Abstract:

When developing logical systems or calculi, be it in general or particularly in the field of deontic logic, abduction is both the suitable method and the one actually pursued in research practice, not only as a heuristic tool, but also as a justification standard: axioms and rules of inference are devised which, starting with certain given premises, yield desirable consequences, while keeping clear of undesirable ones. Later on the thus built system is put to the test of applicability for real reasoning, with needed adjustments being done in so far as the reasoning experience demands it. the whole procedure has to abide by certain canons or constraints of fruitfulness, elegance and plausibility. In deontic logic the ultimate canon is usefulness for the common good.


Resumen

Arguméntase que, tanto en la elaboración de sistemas o cálculos lógicos, en general, cuanto, más concretamente, en la de sistemas de lógica deóntica, el método adecuado --y efectivamente seguido en la praxis investigativa-- es el abductivo, no sólo heurística sino también justificativamente: se inventan axiomas o reglas de inferencia que sirven para, a partir de unas premisas dadas, obtener las consecuencias deseables, evitando las indeseables. Posteriormente se somete el sistema así elaborado al test de su aplicabilidad para el razonamiento, modificándose en tanto en cuanto se patentice la necesidad, sujetando todo el procedimiento a ciertos cánones o constreñimientos: fecundidad, elegancia y verosimilitud. En la lógica deóntica el último canon es la utilidad para el bien común.


Descripción

This paper shows that setting up axiomatic systems in logic, particularly in deontic logic, calls for resorting to abduction as a method both of heuristics and justification.