Speaker:
Luis Adrian Urtubey
Facultad de Filosofía
Ciudad Universitaria
Córdoba Argentina.
urtubey@ffyh.unc.edu.ar

Title:
An analysis of some basic philosophical thesis about non-deductive inference
in the framework of CHC Models.

Abstract:
The so called CHC Models, where CHC stands for conjectures, hypothesis and
consequences, have been introduced in Trillas et al. [2000] and further
developed in Ying and Wang [2002] and Qiu [2007]. A CHC model is a quite
general algebraic model for conjectures, hypothesis and consequences. In
this model, all statements or propositions are represented as elements of an
orthocomplemented lattice. Operators defined in these lattices formalize the
intuitive notions of conjecture, consequence and hypothesis in an algebraic
setting. Consequently, CHC models provide with a framework in which, these
notions appear as mathematical objects and in which several concepts
concerning issues related with conjectures, hypothesis and consequences can
be properly addressed.
It is nowadays widely recognized that Charles Peirce is one of the
noteworthy precursors of the logical study of non-deductive inference.
Peirce coined some new terminology to designate these alternative forms of
reasoning, notably the current characterization of abduction is owed to him,
and he also studied some relationships among these inference patterns.
This contributed talk aims at formulating some scattered philosophical
thesis concerning non-deductive inference in the setting of CHC models. More
specifically, the purpose of this talk is to consider, in the algebraic
framework of CHC models, the representation of some facts about abduction
advanced by Peirce and lately addressed by other specialists, in order to
contribute to the clarification of their conceptual analysis.

References
E. Trillas, S. Cubillo, E. Castineira, On conjectures in orthocomplemented
lattices, Artificial Intelligence, 117 (2000) 255-275.
M. Ying, H. Wang, Lattice-theoretic models of conjectures, hypothesis and
consequences, Artificial Intelligence, 139 (2002) 253-267.
D. Qiu, A note on Trillas CHC models, Artificial Intelligence, (2007) in press.