<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gauderis, Tjerk</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Bertolotti, Tommaso</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Feasibility of Modeling Hypothetical Reasoning by Formal Logics. Including an Overview of Adaptive Logics for Singular Fact Abduction</style></title><secondary-title><style face="normal" font="default" size="100%">Handbook of Model-Based Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gauderis, Tjerk</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Pauli's idea of the neutrino: how models in physics allow to revive old ideas for new purposes</style></title><secondary-title><style face="normal" font="default" size="100%">Model-based reasoning in science and technology : theoretical and cognitive issues</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">449-461</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Abstract Models have proven themselves to be the key catalyst of many new ideas in science. However, it is not yet fully clarified why models can fulfill such an important heuristic role. The two main reasons stated in the literaturethe mental simulation of various scenarios and the wide cross-fertilization across various disciplinesseem to leave out one of the most obvious features of models: they are designed for a purpose. Therefore I investigated why, while the construction of models is a goal-oriented task with a predefined purpose, the use of models yields so many new ideas in science. This paper presents my conceptual analysis together with a detailed historical case study. The functional design of models forces scientists to explore vigorously older ideas to adapt them: as the lacunas in a functional model are also functional, scientists need to modify older ideas (that were formulated for different purposes) to fit the present functional gaps in their models. As such, they construct new ideas. The detailed historical case study exemplifies this by showing how Paulis original suggestion of the neutrino was, in fact, such an adaptation of Rutherfords earlier idea of the neutron. The present analysis and case study suggest that functional adaptations are salient but often overlooked features of model based investigation.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Pizzi, Claudio</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The symbolic model for algebra: functions and mechanisms</style></title><secondary-title><style face="normal" font="default" size="100%">Model-Based Reasoning in Science and Technology</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-15223-8\_29</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">314</style></volume><pages><style face="normal" font="default" size="100%">519–532</style></pages><isbn><style face="normal" font="default" size="100%">9783642152221</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The symbolic mode of reasoning in algebra, as it emerged during the sixteenth century, can be considered as a form of model-based reasoning. In this paper we will discuss the functions and mechanisms of this model and show how the model relates to its arithmetical basis. We will argue that the symbolic model was made possible by the epistemic justification of the basic operations of algebra as practiced within the abbaco tradition. We will also show that this form of model-based reasoning facilitated the expansion of the number concept from Renaissance interpretations of number to the full notion of algebraic numbers.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving</style></title><secondary-title><style face="normal" font="default" size="100%">Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><publisher><style face="normal" font="default" size="100%">King's College Publications</style></publisher><pages><style face="normal" font="default" size="100%">265–284</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper aims at describing a goal-directed and diagrammatic method for proof search. The method (and one of the logics obtained by it) is particularly interesting in the context of formal problem solving. A typical property is that it consists of attempts to justify so-called bottom boxes by means of premise elements (diagrammatic elements obtained from premises) and logical elements. Premises are not preprocessed, whence most premises lead to a variety of premise elements.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">D'Hanis, Isabel</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Nersessian, Nancy</style></author><author><style face="normal" font="default" size="100%">Pizzi, Claudio</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A logical approach to the analysis of metaphors</style></title><secondary-title><style face="normal" font="default" size="100%">Logical and Computational Aspects of Model-Based Reasoning</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer Academic</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><volume><style face="normal" font="default" size="100%">25</style></volume><pages><style face="normal" font="default" size="100%">21–37</style></pages><isbn><style face="normal" font="default" size="100%">1402007124</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I will present an adaptive logic that grasps the way we analyze metaphors. Metaphors are powerful tools to generate new scientific ideas. Therefore, it is important to have a good theory on what metaphors are and how they function. The first question we have to answer when we want to develop such a theory is obviously ˝what metaphors are˝. Philosophy of language can offer some interesting ideas but most views do not allow for a cognitive function of metaphors. One of the sparse views that does allow for it is interactionism. The basic version, however, has some serious shortcomings that need solving when we want to use this theory. First of all the terminology is too vague. Furthermore, the description of the reasoning process we use when we analyze a metaphor, only works for very simple examples. The logic I will present, ALM, is based on a broadened version of this view. A logical approach of metaphors allows us to gain a profound insight in the way we analyze metaphors. The analysis of metaphors is a dynamical reasoning process. When we want to capture this process in a logical system, we need a logic that is capable of grasping that specific type of dynamics. An adaptive logic seems to be the best choice. Therefore, I shall present an adaptive logic that grasps the analysis of metaphors.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Nersessian, Nancy</style></author><author><style face="normal" font="default" size="100%">Thagard, Paul</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Model-Based Reasoning in Creative Processes</style></title><secondary-title><style face="normal" font="default" size="100%">Model-Based Reasoning in Scientific Discovery</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer/Plenum</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">199–217</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Combining a contextual approach to problem solving with results on some recently developed (non-standard) logics, I present in this paper a general frame for the methodological study of model-based reasoning in creative processes. I argue that model-based reasoning does not require that we turn away from logic. I also argue, however, that in order to better understand and evaluate creative processes that involve model-based reasoning, and in order to formulate guidelines for them, we urgently need to extend the existing variety of logics.&lt;/p&gt;</style></abstract></record></records></xml>