Abstract
A non-monotonic logic, the Logic of Plausible Reasoning (LPR), capable of coping with the demands of what we call complex reasoning, is introduced. It is argued that creative complex reasoning is the way of reasoning required in many instances of scientific thought, professional practice and common life decision taking. For managing the simultaneous consideration of multiple scenarios inherent in these activities, two new modalities, weak and strong plausibility, are introduced as part of the Logic of Plausible Deduction (LPD), a deductive logic specially designed to serve as the monotonic support for LPR. Axiomatics and semantics for LPD, together with a completeness proof, are provided. Once LPD has been given, LPR may be defined via a concept of extension over LPD. Although the construction of LPR extensions is first presented in standard style, for the sake of comparison with existing non-monotonic formalisms, alternative more elegant and intuitive ways for constructing non-monotonic LPR extensions are also given and proofs of their equivalence are presented.
Similar content being viewed by others
References
Bell, J., & Machover, M. (1977). A course in mathematical logic. North-Holland.
Buchsbaum, A. (1995). Lógicas da Inconsistência e da Incompletude: Semântica e Axiomática. Ph.D. thesis, Pontifícia Universidade Católica do Rio de Janeiro.
Buchsbaum, A., & Béziau, J.-Y. (2004). Introduction of implication and generalization in axiomatic calculi. In: J.-Y. Béziau, A. C. Leite, & A. Facchini (Eds.), Aspects of universal logic, No. 17 in Travaux de Logique. Centre de Recherches Sémiologiques, Université de Neuchâtel, p. 231.
Buchsbaum A., Pequeno T. (1997). A general treatment for the deduction theorem in open calculi. Logique et Analyse 157, 9–29
Buchsbaum, A., Pequeno, T., & Pequeno, M. (2003). Reasoning with plausible scenarios. Presented in III World Congress on Paraconsistency.
Carnap, R. (1950). Logical foundations of probability. University of Chicago Press.
da Costa N.C.A., Bueno O., French S. (1998). The logic of pragmatic truth. Journal of Philosophical Logic 27, 603–620
da Costa N.C.A., Chuaqui R., Bueno O. (1996). The logic of quasi-truth. Notas de la Sociedad de Matemática de Chile 15, 7–26
Ebbinghaus, H.-D., Flum, J., & Thomas, W. (1994). Mathematical logic. Springer-Verlag.
Enderton, H. B. (1972). A mathematical introduction to logic. Academic Press.
Hanks S., McDermott D. (1987). Nonmonotonic logic and temporal projection. Artificial Intelligence 33(3): 379–412
Hempel C.G. (1960). Inductive inconsistencies. Synthese 12, 439–469
Hume D. (1999). An enquiry concerning human understanding. Oxford Philosophical Texts, Oxford University Press.
Kleene S.C. (1974). Introduction to metamathematics. Wolters-Noordhoff, North Holland and American Elsevier
Kripke S. (1959). A Completeness theorem in modal logic. The Journal of Symbolic Logic 24, 1–14
Martins, A. T., Pequeno, M., & Pequeno, T. (1996). Well behaved IDL theories. In 13rd Brazilian Symposium on Artificial Intelligence. pp. 11–20.
McCarthy J. (1986). Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence 28(1): 89–116
Mendelson, E. (1979). Introduction to mathematical logic. D. Van Nostrand.
Pequeno T. (1990). A logic for inconsistent nonmonotonic reasoning, Technical Report 90/6, Department of Computing, Imperial College, London
Peirce C. S. (1965). Collected works. Dover.
Pequeno, M. (1994). Defeasible logic with exceptions-first. Ph.D. thesis, Department of Computing, Imperial College of Science, Technology and Medicine.
Pequeno, T., & Buchsbaum, A. (1991). The logic of epistemic inconsistency. In Proceedings of the second international conference on principles of knowledge representation and reasoning (pp. 453–460).
Pequeno, T., Buchsbaum, A., & Pequeno, M. (2001). A positive formalization for the notion of pragmatic truth. In Proceedings of the international conference on artificial intelligence (pp. 902–908).
Popper, K. R. (1980). The logic of scientific discovery. Hutchinson, revised edition, first published in 1959.
Reiter R. (1980). A logic for default reasoning. Artificial Intelligence 13, 81–132
Shoenfield, J. R. (1967). Mathematical logic. Addison-Wesley.
Suppes, P. (1969). Studies in the methodology and foundations of science: Selected papers from 1951 to 1969. Addison-Wesley.
Wittgenstein, L. (1942). The blue and brown books. Harper Perennial.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Buchsbaum, A., Pequeno, T. & Pequeno, M. A logical expression of reasoning. Synthese 154, 431–466 (2007). https://doi.org/10.1007/s11229-006-9128-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-006-9128-7