Models are indispensable tools of scientific inquiry, and one of their main uses is to improve our understanding of the phenomena they represent. How do models accomplish this? And what does this tell us about the nature of understanding? While much recent work has aimed at answering these questions, philosophers' focus has been squarely on models in empirical science. I aim to show that pure mathematics also deserves a seat at the table. I begin by presenting (...) two cases: Cramér’s random model of the prime numbers and the function field model of the integers. These cases show that mathematicians, like empirical scientists, rely on unrealistic models to gain understanding of complex phenomena. They also have important implications for some much-discussed theses about scientific understanding. First, modeling practices in mathematics confirm that one can gain understanding without obtaining an explanation. Second, these cases undermine the popular thesis that unrealistic models confer understanding by imparting counterfactual knowledge. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, (...) but have been expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Three-dimensional material models of molecules were used throughout the 19th century, either functioning as a mere representation or opening new epistemic horizons. In this paper, two case studies are examined: the 1875 models of van ‘t Hoff and the 1890 models of Sachse. What is unique in these two case studies is that both models were not only folded, but were also conceptualized mathematically. When viewed in light of the chemical research of that period not only (...) were both of these aspects, considered in their singularity, exceptional, but also taken together may be thought of as a subversion of the way molecules were chemically investigated in the 19th century. Concentrating on this unique shared characteristic in the models of van ‘t Hoff and the models of Sachse, this paper deals with the shifts and displacements between their operational methods and existence: between their technical and epistemological aspects and the fact that they were folded, which was forgotten or simply ignored in the subsequent development of chemistry. (shrink)

This study aimed to construct structural equation model of students’ competence in mathematics through selected students profile variables. The structural model revealed interesting influence of the profile variables to the competency in mathematics. It can be conveyed that better mother’s work status, higher educational level expected to complete, more confident and did not repeat kinder, have better competency in mathematics. The four variables that directly influenced the competence variables were also influenced with other profile variables such as (...) family background. The family background and confidence level consistently had the highest total effect and indirect effect to the competence in mathematics. Hence, this model can serve as a guide in making programs in the classroom or curriculum in mathematics. (shrink)

Games of chance are developed in their physical consumer-ready form on the basis of mathematical models, which stand as the premises of their existence and represent their physical processes. There is a prevalence of statistical and probabilistic models in the interest of all parties involved in the study of gambling – researchers, game producers and operators, and players – while functional models are of interest more to math-inclined players than problem-gambling researchers. In this paper I present a (...) structural analysis of the knowledge attached to mathematical models of games of chance and the act of modeling, arguing that such knowledge holds potential in the prevention and cognitive treatment of excessive gambling, and I propose further research in this direction. (shrink)

I critically examine the semantic view of theories to reveal the following results. First, models in science are not the same as models in mathematics, as holders of the semantic view claim. Second, when several examples of the semantic approach are examined in detail no common thread is found between them, except their close attention to the details of model building in each particular science. These results lead me to propose a deflationary semantic view, which is simply (...) that model construction is an important component of theorizing in science. This deflationary view is consistent with a naturalized approach to the philosophy of science. (shrink)

The philosophy of mathematics has been accused of paying insufficient attention to mathematical practice: one way to cope with the problem, the one we will follow in this paper on extensive magnitudes, is to combine the `history of ideas' and the `philosophy of models' in a logical and epistemological perspective. The history of ideas allows the reconstruction of the theory of extensive magnitudes as a theory of ordered algebraic structures; the philosophy of models allows an investigation into (...) the way epistemology might affect relevant mathematical notions. The article takes two historical examples as a starting point for the investigation of the role of numerical models in the construction of a system of non-Archimedean magnitudes. A brief exposition of the theories developed by Giuseppe Veronese and by Rodolfo Bettazzi at the end of the 19th century will throw new light on the role played by magnitudes and numbers in the development of the concept of a non-Archimedean order. Different ways of introducing non-Archimedean models will be compared and the influence of epistemological models will be evaluated. Particular attention will be devoted to the comparison between the models that oriented Veronese's and Bettazzi's works and the mathematical theories they developed, but also to the analysis of the way epistemological beliefs affected the concepts of continuity and measurement. (shrink)

