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 processing of information within the retino-tectal visual system of amphibians is decomposed into five major operational stages, three of them taking place in the retina and two in the optic tectum. The stages in the retina involve a spatially local high-pass filtering in connection to the perception of moving objects, separation of the receptor activity into ON- and OFF-channels regarding the distinction of objects on both light and dark backgrounds, spatial integration via near excitation and far-reaching inhibition. Variation (...) of the spatial range of excitation and inhibition allows to account for typical activities observed in a variety of classes of retina ganglion cells.Mathematical description of the operations in the tectum opticum include spatial summation of retinal output, and direct or indirect lateral inhibition between tectal cells. In the computer simulation, first the output of the mathematical retina model is computed which, then, is used as the input to the tectum model. The full spatio-temporal dynamics is taken into account.The simulations show that different combinations of strength of lateral inhibition on the one side and the response properties of the retina ganglion cells on the other side determine the response properties of tectal cell types involved in object recognition. (shrink)

The processing of information within the retino-tectal visual system of amphibians is decomposed into five major operational stages, three of them taking place in the retina and two in the optic tectum. The stages in the retina involve (i) a spatially local high-pass filtering in connection to the perception of moving objects, (ii) separation of the receptor activity into ON- and OFF-channels regarding the distinction of objects on both light and dark backgrounds, (iii) spatial integration via near excitation and (...) far-reaching inhibition. Variation of the spatial range of excitation and inhibition allows to account for typical activities observed in a variety of classes of retina ganglion cells.Mathematical description of the operations in the tectum opticum include (i) spatial summation of retinal output (mainly of class-2 and class-3 retina ganglion cells), and (ii) direct or indirect lateral inhibition between tectal cells. In the computer simulation, first the output of the mathematical retina model is computed which, then, is used as the input to the tectum model. The full spatio-temporal dynamics is taken into account. (shrink)

The problem of explaining color perception has fascinated painters, philosophers and scientists throughout the history. In many cases, the ideas and discoveries about color perception in one of these categories influenced the others, thus resulting in one of the most remarkable cross-fertilization of human thought. At the end of the nineteenth century, two models stood out as the most convincing ones: Young-Helmholtz’s trichromacy on one side, and Hering’s opponency on the other side. The former was mainly supported (...) by painters and scientists, although with some noticeable exceptions as, e.g., Otto Runge, while the majority of philosophers supported the latter. These two apparently incompatible models were proven to be two complementary parts of the hugely complex chain of events which leads to human color perception. Recently, a rigorous mathematical theory able to incorporate both trichromacy and opponency has been developed thanks to the use of the language and tools of quantum information. In this paper, we discuss the placement of this model within the philosophical theories about color. (shrink)

A given but otherwise random environmental time series impinging on the input of a certain biological processor passes through with overwhelming probability practically undetected. A very small percentage of environmental stimuli, though, is ‘captured’ by the processor's nonlinear dissipative operator as initial conditions, and is ‘processed’ as solutions of its dynamics. The processor, then, is in such cases instrumental in compressing or abstracting those stimuli, thereby making the external world to collapse from a previous regime of a ‘pure state’ of (...) suspended animation into a set of stable complementary and mutually exclusive eigenfunctions or ‘categories'. The characteristics of this cognitive set depend on the operator involved and the hierarchical level where the abstraction takes place. Depending on the context, the transition from one state to another occurs in such a cognitive operator. The chaotic itinerancy may play a crucial role for this process. In this paper we model the dynamics which may underlie such a cognitive process and the role of the thalamo-cortical pacemaker of the brain. In order to model them, conceptualization by the notion of ‘attractor ruin’ in high-dimensional dynamical systems is necessary. (shrink)

Mathematical models can be profitably used to establish whether our perception of the external world is accurate. Donald Hoffman and his collaborators have developed a promising mathematical framework within which this question can be addressed and which is based on an exhaustive taxonomy of the different possible relations between perceptual representations and the external world. After reformulating their framework by means of an improved formal system, we discuss their application of evolutionary game theory, which appears to (...) show that an essentially anti-realistic perceptual strategy would in the long run biologically outcompete its rivals. We argue that their model does not take the crucial biological significance of environmental changes into due consideration and propose alternative models which do. We conclude that a partially realistic representation would be favoured in our models. (shrink)

