Abstract
We define a mechanism by which abductive hypotheses having the form of law-like statements are generated. We use the Socratic transformations approach as the underlying proof method.
Work on this paper was supported by funds of the National Science Centre, Poland (DEC-2012/04/A/HS1/00715).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
“Erotetic” comes from Greek “erotema” which means “question”.
References
Aliseda, A. (1997). Seeking explanations: Abduction in logic, philosophy of science and artificial intelligence. Amsterdam: Institute for Logic, Language and Computation.
Aliseda, A. (2006). Abductive reasoning. Logical investigations into discovery and explanation. Dordrecht: Springer.
Bolotov, A., Łupkowski, P., & Urbański, M. (2006). Search and check. Problem solving by problem reduction. In A. Cader, L. Rutkowski, R. Tadeusiewicz, & J. Zurada (Eds.), Artificial intelligence and soft computing (pp. 505–510). Warszawa: Academic Publishing House EXIT.
Gabbay, D. M., & Woods, J. (2005). The reach of abduction. Insight and trial. Amsterdam: Elsevier.
Gauderis, T., & Van de Putte, F. (2012). Abduction of generalizations. Theoria, 27(3), 345–363.
Harman, G. (1965). Inference to the best explanation. Philosophical Review, 74(1), 88–95.
Hintikka, J. (2007). Abduction – inference, conjecture, or an answer to a question? In Socratic epistemology. Explorations of knowledge-seeking by questioning (pp. 38–60). Cambridge: Cambridge University Press.
Hintikka, J., Halonen, I., & Mutanen, A. (1999). Interrogative logic as a general theory of reasoning. In Inquiry as inquiry: A logic of scientific discovery (Volume 5 of Jaakko Hintikka selected papers, pp. 47–90). Dordrecht/Boston/London: Kluwer Academic.
Komosinski, M., Kups, A., & Urbański, M. (2012). Multi-criteria evaluation of abductive hypotheses: Towards efficient optimization in proof theory. In Proceedings of the 18th International Conference on Soft Computing (pp. 320–325). Brno: Czech Republic.
Komosinski, M., Kups, A., Leszczyńska-Jasion, D., & Urbański, M. (2014). Identifying efficient abductive hypotheses using multi-criteria dominance relation. ACM Journal on Computational Logic, 15(4), 28:1–28:20.
Kuipers, T. A. F. (2004). Inference to the best theory, rather than inference to the best explanation. Kinds of abduction and induction. In F. Stadler (Ed.), Induction and deduction in the sciences (pp. 25–51). Dordrecht/Boston/London: Kluwer Academic.
Leszczyńska, D. (2007). The method of socratic proofs for normal modal propositional logics. Poznań: Adam Mickiewicz University Press.
Leszczyńska-Jasion, D., Urbański, M., & Wiśniewski, A. (2013). Socratic trees. Studia Logica, 101, 959–986.
Lipton, P. (2004). Inference to the best explanation. London: Routledge.
Magnani, L. (2004). Reasoning through doing. Epistemic mediators in scientific discovery. Journal of Applied Logic, 2, 439–450.
Magnani, L. (2009). Abducing chances in hybrid humans as decision makers. Information Sciences, 179(11), 1628–1638.
Mayer, M. C., & Pirri, F. (1993). First order abduction via tableau and sequent calculi. Bulletin of the IGPL, 1, 99–117.
Meheus, J., & Batens, D. (2006). A formal logic of abductive reasoning. Logic Journal of the IGPL, 14, 221–236.
Meheus, J., Verhoeven, L., Van Dyck, M., & Provijn, D. (2002). Ampliative adaptive logics and the foundation of logic-based approaches to abduction. In L. Magnani, N. J. Nersessian, & C. Pizzi (Eds.), Logical and computational aspects of model-based reasoning (pp. 39–71). Dordrecht: Kluwer Academic.
Peirce, C. S. (1931–1958). Collected works. Cambridge: Harvard University Press.
Smullyan, R. (1995). First-order logic. New York: Dover.
Thagard, P. (1995). Abductive reasoning: Logic, visual thinking and coherence. Cambridge: MIT.
Thagard, P. (2007). Abductive inference: From philosophical analysis to neural mechanisms. In A. Feeney & E. Heit (Eds.), Inductive reasoning: Cognitive, mathematical, and neuroscientific approaches (pp. 226–247). Cambridge: Cambridge University Press.
Urbański, M. (2003). Computing abduction with Socratic proofs. In International workshop “Problem Solving in the Sciences: Adaptive and Interrogative Perspectives”, Brussels, 8–10 May 2003.
Urbański, M. (2016). Models of abductive reasoning. LiT Verlag (To appear). Berlin.
Urbański, M., & Łupkowski, P. (2010). Erotetic search scenarios: Revealing interrogator’s hidden agenda. In P. Łupkowski & M. Purver (Eds.), Semantics and pragmatics of dialogue (pp. 67–74). Poznań: Polskie Towarzystwo Kognitywistyczne.
Wiśniewski, A. (1995). The posing of questions: Logical foundations of erotetic inferences. Dordrecht/Boston/London: Kluwer Academic.
Wiśniewski, A. (2004a). Erotetic search scenarios, problem-solving, and deduction. Logique et Analyse, 185–188, 139–166.
Wiśniewski, A. (2004b). A note on abduction and consistency checks by Socratic transformations. Research report. Poznań: Institute of Psychology, Adam Mickiewicz University.
Wiśniewski, A. (2004c). Socratic proofs. Journal of Philosophical Logic, 33(3), 299–326.
Wiśniewski, A. (2013). Questions, inferences, and scenarios. London: College Publications.
Wiśniewski, A., & Shangin, V. (2006). Socratic proofs for quantifiers. Journal of Philosophical Logic, 35(2), 147–178.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Urbański, M., Wiśniewski, A. (2016). On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations. In: Başkent, C. (eds) Perspectives on Interrogative Models of Inquiry. Logic, Argumentation & Reasoning, vol 8. Springer, Cham. https://doi.org/10.1007/978-3-319-20762-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-20762-9_7
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-20761-2
Online ISBN: 978-3-319-20762-9
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)