This is a paper about the methodology of normative ethics. I claim that much work in normative ethics can be interpreted as modelling, the form of inquiry familiar from science, involving idealised representations. I begin with the anti-theory debate in ethics, and note that the debate utilises the vocabulary of scientific theories without recognising the role models play in science. I characterise modelling, and show that work with these characteristics is common in ethics. This establishes the plausibility of my interpretation. (...) Taking methodological inspiration from modelling in science gives us new tools for managing idealisations, and a new perspective on pluralism. I demonstrate why this interpretation is a fruitful way of interpreting ethics, by looking at three case studies. First, I return to the anti-theory debate and argue that modelling opens up a new middle ground. Second, I argue that a modelling lens offers a new way of understanding impossibility theorems in population ethics, and their bearing on ethics as a whole. Finally, I show how viewing our work as modelling can be deployed in debates within ethics, using the debate over prioritarianism as an example. I close with further methodological suggestions for those who choose to see themselves as modellers. I discuss the role of counterexamples, our responses to moral disagreement, and the training of new ethicists. (shrink)

ABSTRACT Is there something specific about modelling that distinguishes it from many other theoretical endeavours? We consider Michael Weisberg’s thesis that modelling is a form of indirect representation through a close examination of the historical roots of the Lotka–Volterra model. While Weisberg discusses only Volterra’s work, we also study Lotka’s very different design of the Lotka–Volterra model. We will argue that while there are elements of indirect representation in both Volterra’s and Lotka’s modelling approaches, they are largely due to two (...) other features of contemporary model construction processes that Weisberg does not explicitly consider: the methods-drivenness and outcome-orientedness of modelling. 1Introduction 2Modelling as Indirect Representation 3The Design of the Lotka–Volterra Model by Volterra 3.1Volterra’s method of hypothesis 3.2The construction of the Lotka–Volterra model by Volterra 4The Design of the Lotka–Volterra Model by Lotka 4.1Physical biology according to Lotka 4.2Lotka’s systems approach and the Lotka–Volterra model 5Philosophical Discussion: Strategies and Tools of Modelling 5.1Volterra’s path from the method of isolation to the method of hypothesis 5.2The template-based approach of Lotka 5.3Modelling: methods-driven and outcome-oriented 6Conclusion. (shrink)

Economic models describe individuals in terms of underlying characteristics, such as taste for some good, sympathy level for another player, time discount rate, risk attitude, and so on. In real life, such characteristics change through experiences: taste for Mozart changes through listening to it, sympathy for another player through observing his moves, and so on. Models typically ignore change, not just for simplicity but also because it is unclear how to incorporate change. I introduce a general axiomatic framework for defining, (...) analysing and comparing rival models of change. I show that seemingly basic postulates on modelling change together have strong implications, like irrelevance of the order in which someone has his experiences and ‘linearity’ of change. This is a step towards placing the modelling of change on solid axiomatic grounds and enabling non-arbitrary incorporation of change into economic models. (shrink)

I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are characterised (...) as modelling idealisations motivated normatively. I then survey the landscape of methodological options: what might formal epistemologists be up to? I argue the choice is essentially binary: modelling or theorising. If NFE is theorising it is doing very poorly: generating false claims with no clear methodology for separating out what is to be taken seriously. Modelling, by contrast, is a successful methodology precisely suited to the management of useful falsehoods. Regarding NFE as modelling is not costless, however. First, our normative inferences are less direct and are muddied by the presence of descriptive idealisations. Second, our models are purpose-specific and limited in their scope. I close with suggestions for how to adapt our practice. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

The following considerations concern modelling Belief Dynamics (BD) not just in the sense of a formalization, but rather in the sense of building a computational model and implementing the corresponding data structures and algorithms of recomputing beliefs. The purpose of such a project is to illustrate some ideas about belief changes in a Web of Beliefs (WoB) to explore and deepen one's understanding of belief changes by trying to implement or improve corresponding algorithms.