Domain extension in mathematics occurs whenever a given mathematical domain is augmented so as to include new elements. Manders argues that the advantages of important cases of domain extension are captured by the model-theoretic notions of existential closure and model completion. In the specific case of domain extension via ideal elements, I argue, Manders’s proposed explanation does not suffice. I then develop and formalize a different approach to domain extension based on Dedekind’s Habilitationsrede, to which Manders’s account is compared. (...) I conclude with an examination of three possible stances towards extensions via ideal elements. (shrink)

This study aimed to access the Grade 8 level of learning modules in mathematics from the City Division and Bohol Division throughout the first and second quarters. The researcher uses document analysis in this study, this technique is the most effective way to identify the module’s quality aspects in terms of objectives, content, face validity, suitability of approach, and clarity of the module in a systematic and precise manner. By employing the document analysis and the material, the researcher found (...) out that the evaluator evaluated the learning modules of the Bohol Division and City Division where it can be determined that the mathematics modules are different. The findings employed the Input-Process-Output (IPO) framework as a model and the assessed learning modules would be employed in the new way of teaching mathematical ideas. With this, the researcher recommends that the learning modules as a material fit for the intended users. (shrink)

This contribution aims to explore the historical predecessors of the Five Percenter model of self-realization, as popularized by Hip Hop artists such as Supreme Team, Rakim Allah, Brand Nubian, Wu-Tang Clan, or Sunz of Man. As compared to frequent considerations of the phenomenon as a creative mythological background for a socio-political struggle, Five Percenter teachings shall be discussed as contemporary interpretations of historical models of self-realization in various philosophical, religious, and esoteric systems. By putting the coded system of the (...) tenfold Supreme Mathematics as one of its core teachings in context with the Pythagorean Tetractys, an arrangement of ten points in four lines, the commonalities between the sequence and concepts attributed to the respective numbers will be demonstrated. (shrink)

This book is inspired by a German theoretical physicist, Sabine Hossenfelder’s publication: “Lost in Mathematics”. Her book seems to question highly mathematical and a lot of abstraction in the development of physics and cosmology studies nowadays. There is clear tendency that in recent decades, the physics science has been predominated by such an advanced mathematics, which at times sounding more like acrobatics approach to a reality. Through books by senior mathematical-physicists like Unzicker and Peter Woit, we know that (...) the answer of TOE is not in superstring theories or other variations of such 26 dimensional bosonic string theory, of which none of those theories survived experimental test, but perhaps in low dimensional physics. As Alexander Unzicker suggests, perhaps it is more advisable to consider rotation in 3D space (known as SO3), or a kind of superfluid vortices version of gravitation theory. We can also reconsider proposition by the late Prof F. Winterberg (formerly professor at Univ. Nevada, Reno), that it is most likely that superfluid phonon roton theory in 3D can replace the entire superstring theories. While we don’t explore yet implications of his model to particle physics, we discuss here some published papers at several journals in the past few years. (shrink)

This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.

Just before the Scientific Revolution, there was a "Mathematical Revolution", heavily based on geometrical and machine diagrams. The "faculty of imagination" (now called scientific visualization) was developed to allow 3D understanding of planetary motion, human anatomy and the workings of machines. 1543 saw the publication of the heavily geometrical work of Copernicus and Vesalius, as well as the first Italian translation of Euclid.