Following a previous article published in Biological Theory, in this study we present a mathematical theory for a science of qualities as directly perceived by living organisms, and based on morphological patterns. We address a range of qualitative phenomena as observables of a psychological system seen as an impredicative system. The starting point of our study is the notion that perceptual phenomena are projections of underlying invariants, objects that remain unchanged when transformations of a certain class under consideration are (...) applied. The study develops with the observables, the entailed total order and metric, whence the algebra and the geometry of such a science, presenting a formal phenomenological model for phenomena that are not rigidly Euclidean. We show how non-Euclidean perception can have many useful Euclidean formalizations, as well as locally-homeomorphic-to-Euclidean-space models. The mathematical models we provide are tested on the basis of results from experimental psychology, in particular from the field of color, time, and space perception. (shrink)

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and (...) updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

This book publishes 31 of the author's selected papers which have appeared, with one exception, since 1970. The papers cover a wide range of topics in the philosophy of science. Part I is concerned with general methodology, including formal and axiomatic methods in science. Part II is concerned with causality and explanation. The papers extend the author's earlier work on a probabilistic theory of causality. The papers in Part III are concerned with probability and measurement, especially foundational questions about probability. (...) Part IV consists of several papers, including two historical ones, on the foundations of physics, with the main emphasis being on quantum mechanics. Part V, the longest part, is on the foundations of psychology and includes papers mainly on learning and perception. The book is aimed at philosophers of science, scientists concerned with the methodology of the social sciences, and mathematical psychologists interested in theories of learning, perception and measurement. (shrink)

Effective conditioning requires a correlation between the experimenter's definition of a response and an organism's, but an animal's perception of its behavior differs from ours. These experiments explore various definitions of the response, using the slopes of learning curves to infer which comes closest to the organism's definition. The resulting exponentially weighted moving average provides a model of memory that is used to ground a quantitative theory of reinforcement. The theory assumes that: incentives excite behavior and focus the excitement (...) on responses that are contemporaneous in memory. The correlation between the organism's memory and the behavior measured by the experimenter is given by coupling coefficients, which are derived for various schedules of reinforcement. The coupling coefficients for simple schedules may be concatenated to predict the effects of complex schedules. The coefficients are inserted into a generic model of arousal and temporal constraint to predict response rates under any scheduling arrangement. The theory posits a response-indexed decay of memory, not a time-indexed one. It requires that incentives displace memory for the responses that occur before them, and may truncate the representation of the response that brings them about. As a contiguity-weighted correlation model, it bridges opposing views of the reinforcement process. By placing the short-term memory of behavior in so central a role, it provides a behavioral account of a key cognitive process. (shrink)

In a scenario characterized by unpredictable developments, such as the recent COVID-19 pandemic, epidemiological models have played a leading part, having been especially widely deployed for forecasting purposes. In this paper, two real-world examples of modeling are examined in support of the proposition that science can convey inconsistent as well as genuinely perspectival representations of the world. Reciprocally inconsistent outcomes are grounded on incompatible assumptions, whereas perspectival outcomes are grounded on compatible assumptions and illuminate different aspects of the same (...) object of interest. In both cases, models should be viewed as expressions of specific assumptions and unconstrained choices on the part of those designing them. The coexistence of a variety of models reflects a primary feature of science, namely its pluralism. It is herein proposed that recent over-exposure to science’s inner workings and disputes such as those pertaining to models, may have led the public to perceive pluralism as a flaw—or more specifically, as disunity or fragmentation, which in turn may have been interpreted as a sign of unreliability. In conclusion, given the inescapability of pluralism, suggestions are offered as to how to counteract distorted perceptions of science, and thereby enhance scientific literacy. (shrink)