In the last decade, the UK Government has attempted to implement improved processes and procedures in modelling and analysis in response to the Laidlaw report of 2012 and the Macpherson review of 2013. The Laidlaw report was commissioned after failings during the Intercity West Coast Rail (ICWC) Franchise procurement exercise by the Department for Transport (DfT) that led to a legal challenge of the analytical models used within the exercise. The Macpherson review looked into the quality assurance of Government analytical (...) models in the context of the experience with the Intercity West Coast franchise competition. This paper examines what progress has been made in the 8 years since the Laidlaw report in model building and best practise in government and proposes several recommendations for ways forward. This paper also discusses the Lords Science and Technology Committees of June 2020 that analysed the failings in the modelling of COVID. Despite going on to influence policy, many of the same issues raised within the Laidlaw and Macpherson Reports were also present in the Lords Science and Technology Committee enquiry. We examine the technical and organisational challenges to progress in this area and make recommendations for a way forward. (shrink)

Evolutionary anthropologists and archaeologists have been considerably successful in modelling the cumulative evolution of culture, of technological skills and knowledge in particular. Recently, one of these models has been introduced in the philosophy of science by De Cruz and De Smedt (Philos Stud 157:411–429, 2012), in an attempt to demonstrate that scientists may collectively come to hold more truth-approximating beliefs, despite the cognitive biases which they individually are known to be subject to. Here we identify a major shortcoming in that (...) attempt: De Cruz & De Smedt’s mathematical model makes one particularly strong tractability assumption that causes the model to largely miss its target (namely, truth accumulation in science), and that moreover conflicts with empirical observations. The second, more constructive part of the paper presents an alternative, agent-based model, which allows one to much better examine the conditions for scientific progress and decline. (shrink)

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

A key assumption fuelling optimism about the progress of Large Language Models (LLMs) in modelling the world is that the truth is systematic: true statements about the world form a whole that is not just consistent, in that it contains no contradictions, but cohesive, in that the truths are inferentially interlinked. This holds out the prospect that LLMs might rely on that systematicity to fill in gaps and correct inaccuracies in the training data: consistency and cohesiveness promise to facilitate progress (...) towards comprehensiveness in an LLM’s representation of the world. However, philosophers have identified reasons to doubt that the truth is systematic across all domains of thought, arguing that in normative domains, in particular, the truth is not necessarily systematic. I argue that insofar as the truth in normative domains is asystematic, this renders it correspondingly harder for LLMs to make progress, because they cannot rely on the consistency and cohesiveness of the truth to work towards comprehensiveness. And the less LLMs can rely on the systematicity of truth, the less we can rely on them to do our practical deliberation for us, as there is correspondingly more of a role for human agency in navigating asystematic normative domains. (shrink)

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question of whether (...) there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

In this paper, I examine Reinforcement Learning modelling practice in psychiatry, in the context of alcohol use disorders. I argue that the epistemic roles RL currently plays in the development of psychiatric classification and search for explanations of clinically relevant phenomena are best appreciated in terms of Chang’s account of epistemic iteration, and by distinguishing mechanistic and aetiological modes of computational explanation.