A case study of quantum mechanics is investigated in the framework of the philosophical opposition “mathematical model – reality”. All classical science obeys the postulate about the fundamental difference of model and reality, and thus distinguishing epistemology from ontology fundamentally. The theorems about the absence of hidden variables in quantum mechanics imply for it to be “complete” (versus Einstein’s opinion). That consistent completeness (unlike arithmetic to set theory in the foundations of mathematics in Gödel’s opinion) can be interpreted furthermore (...) as the coincidence of model and reality. The paper discusses the option and fact of that coincidence it its base: the fundamental postulate formulated by Niels Bohr about what quantum mechanics studies (unlike all classical science). Quantum mechanics involves and develops further both identification and disjunctive distinction of the global space of the apparatus and the local space of the investigated quantum entity as complementary to each other. This results into the analogical complementarity of model and reality in quantum mechanics. The apparatus turns out to be both absolutely “transparent” and identically coinciding simultaneously with the reflected quantum reality. Thus, the coincidence of model and reality is postulated as necessary condition for cognition in quantum mechanics by Bohr’s postulate and further, embodied in its formalism of the separable complex Hilbert space, in turn, implying the theorems of the absence of hidden variables (or the equivalent to them “conservation of energy conservation” in quantum mechanics). What the apparatus and measured entity exchange cannot be energy (for the different exponents of energy), but quantum information (as a certain, unambiguously determined wave function) therefore a generalized law of conservation, from which the conservation of energy conservation is a corollary. Particularly, the local and global space (rigorously justified in the Standard model) share the complementarity isomorphic to that of model and reality in the foundation of quantum mechanics. On that background, one can think of the troubles of “quantum gravity” as fundamental, direct corollaries from the postulates of quantum mechanics. Gravity can be defined only as a relation or by a pair of non-orthogonal separable complex Hilbert space attachable whether to two “parts” or to a whole and its parts. On the contrary, all the three fundamental interactions in the Standard model are “flat” and only “properties”: they need only a single separable complex Hilbert space to be defined. (shrink)

Wilson [Dialectica 63:525–554, 2009], Moore [Int Stud Philos Sci 26:359–380, 2012], and Massin [Br J Philos Sci 68:805–846, 2017] identify an overdetermination problem arising from the principle of composition in Newtonian physics. I argue that the principle of composition is a red herring: what’s really at issue are contrasting metaphysical views about how to interpret the science. One of these views—that real forces are to be tied to physical interactions like pushes and pulls—is a superior guide to real forces than (...) the alternative, which demands that real forces are tied to “realized” accelerations. Not only is the former view employed in the actual construction of Newtonian models, the latter is both unmotivated and inconsistent with the foundations and testing of the science. (shrink)

Pettit (2012) presents a model of popular control over government, according to which it consists in the government being subject to those policy-making norms that everyone accepts. In this paper, I provide a formal statement of this interpretation of popular control, which illuminates its relationship to other interpretations of the idea with which it is easily conflated, and which gives rise to a theorem, similar to the famous Gibbard-Satterthwaite theorem. The theorem states that if government policy is subject to popular (...) control, as Pettit interprets it, and policy responds positively to changes in citizens' normative attitudes, then there is a single individual whose normative attitudes unilaterally determine policy. I use the model and theorem as an illustrative example to discuss the role of mathematics in normative political theory. (shrink)

Learning mathematics through distance education can be challenging, with the “logical” and “rewarding” nature proving difficult to measure. This article aimed to articulate an argument explaining the “logical” and “rewarding” nature of online mathematics learning, elucidating their causal factors. Existing data from the literature that involving students at Visayas State University, Philippines, were utilized in this study. The study used statistical measures to capture descriptions from the data, and quantile regression analysis was employed to forecast the predictors of (...) the logicality and rewarding nature of learning mathematics at a distance. Results indicate that learning mathematics in the new normal is perceived as “logical” and moderately “rewarding”. The regression and correlation analyses revealed a significant positive association between the perceived “logical” nature and the rewarding experience of learning mathematics. The constructed statistical models depicted that the determinants of logicality in learning mathematics include family income, money spent on the internet, learning environment, household size, social status, and health. Moreover, causal factors such as family income, money spent on the internet, learning environment, leisure activities, social status, and health significantly determine the rewarding nature of learning mathematics online. Conclusively, institution must support college students with their online learning needs. Furthermore, mathematics instructors should create lively and exciting online discussions that boost their logical thinking. Providing problem-solving task that are intrinsically rewarding can contribute to a more fulfilling learning experience. (shrink)

Mathematical models provide explanations of limited power of specific aspects of phenomena. One way of articulating their limits here, without denying their essential powers, is in terms of contrastive explanation.

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two – for example in computer models of continuous systems such as fluid flow – is a central issue in the applicable mathematics of the (...) last hundred years. This article explains the distinction and why it has proved to be one of the great organizing themes of mathematics. (shrink)