Although many philosophers of science have recognized the importance of modeling in contemporary science, relatively little work has been done in developing a general account of models. The most widely accepted account, put forth by advocates of the semantic conception of theories, misleadingly identifies scientific models with the models of mathematical logic. I present an alternative theory of scientific models in which models are defined by their representational relation to a physical system. I explore (...) in some detail a particular sort of model called a ‘mechanical model’ I illustrate the applicability of my approach by applying it to a problem in contemporary speech perception research. The model of models is used to analyze how competing models of the mechanisms of vowel normalization are constructed, tested, and revised. (shrink)

In this article, we aim at presenting a thorough and comprehensive explanation of the mathematical and theoretical relation between all the aspects of Ptolemaic planetary models and their counterparts which are built according to Kepler’s first two laws. Our article also analyzes the predictive differences which arise from comparing Ptolemaic and these ideal Keplerian models, making clear distinctions between those differences which must be attributed to the structural variations between the models, and those which are due (...) to the specific parameters Ptolemy determined in the Almagest. We expect that our work will be a contribution for a better understanding not only of the Ptolemaic theories for planetary longitudes through a clearer perception of the way in which Keplerian features are present—or absent—in Ptolemy’s models, but also for a more balanced judgement of different aspects of the contribution of the first two laws of Kepler to the modern astronomical revolution. (shrink)

In this article I assess some results that purport to show the existence of a type of 'topological perception', i.e., perceptually based classification of topological features. Striking findings about perception in insects appear to imply that (1) configural, global properties can be considered as primitive perceptual features, and (2) topological features in particular are interesting as they are amenable to formal treatment. I discuss four interrelated questions that bear on any interpretation of findings about the perception of (...) topological properties: what exactly are topological properties, what makes them global , in what sense the quoted findings makes them primitive, and what are the hopes of a formal theory of perception based upon them. I suggest that mathematical topology is not the correct model for cognition topological properties, hence that some other formalism ought to be used—a form of “internalized topology.” However, once the principles of this type of topology are spelled out, they may not be as globalistic as one may have expected. (shrink)

Active inference offers a unified theory of perception, learning, and decision-making at computational and neural levels of description. In this article, we address the worry that active inference may be in tension with the belief–desire–intention model within folk psychology because it does not include terms for desires at the mathematical level of description. To resolve this concern, we first provide a brief review of the historical progression from predictive coding to active inference, enabling us to distinguish between active (...) inference formulations of motor control and active inference formulations of decision processes. We then show that, despite a superficial tension when viewed at the mathematical level of description, the active inference formalism contains terms that are readily identifiable as encoding both the objects of desire and the strength of desire at the psychological level of description. We demonstrate this with simple simulations of an active inference agent motivated to leave a dark room for different reasons. Despite their consistency, we further show how active inference may increase the granularity of folk-psychological descriptions by highlighting distinctions between drives to seek information versus reward—and how it may also offer more precise, quantitative folk-psychological predictions. Finally, we consider how the implicitly conative components of active inference may have partial analogues in other systems describable by the broader free energy principle to which it conforms. (shrink)

As of 2017, colleges in the state of Texas in the United States of America are transitioning to a corequisite model where students take developmental and traditional mathematics classes concurrently. Using a self-efficacy framework, this qualitative study aimed to explore the perceptions of four mathematics instructors of color at two community colleges in Texas that have adopted the corequisite model mentioned above. Semi-structured interviews were used to inquire how instructors perceived to best support students through this new model. Using thematic (...) analysis, five overarching themes emerged: feelings of encouragement, vulnerability, and empathy, challenges in supporting students’ development of self-efficacy, relatedness to students. The instructors voiced many challenges in helping students. However, most of the instructors also displayed some level of attending to their student’s social and emotional needs to overcome these challenges. In many ways, instructors expressed that they have to be vulnerable with their students to overcome challenges and open themselves up so students are more willing to learn. Instructors discussed instances in which they have been oppressed, which have shaped their educator identity, influenced their current practice, and impacted their relatedness with students. Furthermore, instructors expressed constantly trying to form connections with their students. These instructors discussed how their similar social identities, such as language, race, national origin, and mathematical experiences, are an important middle ground that connects them to their students. Through relatedness and vulnerability, instructors discussed getting students to open up and become more receptive to learning, achieving the necessary outcomes to succeed. The five themes discussed in this paper foreground (a) instructors’ ability to provide student encouragement, typically through vulnerability, (b) challenges that negatively influence students’ self-efficacy and (c) relatedness and empathy to help students succeed, resulting in a higher perceived self-efficacy in their students’ part. (shrink)