(1) An introduction to the principles of conceptual modelling, combinatorial heuristics and epistemological history; (2) the examination of a number of perennial epistemological-methodological schemata: conceptual spaces and blending theory; ars inveniendi and ars demonstrandi; the two modes of analysis and synthesis and their relationship to ars inveniendi; taxonomies and typologies as two fundamental epistemic structures; extended cognition, cognitio symbolica and model-based reasoning; (3) Plato’s notions of conceptual spaces, conceptual blending and hypothetical-analogical models (paradeigmata); (4) Ramon Llull’s concept analysis and combinatoric (...) spaces; (5) Gottfried Leibniz’s development of compositional analysis and synthesis as a general modelling method and a paradigm for ars inveniendi; (6) Fritz Zwicky’s revival of the morphological method of analysis and construction, and its subsequent computerised applications. (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.

I will present the rationale followed for the conceptualization and the following development the Dual PECCS system that relies on the cognitively grounded heterogeneous proxytypes representational hypothesis. Such hypothesis allows integrating exemplars and prototype theories of categorization and has provided useful insights in the context of cognitive modelling for what concerns the typicality effects in categorization. As argued in [Chella et al., 2017] [Lieto et al., 2018b] [Lieto et al., 2018a] a pivotal role in this respect is played by the (...) use of the conceptual spaces framework and by its integration with a symbolic knowledge representation layer. (shrink)

Vehicle windshield wiper system increases the driving safety by contributing a clear shot viewing to the driver. In this paper, modelling, designing and simulation of a vehicle windshield wiper system with robust control theory is done successfully. H  loop shaping and robust pole placement controllers are used to improve the wiping speed by tracking a reference speed signals. The reference speed signals used in this paper are step and sine wave signals. Comparison of the H  loop shaping and (...) robust pole placement controllers based on the two reference signals is done and convincing results have been obtained. Finally the comparative results prove the effectiveness of the proposed H  Loop Shaping controller to improve the wiping mechanism for the given two reference signals. (shrink)

Culinary products have culinary value. That is, they have value qua culinary products. However, what is the nature of culinary value and what elements determine it? In the light of the central and universal role that culinary products play in our lives, offering a philosophical analysis of culinary value is a matter of interest. This paper attempts to do just this. It develops three different possible models of culinary value, two rather restricted ones and a third more encompassing one, rejects (...) the first two, and defends the third one. (shrink)

The descriptions and theoretical laws scientists write down when they model a system are often false of any real system. And yet we commonly talk as if there were objects that satisfy the scientists’ assumptions and as if we may learn about their properties. Many attempt to make sense of this by taking the scientists’ descriptions and theoretical laws to define abstract or fictional entities. In this paper, I propose an alternative account of theoretical modelling that draws upon Kendall Walton’s (...) ‘make-believe’ theory of representation in art. I argue that this account allows us to understand theoretical modelling without positing any object of which scientists’ modelling assumptions are true. (shrink)

This essay replies to Michael Morreau and Erik J. Olsson’s ‘Learning from Ranters: The Effect of Information Resistance on the Epistemic Quality of Social Network Deliberation’. Morreau and Olsson use simulations to suggest that false ranters—agents who do not update their beliefs and only ever assert false claims—do not diminish the epistemic value of deliberation for other agents and can even be epistemically valuable. They argue conclude that “Our study suggests that including [false] ranters has little or no negative effect (...) on the epistemic value of social deliberation. Including them can even be epistemically beneficial. -/- I present concerns about their model and I enumerate some epistemic values that their discussion omits. I first raise two interrelated worries: (i.) The model is too simple; real-life irresponsible assertors do not speak uniformly falsely, for example. And tracking testifiers’ reliability demands cognitive resources. (ii.) In reality, we do not treat a person’s assertions that p as evidence that not p, especially not for all their assertions. I argue that these simplifications threat Morreau and Olsson conclusion. -/- I then enumerate epistemic values and disvalues that Morreau and Olsson do not discuss, but which bear on the value of false assertions and false ranters in their simulation and in real life. Candidate disvalues include: False beliefs of ranters; cognitive costs of discerning and recalling testifiers’ reliability; distrust; epistemic polarisatin; a prevalence of false assertion can impugn all testimony, including that of reliable testifiers. And candidate values include: a prevalence of true beliefs and assertions; attention being directed towards the right things; well-functioning trust relationships; believing people’s assertions; healthy discussion; epistemic respect; learning together. -/- . (shrink)

Cloud computing (ClC) has become a more popular computer paradigm in the preceding few years. Quality of Service (QoS) is becoming a crucial issue in service alteration because of the rapid growth in the number of cloud services. When evaluating cloud service functioning using several performance measures, the issue becomes more complex and non-trivial. It is therefore quite difficult and crucial for consumers to choose the best cloud service. The user's choices are provided in a quantifiable manner in the current (...) methods for choosing cloud services. Hence, this study attempts to achieve this objective through construction. decision-making framework so-called cloud services evaluator (CSsEv). The main indicator and its sub-indicators are formed as nodes at levels(n) in tree soft sets (TSSs). Thereafter Single Value Neutrosophic Sets (SVNSs) as branch of neutrosophic sets which conjunction with the Multi-Criteria Decision Making (MCDM) technique to facilitate analysis and evaluation process for the available Cloud services providers. Hence, entropy is employed to obtain indicators and sub_indicators weights and Complex Proportional Assessment utilizes these weights to facilitate the decision process of selecting optimal ClSPs. (shrink)

Modelling of Generancy is a book on Indian philosophy. In this book I have tried to express various problems of philosophy in mathematical language. I think mathematics is a language. Everything can be expressed in this language. With the help of mathematics, the published issues are understandable to all. No one has any objection to this. In the realm of knowledge all terms or words are considered categories. This category is again of three types: substance, quality and action. In another (...) way, this category is divided into five parts. These five parts are: Purusa, prakrti, jagat, jnana and karma. These five subjects are known as panchatattva. A total of fifty-five words, including these five words, are discussed in detail in the panchatattva. Fifty-five letters of the Sanskrit alphabet have been used to identify these fifty-five words. I think the problems of the present world are the problems of philosophy and knowledge. If this philosophy or knowledge can be expressed in the language of mathematics, then it will be useful for everyone to understand. Everyone will be aware of their responsibilities. That is what has been tried in this book. (shrink)

Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (e.g. (...) we ask whether they are internal or external, essential or contingent, descriptive or nondescriptive relations). Finally, we provide an ontological modelling of preference relation as a module of a foundational (or upper) ontology (viz. OntoUML). The aim of this paper is to provide a sharable foundational theory of preference relation that foster interoperability across the heterogeneous domains of application of preference relations. (shrink)

People often assume that everyone can be divided by sex/gender (that is, by physical and social characteristics having to do with maleness and femaleness) into two tidy categories: male and female. Careful thought, however, leads us to reject that simple ‘binary’ picture, since not all people fall precisely into one group or the other. But if we do not think of sex/gender in terms of those two categories, how else might we think of it? Here I consider four distinct models; (...) each model correctly captures some features of sex/gender, and so each is appropriate in some contexts. But the first three models are inadequate when tough questions arise, like whether trans women should be admitted as students at a women’s college or when it is appropriate for intersex athletes to compete in women’s athletic events. (‘Trans’ refers to the wide range of people who have an atypical gender identity for someone of their birth-assigned sex, and ‘intersex’ refers to people whose bodies naturally develop with markedly different physical sex characteristics than are paradigmatic of either men or women.) Such questions of inclusion and exclusion matter enormously to the people whose lives are affected by them, but ordinary notions of sex/gender offer few answers. The fourth model I describe is especially designed to make those hard decisions easier by providing a process to clarify what matters. (shrink)

It is now increasingly accepted that many existing biological and medical ontologies can be improved by adopting tools and methods that bring a greater degree of logical and ontological rigor. In this chapter we will focus on the merits of a logically sound approach to ontologies from a methodological point of view. As we shall see, one crucial feature of a logically sound approach is that we have clear and functional definitions of the relational expressions such as ‘is a’ and (...) ‘part of ’. (shrink)

We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of minimal modalities (...) to ensure a number of basic principles. In this way, a viable consistent modelling of collective attitudes is obtained. (shrink)

We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear logic can easily represent bids in combinatorial auctions in which goods may be sold in multiple units, and we show how it naturally generalises several bidding languages familiar from the literature. Moreover, the winner determination problem, i.e., the problem of computing an allocation of goods to bidders producing a certain amount of revenue (...) for the auctioneer, can be modelled as the problem of finding a proof for a particular linear logic sequent. (shrink)

I argue that there are no plausible non-representational explanations of episodes of hallucination. To make the discussion more specific, I focus on visual hallucinations in Charles Bonnet syndrome. I claim that the character of such hallucinatory experiences cannot be explained away non-representationally, for they cannot be taken as simple failures of cognizing or as failures of contact with external reality—such failures being the only genuinely non-representational explanations of hallucinations and cognitive errors in general. I briefly introduce a recent computational model (...) of hallucination, which relies on generative models in the brain, and argue that the model is a prime example of a representational explanation referring to representational mechanisms. The notion of the representational mechanism is elucidated, and it is argued that hallucinations—and other kinds of representations—cannot be exorcised from the cognitive sciences. (shrink)

Predictive processing theories are increasingly popular in philosophy of mind; such process theories often gain support from the Free Energy Principle (FEP)—a nor- mative principle for adaptive self-organized systems. Yet there is a current and much discussed debate about conflicting philosophical interpretations of FEP, e.g., repre- sentational versus non-representational. Here we argue that these different interpre- tations depend on implicit assumptions about what qualifies (or fails to qualify) as representational. We deploy the Free Energy Principle (FEP) instrumentally to dis- tinguish (...) four main notions of representation, which focus on organizational, struc- tural, content-related and functional aspects, respectively. The various ways that these different aspects matter in arriving at representational or non-representational interpretations of the Free Energy Principle are discussed. We also discuss how the Free Energy Principle may be seen as a unified view where terms that tradition- ally belong to different ontologies—e.g., notions of model and expectation versus notions of autopoiesis and synchronization—can be harmonized. However, rather than attempting to settle the representationalist versus non-representationalist debate and reveal something about what representations are simpliciter, this paper demon- strates how the Free Energy Principle may be used to reveal something about those partaking in the debate; namely, what our hidden assumptions about what represen- tations are—assumptions that act as sometimes antithetical starting points in this persistent philosophical debate. (shrink)

A growing body of recent work in informal logic investigates the process of argumentation. Among other things, this work focuses on the ways in which individuals attempt to understand written or verbalised arguments in light of the fact that these are often presented in forms that are incomplete and unmarked. One of its aims is to develop general procedures for natural language argument recognition and reconstruction. Our aim here is to draw on this growing body of knowledge in informal logic (...) in order to take preliminary steps towards developing an architecture for computer systems that are able to recognise and reconstruct natural language arguments. This architecture aims to structure research of an applied and computational nature that strives to implement linguistic systems of various sorts, and to analyse problems in a way that both yields manageable and relatively independent components and also highlights how implementations can interact with existing resources from natural language processing. (shrink)

Until recently philosophy of physics has been overshadowed by the idea that the important philosophical issues that can be derived from physics are related only to fundamental theories, such as quantum mechanics and relativity. Applied fields of physics were deemed as unimportant. The argument for such a position lays in thinking that these applied fields of physics depend in their theoretical representations on fundamental theories and hence are reducible to these fundamental theories. It would be hard to defend such a (...) position, keeping in mind that applied fields of physics have a life of its own totally separate from fundamental physics and have in fact a lot to say to philosophers. The field of polymers is one of the branches of applied physics that has a lot to say to philosophers. It is a field of physics where theoreticians failed to present a coherent theory that can capture the different ways polymers can be built. This paper examines the difficulties that keep theoreticians away from having such a theory, revealing what kind of philosophical lessons polymers might have. The main thesis is: even in the cases where a theory predict the possibility of developing a specific type of polymers that was not previously known, the exact model that represent the outcome polymer theoretically will not be even in principle derivable from the theory that predicted its existence in the first place. (shrink)

Global directional eliminativists deny that there is any global direction to time. This paper provides a way to understand everyday temporal assertions—assertions made outside the physics or metaphysics rooms, the truth of which appears to require that time has a global direction—on the assumption that global directional eliminativism is true.

The purpose of this article is to establish a connection between modelling practices and interpretive approaches in quantum mechanics, taking as a starting point the literature on scientific representation. Different types of modalities play different roles in scientific representation. I postulate that the way theoretical structures are interpreted in this respect affects the way models are constructed. In quantum mechanics, this would be the case in particular of initial conditions and observables. I examine two formulations of quantum mechanics, the standard (...) wave-function formulation and the consistent histories formulation, and show that they correspond to opposite stances, which confirms my approach. Finally, I examine possible strategies for deciding between these stances. (shrink)

Compared with traditional statistics, only a few social scientists employ Bayesian analyses. The existing software programs for implementing Bayesian analyses such as OpenBUGS, WinBUGS, JAGS, and rstanarm can be daunting given that their complex computer codes involve a steep learning curve. In contrast, this paper introduces a new open software for implementing Bayesian network modelling and analysis: the bayesvl R package. The package aims at providing an intuitive gateway for beginners of Bayesian statistics to construct and analyse mathematical models in (...) social sciences... (shrink)

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.

In the view of my philosophical position “nominal conceptualism”, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.

In this paper, an electromechanical mass lifter system is designed, analyzed and compare using optimal and robust control theories. LQR and μ -synthesis controllers are used to improve the lift displacement by comparison method for tracking the desired step and sinusoidal wave signals input. Finally, the comparison simulation result prove the effectiveness of the electromechanical mass lifter system with μ -synthesis controller for improving the rise time, percentage overshoot, settling time and peak value of tracking the desired step displacement signal (...) and improving the peak value for tracking the desired sinusoidal displacement signal with a good performance. (shrink)

In this paper, an electromechanical mass lifter system is designed, analyzed and compare using optimal and robust control theories. LQR and μ -synthesis controllers are used to improve the lift displacement by comparison method for tracking the desired step and sinusoidal wave signals input. Finally, the comparison simulation result prove the effectiveness of the electromechanical mass lifter system with μ -synthesis controller for improving the rise time, percentage overshoot, settling time and peak value of tracking the desired step displacement signal (...) and improving the peak value for tracking the desired sinusoidal displacement signal with a good performance. (shrink)

There is a growing body of literature investigating the impact of retraining and motivation on employee work efficiency. However, little seems to be understood about the effects of employee placement on the commitment of teachers to their jobs. To the best of the researcher's awareness, the partial and composite impact of staff placement, retraining, and motivation on the three aspects of job commitment (affective, continuance and normative) among secondary educators have scarcely been examined. This research was intended to fill this (...) vacuum by using a predictive path modelling approach to analyse the association between these endogenous and exogenous variables. A random sample of 500 secondary school principals was surveyed using two forms of questionnaires. Collected data were analysed and formulated hypotheses tested using Path and multiple linear regression analyses, with the aid of Amos and SPSS packages. Findings indicated that staff placement and motivation were highly predictive of instructors' commitment (at the affective and continuance dimension), but not at the normative dimension; Employee dedication in the three dimensions was not predicted by personnel retraining, but it did result in employee attrition; workers retraining only increased teachers' work commitment when it was augmented with placement and motivation. The combined effect of staff placement, retraining, and motivation was statistically significant in two dimensions of teachers’ job commitment (affective and continuance), but not on the normative dimension. Based on these findings, policy and theoretical ramifications for effective instructional management, assessment, classroom practice, and future study are discussed. (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)

In what follows I propose to bring out certain methodological properties of projects of modelling the tacit realm that bear on the kinds of modelling done in connection with scientific cognition by computer as well as by ethnomethodological sociologists, both of whom must make some claims about the tacit in the course of their efforts to model cognition. The same issues, I will suggest, bear on the project of a cognitive psychology of science as well.

This paper is an expanded written version of my reply to Rosanna Keefe’s paper ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ (Keefe 2015), which in turn is a reply to my paper ‘Columnar higher-order vagueness, or Vagueness is higher-order vagueness’ (Bobzien 2015). Both papers were presented at the Joint Session of the the Aristotelian Society and the Mind Association in July, 2015. At the Joint Session meeting, there was insufficient time to present all of my points in response to Keefe’s (...) paper. In addition, the audio of the session, which is available online, becomes inaudible at the beginning of my reply to Keefe’s comments due to a technical defect. The following is a full version of my remarks. (shrink)

Finding something humorous is intrinsically rewarding and may facilitate emotion regulation, but what creates humour has been underexplored. The present experimental study examined humour generated under controlled conditions with varying social, affective, and cognitive factors. Participants listed five ways in which a set of concept pairs (e.g. MONEY and CHOCOLATE) were similar or different in either a funny way (intentional humour elicitation) or a “catchy” way (incidental humour elicitation). Results showed that more funny responses were produced under the incidental condition, (...) and particularly more for affectively charged than neutral concepts, for semantically unrelated than related concepts, and for responses highlighting differences rather than similarities between concepts. Further analyses revealed that funny responses showed a relative divergence in output dominance of the properties typically associated with each concept in the pair (that is, funny responses frequently highlighted a property high in output dominance for one concept but simultaneously low in output dominance for the other concept); by contrast, responses judged not funny did not show this pattern. These findings reinforce the centrality of incongruity resolution as a key cognitive ingredient for some pleasurable emotional elements arising from humour and demonstrate how it may operate within the context of humour generation. (shrink)

The continued development of General Circulation Models (GCMs) towards increasing resolution and complexity is a predominantly chosen strategy to advance climate science, resulting in channelling of research and funding to meet this aspiration. Yet many other modelling strategies have also been developed and can be used to understand past and present climates, to project future climates and ultimately to support decision-making. We argue that a plurality of climate modelling strategies and an equitable distribution of funding among them would be an (...) improvement on the current predominant strategy for informing policy making. To support our claim, we use a philosophy of science approach to compare increasing resolution and complexity of General Circulation Models with three alternate examples: the use of machine learning techniques, the physical climate storyline approach, and Earth System Models of Intermediate Complexity. We show that each of these strategies prioritises a particular set of methodological aims, among which are empirical agreement, realism, comprehensiveness, diversity of process representations, inclusion of the human dimension, reduction of computational expense, and intelligibility. Thus, each strategy may provide adequate information to support different specific kinds of research and decision questions. We conclude that, because climate decision-making consists of different kinds of questions, many modelling strategies are all potentially useful, and can be used in a complementary way. (shrink)

General Morphological Analysis (GMA) is a method for structuring a conceptual problem space – called a morphospace – and, through a process of existential combinatorics, synthesizing a solution space. As such, it is a basic modelling method, on a par with other scientific modelling methods including System Dynamics Modelling, Bayesian Networks and various types graph-based “influence diagrams”. The purpose of this article is 1) to present the theoretical and methodological basics of morphological modelling; 2) to situate GMA within a broader (...) modelling theoretical framework by developing a (morphological) model representing different modelling methods, and 3) to demonstrate some of the basic modelling techniques that can be carried out with GMA using dedicated computer support. (shrink)

