On Barrio, Lo Guercio, and Szmuc on Logics of Evidence and Truth
DOI:
https://doi.org/10.12775/LLP.2022.009Keywords
logics of evidence and truth, paraconsistency, evidence, informationAbstract
The aim of this text is to reply to criticisms of the logics of evidence and truth and the epistemic approach to paraconsistency advanced by Barrio [2018], and Lo Guercio and Szmuc [2018]. We also clarify the notion of evidence that underlies the intended interpretation of these logics and is a central point of Barrio’s and Lo Guercio & Szmuc’s criticisms.
References
Evidence”, 2004, in Concise Oxford English Dictionary, Oxford University Press.
“Evidence”, 2020, Cambridge Dictionary Online, accessed in 17/08/2020. https://dictionary.cambridge.org/us/dictionary/english/evidence
Achinstein, P., 2010, “Concepts of evidence”, in Evidence, Explanation, and Realism, Oxford University Press.
Arenhart, J., 2020, “The evidence approach to paraconsistency versus the paraconsistent approach to evidence”, Synthese 2020. DOI: https://doi.org/10.1007/s11229-020-02813-x
Artemov, S., and M. Fitting, 2020, “Justification logic”, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/entries/logic-justification/
Audi, R., 1999, The Cambridge Dictionary of Philosophy, Cambridge University Press, 2nd edition.
Barrio, E., 2018, “Models and proofs: LFIs without a canonical interpretation”, Principia 22: 87–112.
Barrio, E., and B. Da Ré, 2018, “Paraconsistency and its philosophical interpretations”, Australasian Journal of Logic 15: 151–170.
Belnap, N. D., 1977, “How a computer should think”, in G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press.
Carnielli, W., and M. Coniglio, 2016, Paraconsistent Logic: Consistency, Contradiction and Negation, Springer, 2016.
Carnielli, W., M. Coniglio, and J. Marcos, 2007, “Logics of formal inconsistency”, in Gabbay and Guenthner (eds.), Handbook of Philosophical Logic, vol. 14. Springer.
Carnielli, W., M. Coniglio, and A. Rodrigues, 2020, “Recovery operators, paraconsistency and duality”, Logic Journal of the IGPL, 28 (5): 624–656. DOI: https://doi.org/10.1093/jigpal/jzy054
Carnielli, W., and J. Marcos, 2002, “A taxonomy of C-systems”, in W. Carnielli, M. Coniglio, and I. D’ottaviano (eds.), Paraconsistency: The Logical Way to the Inconsistent. Marcel Dekker.
Carnielli, W., and A. Rodrigues, 2015a, “On the philosophy and mathematics of the logics of formal inconsistency”, in New Directions in Paraconsistent Logic, Springer.
Carnielli, W., and A. Rodrigues, 2015b, “Towards a philosophical understanding of the logics of formal inconsistency”, Manuscrito 38: 155–184.
Carnielli, W., and A. Rodrigues, 2017a, “An epistemic approach to paraconsistency: a logic of evidence and truth”, Synthese 196: 3789–3813.
Carnielli, W., and A. Rodrigues, 2017b, “Como tratar las contradicciones: sobre las motivaciones filosóficas de las lógicas de consistencia e inconsistencia formal”, in E. Zerbudis (ed.), Poderes Causales, Tropos y outras Criaturas Extrañas, Buenos Aires, Título.
Carnielli, W., and A. Rodrigues, 2019, “Inferential semantics, paraconsistency and preservation of evidence”, in Graham Priest on Dialetheism and Paraconsistency, Springer.
Carnielli, W., and A. Rodrigues, 2021, “On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms”, Logic Journal of the IGPL 29 (4): 569–584. DOI: https://doi.org/10.1093/jigpal/jzz041
Carrara, M., D. Chiffi, and C. De Florio, 2019, “Pragmatic logics for hypotheses and evidence”, Logic Journal of the IGPL 29 (4): 585–600.
Chellas, B. F., 1980, Modal Logic: An Introduction, Cambridge University Press.
Dunn, J. M., 2008, “Information in computer science”, pages 581–608 in P. Adriaans and J. van Benthem (eds.), Philosophy of Information, Vol. 8 of Handbook of the Philosophy of Science, Elsevier.
Fetzer, J., 2004, “Information: Does it have to be true?”, Minds and Machines 14: 223–229.
Fitting, M., 2016a, “Paraconsistent logic, evidence, and justification”, Studia Logica 105 (6): 1149–1166. DOI: http://dx.doi.org/10.1007/s11225-017-9714-3
Fitting, M., 2016b, “Justifications that might be wrong (abstract)”, in Modalities, Conditionals, and Values: A Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright. May 23–25, 2016, Helsinki, Finland. https://www.cs.helsinki.fi/u/hakli/vw/abstracts.html
Floridi, L., 2011, The Philosophy of Information, Oxford University Press.
Font, J. M., R. Jansana, and D. Pigozzi, 2003, “A survey of abstract algebraic logic”, Studia Logica 74: 13–97.
Garson, J., 2018, “Modal logic”, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, fall 2018 edition. https://plato.stanford.edu/entries/logic-modal/
Goranko, V., and A. Rumberg, 2020, “Temporal logic”, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, summer 2020 edition. https://plato.stanford.edu/entries/logic-temporal/
Gordon, T., and D. Walton, 2009, “Proof burdens and standards”, in I. Rahwan and G. Simari (eds.), Argumentation in Artificial Intelligence, Springer.
Halmos, P., 1963, Lectures on Boolean Algebras, Princeton: Van Nostrand.
Heyting, A., 1930, “The formal rules of intuitionistic logic”, in P. Mancosu (ed.), From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, 1998.
Heyting, A., 1956, Intuitionism: An Introduction, London: North-Holland Publishing Company.
Johansson, I., 1937, “Der minimalkalkül, ein reduzierter intuitionisticher formalismus”, Compositio Mathematica 4: 119–136.
Kelly, T., 2014, “Evidence”, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, fall 2014 edition. https://plato.stanford.edu/entries/evidence/
Kim, J., 1988, “What is “naturalized epistemology”?”, Philosophical Perspectives 2: 381–405.
Kolmogorov, A., 1932, “On the interpretation of intuitionistic logic”, in P. Mancosu (ed.), From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, 1998.
Lo Guercio, N., and D. Szmuc, 2018, “Remarks on the epistemic interpretation of paraconsistent logic”, Principia 22 (1): 153–170.
Loparic, A., 1986, “A semantical study of some propositional calculi”, The Journal of Non-Classical Logic 3 (1): 73–95.
Loparic, A., 2010, “Valuation semantics for intuitionistic propositional calculus and some of its subcalculi”, Principia 14 (1): 125–133.
López-Escobar, E. G. K., 1972, “Refutability and elementary number theory”, Indagationes Mathematicae 34: 362–374.
Odintsov, S., and H. Wansing, 2016, “On the methodology of paraconsistent logic”, in H. Andreas and P. Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Springer.
Oreskes, N., 2019, Why Trust Science?, Princeton University Press.
Pollock, J. L., 1974, Knowledge and Justification, Princeton University Press.
Priest, G., 1979, “The logic of paradox”, Journal of Philosophical Logic 8: 219–241. DOI: http://dx.doi.org/10.1007/BF00258428
Priest, G., 2019, “Some comments and replies”, in C. Başkent and T. M. Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer.
Rodrigues, A., J. Bueno-Soler, and W. Carnielli, 2021, “Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic”, Synthese 198: 5451–5480. DOI: https://doi.org/10.1007/s11229-020-02571
Shannon, C. E., 1938, “A symbolic analysis of relay and switching circuits”, Transactions of the American Institute of Electrical Engineers 57 (12): 713–723. DOI: https://doi.org/10.1109/T-AIEE.1938.5057767
Stone, M., 1936, “The theory of representations for Boolean algebras”, Transactions of the American Mathematical Society 40: 37–111.
Troelstra, A. S., and D. van Dalen, 1988, Constructivism in Mathematics: An Introduction, Elsevier.
van Benthem, J., D. Fernández-Duque, and E. Pacuit, 2014, “Evidence and plausibility in neighborhood structures”, Annals of Pure and Applied Logic 165 (1): 106–133. DOI: http://dx.doi.org/10.1016/j.apal.2013.07.007
van Benthem, J., and E. Pacuit, 2011, “Dynamic logics of evidence-based beliefs”, Studia Logica 99: 61–92. DOI: http://dx.doi.org/10.1007/s11225-011-9347-x
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2022 ABILIO Rodrigues, Walter Carnielli
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
Stats
Number of views and downloads: 1218
Number of citations: 0