Judea Pearl has argued that counterfactuals and causality are central to intelligence, whether natural or artificial, and has helped create a rich mathematical and computational framework for formally analyzing causality. Here, we draw out connections between these notions and various current issues in cognitive science, including the nature of mental “programs” and mental representation. We argue that programs (consisting of algorithms and data structures) have a causal (counterfactual-supporting) structure; these counterfactuals can reveal the nature of mental representations. Programs can (...) also provide a causal model of the external world. Such models are, we suggest, ubiquitous in perception, cognition, and language processing. (shrink)

The essence of number was regarded by the ancient Greeks as the root cause of the existence of the universe, but it was only towards the end of the 19th century that mathematicians initiated an in-depth study of the nature of numbers. The resulting unavoidable actuality of infinities in the number system led mathematicians to rigorously investigate the foundations of mathematics. The formalist approach to establish mathematical proof was found to be inconclusive: Gödel showed that there existed true propositions (...) that could not be proved to be true within the natural number universe. This result weighed heavily on proposals in the mid-20th century for digital models of the universe, inspired by the emergence of the programmable digital computer, giving rise to the branch of philosophy recognised as digital philosophy. In this article, the models of the universe presented by physicists, mathematicians and theoretical computer scientists are reviewed and their relation to the natural numbers is investigated. A quantum theory view that at the deepest level time and space may be discrete suggests a profound relation between natural numbers and reality of the cosmos. The conclusion is that our perception of reality may ultimately be traced to the ontology and epistemology of the natural numbers. (shrink)

I argue that the contrast between models and theories is important for public policy issues. I focus especially on the way a mathematical model explains just one aspect of the data.

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)

We analyse the way in which the principle that ‘the whole is greater than the sum of its parts’ manifests itself with phenomena of visual perception. For this investigation we use insights and techniques coming from quantum cognition, and more specifically we are inspired by the correspondence of this principle with the phenomenon of the conjunction effect in human cognition. We identify entities of meaning within artefacts of visual perception and rely on how such entities are modelled for (...) corpuses of texts such as the webpages of the World-Wide Web for our study of how they appear in phenomena of visual perception. We identify concretely the conjunction effect in visual artefacts and analyse its structure in the example of a photograph. We also analyse quantum entanglement between different aspects of meaning in artefacts of visual perception. We confirm its presence by showing that well elected experiments on images retrieved accordingly by Google Images give rise to probabilities and expectation values violating the Clauser Horne Shimony Holt version of Bell’s inequalities. We point out how this approach can lead to a mathematical description of the meaning content of a visual artefact such as a photograph. (shrink)

This article responds to two unresolved and crucial problems of cognitive science: (1) What is actually accomplished by functions of the nervous system that we ordinarily describe in the intentional idiom? and (2) What makes the information processing involved in these functions semantic? It is argued that, contrary to the assumptions of many cognitive theorists, the computational approach does not provide coherent answers to these problems, and that a more promising start would be to fall back on mathematical communication (...) theory and, with the help of evolutionary biology and neurophysiology, to attempt a characterization of the adaptive processes involved in visual perception. Visual representations are explained as patterns of cortical activity that are enabled to focus on objects in the changing visual environment by constantly adjusting to maintain levels of mutual information between pattern and object that are adequate for continuing perceptual control. In these terms, the answer proposed to (1) is that the intentional functions of vision are those involved in the establishment and maintenance of such representations, and to (2) that semantic features are added to the information processes of vision with the focus on objects that these representations accomplish. The article concludes with proposals for extending this account of intentionality to the higher domains of conceptualization and reason, and with speculation about how semantic information-processing might be achieved in mechanical systems. (shrink)

