×

Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts. (English) Zbl 1444.68288

Summary: In this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to specify a formal language, input axioms and models formulated in that language, and then ask if the models satisfy the axioms. The second innovation is the introduction of incomplete models (for which the denotation of some terms is missing) into scientific metatheory, in order to represent cases of missing information. I specify the paracomplete semantics built into Reconstructor to deal with sentences where denotation failures occur. The third development consists in a new way of explicating the structuralist notion of a determination method, by equating them with algorithms. This allows determination methods to be loaded into Reconstructor and then executed within a model to find out the value of a previously non-denoting term (i.e. it allows the formal reconstruction to make predictions). This, in turn, can help test the reconstruction in a different way. Finally, I conclude with some suggestions about additional uses the program may have.

MSC:

68V15 Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
03B50 Many-valued logic
70A05 Axiomatics, foundations
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abramovich, S., Computers in mathematics education: An introduction, Computers in the Schools, 30, 1-2, 4-11 (2013) · doi:10.1080/07380569.2013.765305
[2] Abreu, C., Análisis estructuralista de la teoría de la anomia, Metatheoria - Revista de Filosofía e Historia de la Ciencia, 4, 2, 9-22 (2014)
[3] Alleva, K.; Díez, J.; Federico, L., Models, theory structure and mechanisms in biochemistry: The case of allosterism, Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences, 63, 1-14 (2017) · doi:10.1016/j.shpsc.2017.03.004
[4] Balzer, W.; Moulines, C. U.; Sneed, J. D., An architectonic for science: The structuralist program (1987), Dordrecht, Lancaster: Reidel, Dordrecht, Lancaster · Zbl 0649.03002
[5] Benzmüller, C., Universal (meta-)logical reasoning: Recent successes, Science of Computer Programming, 172, 48-62 (2019) · doi:10.1016/j.scico.2018.10.008
[6] Bernabé, F. N.; Seno Chibeni, S.; Zaterka, L.; Ahumada, J.; Letzen, D.; Silva, C. C.; Al-Chueyr Pereira Martins, L.; Oliveira Pereira de Morais Brito, A. P., Cerebros, hormonas y filosofía de la ciencia: la polémica de los cerebros tipo a la luz de la elucidación de la Hipótesis Organizacional Activacional, Filosofía e Historia de la Ciencia en el Cono Sur: Selección de trabajos del X Encuentro de la Asociación de Filosofía e Historia de la Ciencia del Cono Sur, 138-148 (2018), Córdoba, Argentina: Universidad Nacional de Córdoba, Córdoba, Argentina
[7] Blanco, D., Primera aproximación estructuralista a la Teoría del Origen en Común, Ágora. Papeles de Filosofía, 31, 2, 171-194 (2012)
[8] Bochvar, D. A., Ob odnom trechznacnom iscislenii i ego primenenii k analizu paradoksov klassiceskogo rassirennogo funkcional’nogo iscislenija, Matematiceskij Sbornik, 4, 287-308 (1981)
[9] Boolos, G. S.; Burgess, J. P.; Jeffrey, R. C., Computability and logic (2007), Cambridge, MA: Cambridge University Press, Cambridge, MA · Zbl 1154.03001
[10] Caamaño, M., A structural analysis of the phlogiston case, Erkenntnis, 70, 3, 331-364 (2009) · Zbl 1172.03302 · doi:10.1007/s10670-008-9141-y
[11] Carman, C. C., La Refutabilidad Del Sistema de Epiciclos y Deferentes de Ptolomeo, Principia, 14, 2, 211-240 (2010)
[12] Cobreros, P.; Égré, P.; Ripley, D.; van Rooij, R., Foreword: Three-valued logics and their applications, Journal of Applied Non-Classical Logics, 24, 1-2, 1-11 (2014) · Zbl 1398.00089 · doi:10.1080/11663081.2014.909631
[13] Descartes, R.; Miller, V. R.; Miller, R., Principles of philosophy: Translated, with explanatory notes (1982), Dordrecht, Holland: Reidel, Dordrecht, Holland
[14] Descartes, R.; Gaukroger, S., Descartes: The world and other writings (2004), Cambridge; New York: Cambridge University Press, Cambridge; New York
[15] Díaz, M.; Lorenzano, P., La red teórica de la dinámica de poblaciones, Scientiae Studia, 15, 2, 307-342 (2018) · doi:10.11606/51678-31662017000200006
[16] Díez, J.; Lorenzano, P., Who got what wrong? Fodor and piattelli on darwin: Guiding principles and explanatory models in natural selection, Erkenntnis, 78, 5, 1143-1175 (2013) · doi:10.1007/s10670-012-9414-3
[17] Falguera, J. L.; Donato-Rodríguez, X., Flogisto versus oxígeno: una nueva reconstrucción y su fundamentación histórica, Crítica: Revista Hispanoamericana de Filosofía, 48, 142, 87-116 (2016)
[18] Fierro, G. M., Software educativo CHAKANA: una propuesta para desarrollar la inteligencia lógico-matemática de estudiantes universitarios, AtoZ: Novas Práticas em Informação e Conhecimento, 4, 2, 103-107 (2015) · doi:10.5380/atoz.v4i2.43691
[19] Ginnobili, S., Missing concepts in natural selection theory reconstructions, History and Philosophy of the Life Sciences, 38, 3, 8 (2016) · doi:10.1007/s40656-016-0109-y
[20] Gonzalo, A.; Balzer, W., A reconstruction of the “classical” linguistic transformational theory CLT, Metatheoria - Revista de Filosofía E Historia de La Ciencia, 2, 2, 25-49 (2012)
[21] Kirchner, D.; Benzmüller, C.; Zalta, E. N., Computer science and metaphysics: A cross-fertilization, Open Philosophy, 2, 230-251 (2019) · doi:10.1515/opphil-2019-0015
[22] Kirchner, D.; Benzmüller, C.; Zalta, E. N., Mechanizing Principia Logico-Metaphysica in functional type-theory, The Review of Symbolic Logic (2019) · Zbl 1484.03020 · doi:10.1017/S1755020319000297
[23] Kleene, S. C., Introduction to metamathematics (1952), Princeton: Van Nostrand, Princeton · Zbl 0047.00703
[24] Lastiri, M., Aplicaciones intencionales de la mecánica cuántica, Ágora. Papeles de Filosofía, 31, 2, 271-285 (2012)
[25] Lorenzano, C.; Diez, J. A.; Lorenzano, P., Una reconstrucción estructural de la bioquímica, Desarrollos actuales de la metateoría estructuralista: problemas y discusiones, 209-230 (2002), Quilmes: Universidad Nacional de Quilmes/Universidad Autónoma de Zacatecas/Universidad Rovira i Virgili, Quilmes
[26] Lorenzano, P.; Blanco, D.; Carman, C. C.; Donolo, A.; Federico, L.; Ginnobili, S.; Onaha, M. E.; García, P.; Salvatico, L., La mecánica de René Descartes, Selección de trabajos de las XVII jornadas, 13, 309-316 (2007), Córdoba: Universidad Nacional de Córdoba, Córdoba
[27] Lorenzano, P.; Blanco, D.; Carman, C. C.; Donolo, A.; Federico, L.; Ginnobili, S.; Onaha, M. E.; Faas, H.; Severgnini, H., Cartesiómetro o de cómo aplicar la mecánica cartesiana, Selección de trabajos de las XVIII jornadas, 14, 303-309 (2008), Córdoba: Universidad Nacional de Córdoba, Córdoba
[28] Lorenzano, P.; Blanco, D.; Carman, C. C.; Donolo, A.; Federico, L.; Ginnobili, S.; Onaha, M. E.; Martins, R.; Lewowicz, L.; Ferreira, J.; Silva, C.; Pereira Martins, L., El cartesiómetro: Una propuesta de aplicación consistente de las leyes del movimiento de Descartes, Filosofia e história da ciência no Cone Sul. Seleção de trabalhos do 6^o Encontro, 493-504 (2010), Campinas: Associação de Filosofia e História da Ciência do Cone Sul (AFHIC), Campinas
[29] Łukasiewicz, J. (1920). O logice trójwartościowej. Studia Filozoficzne, 5, 170-171. [English translation in Łukasiewicz, J. (1970). Selected Works. Amsterdam: North-Holland Publishing Company.]
[30] Mendez, D.; Casanueva, M.; Ernst, G.; Niebergall, K. G., A reconstruction of Darwin’s pangenesis in a graph format, Philosophie der Wissenschaft - Wissenschaft der Philosophie - Festschrift für C. Ulises Moulines zum 60. Geburstag, 157-164 (2006), Mentis: Paderborn, Mentis
[31] Nipkow, T.; Paulson, L. C.; Wenzel, M., Isabelle/HOL: A proof assistant for higher-order logic (2002), Berlin: Springer-Verlag, Berlin · Zbl 0994.68131
[32] Nolt, J.; Zalta, E. N., Free logic, The stanford encyclopedia of philosophy (2018), Metaphysics Research Lab, Stanford University
[33] O’Lery, M., Análisis estructuralista de la teoría de radicales libres y su vínculo con la bioquímica de óxido-reducción, Ágora. Papeles de Filosofía, 31, 2, 251-270 (2012)
[34] Peris-Viñé, L. M., Actual models of the chomsky grammar, Revista de Filosofía E Historia de La Ciencia, 1, 2, 195-225 (2011)
[35] Rosenberg, A.; Bouchard, F.; Zalta, E. N., Fitness, The stanford encyclopedia of philosophy (2015)
[36] Schmidt, H.-J.; Zalta, E. N., Structuralism in Physics, The stanford encyclopedia of philosophy (2014), Metaphysics Research Lab, Stanford University
[37] Sneed, J. D., The logical structure of mathematical physics (1971), Dordrecht-Holland: Reidel, Dordrecht-Holland · Zbl 0296.02017
[38] Suppes, P., A comparison of the Meaning and uses of models in mathematics and the empirical sciences, Synthese, 12, 2-3, 287-301 (1960) · Zbl 0147.24614 · doi:10.1007/BF00485107
[39] Suppes, P., Representation and invariance of scientific structures (2002), Stanford, CA: CSLI Publications, Stanford, CA · Zbl 1007.03003
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.