Background: The World Health Organization has endorsed a community-based health insurance scheme (CBHIS) as a shared financing plan to improve access to health services and ensure universal coverage of the healthcare delivery system. Such a contributory scheme is the most likely option to provide health insurance coverage when governments cannot offer direct health care support. Despite improvements in access to current healthcare services, Ethiopia’s healthcare delivery remained low, owing to the country’s underdeveloped healthcare finance system. As a result, the present (...) study assessed CBHIS coverage and its predictors in Ethiopia at the individual and community level. Methods: The availability of CBHIS was checked via a criterion: at least one of the cluster respondents had to be enrolled in CBHIS. This study was based on secondary data from the Ethiopia Mini Demography and Health Survey (EMDHS) 2019 and included 7724 respondents. The study population was described using percentage and frequency. Four multilevel mixed-effects logistic regression modelling stages were performed to control for variations due to heterogeneity across clusters, and determinant predictors of CBHIS enrollment were outplayed. Results: The prevalence of CBHIS enrollment in Ethiopia was 33.13%. Rural residents were 3.218 times (AOR = 3.218; 95% CI: 1.521, 6.809), male household heads were 1.574 times (AOR = 1.574, 95% CI: 1.105, 2.241), getting funds from the safety net program were times 2.062 (AOR = 2.062, 95% CI: 1.297, 3.279), attending the primary educational level was 1.686 times (AOR = 1.686, 95% CI: 1.007, 2.821), bank accounts were 1.373 times (AOR = 1.373, 95% CI: 1.052, 1.792), and wealth index was 1.356 times (AOR = 1.356, 95% CI: 1.001, 1.838) more likely associated with CBHIS coverage, whereas the regions, the other religions, and women aged 20– 24 had lower odds of CBHIS coverage. Conclusion: In Ethiopia, regional healthcare expenditure per capital, religious affiliation, women age range, residents, sex of household head, funds from the safety net program, formal educational level, and having bank accounts were associated with community-based health insurance scheme coverage. (shrink)

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for (...) example, consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

