<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On the interpretation of early Italian bartering problems</style></title></titles><dates><year><style  face="normal" font="default" size="100%">Submitted</style></year></dates><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%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Vandoulakis, I.M.</style></author><author><style face="normal" font="default" size="100%">Dun, Liu</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Dutch Algebra and Arithmetic in Japan before the Meiji Restoration</style></title><secondary-title><style face="normal" font="default" size="100%">Navigating across Mathematical Cultures and Times: Exploring the Diversity of Discoveries and Proofs</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%">World  Scientific  Publishing  Co.</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper gives an overview of the scarce occasions in which Japan came into contact with Western arithmetic and algebra before the Meiji restoration of 1868. After the refutation of persistent claims on the influence through Japanese students at Leiden during the seventeenth century, it concentrates on the reception of Dutch works during the last decades of the Tokugawa &lt;em&gt;shogunate&lt;/em&gt; and the motivations to study and translate these books. While some studies based on Japanese sources have already been published on this period,2 this paper draws from Dutch sources and in particular on witness accounts from Dutch officers at the Nagasaki naval school, responsible for the instruction of mathematics to selected samurai and &lt;em&gt;rangakusha&lt;/em&gt;. Two Japanese textbooks on arithmetic from that period are viewed within the context of this naval training school.&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%">Urbaniak, Rafal</style></author><author><style face="normal" font="default" size="100%">Pawlowski, Pawel</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Hansson, Sven Ove</style></author><author><style face="normal" font="default" size="100%">Hendricks, Vincent F.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Logics of (formal and informal) provability</style></title><secondary-title><style face="normal" font="default" size="100%">Handbook of Formal Philosophy</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%">Urbaniak, Rafal</style></author><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Hansson, Sven Ove</style></author><author><style face="normal" font="default" size="100%">Hendricks, Vincent F.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Induction</style></title><secondary-title><style face="normal" font="default" size="100%">Handbook of Formal Philosophy</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">induction</style></keyword><keyword><style  face="normal" font="default" size="100%">logic</style></keyword><keyword><style  face="normal" font="default" size="100%">probability</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><isbn><style face="normal" font="default" size="100%">978-3-319-77433-6</style></isbn><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%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Wouters, Dietlinde</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Data-driven induction in scientific discovery: a critical assessment based on Kepler's discoveries</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, reasoning, and rationality</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">59–76</style></pages><isbn><style face="normal" font="default" size="100%">9789401790109</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Motivated by the renewed interest in knowledge discovery from data (KDD) by the artificial intelligence community, this paper provides a critical assessment of the model of data-driven induction for scientific discovery. The most influential research program using this model is developed by the BACON team. Two of the main claims by this research program, the descriptive and constructive power of data-driven induction, are evaluated by means of two historical cases studies: the discovery of the sine law of refraction in optics and Kepler’s third law of planetary motion. I will provide evidence that the data used by the BACON program–-despite the claims being made–-does not correspond with the historical data available to Kepler and his contemporaries. Secondly, it is shown that for the two cases the method by which the general law was arrived at did not involve data-driven induction. Finally, the value of the data-driven induction as a general model for scientific discovery is being questioned.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Epistemic justification and operational symbolism</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">19</style></volume><pages><style face="normal" font="default" size="100%">89–113</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;By the end of the twelfth century in the south of Europe, new methods of calculating with Hindu-Arabic numerals developed. This tradition of sub-scientific mathematical practices is known as the abbaco period and flourished during 1280–1500. This paper investigates the methods of justification for the new calculating procedures and algorithms. It addresses in particular graphical schemes for the justification of operations on fractions and the multiplication of binomial structures. It is argued that these schemes provided the validation of mathematical practices necessary for the development towards symbolic reasoning. It is shown how justification schemes compensated for the lack of symbolism in abbaco treatises and at the same time facilitated a process of abstraction.&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%">Van Bouwel, Jeroen</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Galavotti, Maria Carla</style></author><author><style face="normal" font="default" size="100%">Dieks, Dennis</style></author><author><style face="normal" font="default" size="100%">Gonzalez, Wenceslao J.</style></author><author><style face="normal" font="default" size="100%">Hartmann, Stephan</style></author><author><style face="normal" font="default" size="100%">Uebel, Thomas</style></author><author><style face="normal" font="default" size="100%">Weber, Marcel</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Pluralists about pluralism? Different versions of explanatory pluralism in psychiatry</style></title><secondary-title><style face="normal" font="default" size="100%">New directions in the philosophy of science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">104–119</style></pages><isbn><style face="normal" font="default" size="100%">9783319043814</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 contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations.&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%">De Mol, Liesbeth</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Galavotti, Maria Carla</style></author><author><style face="normal" font="default" size="100%">Dieks, Dennis</style></author><author><style face="normal" font="default" size="100%">Gonzalez, Wenceslao J.</style></author><author><style face="normal" font="default" size="100%">Hartmann, Stephan</style></author><author><style face="normal" font="default" size="100%">Uebel, Thomas</style></author><author><style face="normal" font="default" size="100%">Weber, Marcel</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">New Directions in the Philosophy of Science</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">The Philosophy of Science in a European Perspective</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">5</style></volume><pages><style face="normal" font="default" size="100%">15–33</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;According to some well-known mathematicians well-versed in computer-assisted mathematics (CaM), Computers are changing the way we are doing mathematics. To what extent this is really true is still an open question. Indeed, even though some philosophers of math have taken up the challenge to think about CaM, it is unclear in what sense exactly a machine (can) affect(s) the so-called queen of the sciences. In fact, some have concluded that issues raised by the use of the computer in mathematics are not specific to the use of the computer per se. However, such findings seem precarious since a systematic study of computer-assisted mathematics is still lacking. In this paper I argue that in order to understand the impact of CaM, it is necessary to take more seriously the computer itself and how it is actually used in the process of doing mathematics. Within such an approach, one searches for characteristics that are specific to the use of the computer in mathematics. I will focus on a feature that is beyond any doubt inherently connected to the use of computing machinery, viz. mathematician-computer interactions. I will show how such interactions are fundamentally different from the usual interactions between mathematicians and non-human aids (a piece of paper, a blackboard etc) and how such interactions determine at least two more characteristics of CaM, viz. the significance of time and processes and the steady process of internalization of mathematical tools and knowledge into the machine. I will restrict myself to the use of the computer within so-called experimental mathematics since this is the main object of CaM within the philosophical literature.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heylen, Ben</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Causaliteit en de methodestrijd: naar een geïntegreerd gebruik van kwalitatief en kwantitatief onderzoek in een praktisch georiënteerde criminologie</style></title><secondary-title><style face="normal" font="default" size="100%">Panopticon</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><volume><style face="normal" font="default" size="100%">34</style></volume><pages><style face="normal" font="default" size="100%">115–133</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this article, we re-examine an old problem in criminology i.e the &quot;battle of the methods&quot;. Even though the battle has become less explicit recently, it does have a contemporary named the incompatibility thesis in the field of mixed methods research in the social sciences. We look at this incompatibility thesis from the point of view of the philosophy of science, more precisely by discussing different forms of causality. Subsequently, comparative causality, process theories of causality and mechanistic causality. Subsequently, comparative causality, process theories of causality and mechanistic causality are discussed. We argue that qualitative and quantitative methods each pursue a specific kind of knowledge, but that a functional integration of both is desirable. We conclude by referring to two main advantages of such integration, viz. the manipulation of causal relationships and extrapolation of research results in time and space.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Reydon, Thomas</style></author><author><style face="normal" font="default" size="100%">Boon, Mieke</style></author><author><style face="normal" font="default" size="100%">Houkes, Wybo</style></author><author><style face="normal" font="default" size="100%">Vermaas, Pieter</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The ICE-theory of technical functions</style></title><secondary-title><style face="normal" font="default" size="100%">Metascience</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">22</style></volume><pages><style face="normal" font="default" size="100%">23–44</style></pages><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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Urbaniak, Rafal</style></author><author><style face="normal" font="default" size="100%">Hämäri, K Severi</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Busting a myth about Leśniewski and definitions</style></title><secondary-title><style face="normal" font="default" size="100%">History and philosophy of logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">33</style></volume><pages><style face="normal" font="default" size="100%">159–189</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;A theory of definitions which places the eliminability and conservativeness requirements on definitions is usually called the standard theory. We examine a persistent myth which credits this theory to Lesniewski, a Polish logician. After a brief survey of its origins, we show that the myth is highly dubious. First, no place in Lesniewski's published or unpublished work is known where the standard conditions are discussed. Second, Lesniewski's own logical theories allow for creative definitions. Third, Lesniewski's celebrated 'rules of definition' lay merely syntactical restrictions on the form of definitions: they do not provide definitions with such meta-theoretical requirements as eliminability or conservativeness. On the positive side, we point out that among the Polish logicians, in the 1920s and 1930s, a study of these meta-theoretical conditions is more readily found in the works of Lukasiewicz and Ajdukiewicz.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author><author><style face="normal" font="default" size="100%">Lefevere, Merel</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">De Regt, Henk</style></author><author><style face="normal" font="default" size="100%">Okasha, Samir</style></author><author><style face="normal" font="default" size="100%">Hartmann, Stephan</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The role of unification in explanations of facts</style></title><secondary-title><style face="normal" font="default" size="100%">EPSA Philosophy of Science 2009</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Amsterdam</style></pub-location><pages><style face="normal" font="default" size="100%">403-413</style></pages><isbn><style face="normal" font="default" size="100%">9789400724037</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 the literature on scientific explanation, there is a classical distinction between explanations of facts and explanations of laws. This paper is about explanations of facts. Our aim is to analyse the role of unification in explanations of this kind. We discuss five positions with respect to this role, argue for two of them and refute the three others.&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%">Rommevaux, Sabine</style></author><author><style face="normal" font="default" size="100%">Spiesser, Maryvonne</style></author><author><style face="normal" font="default" size="100%">Massa Esteve, Maria Rosa</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The rule of quantity by Chuquet and de la Roche and its influence on German Cossic algebra</style></title><secondary-title><style face="normal" font="default" size="100%">Pluralité de l'algèbre à la Renaissance</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Honoré Champion</style></publisher><pages><style face="normal" font="default" size="100%">127–147</style></pages><isbn><style face="normal" font="default" size="100%">9782745323989</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 importance of &lt;em&gt;Larismethique&lt;/em&gt; of de La Roche, published in 1520, has been seriously underestimated. One reason for the neglect is related to the inscrutable way he is referred to. Buteo and Wallis called him Stephanus à Rupe de Lyon. Other obscure references, such as Gosselin calling him Villafrancus Gallus have been overlooked by many commentators. His influence can be determined in several works that do not credit him but use problems or definitions from the &lt;em&gt;Larismethique&lt;/em&gt;. However, most damaging for its historical assessment was Aristide Marre?s misrepresentation of the &lt;em&gt;Larismethique&lt;/em&gt; as a grave case of plagiarism. Marre discovered that the printed work of 1520 by Estienne de la Roche contained large fragments that were literally copied from Chuquet?s manuscript of the Triparty. Especially on the &lt;em&gt;Appendice&lt;/em&gt;, which contains the solution to a large number of problems, Marre writes repeatedly that it is a literal copy of Chuquet. However, he fails to mention that the structure of the text of de la Roche, his solution methods and symbolism differs significantly from Chuquet. De la Roche introduces several improvements, especially with regards to the use of the second unknown. We provide an in-depth comparison of some problems solved by the so-called &lt;em&gt;regle de la quantite&lt;/em&gt; by Chuquet with those of de la Roche. We further report on the surprising finding that Christoff Rudolff's solution to linear problems by means of the second unknown in his &lt;em&gt;Behend vnnd Hubsch Rechnung&lt;/em&gt; of 1525 depends on Chuquet and de la Roche. As it is generally considered that algebra was introduced in Germany through Italy this provides a new light on the transmission of algebraic knowledge from France to the rest of Europe.&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%">François, Karen</style></author><author><style face="normal" font="default" size="100%">Löwe, Benedikt</style></author><author><style face="normal" font="default" size="100%">Müller, Thomas</style></author><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On the curious historical coincidence of algebra and double-entry bookkeeping</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of the formal sciences VII : bringing together philosophy and sociology of science</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Studies in Logic</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.collegepublications.co.uk/logic/?00021</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><volume><style face="normal" font="default" size="100%">32</style></volume><pages><style face="normal" font="default" size="100%">109–130</style></pages><isbn><style face="normal" font="default" size="100%">9781848900493</style></isbn><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%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Dieks, Dennis</style></author><author><style face="normal" font="default" size="100%">Gonzalez, Wenceslao J.</style></author><author><style face="normal" font="default" size="100%">Hartmann, Stephan</style></author><author><style face="normal" font="default" size="100%">Uebel, Thomas</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Formal Logic for the Abduction of Singular Hypotheses</style></title><secondary-title><style face="normal" font="default" size="100%">Explanation, Prediction, and Confirmation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">93–108</style></pages><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>10</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%">Seroglou, Fanny</style></author><author><style face="normal" font="default" size="100%">Koulountzos, Vassilis</style></author><author><style face="normal" font="default" size="100%">Siatras, Anastasios</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">From problem solving to the teaching of algebra: the genesis of the algebra textbook</style></title><secondary-title><style face="normal" font="default" size="100%">11th international IHPST and 6th Greek history, philosophy and science teaching joint conference, Proceedings</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><publisher><style face="normal" font="default" size="100%">Epikentro Publications</style></publisher><pages><style face="normal" font="default" size="100%">344-347</style></pages><isbn><style face="normal" font="default" size="100%">9789604583256</style></isbn><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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Historical objections against the number line</style></title><secondary-title><style face="normal" font="default" size="100%">Science and Education</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><number><style face="normal" font="default" size="100%">9</style></number><volume><style face="normal" font="default" size="100%">20</style></volume><pages><style face="normal" font="default" size="100%">863–880</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Historical studies on the development of mathematical concepts will help mathematics teachers to relate their students’ difficulties in understanding to conceptual problems in the history of mathematics. We argue that one popular tool for teaching about numbers, the number line, may not be fit for early teaching of operations involving negative numbers. Our arguments are drawn from the many discussions on negative numbers during the seventeenth and eighteenth centuries from philosophers and mathematicians such as Arnauld, Leibniz, Wallis, Euler and d’Alembert. Not only does division by negative numbers pose problems for the number line, but even the very idea of quantities smaller than nothing has been challenged. Drawing lessons from the history of mathematics, we argue for the introduction of negative numbers in education within the context of symbolic operations.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Hypocrisie binnen de wiskunde?</style></title><secondary-title><style face="normal" font="default" size="100%">Wiskunde &amp; onderwijs</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><volume><style face="normal" font="default" size="100%">148</style></volume><pages><style face="normal" font="default" size="100%">306–315</style></pages><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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Rhetoric of Problems in Algebra Textbooks from Pacioli to Euler</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The selection of problems by Euler in his &lt;em&gt;Vollständige Anleitung zur Algebra&lt;/em&gt; displays a great familiarity with the typical recreational and practical problems of Renaissance and sixteenth-century algebra books. A detailed study into the sources of Euler reveals that he copied most of his problems from Christoff Rudolffs Coss which was first published in 1525 and reissued in 1553 by Michael Stifel. Why would Euler found his popular textbook on algebra on a book published 250 years before? We propose an explanation based on the evolving rhetorical function of problems in algebra textbooks since the Renaissance. We discern six stages in the evolution from abacus problem solving to algebraic theory. The first theory emerged through the extraction of general principles from the practice of problem solving. The algebra textbooks of the eighteenth century close a circle of continuous rhetorical development by using problems for practicing general principles and applying the algebraic language. Eulers &lt;em&gt;Algebra&lt;/em&gt; is a prime example of the new rhetoric of problems still prominent in todays textbooks.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Algebraic partitioning problems from Luca Pacioli's Perugia manuscript (Vat. Lat. 3129)</style></title><secondary-title><style face="normal" font="default" size="100%">Sources and Commentaries in Exact Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><volume><style face="normal" font="default" size="100%">11</style></volume><pages><style face="normal" font="default" size="100%">3–51</style></pages><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>47</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%">Pease, Alison</style></author><author><style face="normal" font="default" size="100%">Guhe, Markus</style></author><author><style face="normal" font="default" size="100%">Smaill, Alan</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The body in Renaissance arithmetic: from mnemonics to embodied cognition</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><publisher><style face="normal" font="default" size="100%">The Society for the Study of Artificial Intelligence and the Simulation of Behaviour</style></publisher><isbn><style face="normal" font="default" size="100%">1902956931</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 Medieval and Renaissance arithmetic we find several instances of references to body parts or actions involving body parts. In this paper we will address the question on the historical functions of body parts in mathematics and discuss its relation to the currently prevailing practice of symbolic mathematics.12&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</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%">Hunger, Hermann</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Estienne de la Roches appropriation of Chuquet (1484)</style></title><secondary-title><style face="normal" font="default" size="100%">3rd International Conference of the European Society for the History of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The importance of Larismethique of de La Roche, published in 1520, has been seriously underestimated. One reason for the neglect is related to the inscrutable way he is referred to. Buteo and Wallis called him Stephanus à Rupe de Lyon. Other obscure references, such as Gosselin calling him Villafrancus Gallus have been overlooked by many commentators. His influence can be determined in several works that do not credit him but use problems or definitions from the Larismethique. However, most damaging for its historical assessment was Aristide Marre?s misrepresentation of the Larismethique as a grave case of plagiarism. Marre discovered that the printed work of 1520 by Estienne de la Roche contained large fragments that were literally copied from Chuquet?s manuscript of the Triparty. Especially on the Appendice, which contains the solution to a large number of problems, Marre writes repeatedly that it is a literal copy of Chuquet. However, he fails to mention that the structure of the text of de la Roche, his solution methods and symbolism differs significantly from Chuquet. De la Roche introduces several improvements, especially with regards to the use of the second unknown. We provide an in-depth comparison of some problems solved by the so-called regle de la quantite by Chuquet with those of de la Roche. We further report on the surprising finding that Christoff Rudolff?s solution to linear problems by means of the second unknown in his Behend vnnd Hubsch Rechnung of 1525 depends on Chuquet and de la Roche. As it is generally considered that algebra was introduced in Germany through Italy this provides a new light on the transmission of algebraic knowledge from France to the rest of Europe.&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%">Heeffer, Albrecht</style></author><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">From the second unknown to the symbolic equation</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><volume><style face="normal" font="default" size="100%">26</style></volume><pages><style face="normal" font="default" size="100%">57–102</style></pages><isbn><style face="normal" font="default" size="100%">978-1-84890-017-2</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 equation slowly emerged during the course of the sixteenth century as a new mathematical concept as well as a mathematical object on which new operations were made possible. Where historians have of- ten pointed at Francois Viète as the father of symbolic algebra, we would like to emphasize the foundations on which Viète could base his &lt;em&gt;logistica speciosa.&lt;/em&gt; The period between Cardanos &lt;em&gt;Practica Arithmeticae&lt;/em&gt; of 1539 and Gosselins &lt;em&gt;De arte magna&lt;/em&gt; of 1577 has been crucial in providing the necessary build- ing blocks for the transformation of algebra from rules for problem solving to the study of equations. In this paper we argue that the so-called second unknown or the &lt;em&gt;Regula quantitates&lt;/em&gt; steered the development of an adequate symbolism to deal with multiple unknowns and aggregates of equations. Dur- ing this process the very concept of a symbolic equation emerged separate from previous notions of what we call co-equal polynomials.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>6</ref-type><contributors><secondary-authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">Studies in Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><volume><style face="normal" font="default" size="100%">26</style></volume><pages><style face="normal" font="default" size="100%">302</style></pages><isbn><style face="normal" font="default" size="100%">978-1-84890-017-2</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This book presents a selection of peer-reviewed papers which were presented on a conference organized in Ghent, Belgium, from 27 till 29 August, 2009. The conference was given the title Philosophical Aspects of Symbolic Reasoning in Early modern Science and Mathematics (PASR). For this book we selected papers which deal with the consequences for mathematics in particular, hence the omission of ‘science’ in the title of this book. Another selection, dealing with the understanding of nature and a broader range of topics, will appear in the journal Foundations of Science. The conference was sponsored by the Research Foundation Flanders (FWO) and Ghent University, which indirectly made this book possible. We also have to thank the other members of the programme committee Marco Panza, Chikara Sasaki, and Erik Weber and our keynote speakers Jens Høyrup, Doug Jesseph, Eberhard Knobloch, Marco Panza, Mathias Schemmel and Michel Serfati. Five of their papers are included in this volume. Most of the papers benefited from valuable and sometimes substantive comments by our referees which must remain anonymous. Special thanks to Michael Barany who assisted in the editorial process.&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%">Yadav, B.S.</style></author><author><style face="normal" font="default" size="100%">Mohan, Man</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Reception of Ancient Indian Mathematics by Western Historians</style></title><secondary-title><style face="normal" font="default" size="100%">Ancient Indian Leaps into Mathematics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><publisher><style face="normal" font="default" size="100%">Birkhäuser Verlag</style></publisher><pages><style face="normal" font="default" size="100%">135–152</style></pages><isbn><style face="normal" font="default" size="100%">978-0-8176-4694-3</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;While there was an awareness of ancient Indian mathematics in the West since the sixteenth century, historians discuss the Indian mathematical tradition only after the publication of the first translations by Colebrooke in 1817. Its reception cannot be comprehended without accounting for the way that the new European mathematics was shaped by Renaissance humanist writings. We sketch this background and show with one case study on algebraic solutions to a linear problem how the understanding and appreciation of Indian mathematics was deeply influenced by the humanist prejudice that all higher intellectual culture, in particular all science, had risen from Greek soil.&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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Abbaco Tradition (1300-1500): its role in the development of European algebra</style></title><secondary-title><style face="normal" font="default" size="100%">Suuri Kaiseki Kenkyuujo koukyuuroku</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><volume><style face="normal" font="default" size="100%">1625</style></volume><pages><style face="normal" font="default" size="100%">23–33</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Abbaco algebra is a coherent tradition of algebraic problem solving mostly based in the merchant cities of fourteenth and fifteenth-century Italy. This period is roughly situated between two important works dealing with algebra: the Liber Abbaci by Fibonacci (1202) and the Summa di Arithmetica et Geometria by Lucca Pacioli (1492). Such continuous tradition of mathematical practice was hardly known before the first transcriptions of extant manuscripts by Gino Arrighi from the 1960’s and the ground-breaking work by Warren van Egmond (1980). After some decades of manuscript study and the recent assessment of Jens Høyrup (2007) we now have a better understanding of this tradition. In this paper we provide an overview of the basic characteristics of the abbaco tradition and discuss the role it played towards the new symbolic algebra as it emerged in sixteenth-century Europe. We argue that its influence on the sixteenth century has largely been ignored and that the new ars analytica from the French algebraists should be understood as establishing new foundations for the general practice of abbaco problem solving.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Abbacus Tradition: the Missing Link between Arabic and Early Symbolic Algebra?</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Abbaco algebra is a coherent tradition of arithmetical and algebraic problem solving, mostly based in the merchant cities of fourteenth and fifteenth-century Italy. This period is roughly situated between two impor- tant works dealing with algebra: the &lt;em&gt;Liber Abbaci&lt;/em&gt; by Fibonacci (1202) [5] and the &lt;em&gt;Summa di Arithmetica et Geometria&lt;/em&gt; by Luca Pacioli (1492) [20]. Such continuous tradition of mathematical practice was hardly known be- fore the first transcriptions of extant manuscripts by Gino Arrighi from the 1960's (most notably [1], [2], [3] and [4]) and the ground-breaking work by Warren van Egmond [28]. After some decades of manuscript study and the recent assessment of Jens Høyrup [10] we now have a bet- ter understanding of this tradition. Here we provide an overview of the basic characteristics of the abbaco tradition and discuss the role it played towards the new symbolic algebra as it emerged in sixteenth-century Europe.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Laudatio Jens Høyrup</style></title><secondary-title><style face="normal" font="default" size="100%">Sartoniana</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><volume><style face="normal" font="default" size="100%">22</style></volume><pages><style face="normal" font="default" size="100%">5–7</style></pages><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>47</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%">Van Kerkhove, Bart</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On the Nature and Origin of Algebraic Symbolism</style></title><secondary-title><style face="normal" font="default" size="100%">New Perspectives on Mathematical Practices. Essays in Philosophy and History of Mathematics.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.worldscibooks.com/etextbook/6810/6810\_chap01.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">World Scientific Publishing</style></publisher><isbn><style face="normal" font="default" size="100%">978-981-281-222-3</style></isbn><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%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Rahman, Shahid</style></author><author><style face="normal" font="default" size="100%">Street, Tony</style></author><author><style face="normal" font="default" size="100%">Tahiri, Hassan</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A conceptual analysis of early arabic algebra</style></title><secondary-title><style face="normal" font="default" size="100%">The unity of science in the arabic tradition : science, logic, epistemology and their interactions</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/1854/11276</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Kluwer Academic Publishers</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">89–128</style></pages><isbn><style face="normal" font="default" size="100%">978-1-4020-8404-1</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Arabic algebra derives its epistemic value not from proofs but from correctly performing calculations using coequal polynomials. This idea of mathematics as calculation had an important influence on the epistemological status of European mathematics until the seventeenth century. We analyze the basic concepts of early Arabic algebra such as the unknown and the equation and their subsequent changes within the Italian abacus tradition. We demonstrate that the use of these concepts has been problematic in several aspects. Early Arabic algebra reveals anomalies which can be attributed to the diversity of influences in which the al-jabr practice flourished. We argue that the concept of a symbolic equation as it emerges in algebra textbooks around 1550 is fundamentally different from the equation as known in Arabic algebra.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Emergence of Symbolic Algebra as a Shift in Predominant Models</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s10699-008-9124-0</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">13</style></volume><pages><style face="normal" font="default" size="100%">149–161</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Historians of science find it difficult to pinpoint to an exact period in which symbolic algebra came into existence. This can be explained partly because the historical process leading to this breakthrough in mathematics has been a complex and diffuse one. On the other hand, it might also be the case that in the early twentieth century, historians of mathematics over emphasized the achievements in algebraic procedures and underestimated the conceptual changes leading to symbolic algebra. This paper attempts to provide a more precise setting for the historical context in which this decisive step to symbolic reasoning took place. For that purpose we will consider algebraic problem solving as model-based reasoning and symbolic representation as a model. This allows us to characterize the emergence of symbolic algebra as a shift from a geometrical to a symbolic mode of representation. The use of the symbolic as a model will be situated in the context of mercantilism where merchant activity of exchange has led to reciprocal relations between money and wealth.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An introduction to wasan, native Japanese mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">History and Pedagogy of Mathematics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/1854/11413</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">68</style></volume><pages><style face="normal" font="default" size="100%">20–24</style></pages><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>47</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%">Tzanakis, C.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Negative numbers as an epistemic difficult concept. Some lessons from history.</style></title><secondary-title><style face="normal" font="default" size="100%">History and Pedagogy of Mathematics. Satellite Meeting of International Congress on Mathematical Education 11, 14 - 18 July 2008.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><publisher><style face="normal" font="default" size="100%">Centro Cultural del México Contemporanéo</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Historical studies on the development of mathematical concepts will serve mathematics teachers to relate their students difficulties in understanding to conceptual problems in the history of mathematics. We argue that one popular tool for teaching about numbers, the number line, may not be fit for early teaching of operations involving negative numbers. Our arguments are drawn from the many discussions on negative numbers during the seventeenth and eighteenth centuries from philosophers and mathematicians as Arnauld, Leibniz, Wallis, Euler and dAlembert. Not only the division by negative numbers poses problems for the number line, but also the very idea of quantities smaller than nothing has been challenged. Drawing lessons from the history of mathematics we argue for the introduction of negative numbers in education within the context of symbolic operations.&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%">Urbaniak, Rafal</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Hieke, Alexander</style></author><author><style face="normal" font="default" size="100%">Hannes, Leitgeb</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Reducing sets to modalities</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 31st International Wittgenstein Symposium of the Austrian Ludwig Wittgenstein Society</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><publisher><style face="normal" font="default" size="100%">Department for Culture and Science of the Province of Lower Austria</style></publisher><pub-location><style face="normal" font="default" size="100%">Kirchberg am wechsel</style></pub-location><volume><style face="normal" font="default" size="100%">XVI</style></volume><pages><style face="normal" font="default" size="100%">359-361</style></pages><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>17</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%">Weber, Erik</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Regiomontanus and Chinese mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">PHILOSOPHICA</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">82</style></volume><pages><style face="normal" font="default" size="100%">87–114</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 critically assesses the claim by Gavin Menzies that Regiomontanus knew about the Chinese Remainder Theorem (CRT) through the Shù sh\={u} Ji\v{u} zh\={a}ng (SSJZ) written in 1247. Menzies uses this among many others arguments for his controversial theory that a large fleet of Chinese vessels visited Italy in the first half of the 15th century. We first refute that Regiomontanus used the method from the SSJZ. CRT problems appear in earlier European arithmetic and can be solved by the method of the Sun Zi, as did Fibonacci. Secondly, we pro-vide evidence that remainder problems were treated within the European abbaco tradition independently of the CRT method. Finally, we discuss the role of recre-ational mathematics for the oral dissemination of sub-scientific knowledge.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Text production, reproduction and appropriation within the abbaco tradition: a case study</style></title><secondary-title><style face="normal" font="default" size="100%">SCIAMVS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><volume><style face="normal" font="default" size="100%">9</style></volume><pages><style face="normal" font="default" size="100%">101-145</style></pages><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%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Pombo, Olga</style></author><author><style face="normal" font="default" size="100%">Gerner, Alexander</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Abduction as a strategy for concept formation in mathematics: Cardano postulating a negative.</style></title><secondary-title><style face="normal" font="default" size="100%">Abduction and the process of scientific discovery</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">Centro de Filosofia das Ciências da Universidade de Lisboa</style></publisher><pages><style face="normal" font="default" size="100%">179–194</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;When dealing with abductive reasoning in scientific discovery, historical case studies are focused mostly on the physical sciences, as with the discoveries of Kepler, Galilei and Newton. We will present a case study of abductive reasoning in early algebra. Two new concepts introduced by Cardano in his &lt;em&gt;Ars Magna&lt;/em&gt;, imaginary numbers and a negative solution to a linear problem, can be explained as a result of a process of abduction. We will show that the first appearance of these new concepts fits very well Peirces original description of abductive reasoning. Abduction may be regarded as one important strategy for the formation of new concepts in mathematics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Tomala, O</style></author><author><style face="normal" font="default" size="100%">Honzik, R</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On building abstract Terms in Typed Systems</style></title><secondary-title><style face="normal" font="default" size="100%">Logica 2006 Yearbook</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">Filosofia Publisher</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper offers some historical and conceptual remarks on the philosophical and logical procedures of abstraction, based on an account of the notions of concept and function. In order to provide a complete analyis, one should start by considering Platos theory of Ideas, which provides the first interpretation of abstract terms in the history of philosophy. The nature of the most general Forms, the related problem of the knowledge thereof, their connection to existing (concrete) objects, are the essential features of the Platonic theory of knowledge and of his metaphysics. The Platonic approach is grounded on the principle of conceptual priority of Ideas over their partecipations, the Forms existing separeted from all the particulars: the former are interpreted as standard particulars to which other particulars conform. Nonetheless, my investigation will start rather by Aristotle, who held first the relation of predication to be the basis for defining abstraction: from this I will try to consider some important ideas for the notion of abstraction in Type Systems.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Father Henri Bosmans (S.J.) A Belgian pioneer in the history of mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">History and Pedagogy of Mathematics Newsletter</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><volume><style face="normal" font="default" size="100%">65</style></volume><pages><style face="normal" font="default" size="100%">12–15</style></pages><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%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">François, Karen</style></author><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Learning concepts through the history of mathematics: the case of symbolic algebra.</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophical dimensions in mathematics education</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">83–103</style></pages><isbn><style face="normal" font="default" size="100%">978-0-387-71571-1</style></isbn><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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Mathematics Education Through Lesson Study in the Asia-Pacific Region</style></title><secondary-title><style face="normal" font="default" size="100%">History and Pedagogy of Mathematics Newsletter</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><volume><style face="normal" font="default" size="100%">66</style></volume><pages><style face="normal" font="default" size="100%">4–6</style></pages><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%">Heeffer, Albrecht</style></author><author><style face="normal" font="default" size="100%">Heeffer, Harold</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Near-optimal strategies for the game of Logik</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Logik is an interesting variation of the game of Mastermind. For the latter several strategies have been proposed. We present some computational results for existing and new strategies applied to Logik. Our results give some indication on the scalability and applicability of these strategies to similar games.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The tacit appropriation of Hindu algebra in renaissance practical arithmetic</style></title><secondary-title><style face="normal" font="default" size="100%">Ganita Bharati</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><number><style face="normal" font="default" size="100%">1-2</style></number><volume><style face="normal" font="default" size="100%">29</style></volume><pages><style face="normal" font="default" size="100%">1–60</style></pages><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>6</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Horsten, Leon</style></author><author><style face="normal" font="default" size="100%">Douven, Igor</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Wetenschapsfilosofie.</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Van Gorcum</style></publisher><pages><style face="normal" font="default" size="100%">238 p.</style></pages><isbn><style face="normal" font="default" size="100%">978-90-232-4312-0</style></isbn><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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The logic of disguise: Descartes' discovery of the Sine Law</style></title><secondary-title><style face="normal" font="default" size="100%">Historia scientiarum. International Journal of the History of Science Society of Japan</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">16</style></volume><pages><style face="normal" font="default" size="100%">144–165</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The discovery of the sine law of refraction by Decartes has been a source of controversy since its first publication in 1637. Scholars describe Descartes demonstration of the law as inadequate and implausible or see in his proof an attempt to cover up plagiarism. Most of this critique stems from a lack of understanding the Cartesian theory of explanation. Descartes aims in the Discourse to find undoubtable knowledge that serves as a basis for his natural philosophy. In his Principles of Philosophy he deduces from his metaphysics several laws of nature and additional rules. However, for the explanation on physical phenomena, Descartes adopts a method different from the one proposed in his Discourse. This paper discusses the logical structure of the demonstration and provides an analysis of the premises and conclusions used in the derivation of the sine law. It is argued that Descartess explanation of refraction is a continuation of the perspectivists tradition and, ironically, Fermats account of 1662 is better application of the Cartesian method.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</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%">Dhompongsa, G</style></author><author><style face="normal" font="default" size="100%">Bhatti , F</style></author><author><style face="normal" font="default" size="100%">Kitson , Q</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Methodological Relevance of the History of Mathematics for Mathematics Education</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the International Conference on 21st Century Information Technology in Mathematics Education</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Mathematics education benefits from an integration of the history of mathematics within the mathematics curriculum. We provide three basic arguments for such integration. The first is epistemological and addresses a contextual view on mathematical knowledge. The second concerns the phylogenic aspects of the development of mathematics. Conceptual difficulties with teaching children mathematics often correspond with historical periods of conceptual crisis in mathematics. A third, historical argument, draws on the vast repository of experience in mathematics education. We provide examples for each of these arguments from the history of algebra.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The origin of the problems in Euler's Algebra</style></title><secondary-title><style face="normal" font="default" size="100%">Bulletin of the Belgian Mathematical Society - Simon Stevin</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><number><style face="normal" font="default" size="100%">5</style></number><volume><style face="normal" font="default" size="100%">13</style></volume><pages><style face="normal" font="default" size="100%">949–952</style></pages><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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Récréations mathématiques (1624): a study on its authorship, sources and influence</style></title><secondary-title><style face="normal" font="default" size="100%">Gibecière</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">1</style></volume><pages><style face="normal" font="default" size="100%">77–167</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In 1624 a small octavo was published in the French university town Pont-à-Mousson. It was the first time a reference was made to recreational mathematics in the title of a book. This work is pivotal in the history of science and mathematics. It brings together two sixteenth-century traditions, mercantile arithmetic and natural magic, and creates two new ones: recreational mathematics and popular science. The booklet did not abound in new ideas. Several of the recreational problems treated, can be traced back to Babylonian, Greek and Hindu sources and the infatuation with mechanical contrivances dates from Hero of Alexandria. But the fact that the book stands on the crossroad of traditions, its popularity with the natural philosophers of the seventeenth century and its complex history makes it a grateful subject for study. Some of the complexities about the numerous editions and confusing claims about its authorship will be clarified. The authors direct sources will be exposed. The arithmetical and combinatorial problems were copied from Bachet, problems on practical geometry from Jean Errard. Salomon de Caus was the source of inspiration for problems on perspective, mechanical devices and fountains. Several problems were recipies by Alexis of Piemont from the classic book by Ruscelli. The book was influencial on early seventeenth-century natural philosophers such as Descartes, Mersenne and Leibniz.&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></contributors><titles><title><style face="normal" font="default" size="100%">Van Precepten tot Vergelijkingen. De Conceptuele Ontwikkeling van Symbolische Algebra in de Zestiende Eeuw</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year><pub-dates><date><style  face="normal" font="default" size="100%">February 22</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Diderik Batens&lt;/p&gt;</style></custom1></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%">Haesaert, Lieven</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptieve Inductielogica's. Theory en Praktijk van het Inductief Redeneren</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year><pub-dates><date><style  face="normal" font="default" size="100%">November 30</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Diderik Batens&lt;/p&gt;</style></custom1></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Verhoeven, Liza</style></author><author><style face="normal" font="default" size="100%">Horsten, Leon</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On the Exclusivity Implicature of `Or' or on the Meaning of Eating Strawberries</style></title><secondary-title><style face="normal" font="default" size="100%">Studia Logica</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Adaptive Logics</style></keyword><keyword><style  face="normal" font="default" size="100%">exclusivity implicature</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s11225-005-2767-8</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">81</style></volume><pages><style face="normal" font="default" size="100%">19-24</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 is a contribution to the program of constructing formal representations of pragmatic aspects of human reasoning. We propose a formalization within the framework of Adaptive Logics of the exclusivity implicature governing the connective or.Keywords: exclusivity implicature, Adaptive Logics.&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%">Horsten, Leon</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">INUS Conditions</style></title><secondary-title><style face="normal" font="default" size="100%">Encyclopedia of statistics in behavioral science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><publisher><style face="normal" font="default" size="100%">John Wiley &amp; Sons</style></publisher><volume><style face="normal" font="default" size="100%">2</style></volume><pages><style face="normal" font="default" size="100%">955–958</style></pages><isbn><style face="normal" font="default" size="100%">0470860804</style></isbn><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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Haesaert, Lieven</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A non-probabilistic Approach to Inductive Prediction</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The underlying idea behind the adaptive logics of inductive generalization is that most inductive reasoning can be explicated by simple qualitative means. Therefore, those classical models are selected that are as uniform as possible  with respect to a certain set of (empirical) data. This led to the question if the same idea of uniformity can be applied if no generalizations are derivable. It is clear that in this case one may be still interested to make some direct inductive predictions. The main problem with this kind of prediction is that we lack a decision theory for it. In the present paper we make some proposals to deal with this problem. Our purpose here is to get more control over the difficult aspects of inductive prediction. In order to do so, we will not proceed in a probabilistic context, but we will apply the idea of minimizing the abnormalities in uniform models, an idea that derives from the adaptive logic programm. 1 Aim of this paper In our [1], we have presented some adaptive logics for induction based on Classical Logic (henceforth: CL). The underlying idea of these adaptive logics of induction is that most inductive reasoning does not proceed in terms of probabilities, and cannot be explicated in terms of probabilities, but can be explicated by rather simple qualitative means. In that paper we presented for example the adaptive logic for inductive generalization IL +m: from a set of data and (possibly falsified) background knowledge, inductive generalizations are derived  1. In the same paper we also&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%">Delrieux, Claudio</style></author><author><style face="normal" font="default" size="100%">Legris, Javier</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Kepler's near discovery of the sine law: a qualitative computational model.</style></title><secondary-title><style face="normal" font="default" size="100%">Computer modeling of scientific reasoning</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><publisher><style face="normal" font="default" size="100%">Universidad Nacional Del Sur. EDIUNS</style></publisher><pages><style face="normal" font="default" size="100%">93–102</style></pages><isbn><style face="normal" font="default" size="100%">N/A</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Computational models offer an excellent tool for the study and analysis of scientific discovery processes. The study of failures provides an insight into the history and philosophy of science as valuable as the study of successful discoveries. Using a computational model I analyzed Keplers approach in formulating a quantitative law for refraction. Although Kepler ultimately failed in discovering the sine law, the model shows that his basic hypothesis as well as his approach by geometrical reasoning was a correct one. This went largely unnoticed by commentators on the history of optics. Based on this analysis I provide new evidence that Descartes and Snell found in Keplers main hypothesis everything needed to deduce the sine law by pure geometrical reasoning. Our computational model is based on geometrical knowledge as contrasted with previous quantitative approaches. It has been implemented as a Prolog program.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Haesaert, Lieven</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Een adaptieve logica voor het beschrijven van inductie</style></title><secondary-title><style face="normal" font="default" size="100%">Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie</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%">Universiteit Amsterdam</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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Haesaert, Lieven</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On Classical Adaptive Logics of Induction</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><number><style face="normal" font="default" size="100%">173-175</style></number><volume><style face="normal" font="default" size="100%">44</style></volume><pages><style face="normal" font="default" size="100%">255–290</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 concerns the inference of inductive generalizations and of predictions derived from them. It improves on the adaptive logic of induction from \emph{On a Logic of Induction} (Batens, Logic and Philosophy of Science, IV, 1, 2006, pp. 3-32) by presenting logics that are formulated strictly according to the usual adaptive standards. It moreover extends that paper with respect to background knowledge.&lt;br /&gt;&lt;br /&gt; We present logics that handle inductive generalizations as well as logics that handle prioritized background knowledge of three kinds: background generalizations, pragmatic background generalizations (the instances of which may be invoked even after the generalizations are falsified), and background theories. All logics may be combined into a single system.&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%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Vanderbeeken, Robrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Blasius, Jörg</style></author><author><style face="normal" font="default" size="100%">Hox, J.</style></author><author><style face="normal" font="default" size="100%">de Leeuw, E.</style></author><author><style face="normal" font="default" size="100%">Schmidt, P.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Pragmatic Approach to the Explanation of Actions</style></title><secondary-title><style face="normal" font="default" size="100%">Social Science Methodology in the New Millenium</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Proceedings of the Fifth International Conference on Logic and Methodology</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><publisher><style face="normal" font="default" size="100%">Leske &amp; Budrich</style></publisher><pub-location><style face="normal" font="default" size="100%">Keulen</style></pub-location><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%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Hallyn, Fernand</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Analogical Reasoning in Creative Problem Solving Processes: Logico-Philosophical Perspectives</style></title><secondary-title><style face="normal" font="default" size="100%">Metaphor and Analogy in the Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">17–34</style></pages><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%">Van Bendegem, Jean Paul</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Hallyn, Fernand</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Analogy and metaphor as essential tools for the working mathematician</style></title><secondary-title><style face="normal" font="default" size="100%">Metaphor and Analogy in the Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">105–123</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;It may perhaps sound strange if not bizarre to suggest that metaphors and analogies could and should play a role in the practice of mathematics, let alone to claim that they are essential in present-day mathematics. Yet, that will be precisely the claim I will defend in this paper. I do insist that present-day mathematics is the domain of investigation I have in mind. From a historical perspective, and as an example, no one seems to doubt that mathematics one way or another must have arisen out of a specific set of practices, usually referred to as counting and measuring, and that mathematical concepts are metaphorically related to these practices. That view of the matter, however, does not necessarily say anything about the situation today and, indeed, in most cases it does not.&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><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Douven, Igor</style></author><author><style face="normal" font="default" size="100%">Horsten, Leon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">In-world realism vs. reflective realism.</style></title><secondary-title><style face="normal" font="default" size="100%">Realism in the Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><publisher><style face="normal" font="default" size="100%">Universitaire Pers</style></publisher><pub-location><style face="normal" font="default" size="100%">Leuven</style></pub-location><pages><style face="normal" font="default" size="100%">35–53</style></pages><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%">Van Bendegem, Jean Paul</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Douven, Igor</style></author><author><style face="normal" font="default" size="100%">Horsten, Leon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Mathematical Experiments and Mathematical Pictures</style></title><secondary-title><style face="normal" font="default" size="100%">Realism in the Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><publisher><style face="normal" font="default" size="100%">Universitaire Pers</style></publisher><pub-location><style face="normal" font="default" size="100%">Leuven</style></pub-location><pages><style face="normal" font="default" size="100%">203–216</style></pages><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%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Halleux, Robert</style></author><author><style face="normal" font="default" size="100%">Bernés, Anne-Cathérine</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Explanation, understanding and why-questions</style></title><secondary-title><style face="normal" font="default" size="100%">Nieuwe tendenzen in de geschiedenis en de filosofie van de wetenschappen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</style></publisher><pages><style face="normal" font="default" size="100%">83-94</style></pages><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%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">van Dooren, Wim</style></author><author><style face="normal" font="default" size="100%">Hoff, Tineke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">De inconsistentie-adaptieve logica DDL</style></title><secondary-title><style face="normal" font="default" size="100%">Aktueel Filosoferen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1993</style></year></dates><publisher><style face="normal" font="default" size="100%">Eburon</style></publisher><pages><style face="normal" font="default" size="100%">39–45</style></pages><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%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">van Dooren, Wim</style></author><author><style face="normal" font="default" size="100%">Hoff, Tineke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">De rationaliteit van persoonlijke inperkingen</style></title><secondary-title><style face="normal" font="default" size="100%">Aktueel Filosoferen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1993</style></year></dates><publisher><style face="normal" font="default" size="100%">Eburon</style></publisher><pages><style face="normal" font="default" size="100%">33–38</style></pages><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%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Halleux, Robert</style></author><author><style face="normal" font="default" size="100%">Bernés, Anne-Cathérine</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Ontdekking en creativiteit in wetenschap en muziek</style></title><secondary-title><style face="normal" font="default" size="100%">Nieuwe tendenzen in de geschiedenis en de filosofie van de wetenschappen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1993</style></year></dates><publisher><style face="normal" font="default" size="100%">Nationaal Comité voor Logica, Geschiedenis en Filosofie van de Wetenschappen</style></publisher><pages><style face="normal" font="default" size="100%">41–52</style></pages><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%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">van Dooren, Wim</style></author><author><style face="normal" font="default" size="100%">Hoff, Tineke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Wetenschappelijke verklaringen en subjectief verwacht nut</style></title><secondary-title><style face="normal" font="default" size="100%">Actueel Filosoferen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1993</style></year></dates><publisher><style face="normal" font="default" size="100%">Eburon</style></publisher><pub-location><style face="normal" font="default" size="100%">Delft</style></pub-location><pages><style face="normal" font="default" size="100%">53-60</style></pages><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%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Hintikka, Jaakko</style></author><author><style face="normal" font="default" size="100%">Vandamme, Fernand</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Dynamic Dialectical Logics as a Tool to Deal with and Partly Eliminate Unexpected Inconsistencies</style></title><secondary-title><style face="normal" font="default" size="100%">The Logic of Discovery and the Logic of Discourse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1985</style></year></dates><publisher><style face="normal" font="default" size="100%">Plenum Press</style></publisher><pages><style face="normal" font="default" size="100%">263–271</style></pages><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%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">De Block, A.</style></author><author><style face="normal" font="default" size="100%">Ten Have, T.T.</style></author><author><style face="normal" font="default" size="100%">De Keyser, C.C.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Inductie</style></title><secondary-title><style face="normal" font="default" size="100%">Standaard Encyclopedia voor Opvoeding en Onderwijs</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1977</style></year></dates><publisher><style face="normal" font="default" size="100%">Standaard</style></publisher><pages><style face="normal" font="default" size="100%">180</style></pages><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%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">De Block, A.</style></author><author><style face="normal" font="default" size="100%">Ten Have, T.T.</style></author><author><style face="normal" font="default" size="100%">De Keyser, C.C.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Inferentie</style></title><secondary-title><style face="normal" font="default" size="100%">Standaard Encyclopedie voor Opvoeding en Onderwijs</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1977</style></year></dates><publisher><style face="normal" font="default" size="100%">Standaard</style></publisher><pages><style face="normal" font="default" size="100%">382–383</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>