Mathematical models of biological patterns are central to contemporary biology. This paper aims to consider what these models contribute to biology through the detailed consideration of an important case: Hamilton’s selfish herd. While highly abstract and idealized, Hamilton’s models have generated an extensive amount of research and have arguably led to an accurate understanding of an important factor in the evolution of gregarious behaviors like herding and flocking. I propose an account of what these models (...) are able to achieve and how they can support a successful scientific research program. I argue that the way these models are interpreted is central to the success of such programs. (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.

This paper describes a novel perspective on the foundations of mathematics: how mathematics may be seen to be largely about “information compression via the matching and unification of patterns”. That is itself a novel approach to IC, couched in terms of nonmathematical primitives, as is necessary in any investigation of the foundations of mathematics. This new perspective on the foundations of mathematics reflects the facts that mathematics is almost exclusively the product of human brains, and has been developed, as an (...) aid to human thinking, mathematics is likely to be consonant with much evidence for the importance of IC in human learning, perception, and cognition. This perspective on the foundations of mathematics has grown out of a long-term programme of research developing the SP Theory of Intelligence and its realization in the SP Computer Model, a system in which a generalised version of ICMUP—the powerful concept of SP-multiple-alignment—plays a central role. This paper shows with an example how mathematics, without any special provision, may achieve compression of information. Then, it describes examples showing how variants of ICMUP may be seen in widely used structures and operations in mathematics. Examples are also given to show how several aspects of the mathematics-related disciplines of logic and computing may be understood as ICMUP. Also discussed is the intimate relation between IC and concepts of probability, with arguments that there are advantages in approaching AI, cognitive science, and concepts of probability via ICMUP. Also discussed is how the close relation between IC and concepts of probability relates to the established view that some parts of mathematics are intrinsically probabilistic, and how that latter view may be reconciled with the all-or-nothing, “exact,” forms of calculation or inference that are familiar in mathematics and logic. There are many potential benefits and applications of the mathematics-as-IC perspective. (shrink)

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)

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)

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 article presents a verbal and mathematical model of medium-term business cycles (with a characteristic period of 7–11 years) known as Juglar cycles. The model takes into account a number of approaches to the analysis of such cycles; in the meantime it also takes into account some of the authors' own generalizations and additions that are important for understanding the internal logic of the cycle, its variability and its peculiarities in the present-time conditions. The authors argue that the most (...) important cause of cyclical crises stems from strong structural disproportions that develop during economic booms. These are not only disproportions between different economic sectors, but also disproportions between different societal subsystems; at present these are also disproportions within the World System as a whole. The proposed model of business cycle is based on its subdivision into four phases: – recovery phase (which could be subdivided into the start sub-phase and the acceleration sub-phase); – upswing/prosperity/expansion phase (which could be subdivided into the growth sub-phase and the boom/overheating sub-phase); – recession phase (within which one may single out the crash/bust/acute crisis subphase and the downswing sub-phase); – depression/stagnation phase (which we could subdivide into the stabilization subphase and the breakthrough sub-phase). The article provides a detailed qualitative description of macroeconomic dynamics at all the phases; it specifies driving forces of cyclical dynamics and the causes of transition from one phase to another (including psychological causes); a special attention is paid to the turning point from the peak of overheating to the acute crisis, as well as to the turning point from the downswing to recovery. The proposed mathematical model of Juglar cycle takes into account the following effects that are typical for the market economy: • positive feedbacks between various economic processes; • presence of a certain inertia, time lags in reactions of the economic subsystem to the change in conditions; • amplification by the financial subsystem of positive feedbacks and time lags in the economic subsystem; • excessive reaction to changing conditions during the acute crisis sub-phase. The authors suggest that the current crisis turns out to be rather similar to classical Juglar crises; however, there is also a significant difference, as the current crisis occurs at a truly global scale. Yet, due to this truly global scale of the current crisis, the possibilities of regulation with the national state's measures have turned out to be ineffective,whereas the suprastate regulation of financial processes hardly exists. It is shown that all these have led to the reproduction of the current crisis according to a classical Juglar scenario. (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)