The city of Kruja dates back to its existence in the 5th and 6th centuries. In the inner city are preserved great historical, cultural, and architectural values that are inherited from generation to generation. In the city interact and coexist three different typologies of dwellings: historic buildings that belong to the XIII, XIV, XV, XIII, XIX centuries (built using the foundations of previous buildings); socialist buildings dating back to the Second World War until 1990; and modern buildings which were built (...) from 1990 onwards. According to the questionnaires, the creation of mathematical models applied to each category will result in contradictory attitudes but also fairy ones based on different percentages. There are underlined 5 quality of life indicators(questions) from a total of 30 questions of the questionnaire, which are involved in mathematical regression and are statistically significant with a significance level p<5% (with a reliability of 95%), which interact for all three categories of buildings. The quality of life indicators: dwelling area, heating mode during winter, level of dwelling improvement, time spent in the dwelling, and monthly electricity payments, are the main actors who will be compared in order to draw conclusions. According to the statistical calculations trend, it is noted that the socialist buildings category does not directly participate in the debate between historic and modern buildings by means of the quality of life indicators (questions). (shrink)

Mathematics is obviously important in the sciences. And so it is likely to be equally important in any effort that aims to understand God in a scientifically significant way or that aims to clarify the relations between science and theology. The degree to which God has any perfection is absolutely infinite. We use contemporary mathematics to precisely define that absolute infinity. For any perfection, we use transfinite recursion to define an endlessly ascending series of degrees of that perfection. (...) That series rises to an absolutely infinite degree of that perfection. God has that absolutely infinite degree. We focus on the perfections of knowledge, power, and benevolence. Our model of divine infinity thus builds a bridge between mathematics and theology. (shrink)

Much problem solving and learning research in math and science has focused on formal representations. Recently researchers have documented the use of unschooled strategies for solving daily problems -- informal strategies which can be as effective, and sometimes as sophisticated, as school-taught formalisms. Our research focuses on how formal and informal strategies interact in the process of doing and learning mathematics. We found that combining informal and formal strategies is more effective than single strategies. We provide a theoretical account (...) of this multiple strategy effect and have begun to formulate this theory in an ACT-R computer model. We show why students may reach common impasses in the use of written algebra, and how subsequent or concurrent use of informal strategies leads to better problem-solving performance. Formal strategies facilitate computation because of their abstract and syntactic nature; however, abstraction can lead to nonsensical interpretations and conceptual errors. Reapplying the formal strategy will not repair such errors; switching to an informal one may. We explain the multiple strategy effect as a complementary relationship between the computational efficiency of formal strategies and the sense-making function of informal strategies. (shrink)

A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section I. (...) Many modifications of Turing machines cum quantum ones are researched in Section II for the Halting problem and completeness, and the model of two independent Turing machines seems to generalize them. Then, that pair can be postulated as the formal definition of reality therefore being complete unlike any of them standalone, remaining incomplete without its complementary counterpart. Representation is formal defined as a one-to-one mapping between the two Turing machines, and the set of all those mappings can be considered as “language” therefore including metaphors as mappings different than representation. Section III investigates that formal relation of “reality”, “representation”, and “language” modeled by (at least two) Turing machines. The independence of (two) Turing machines is interpreted by means of game theory and especially of the Nash equilibrium in Section IV. Choice and information as the quantity of choices are involved. That approach seems to be equivalent to that based on set theory and the concept of actual infinity in mathematics and allowing of practical implementations. (shrink)

The book answers long-standing questions on scientific modeling and inference across multiple perspectives and disciplines, including logic, mathematics, physics and medicine. The different chapters cover a variety of issues, such as the role models play in scientific practice; the way science shapes our concept of models; ways of modeling the pursuit of scientific knowledge; the relationship between our concept of models and our concept of science. The book also discusses models and scientific explanations; models (...) in the semantic view of theories; the applicability of mathematical models to the real world and their effectiveness; the links between models and inferences; and models as a means for acquiring new knowledge. It analyzes different examples of models in physics, biology, mathematics and engineering. Written for researchers and graduate students, it provides a cross-disciplinary reference guide to the notion and the use of models and inferences in science. (shrink)

