Um robô pode julgar? Sobre o uso da abdução em filosofia do direito

Authors

DOI:

https://doi.org/10.18378/rbfh.v13i3.10792

Abstract

This paper considers two important points in the Philosophy of Law. Firstly, it analyses the possibility of a robot (a computational system) playing the role of a judge in some situations at least, and, secondly, it analyses the use of abductive reasoning in this field. We conclude that, with few exceptions, a robot cannot substitute a judge and that abductive reasoning should be considered a valid form of inference in Law.

References

AERTS, D. et al. Why the logical disjunction in quantum logic is not classical. Disponivel em: https://arxiv.org/abs/quant-ph/0007041. Acesso em: 10/09/2024.

BLAIR, H. A. et al. Paraconsistent Foundations for Logic Programming, Journal of Non-Classical Logic, vol. 5, no. 2, pp. 45-73, 1988.

COSTA, N. C. A. VERNENGO, R. Sobre algunas lógicas paraclássicas y el análisis del razonamiento jurídico. Dona 19: 183-200, 1999.

KRAUSE, D. Lógica Paraconsistente. Scientific American Brasil, Novembro. No. 30: 70-77, 2004.

KUMAR, M. Quantum: Einstein, Bohr and the Great Debate About the Nature of Reality. London: Icon Books, 2008.

MAKINSON, D. Bridges from Classical to Nonmonotonic Logic. London: Kings College Pu., 2005.

SHAPIRO, S. KISSELL, T. K. Classical First-Order Logic. Cambridge: Cambridge Un. Press (Cambridge Elements: Philosophy and Logic), 2022.

STRASSER, C. et al. Non-monotonic Logic, The Stanford Encyclopedia of Philosophy (Summer 2019 Edition), Edward N. Zalta (ed.). Disponível em: https://plato.stanford.edu/archives/sum2019/entries/logic-nonmonotonic/. Acesso em: 10/09/2024.

WEINBERG, S. The First Three Minutes: A Modern View of the Origin of the Universe. New York: Basic Books, 1993.

Published

2024-09-16

How to Cite

Krause, D. (2024). Um robô pode julgar? Sobre o uso da abdução em filosofia do direito. Revista Brasileira De Filosofia E História, 13(3), 3980–3985. https://doi.org/10.18378/rbfh.v13i3.10792