Abstract
Standard bivalent propositional and predicate logics are described as the theory of correct reasoning. However, the concept of model-based reasoning (MBR) developed by Magnani and Nersessian rejects the limitations of implicit or explicit dependence on abstract propositional, truth-functional logics or their modal variants. In support of this advance toward a coherent framework for reasoning, my paper suggests that complex reasoning processes, especially MBR, involve a novel logic of and in reality. At MBR04, I described a new kind of logical system, grounded in quantum mechanics (now designated as logic in reality; LIR), which postulates a foundational dynamic dualism inherent in energy and accordingly in causal relations throughout nature, including cognitive and social levels of reality. This logic of real phenomena provides a framework for analysis of physical interactions as well as theories, including the relations that constitute MBR, in which both models and reasoning are complex, partly non-linguistic processes. Here, I further delineate the logical aspects of MBR as a real process and the relation between it and its target domains. LIR describes 1) the relation between model theory - models and modeling - and scientific reasoning and theory; and 2) the dynamic, interactive aspects of reasoning, not captured in standard logics. MBR and its critical relations, e.g., between internal and external cognitive phenomena, are thus not “extra-logical” in the LIR interpretation. Several concepts of representations from an LIR standpoint are discussed and the position taken that the concept may be otiose for understanding of mental processes, including MBR. In LIR, one moves essentially from abduction as used by Magnani to explain processes such as scientific conceptual change to a form of inference implied by physical reality and applicable to it. Issues in reasoning involving computational and sociological models are discussed that illustrate the utility of the LIR logical approach.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Batterman, R.W.: Idealization and modeling. Synthese 169, 427–446 (2009)
Bechtel, W.: Mental Mechanisms. Philosophical Perspectives on Cognitive Neuroscience. Taylor and Francis Group, Routledge (2008)
Bennett, M.R., Hacker, P.M.S.: Philosophical Foundations of Neuroscience. Blackwell Publishing, Massachusetts (2003)
Bickhard, M.H.: The interactivist model. Science 166, 547–591 (2009)
Brenner, J.E.: A transconsistent logic for model-based reasoning. In: Magnani, L. (ed.) Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic. Kings College Publications, London (2006)
Brenner, J.E.: Logic in Reality. Springer, Dordrecht (2008)
Brenner, J.E.: Prolegomenon to a logic for the information society. Triple-C 7(1), 38–73 (2009), http://www.triple-c.at
Castells, M.: The Information Age: Economy, Society and Culture. In: The Rise of the Network Society, 2nd edn., vol. I. Blackwell Publishing, Malden (2000)
Carnielli, W.: Logics of formal inconsistency. CLE e-Prints 5(1) (2005)
D’Ottaviano, I.M.L., Hifume, C.: Peircean pragmatic truth and da Costa’s quasi-truth. Studies in Computational Intelligence 64, 383–398 (2007)
Gabbay, D.M., Woods, J.: Advice on abductive logic. Logic Journal of the IGPL 14(2), 189–219 (2006)
Gelfert, A.: Rigorous, results, cross-model justification, and the transfer of empirical warrant: the case of many-body models in physics. Synthese 169, 497–519 (2009)
Frigg, R., Hartmann, S.: Models in science. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy (Summer 2009), http://plato.stanford.edu/archives/sum2009/entries/models-science/
Hodges, W.: Model Theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Fall 2008), http://plato.stanford.edu/archives/fall2008/entries/model-theory/
Hofkirchner, W., et al.: ICTs and Society: The Salzburg Approach. University of Salzburg Research Paper No. 3, December. ICT&S Center. Salzburg (2007)
Horst, S.: The Computational Theory of Mind. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy (Winter 2009), http://plato.stanford.edu/archives/win2009/entries/computational-mind/
Jacquette, D.: Philosophy of Logic. In: Gabbay, D., Woods, J., Thagard, P. (eds.) Handbook of the Philosophy of Science Series. North-Holland Press (Elsevier), Amsterdam (2007)
Kolak, D.: Room for a view: On the metaphysical subject of personal identity. Synthese 162, 341–372 (2008)
Ladyman, J., Ross, D.: Every Thing Must Go. Metaphysics Naturalized. Oxford University Press, Oxford (2007)
Leydesdorff, L.: The Knowledge-Based Economy: Modeled, Measured, Simulated. Universal Publishers, Boca Raton (2006)
Leydesdorff, L.: Redundancy in Systems which Entertain a Model of Themselves: Interaction Information and the Self-organization of Anticipation. Preprint for ENTROPY (2009)
Lupasco, S.: Logique et Contradiction. Presses Universitaires de France, Paris (1947)
Lupasco, S.: Qu’est-ce qu’une structure? Christian Bourgois, Paris (1967)
Lupasco, S.: Le principe d’antagonisme et la logique de l’énergie. Editions du Rocher, Paris (1987); Originally published by Éditions Hermann, Paris (1951)
Magnani, L.: Inconsistencies and Creative Abduction in Science. In: AI and Scientific Creativity. Proceedings of the AISB99 Symposium on Scientific Creativity, University of Edinburgh, Edinburgh (1999)
Magnani, L., Nersessian, N.J. (eds.): Model-Based Reasoning. Kluwer Academic/Plenum Publishers, Dordrecht (2002)
Magnani, L.: Disembodying minds, externalizing minds. In: Magnani, L., Dossena, R. (eds.) Computing, Philosophy and Cognition. College Publications, London (2006)
Magnani, L.: Morality in a Technological World. Knowledge as Duty. Cambridge University Press, New York (2007)
Moulines, C.U.: Ontology, reduction, emergence: A general frame. Synthese 151, 313–323 (2006)
Priest, G.: In Contradiction. Martinus Nijhoff, Dordrecht (1987)
Schlimm, D.: Learning from the existence of models. Synthese 169, 521–538 (2009)
Symons, J.: Computational Models of Emergent Properties. Minds and Machines 18, 475–491 (2008)
Thagard, P.: Computational Philosophy of Science. MIT Press, Cambridge (1988)
Thagard, P.: How brains make mental models. In: The Conference on Model-Based Reasoning in Campinas, Brazil (2009)
Thompson, E.: Representationalism and the phenomenology of mental imagery. Synthese 160, 397–415 (2008)
Van Benthem, J., et al.: Merging frameworks for interaction. Journal of Philosophical Logic (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Brenner, J.E. (2010). The Logical Process of Model-Based Reasoning. In: Magnani, L., Carnielli, W., Pizzi, C. (eds) Model-Based Reasoning in Science and Technology. Studies in Computational Intelligence, vol 314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15223-8_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-15223-8_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15222-1
Online ISBN: 978-3-642-15223-8
eBook Packages: EngineeringEngineering (R0)