Quantic numbers variate as multiples of a fundamental quantity as the spin, that is always an entire multiple of 1/2.

A reasoned argument or tarka is essential for a wholesome vāda that aims at establishing the truth. A strong tarka constitutes of a number of elements including an anumāna based on a valid hetu. Several scholars, such as Dharmakīrti, Vasubandhu and Dignāga, have worked on theories for the establishment of a valid hetu to distinguish it from an invalid one. This paper aims to interpret Dignāga’s hetu-cakra, called the wheel of grounds, from a modern philosophical perspective by deconstructing it into (...) a simple probabilistic mathematical model. The objective is to understand how and why a vāda based on a probabilistically weaker hetu can degrade into a Jalpa or vitaṇḍā. To do so, the paper maps the concept of ‘Bounded Rationality’ onto the hetu-cakra. Bounded Rationality, an idea coined by the management thinker Herbert Simon, is often employed in understanding decision-making processes of rational agents. In the context of this paper, the concept would state that the prativādin and ālocaka (debater) may not hold unbounded information to back their pratijñā (proposition). The paper argues that within the probabilistically deconstructed hetu-cakra model, most people argue in the ‘Zone of Bounded Rationality’, and thus, the probability of a debate degrading into Jalpa or vitaṇḍā is high. -/- . (shrink)

The aim of this paper is to describe and analyze the epistemological justification of a proposal initially made by the biomathematician Robert Rosen in 1958. In this theoretical proposal, Rosen suggests using the mathematical concept of “category” and the correlative concept of “natural equivalence” in mathematical modeling applied to living beings. Our questions are the following: According to Rosen, to what extent does the mathematical notion of category give access to more “natural” formalisms in the modeling of living beings? Is (...) the so -called “naturalness” of some kinds of equivalences (which the mathematical notion of category makes it possible to generalize and to put at the forefront) analogous to the naturalness of living systems? Rosen appears to answer “yes” and to ground this transfer of the concept of “natural equivalence” in biology on such an analogy. But this hypothesis, although fertile, remains debatable. Finally, this paper makes a brief account of the later evolution of Rosen’s arguments about this topic. In particular, it sheds light on the new role played by the notion of “category” in his more recent objections to the computational models that have pervaded almost every domain of biology since the 1990s. (shrink)

The study examined the differential item functioning (DIF) of 2018 Basic Education Certificate examination (BECE) in Mathematics tests of National Examination Council (NECO) and BECE of Akwa Ibom State government in Nigeria. The invariance in the tests with regards to sex was considered using Item Response Theory (IRT) approach. The study area was Akwa Ibom state of Nigeria having a student population of 58,281 for the examination. The sample was made of up 3810 students drawn through a multi-stage sampling (...) approach. The multidimensional IRT (MIRT) package implemented in R-programming language software was applied in analyzing the data. The findings reveal that BECE of NECO displayed 23(38.3%) DIF items while BECE of Akwa Ibom State had 37 (61.7%) DIF items in terms of sex. The findings also revealed that, in the two examinations, more items favoured the male candidates more than the female candidates in terms of performance. It was recommended that IRT model should be adopted by test developers to determine item parameters for selection of good items to ensure quality of items before administration. Test equating of students who write equivalent form examinations conducted by different examining bodies was also recommended for admission and placement of candidates to determine actual group differences in performance. The study posits that research on Differential Item Functioning is inconclusive, so should be encouraged. (shrink)

Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy (...) a central role, namely homotopy theory. I argue that mathematicians introduce genuine models and I offer a rough classification of these models. (shrink)

Many biological processes and objects can be described by fractals. The paper uses a new type of objects – blinking fractals – that are not covered by traditional theories considering dynamics of self-similarity processes. It is shown that both traditional and blinking fractals can be successfully studied by a recent approach allowing one to work numerically with infinite and infinitesimal numbers. It is shown that blinking fractals can be applied for modeling complex processes of growth of biological systems including their (...) season changes. The new approach allows one to give various quantitative characteristics of the obtained blinking fractals models of biological systems. (shrink)

