Abstract
From an informational point of view, an inference or argumentation can be considered as a finite sequence of sentences of a language, not arbitrarily ordered, for which one may distinguish an initial group of sentences called premises, followed by another sentence called conclusion. The set of premises (or set of reasons) may be empty, but the conclusion has to be present.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Lisbon Colloquium for the Philosophy of Science October 25–28th
References
Aliseda, A. (2006). Abductive Reasoning. Logical Investigations into Discovery and Explanation. Synthese Library/vol. 330. Dordrecht: Springer.
Corcoran, J. (1999). Information-theoretic logic and transformation-theoretic logic. In Ram, M. (ed), Fragments of Science: Festschrift for Mendel Sachs, pp. 25–35. River Edge, NJ: World Scientific Publishing Co.
Hempel, C. (1965). Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. New York, NY: The Free Press.
Hintikka, J. (1998). What is abduction? The fundamental problem of contemporary epistemology, Transactions of the Charles S. Peirce Society, 34(3), 503–533.
Kakas, A., Kowalski, R., Toni, F. (1998). The role of abduction in logic programming. In Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 235–324. Oxford: Oxford University Press.
Konolige, K. (1996). Abductive theories in artificial intelligence. In Brewka, G. (ed), Principles of Knowledge Representation, pp. 129–152. Stanford, CA: CSLI Publications.
Lobo, J., Uzcategui, C. (1997). Abductive consequence relations, Artificial Intelligence, 89, 149–171.
Makinson, D. (2005). Bridges from Classical to Nonmonotonic Logic. London: King’s College.
Mayer, M. C., Pirri, F. (1993). First order abduction via tableau and sequent calculi, Bulletin of the IGPL 1, 99–117.
Nepomuceno, A. (2002). Scientific explanation and modified semantic tableaux. In Magnani, L., Nerssessian, N., Pizzi C. (eds), Logical and Computational Aspects of Model-Based Reasoning, pp. 181–198. Applied Logic Series. Dordrecht: Kluwer Academic Publishers.
Nepomuceno, A. (2007). Information and logic. In Proceedings of Symposium in Honour of John Corcoran. Spain: Universidad de Santiago de Compostela.
Peirce, C. S. (1931–1935). Collected Papers of Charles Sanders Peirce, 1–6 vols. In Hartshorne, C., Weiss, P. (eds), Cambridge: Harvard University Press; and vols. 7–8, edited by A. W. Burks, Cambridge, Harvard University Press.
Schroeder-Heister, P., Dośen, K. (eds), (1999). Substructural Logics. Oxford: Oxford Science Publications.
Soler-Toscano, F., Nepomuceno-Fernández, A., Aliseda-Llera, A. (2006). Model based abduction via dual resolution, Logic Journal of the IGPL 14(2), 305–319.
Thagard, P. (1988). Computational Philosophy of Science. Cambridge, MA: The MIT Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Nepomuceno, Á., Soler, F., Aliseda, A. (2011). Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems. In: Symons, J., Pombo, O., Torres, J. (eds) Otto Neurath and the Unity of Science. Logic, Epistemology, and the Unity of Science, vol 18. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0143-4_15
Download citation
DOI: https://doi.org/10.1007/978-94-007-0143-4_15
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-0142-7
Online ISBN: 978-94-007-0143-4
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)