This article develops a framework for analysing how digital software and models become mediums for creative imagination in architectural design. To understand the hermeneutics of these relationships, we develop key concepts from Material Engagement Theory (MET) and Postphenomenology (PP). To push these frameworks into the realm of digital design, we develop the concept of Digital Materiality. Digital Materiality describes the way successive layers of mathematics, code, and software come to mediate enactive perception, and the possibilities of creative material (...) engagement actualised in work with software. Just as molecular materials come to transform action with material objects, so digital materiality comes to enable and transform creative practices with computers. Digital architectural design form a new space for ongoing enactive discovery and creativity through manipulation of digital models and their underlying software environments. By shifting relationships within their digital models, architects can direct their attention, intention, and imagination towards widely different aspects of the model. Here, creative imagination becomes a fundamentally situated activity where mind emerges through dynamic interaction between a variety of embodied, material, and cultural domains. (shrink)

The use of mathematical models in philosophy is largely neutral over the extent of experimental input. They can figure in an entirely armchair methodology, but they can also play the sort of role they do in physics, economics, and other natural and social sciences. Andrea Bianchi’s description of the starting‐point of philosophy as “empirical data” also suggests a special connection between philosophy and the natural sciences. Many contemporary philosophers describe themselves as naturalists. Naturalists typically criticize some traditional forms (...) of philosophy as insufficiently scientific, because they ignore experimental tests. Naturalism tries to condense the scientific spirit into a philosophical theory. Penelope Maddy rightly emphasizes the weirdness of the idea, found in some contemporary internalist epistemology, that introspection has epistemic priority over perception, but her central objection is to demands on the Plain Inquirer to justify her methods “from scratch.”. (shrink)

This article contributes to the revision of the procedure of robustness analysis of mathematical models in epistemic democracy using the systematic review method. It identifies the drawbacks of robustness analysis in epistemic democracy in terms of sample universality and inference from samples with the same results. To exemplify the effectiveness of systematic review, this article conducted a pilot review of diversity trumps ability theorem models, which are mathematical models of deliberation often cited by epistemic democrats. (...) A review of nine models extracted from 352 papers exemplifies the effectiveness of robustness analysis supplemented by systematic review in epistemic democracy. (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)

In this paper, I challenge those interpretations of Frege that reinforce the view that his talk of grasping thoughts about abstract objects is consistent with Russell's notion of acquaintance with universals and with Gödel's contention that we possess a faculty of mathematical perception capable of perceiving the objects of set theory. Here I argue the case that Frege is not an epistemological Platonist in the sense in which Gödel is one. The contention advanced is that Gödel bases his (...) Platonism on a literal comparison between mathematical intuition and physical perception. He concludes that since we accept sense perception as a source of empirical knowledge, then we similarly should posit a faculty of mathematical intuition to serve as the source of mathematical knowledge. Unlike Gödel, Frege does not posit a faculty of mathematical intuition. Frege talks instead about grasping thoughts about abstract objects. However, despite his hostility to metaphor, he uses the notion of ‘grasping’ as a strategic metaphor to model his notion of thinking, i.e., to underscore that it is only by logically manipulating the cognitive content of mathematical propositions that we can obtain mathematical knowledge. Thus, he construes ‘grasping’ more as theoretical activity than as a kind of inner mental ‘seeing’. (shrink)

In this essay I argue against I. Bernard Cohen's influential account of Newton's methodology in the Principia: the 'Newtonian Style'. The crux of Cohen's account is the successive adaptation of 'mental constructs' through comparisons with nature. In Cohen's view there is a direct dynamic between the mental constructs and physical systems. I argue that his account is essentially hypothetical-deductive, which is at odds with Newton's rejection of the hypothetical-deductive method. An adequate account of Newton's methodology needs to show how Newton's (...) method proceeds differently from the hypothetical-deductive method. In the constructive part I argue for my own account, which is model based: it focuses on how Newton constructed his models in Book I of the Principia. I will show that Newton understood Book I as an exercise in determining the mathematical consequences of certain force functions. The growing complexity of Newton's models is a result of exploring increasingly complex force functions (intra-theoretical dynamics) rather than a successive comparison with nature (extra-theoretical dynamics). Nature did not enter the scene here. This intra-theoretical dynamics is related to the 'autonomy of the models'. (shrink)