The fate of optimality modeling is typically linked to that of adaptationism: the two are thought to stand or fall together (Gould and Lewontin, Proc Relig Soc Lond 205:581–598, 1979; Orzack and Sober, Am Nat 143(3):361–380, 1994). I argue here that this is mistaken. The debate over adaptationism has tended to focus on one particular use of optimality models, which I refer to here as their strong use. The strong use of an optimality model involves the claim that selection (...) is the only important influence on the evolutionary outcome in question and is thus linked to adaptationism. However, biologists seldom intend this strong use of optimality models. One common alternative that I term the weak use simply involves the claim that an optimality model accurately represents the role of selection in bringing about the outcome. This and other weaker uses of optimality models insulate the optimality approach from criticisms of adaptationism, and they account for the prominence of optimality modeling (broadly construed) in population biology. The centrality of these uses of optimality models ensures a continuing role for the optimality approach, regardless of the fate of adaptationism. (shrink)

Traditional computers work with finite numbers. Situations where the usage of infinite or infinitesimal quantities is required are studied mainly theoretically. In this paper, a recently introduced computational methodology (that is not related to the non-standard analysis) is used to work with finite, infinite, and infinitesimal numbers numerically. This can be done on a new kind of a computer – the Infinity Computer – able to work with all these types of numbers. The new computational tools both give possibilities to (...) execute computations of a new type and open new horizons for creating new mathematical models where a computational usage of infinite and/or infinitesimal numbers can be useful. A number of numerical examples showing the potential of the new approach and dealing with divergent series, limits, probability theory, linear algebra, and calculation of volumes of objects consisting of parts of different dimensions are given. (shrink)

Experimental modeling in biology involves the use of living organisms (not necessarily so-called "model organisms") in order to model or simulate biological processes. I argue here that experimental modeling is a bona fide form of scientific modeling that plays an epistemic role that is distinct from that of ordinary biological experiments. What distinguishes them from ordinary experiments is that they use what I call "in vivo representations" where one kind of causal process is used to stand in (...) for a physically different kind of process. I discuss the advantages of this approach in the context of evolutionary biology. (shrink)