Contemporary philosophical accounts of the applicability of mathematics in physical sciences and the empirical world are based on formalized relations between the mathematical structures and the physical systems they are supposed to represent within the models. Such relations were constructed both to ensure an adequate representation and to allow a justification of the validity of the mathematical models as means of scientific inference. This article puts in evidence the various circularities (logical, epistemic, and of definition) that are (...) present in these formal constructions and discusses them as an argument for the alternative semantic and propositional-structure accounts of the applicability of mathematics. (shrink)

Philosophy can shed light on mathematical modeling and the juxtaposition of modeling and empirical data. This paper explores three philosophical traditions of the structure of scientific theory—Syntactic, Semantic, and Pragmatic—to show that each illuminates mathematical modeling. The Pragmatic View identifies four critical functions of mathematical modeling: (1) unification of both models and data, (2) model fitting to data, (3) mechanism identification accounting for observation, and (4) prediction of future observations. Such facets are explored using a recent exchange between two (...) groups of mathematical modelers in plant biology. Scientific debate can arise from different modeling philosophies. (shrink)

A holobiont is a composite organism consisting of a host together with its microbiome, such as a coral with its zooxanthellae. To explain the often intimate integration between hosts and their microbiomes, some investigators contend that selection operates on holobionts as a unit and view the microbiome’s genes as extending the host’s nuclear genome to jointly comprise a hologenome. Because vertical transmission of microbiomes is uncommon, other investigators contend that holobiont selection cannot be effective because a holobiont’s microbiome is an (...) acquired condition rather than an inherited trait. This disagreement invites a simple mathematical model to see how holobiont selection might operate and to assess its plausibility as an evolutionary force. This paper presents two variants of such a model. In one variant, juvenile hosts obtain microbiomes from their parents (vertical transmission). In the other variant, microbiomes of juvenile hosts are assembled from source pools containing the combined microbiomes of all parents (horizontal transmission). According to both variants, holobiont selection indeed causes evolutionary change in holobiont traits. Therefore, holobiont selection is plausibly an effective evolutionary force with either mode of microbiome transmission. The modeling employs two distinct concepts of inheritance, depending on the mode of microbiome transmission: collective inheritance whereby juveniles inherit a sample of the collected genomes from all parents, as contrasted with lineal inheritance whereby juveniles inherit the genomes from only their own parents. A distinction between collective and lineal inheritance also features in theories of multilevel selection. (shrink)

Following the 26th General Conference on Weights and Measures are fixed the numerical values of the 4 physical constants ($h, c, e, k_B$). This is premised on the independence of these constants. This article discusses a model of a mathematical electron from which can be defined the Planck units as geometrical objects (mass M=1, time T=2$\pi$ ...). In this model these objects are interrelated via this electron geometry such that once we have assigned values to 2 Planck units then we (...) have fixed the values for all Planck units. As all constants can then be defined using geometrical forms (in terms of 2 fixed mathematical constants, 2 unit-specific scalars and a defined relationship between the units $kg, m, s, A$), the least precise CODATA 2014 constants ($G, h, e, m_e, k_B$...) can then be solved via the most precise ($c, \mu_0, \alpha, R_\infty$), with numerical precision limited by the precision of the fine structure constant $\alpha$. In terms of this model we now for example have 2 separate values for elementary charge, calculated from ($c, \alpha, R_\infty$) and the 2017 revision. (shrink)

Category theory has foundational importance because it provides conceptual lenses to characterize what is important and universal in mathematics—with adjunctions being the primary lens. If adjunctions are so important in mathematics, then perhaps they will isolate concepts of some importance in the empirical sciences. But the applications of adjunctions have been hampered by an overly restrictive formulation that avoids heteromorphisms or hets. By reformulating an adjunction using hets, it is split into two parts, a left and a right (...) semiadjunction. Semiadjunctions (essentially a formulation of universal mapping properties using hets) can then be combined in a new way to define the notion of a brain functor that provides an abstract model of the intentionality of perception and action (as opposed to the passive reception of sense-data or the reflex generation of behavior). (shrink)

