An Outline of the Concept of Adaptive Logics

Tomáš Ondráček, Jan Štěpánek

Abstract


The aim of the paper is to introduce the concept of adaptive logics (AL) or rather adaptive logical approach. In the introduction, a motivation and an emergence of AL are briefly discussed. In the second part of the paper, specifics of AL are analysed – especially non-monotonic character, internal and external dynamics, as well as the structure of AL, namely the distinction between upper limit logic and lower limit logic. In this part, the dynamic proof is also described. Applications of AL are presented in the third part. Three illustrations from three different branches of philosophy are presented. First one is an illustration of description of science – a traditional application of AL. Second one is an illustration of solving a deontic conflict – this is a new direction within in AL which has recently been researched. Third one is an illustration of analyses of metaphors – an example of an unusual application of AL. In the conclusion of the paper, contemporary results of AL are critically evaluated with respect to some problems of the project of AL.

Keywords


logic, adaptive logics, defeasible reasoning, dynamic proof, description of science, deontic con-flicts, metaphor analysis

https://doi.org/10.5817/pf16-1-1451

Full Text:

PDF (Czech)

References

Show references Hide references

Batens, D. (1999a): “Inconsistency-Adaptive Logics.” In Orlowska (ed.) Logic at Work. Essays dedicated to the memory of Helena Rasiowa, 445–472. Dordrecht: Springer.

Batens, D. (1999b): “Paraconsistency and Its Relation to Worldviews,” Foundations of Science 3(2): 259–283.

Batens, D. (2000): “Minimally Abnormal Models in Some Adaptive Logics,” Synthese 125(1/2): 5–18.

Batens, D. (2004): “The Need for Adaptive Logics in Epistemology.” In Rahman et al. (eds.) Logic, Epistemology, and the Unity of Science, 459–485. Dordrecht: Springer.

Batens, D. (2016): “Tutorial on Inconsistency-Adaptive Logics.” In Beziau & Charkaborty & Dutta (eds.) New Directions in Paraconsistent Logic, 3–38. Dordrecht: Springer.

Batens, D. (20xx): Adaptive Logics and Dynamic Proofs, [nepublikovaný rukopis].

CLPS [Centre for Logic and Philosophy of Science] (2016): Centre for Logic and Philosophy of Science : a subdivision of the Philosophy and Moral Science Department at Ghent Univer-sity, Belgium. Ghent: Ghent University, [cit. 2016-04-10]. Dostupné z WWW: < http://logica.ugent.be/centrum/ >.

D’Hanis, I. (2002): “A logical approach to the analysis of metaphors.” In: Magnani & Nersessian & Pizzi (eds.) Logical and Computational Aspects of Model-Based Reasoning, 21–37. Dordrecht: Springer.

Gendler, T. S. (1998): “Galileo and the indispensability of scientific thought experiment,” The British Journal for the Philosophy of Science 49(3): 397–424.

Meheus, J. (2003): “Do we need paraconsistency in commonsense reasoning?” In Delrieux & Legris (eds.) Computer Modeling of Scientific Reasoning, 135–145. Bahia Blanca: Univer-sidad Nacional Del Sur.

Meheus, J. (2007): “Adaptive Logics for Abduction and the Explication of Explanation-Seeking Processes.” In Pombo & Gerner (eds.) Abduction and the Process of Scientific Dis-covery, 97–119. Lisboa: Lisaboa Centro de Filosofia das Ciências da U. de Lisboa.

Meheus, J. (ed.), (2002): Inconsistency in science, Dordrecht: Springer.

Meheus, J., Beirlaen, M., Van De Putte, F. (2010): “Avoiding deontic explosion by contextu-ally restricting aggregation.” In Governatori & Sartor (eds.) Proceedings of the 10th Inter-national Conference on Deontic Logic in Computer Science (DEON 2010), 148–165. Dordrecht: Springer.

Meheus, J. et al. (2010): “Non-Adjunctive Deontic Logics That Validate Aggregation as Much as Possible.” In CLPS [online], 2010-10-08, [cit. 2016-05-26]. Dostupné z WWW: < http://logica.ugent.be/centrum/preprints/nadl.pdf>.

Pezlar, I. (2012): “Je nemonotónní logika logikou?” Pro-Fil [online], 13(1), [cit. 2016-05-26]. Dostupné z WWW: < http://dx.doi.org/10.5817/pf13-1-297>.

Popper, K. R. (1997): Logika vědeckého zkoumání, Praha: OIKOYMENH.

Straßer, C. (2010): “An adaptive logic framework for conditional obligations and deontic dilemmas,” Logic and Logical Philosophy 19(1–2): 95–128.

Straßer, C. (2014): Adaptive Logics for Defeasible Reasoning, Dordrecht: Springer.

Straßer, C., Beirlaen, M., Meheus, J. (2012): “Tolerating deontic conflicts by adaptively rest-ricting inheritance,” Logique et Analyse 55(219): 477–506.

Verdée, P. (2012): “Modelling defeasible reasoning by means of adaptive logic games,” Lo-gic Journal of the IGPL 20(2): 417–437.





Published by the Department of Philosophy, Faculty of Arts, Masaryk University, Brno, Czech Republic.
ISSN: 1212-9097