A Logic for a Critical Attitude?
DOI:
https://doi.org/10.12775/LLP.2022.010Abstract
Individuating the logic of scientific discovery appears a hopeless enterprise. Less hopeless is trying to figure out a logical way to model the epistemic attitude distinguishing the practice of scientists. In this paper, we claim that classical logic cannot play such a descriptive role. We propose, instead, one of the three-valued logics in the Kleene family that is often classified as the less attractive one, namely Hallden’s logic. By providing it with an appropriate epistemic interpretation, we can informally model the scientific attitude.
References
Abdallah, A., 1995, The Logic of Partial Information, Springer, Berlin.
Aspect, A., J. Dalibard, and G. Roger, 1982, “Experimental test of Bell’s inequalities using time-varying analyzers”, Physical Review Letters 49: 1804–1807. DOI: http://dx.doi.org/10.1103/PhysRevLett.49.1804
Bartel, D. P., 2018, “Metazoan microRNAs”, Cell 173 (1): 20–51. DOI: http://dx.doi.org/10.1016/j.cell.2018.03.006
Beall, Jc, 2016, “Off-topic: A new interpretation of weak-Kleene logic”, Australasian Journal of Logic 13 (6): 136-142. DOI: http://dx.doi.org/10.26686/ajl.v13i6.3976
Bell, J. S., 1964, “On the einstein Podolsky Rosen paradox”, Physics Physique Fizika 1: 195–200. DOI: http://dx.doi.org/10.1103/PhysicsPhysiqueFizika.1.195
Bochvar, D., and M. Bergmann, 1981, “On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus”, History and Philosophy of Logic 2 (1–2): 87–112. Translation of the original in Russian (Mathematicheskii Sbornik, 1938). DOI: http://dx.doi.org/10.1080/01445348108837023
Boniolo, G., M. Andreoletti, F. Boem, and E. Ratti, 2017, “The main faces of robustness”, Dialogue and Universalism 27 (3): 157–172. DOI: http://dx.doi.org/10.5840/du201727352
Bonzio, S., G. Cevolani, and T. Flaminio, 2021, “How to believe long conjunctions of beliefs: Probability, quasi-dogmatism and contextualism”, Erkenntnis (on-line first). DOI: http://dx.doi.org/10.1007/s10670-021-00389-7
Bonzio, S., J. Gil-Férez, F. Paoli, and L. Peruzzi, 2017, “On paraconsistent weak Kleene logic: Axiomatisation and algebraic analysis”, Studia Logica 105 (2): 253–297. DOI: http://dx.doi.org/10.1007/s11225-016-9689-5
Bonzio, S., T. Moraschini, and M. Pra Baldi, 2021, “Logics of left variable inclusion and Płonka sums of matrices”, Archive for Mathematical Logic 60: 49–76. DOI: http://dx.doi.org/10.1007/s00153-020-00727-6
Bonzio, S., F. Paoli and M. Pra Baldi, 2022, Logics of Variable Inclusion, Springer, Trends in Logic (in press).
Bonzio, S., and M. Pra Baldi, 2021a, “Containment logics: Algebraic completeness and axiomatization”, Studia Logica 109: 969–994. DOI: http://dx.doi.org/10.1007/s11225-020-09930-1
Bonzio, S., and M. Pra Baldi, 2021b, “Containment logics: Algebraic counterparts and reduced models”, Journal of Logic and Computation (on-line first). DOI: http://dx.doi.org/10.1093/logcom/exab070
Carrara, M., and W. Zhu, 2021, “Computational errors and suspension in a PWK epistemic agent”, Journal of Logic and Computation 31 (7): 1740–1757. DOI: http://dx.doi.org/10.1093/logcom/exab052
Ciuni, R., and M. Carrara, 2016, “Characterizing logical consequence in paraconsistent weak Kleene”, in L. Felline, A. Ledda, F. Paoli, and E. Rossanese (eds.), New Developments in Logic and the Philosophy of Science, College, London.
Creath, R., “Logical empiricism”, 2020, in E. Zalta (ed.), The Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/logical-empiricism/
Crick, F., 1970, “Central dogma of molecular biology” Nature 227 (5258): 561–563. DOI: http://dx.doi.org/10.1038/227561a0
Daniels, C., 1990, “A note on negation”, Erkenntnis 32: 423–429. DOI: http://dx.doi.org/10.1007/BF00216471
Deutsch, H., 1977, Relevant analytic entailment, The Relevance Logic Newsletter 1 (2): 26–44.
Dirac, P., , 1981, The Principles of Quantum Mechanics, Clarendon Press. First edition Oxford University Press, 1930.
Duhem, P., and P. Wiener, 1954, The Aim and Structure of Physical Theory, Atheneum paperbacks, Princeton University Press.
Einstein, A., B. Podolsky, and N. Rosen, 1935, “Can quantum-mechanical description of physical reality be considered complete?”, Physical Review 47: 777–780. DOI: http://dx.doi.org/10.1103/PhysRev.47.777
Ferguson, T., 2017, Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry, Trends in Logic, Springer International Publishing.
Field, H., 2008, Saving Truth from Paradox, Oxford University Press.
Finn, V., and R. Grigolia, 1993, “Nonsense logics and their algebraic properties”, Theoria 59 (1–3): 207–273. DOI: http://dx.doi.org/10.1111/j.1755-2567.1993.tb00871.x
Frías-Lasserre, D., and C. A. Villagra, 2017, “The importance of ncRNAs as epigenetic mechanisms in phenotypic variation and organic evolution”, Frontiers in Microbiology, 8: 1–13. DOI: http://dx.doi.org/10.3389/fmicb.2017.02483
Hacking, I., 1983, Representing and Intervening: Introductory Topics in the Philosophy of Natural Science, Cambridge University Press.
Hacking, I., 1992, “ “Style” for historians and philosophers”, Studies in History and Philosophy of Science, Part A, 23 (1): 1 –20. DOI: http://dx.doi.org/10.1016/0039-3681(92)90024-Z
Hájek, P., 2001, Metamathematics of Fuzzy Logic, Trends in Logic, Springer Netherlands.
Halldén, S., 1949, The Logic of Nonsense, Uppsala Universitets Årsskrift.
Hanson, N., 1958, Patterns of Discovery: An Inquiry Into the Conceptual Foundations of Science, University Press.
Hjortland, O. T., 2017, “Anti-exceptionalism about logic”, Philosophical Studies, 174 (3): 631–658. DOI: http://dx.doi.org/10.1007/s11098-016-0701-8
Kleene, S., 1952, Introduction to Metamathematics, North Holland, Amsterdam.
Koonin, E. V., 2012, “Does the central dogma still stand?” Biology Direct 7 (27). DOI: http://dx.doi.org/10.1186/1745-6150-7-27
Kuhn, T., 1962, The Structure of Scientific Revolutions, University of Chicago Press.
Lakatos, I., 1978, The Methodology of Scientific Research Programmes, Cambridge University Press.
Øhrstrøm, P., and P. Hasle, 1995, Temporal Logic: From Ancient Ideas to Artificial Intelligence, Studies in Linguistics and Philosophy, Springer.
Popper, K., 1959, The Logic of Scientific Discovery, Routledge.
Priest, G., 1979, “The logic of paradox”, Journal of Philosophical Logic 8: 219–241. DOI: http://dx.doi.org/10.1007/BF00258428
Priest, G., 2010, “The logic of Catuskoti”, Comparative Philosophy 1 (2): 24–54. DOI: http://dx.doi.org/10.31979/2151-6014(2010).010206
Prior, A., 1953, “Three-valued logic and future contingents”, The Philosophical Quarterly 3(13):317–326. DOI: http://dx.doi.org/10.2307/2217099
Prior, A., 1957, Time and Modality, Oxford University Press.
Quine, W. V. O., 1951, “Main trends in recent philosophy: Two dogmas of empiricism”, The Philosophical Review.
Segerberg, K., 1965, “A contribution to non-sense logics”, Theoria 31 (3): 199–217.
Szmuc, D., 2019, “An epistemic interpretation of paraconsistent weak Kleene logic”, Logic and Logical Philosophy 28 (2): 277–330. DOI: http://dx.doi.org/10.12775/LLP.2019.014
Szmuc, D., and T. M. Ferguson, 2021, “Meaningless divisions”, Notre Dame Journal of Formal Logic, 62 (3): 399–424. DOI: http://dx.doi.org/10.1215/00294527-2021-0022
Turner, R., 1984, Logics for Artificial Intelligence, Ellis Horwood, Stanford.
von Neumann, J., R. Beyer, and N. Wheeler, 2018, Mathematical Foundations of Quantum Mechanics: New Edition, Princeton University Press.
Żegleń, U., 1998, “Łukasiewicz’s interpretation of Aristotle’a concept of possibility”, , pages 105–111 in K. Kijania-Placek and J. Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2022 Federico Boem, Stefano Bonzio
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
Stats
Number of views and downloads: 1180
Number of citations: 0