The discrete–structural structure of the world is described. In comparison with the idea of Heraclitus about an indissoluble world, preference is given to the discrete world of Democritus. It is noted that if the discrete atoms of Democritus were simple and indivisible, the atoms of the modern world indicated in the article would possess, rather, a structural structure. The article proves the problem of how the mutual connection of mathematics and philosophy influences cognition, which creates a discrete–structural worldview. The (...) author notes that the appearance of writing, symbolic language and the depiction of the picture of the world through mathematics, led us into the sphere of discrete mathematical mathematics. (shrink)

In this chapter, one considers finance at its very foundations, namely, at the place where assumptions are being made about the ways to measure the two key ingredients of finance: risk and return. It is well known that returns for a large class of assets display a number of stylized facts that cannot be squared with the traditional views of 1960s financial economics (normality and continuity assumptions, i.e. Brownian representation of market dynamics). Despite the empirical counterevidence, normality and continuity assumptions (...) were part and parcel of financial theory and practice, embedded in all financial practices and beliefs. Our aim is to build on this puzzle for extracting some clues revealing the use of one research strategy in academic community, model tinkering defined as a particular research habit. We choose to focus on one specific moment of the scientific controversies in academic finance: the ‘leptokurtic crisis’ opened by Mandelbrot in 1962. The profoundness of the crisis came from the angle of the Mandelbrot’s attack: not only he emphasized an empirical inadequacy of the Brownian representation, but also he argued for an inadequate grounding of this representation. We give some insights in this crisis and display the model tinkering strategies of the financial academic community in the 1970s and the 1980s. (shrink)

A conspicuous feature of contemporary modelling practices is the use of the same mathematical forms and modelling methods across different scientific domains. This model transfer raises many philosophical questions concerning, for example, the exact object of transfer, the relationship between the model and the target domain, the specific challenges such transfer confronts, and the ways in which model transfer relates to scientific progress. While the interest in studying model transfer has increased among philosophers of science in recent years, the phenomenon (...) has not yet received its due attention. The literature is scattered and much of it has addressed questions around the factors that might explain model transfer, such as whether the different target phenomena to which a model is applied eventually prove to be structurally and dynamically similar, or whether they have to share more fundamental ontological features that explain the interdisciplinary success of distinct models. This chapter surveys the existing literature on model transfer with the main goal of highlighting the main findings of existing discussions and pointing out open issues whose discussion would improve our understanding of this highly relevant phenomenon in science. (shrink)

The city of Kruja (Albania)contains three types of dwellings that date back to different periods of time: the historic ones, the socialist ones, the modern ones. This paper has to deal only with the historic building's typology. The questionnaire that is applied will be considered for the development of mathematical regression based on specific data for this category. Variation between the relevant variables of the questionnaire is fairly or inverse-linked with a certain percentage of influence. The aim of this study (...) is to have better insights into the important role of building occupancy, people's lifestyle, economic level, and the quality of life of the residents in the inner medieval citadel, the physics characteristics, and the energy efficiency of the historical dwellings. The variables such as the number of residents, quality of life, the surface of the dwellings, heating instruments and time spent in the dwelling, current living conditions, monthly bills, level of satisfaction, restoration, and building improvements, interact with each other with probabilities with different positive or negative percentages. (shrink)

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are our internally imagined objects, some of which, at least approximately, we can realize or represent; (ii) mathematical truths are (...) not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

The concept of sustainable development considers environmental, social and economic issues in general. And the goals of resource conservation and socio-economic development do not contradict each other, but contribute to mutual reinforcement. The purpose of this study is to build and test an economic and mathematical model for the formation of strategies for the behavior of an economic entity with an increase in the impact of negative environmental factors. The proposed strategies and their models are based on the income-expenditure (...) balance equation, which takes into account both quantitative and qualitative characteristics. The constructed models are considered in the state space. The research methodology is based on building models in the form of linear combinations of functions of a homogeneous external impact and various spatial combinations of economic sources (sinks). The study makes it possible to assess the dependence of the amount of resources used for life support on the chosen adaptive strategy. Within the framework of the proposed model, it was found that the criterion for the effectiveness of the applied strategy can be an indicator of satisfaction with the state, the preservation of which, simultaneously with the preservation of the size of resources used, corresponds to the direction of optimization. This approach is consistent with the concept of sustainable development. (shrink)

