This paper proposes to model legal reasoning asdialectical theory-constructiondirected by teleology. Precedents are viewed asevidence to be explained throughtheories. So, given a background of factors andvalues, the parties in a case canbuild their theories by using a set of operators,which are called theory constructors.The objective of each party is to provide theoriesthat both explain the evidence (theprecedents) and support the decision wished by thatparty. This leads to theory-basedargumentation, i.e., a dialectical exchange ofcompeting theories, which support opposedoutcomes by explaining the same (...) evidence and appealingto the same values. The winneris the party that can reply with a more coherent theoryto all theories of its adversary. (shrink)

This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, and possibly new (...) generation tasks forfurther improvement. The paper concludes with a surveyof possible points of departure, in AI and logic, forcomputational treatment of the instrumentalist taskguided by the `comparative evaluation matrix''. (shrink)

Introduit à certains aspects de la pensée de Charles Sanders Peirce (1839-1914), le philosophe américain fondateur du pragmatisme et de la sémiotique, avec, notamment, une analyse des liens que Peirce établit entre la logique (ou sémiotique), la psychologie et la philosophie de la connaissance.