A version of nonstandard analysis, Internal Set Theory, has been used to provide a resolution of Zeno's paradoxes of motion. This resolution is inadequate because the application of Internal Set Theory to the paradoxes requires a model of the world that is not in accordance with either experience or intuition. A model of standard mathematics in which the ordinary real numbers are defined in terms of rational intervals does provide a formalism for understanding the paradoxes. This model suggests that in (...) discussing motion, only intervals, rather than instants, of time are meaningful. The approach presented here reconciles resolutions of the paradoxes based on considering a finite number of acts with those based on analysis of the full infinite set Zeno seems to require. The paper concludes with a brief discussion of the classical and quantum mechanics of performing an infinite number of acts in a finite time. (shrink)

John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominalist, intuitionist, relevantist, and other critics. This selection of his essays, which spans twenty-five years, addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation. An introduction sets the essays in context and offers a retrospective appraisal of their aims. The volume will be of interest to a wide range of readers across philosophy (...) of mathematics, logic, and philosophy of language. (shrink)

Mathematics may seem unreasonably effective in the natural sciences, in particular in physics. In this essay, I argue that this judgment can be attributed, at least in part, to selection effects. In support of this central claim, I offer four elements. The first element is that we are creatures that evolved within this Universe, and that our pattern finding abilities are selected by this very environment. The second element is that our mathematics—although not fully constrained by the natural world—is strongly (...) inspired by our perception of it. Related to this, the third element finds fault with the usual assessment of the efficiency of mathematics: our focus on the rare successes leaves us blind to the ubiquitous failures. The fourth element is that the act of applying mathematics provides many more degrees of freedom than those internal to mathematics. This final element will be illustrated by the usage of ‘infinitesimals’ in the context of mathematics and that of physics. In 1960, Wigner wrote an article on this topic [4] and many later authors have echoed his assessment that the success of mathematics in physics is a mystery. At the end of this essay, I will revisit Wigner and three earlier replies that harmonize with my own view. I will also explore some of Einstein’s ideas that are connected to this. But first, I briefly expose my views of science and mathematics, since these form the canvass of my central claim. (shrink)

This is the second in a series of three papers that charts the history of the Lenz–Ising model (commonly called just the Ising model in the physics literature) in considerable detail, from its invention in the early 1920s to its recognition as an important tool in the study of phase transitions by the late 1960s. By focusing on the development in physicists’ perception of the model’s ability to yield physical insight—in contrast to the more technical perspective in previous historical (...) accounts, for example, Brush (Rev Modern Phys 39: 883–893, 1967) and Hoddeson et al. (Out of the Crystal Maze. Chapters from the History of Solid-State Physics. Oxford University Press, New York, pp. 489–616, 1992)—the series aims to cover and explain in depth why this model went from relative obscurity to a prominent position in modern physics, and to examine the consequences of this change. In the present paper, which is self-contained, I deal with the development from the early 1950s to the 1960s and document that this period witnessed a major change in the perception of the model: In the 1950s it was not in the cards that the model was to become a pivotal tool of theoretical physics in the following decade. In fact, I show, based upon recollections and research papers, that many of the physicists in the 1950s interested in understanding phase transitions saw the model as irrelevant for this endeavor because it oversimplifies the nature of the microscopic constituents of the physical systems exhibiting phase transitions. However, one group, Cyril Domb’s in London, held a more positive view during this decade. To bring out the basis for their view, I analyze in detail their motivation and work. In the last part of the paper I document that the model was seen as much more physically relevant in the early 1960s and examine the development that led to this change in perception. I argue that the main factor behind the change was the realization of the surprising and striking agreement between aspects of the model, notably its critical behavior, and empirical features of the physical phenomena. (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)

We review mathematical models of HIV dynamics, disease progression, and therapy. We start by introducing a basic model of virus infection and demonstrate how it was used to study HIV dynamics and to measure crucial parameters that lead to a new understanding of the disease process. We discuss the diversity threshold model as an example of the general principle that virus evolution can drive disease progression and the destruction of the immune system. Finally, we show how mathematical (...) models can be used to understand correlates of long‐term immunological control of HIV, and to design therapy regimes that convert a progressing patient into a state of long‐term non‐progression. BioEssays 24:1178–1187, 2002. © 2002 Wiley‐Periodicals, Inc. (shrink)