One striking observation in the history of rational choice models is that those models have not only been used in economics but spread widely across the social and behavioral sciences. How do such model transfers proceed? By closely studying the early efforts to transfer such models by William Riker – a major protagonist in pushing the adoption of game theoretic models in political science – this article examines the transfer process as one of ‘translation’ by which (...) abstract and mathematical rational choice models were constructed and modified such that they applied to a specific target system in a new domain. In this paper, we argue that to overcome a set of challenges that hampered the straightforward transfer of game theoretic models into political science, Riker complemented theoretical and conceptual modifications of von Neumann and Morgenstern’s game schemes with the use of narratives to turn them into applicable and testable models. As such, those narratives played a crucial role in enabling their transfer and ultimately facilitated the applicability of game theoretic models in political science. (shrink)

Detailed examinations of scientific practice have revealed that the use of idealized models in the sciences is pervasive. These models play a central role in not only the investigation and prediction of phenomena, but in their received scientific explanations as well. This has led philosophers of science to begin revising the traditional philosophical accounts of scientific explanation in order to make sense of this practice. These new model-based accounts of scientific explanation, however, raise a number of key questions: (...) Can the fictions and falsehoods inherent in the modeling practice do real explanatory work? Do some highly abstract and mathematical models exhibit a noncausal form of scientific explanation? How can one distinguish an exploratory "how-possibly" model explanation from a genuine "how-actually" model explanation? Do modelers face tradeoffs such that a model that is optimized for yielding explanatory insight, for example, might fail to be the most predictively accurate, and vice versa? This chapter explores the various answers that have been given to these questions. (shrink)

The evolution of altruism in human societies has been intensively investigated in social and natural sciences. A widely acknowledged recent idea is the “parochial altruism model,” which suggests that inter- group hostility and intragroup altruism can coevolve through lethal intergroup conflicts. The current article critically examines this idea by reviewing research relevant to intergroup conflicts in human evolutionary history from evolutionary biology, psychology, cultural anthropology, and archaeology. After a brief intro- duction, section 2 illustrates the mathematical model of parochial altruism (...) and some critiques of the model and its interpretation, primarily from an evolutionary biology point of view. Section 3 delves into the archaeological evidence of prehistoric intergroup conflicts in the Japanese archipelago’s Jomon and Yayoi periods, Europe’s Mesolithic period, and North America’s Pacific period as counter examples of the paro- chial altruism model. In section 4, the ethnographies of intergroup relationships and conflicts reveal that intergroup relationships in many ethnic groups are not as simple as the assumption in the mathematical model of parochial altruism. In section 5, we outline psychological research on intergroup conflicts which suggest that intergroup hostility and ingroup altruism are not necessarily correlated. In conclusion, we argue that the assumption and parameter settings of the parochial altruism model are inconsistent with empirical data. (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies methods from (...) computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system (...) of proof, and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

I investigate how theoretical assumptions, pertinent to different perspectives and operative during the modeling process, are central in determining how nature is actually taken to be. I explore two different models by Michael Turelli and Steve Frank of the evolution of parasite-mediated cytoplasmic incompatility, guided, respectively, by Fisherian and Wrightian perspectives. Since the two models can be shown to be commensurable both with respect to mathematics and data, I argue that the differences between them in the (1) (...) mathematical presentation of the models, (2) explanations, and (3) objectified ontologies stem neither from differences in mathematical method nor the employed data, but from differences in the theoretical assumptions, especially regarding ontology, already present in the respective perspectives. I use my "set up, mathematically manipulate, explain, and objectify" (SMEO) account of the modeling process to track the model-mediated imposition of theoretical assumptions. I conclude with a discussion of the general implications of my analysis of these models for the controversy between Fisherian and Wrightian perspectives. (shrink)