On the acceptance of problem solutions derived from inconsistent constraints

Joke Meheus

DOI: http://dx.doi.org/10.12775/LLP.2000.002


In this paper, I discuss the main difficulties one encounters when solving problems with inconsistent constraints. I argue that in order to meet these difficulties we need an inconsistency-adaptive logic that enables one to derive as many (interesting) consequences as possible, but that at the same time allows one to determine which consequences can be accepted. I show that the inconsistency-adaptive logic ANA satisfies these requirements.

Full Text:



Diderik Batens, “Blocks. The clue to dynamic aspects of logic.” Logique & Analyse 151–152, 1995, 285–328.

Diderik Batens, “Inconsistency-adaptive logics.” In E. Or lowska (ed.), Logic at Work. Essays dedicated to the memory of Helena Rasiowa. Berlin, Springer, 1998, pp. 445–472.

Diderik Batens, “A survey of inconsistency-adaptive logics.” Appeared in: D. Batens, C. Mortensen, G. Priest and J.P. Van Bendegem (eds.), Frontiers of Paraconsistent Logic. Baldock, Research Studies Press, 2000, pp. 49–73.

Diderik Batens, “Rich inconsistency-adaptive logics. The clash between heuristic efficiency and realistic reconstruction.” Appeared in: F. Beets and E. Gillet (eds.), Logique en perspective. Mélanges offerts à Paul Gochet Brussels, Editions OUSIA, 2000, pp. 513–543.

Bryson Brown “How to be a realist about inconsistency in science.” Studies in History and Philosophy of Science 21, 1990, 281–294.

Joke Meheus, “Adaptive logic in scientific discovery: the case of Clausius.” Logique et Analyse 143–144, 1993, 359–391 (appeared in 1996).

Joke Meheus, Wetenschappelijke ontdekking en creativiteit. Een poging tot theorievorming op basis van een conceptuele, methodologische en logische studie. Unpublished doctoral thesis.

Joke Meheus, “Inconsistencies in scientific discovery. Clausius’ remarkable derivation of Carnot’s theorem.” Brepols, in print.

Joke Meheus, “An extremely rich paraconsistent logic and the adaptive logic based on it.” Appeared in: D. Batens, C. Mortensen, G. Priest and J.P. Van Bendegem (eds.), Frontiers of Paraconsistent Logic. Baldock, Research Studies Press, 2000, pp. 189–201.

Joke Meheus, “How to reason from inconsistencies.” Will appear in: J. Meheus (ed.), Inconsistency in science Kluwer, in print.

Joke Meheus & Diderik Batens, “Steering problem solving between Cliff Incoherence and Cliff Solitude.” Philosophica 58, 1996, 153–187 (appeared in 1998).

Thomas Nickles, “Can Scientific Constraints be violated Rationally?” in T. Nickles (ed.), Scientific Discovery, Logic, and Rationality. Dordrecht, Reidel, 1980, pp. 285–315.

Thomas Nickles, “What is a problem that we may solve it?” Synthese 47, 85–118.

John D. Norton, “The Logical Inconsistency of the Old Quantum Theory of Black Body Radiation.” Philosophy of Science 54, 1987, 327–350.

John D. Norton, “A paradox in Newtonian Gravitation Theory.” In PSA 1992 vol. 2, 1993, pp. 412–420.

Joel Smith, “Inconsistency and scientific reasoning.” Studies in History and Philosophy of Science 19, 1988, 429–445.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism