Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements (...) of truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

Paul Cilliers has developed a novel post-structural approach to complexity that has influenced several writers contributing to the current complexity literature. Concomitantly however, Cilliers advocates for modelling complex systems using connectionist neural networks (rather than analytic, rule-based models). In this paper, I argue that it is dilemmic to simultaneously hold these two positions. Cilliers’ post-structural interpretation of complexity states that models of complex systems are always contextual and provisional; there is no exclusive model of complex systems. This sentiment however (...) appears at odds with Cilliers’ promotion of connectionist neural networks as the best way to model complex systems. The lesson is that those who currently follow Cilliers’ post-structural approach to complexity cannot also develop a preferred model of complex systems, and those who currently advocate for some preferred model of complex systems cannot adopt the post-structural approach to complexity without giving up the purported objectivity and/or superiority of their preferred model. (shrink)

In a paper recently published in this journal, Navin and Largent argue in favour of a type of policy to regulate non-medical exemptions from childhood vaccination which they call ‘Inconvenience’. This policy makes it burdensome for parents to obtain an exemption to child vaccination, for example, by requiring parents to attend immunization education sessions and to complete an application form to receive a waiver. Navin and Largent argue that this policy is preferable to ‘Eliminationism’, i.e. to policies that do not (...) allow non-medical exemptions, because Inconvenience has been shown to maintain exemption rates low while not harming parents by forcing them to do something that goes against their beliefs. We argue that it is at least doubtful that Inconvenience is ethically preferable to Eliminationism: while the latter disregards the value of liberty, Inconvenience disregards the value of fairness in the distribution of the burdens entailed by the preservation of a public good like herd immunity. We propose a variant of Inconvenience, which we call ‘Contribution’, which we think is preferable to the versions of Inconvenience discussed by Navin and Largent in that it successfully strikes a balance between the values of parents’ liberty, fairness and expected utility. (shrink)

The sense of agency, that is the sense that one is the agent of one’s bodily actions, is one component of our self-consciousness. Recently, Wegner and colleagues have developed a model of the causal history of this sense. Their model takes it that the sense of agency is elicited for an action when one infers that one or other of one’s mental states caused that action. In their terms, the sense of agency is elicited by the inference to (...) apparent mental state causation. Here, I argue that this model is inconsistent with data from developmental psychology that suggests children can identify the agent behind an action without being capable of understanding the relationship between their intentions and actions. Furthermore, I argue that this model is inconsistent with the preserved sense of agency in autism. In general, the problem is that there are cases where subjects can experience themselves as the agent behind their actions despite lacking the resources to make the inference to apparent mental state causation. (shrink)

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target (...) sets of models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative board). (...) A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

Artificial intelligence (AI) is increasingly expected to disrupt the ordinary functioning of society. From how we fight wars or govern society, to how we work and play, and from how we create to how we teach and learn, there is almost no field of human activity which is believed to be entirely immune from the impact of this emerging technology. This poses a multifaceted problem when it comes to designing and understanding regulatory responses to AI. This article aims to: (i) (...) defend the need for a novel conceptual model for understanding the systemic legal disruption caused by new technologies such as AI; (ii) to situate this model in relation to preceding debates about the interaction of regulation with new technologies (particularly the ‘cyberlaw’ and ‘robolaw’ debates); and (iii) to set out a detailed model for understanding the legal disruption precipitated by AI, examining both pathways stemming from new affordances that can give rise to a regulatory ‘disruptive moment’, as well as the Legal Development, Displacement or Destruction that can ensue. The article proposes that this model of legal disruption can be broadly generalisable to understanding the legal effects and challenges of other emerging technologies. (shrink)

The study aimed to identify the role of administrative procedures and systems in enhancing the performance of the educational institutions in the Islamic University in Gaza. To achieve the research objectives, the researchers used the analytical descriptive approach to collect information. The researchers used the questionnaire distributed to three categories of employees at the Islamic University (senior management, faculty members, their assistants and members of the administrative board). A random sample of 314 employees was selected and 276 questionnaires were retrieved (...) with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter process and analyze data. The results of the research showed a positive role for the administrative procedures and systems in enhancing the performance of the Islamic University from the point of view of the members (senior management, teaching staff and their assistants and the administrative body), where the relative weight of all the paragraphs (73.728%). The analysis of the results revealed that the administrative procedures at the Islamic University in Gaza are used to an acceptable degree. The relative weight of all the paragraphs is 70%. This indicates a relationship between administrative procedures and regulations and the performance of the Islamic University in the Gaza Strip. The study found that there was a good degree of approval from the sample regarding the administrative procedures and their relationship to the job performance. There exist a sufficient degree of powers to the deans and department managers to carry out their tasks, with the use of plans as control tools. And that there are rules and procedures provided for decision-making in the University Council. It also has full powers to manage the university to improve the teaching and learning environment. The researchers also recommended a number of recommendations, including the need to follow up on the procedures and systems of management and update them continuously in the light of changes that may occur and to ensure the existence of a strong system of electronic information systems within the university. There is a need to provide mechanisms for obtaining information about the surrounding external environment, and effective mechanisms to provide managers with the necessary information in a timely manner. The importance of providing channels of communication that enables staff to communicate information about any violations and breaches. The study also recommended the follow-up, review, procedures and administrative systems, and work to modify them in line with the mission of the university and the objectives that the university seeks to reach. (shrink)

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive frames is (...) developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (shrink)

In Rahul Banerjee and Bikas K. Chakrabarti (eds.), Progress in Brain Research, 168: 215-246. Amsterdam: Elsevier. Electronic offprint available upon request.

This essay develops a new conceptual framework of science and engineering ethics education based on virtue ethics and positive psychology. Virtue ethicists and positive psychologists have argued that current rule-based moral philosophy, psychology, and education cannot effectively promote students’ moral motivation for actual moral behavior and may even lead to negative outcomes, such as moral schizophrenia. They have suggested that their own theoretical framework of virtue ethics and positive psychology can contribute to the effective promotion of motivation for self-improvement by (...) connecting the notion of morality and eudaimonic happiness. Thus this essay attempts to apply virtue ethics and positive psychology to science and engineering ethics education and to develop a new conceptual framework for more effective education. In addition to the conceptual-level work, this essay suggests two possible educational methods: moral modeling and involvement in actual moral activity in science and engineering ethics classes, based on the conceptual framework. (shrink)

Background Professional communities such as the medical community are acutely concerned with negligence: the category of misconduct where a professional does not live up to the standards expected of a professional of similar qualifications. Since science is currently strengthening its structures of self-regulation in parallel to the professions, this raises the question to what extent the scientific community is concerned with negligence, and if not, whether it should be. By means of comparative analysis of medical and scientific codes of conduct, (...) we aim to highlight the role of negligence provisions in codes of conduct for scientists, and to discuss the normative consequences for future codes of conduct. -/- Methods We collected scientific and medical codes of conduct in a selection of OECD countries, and submitted each code of conduct to comparative textual analysis. -/- Results Negligence is invariably listed as an infraction of the norms of integrity in medical codes of conduct, but only rarely so in the scientific codes. When the latter list negligence, they typically do not provide any detail on the meaning of ‘negligence’. -/- Discussion Unlike codes of conduct for professionals, current codes of conduct for scientists are largely silent on the issue of negligence, or explicitly exclude negligence as a type of misconduct. In the few cases where negligence is stipulated to constitute misconduct, no responsibilities are identified that would help prevent negligence. While we caution against unreasonable negligence provisions as well as disproportionate sanctioning systems, we do argue that negligence provisions are crucial for justified trust in the scientific community, and hence that there is a very strong rationale for including negligence provisions in codes of conduct. (shrink)

This paper builds a nine-step method for determining whether a straw man fallacy has been committed in a given case or not, by starting with some relatively easy textbook cases and moving to more realistic and harder cases. The paper shows how the type of argument associated with the fallacy can be proved to be a fallacy in a normative argumentation model, and then moves on to the practical task of building a hands-on method for applying the model (...) to real examples of argumentation. Insights from linguistic pragmatics are used to distinguish the different pragmatic processes involved in reconstructing what is said and what is meant by an utterance, and to differentiate strong and weak commitments. In particular, the process of interpretation is analyzed in terms of an abductive pattern of reasoning, based on co-textual and contextual information, and assessable through the instruments of argumentation theory. (shrink)

This paper examines the role of the consensual model in law and argues that if substantive justice is to be the goal of law, the use of individual choice as a legal criterion for distributive and retributive purposes must be curtailed and made subject to substantive considerations. Substantive justice arguably requires that human rights to life, well-being, and the commodities essential to life and well-being, be given priority whenever a societal decision is made. If substantive justice is a collective (...) societal responsibility, the individual cannot be justly rewarded or punished for his or her choices with respect to life, well-being and essential commodities insofar as these choices are justified or excused by standards of substantive justice. Societal conditions and institutional arrangements should be recognized as grounds for justification and excuse because they may impose limits and constraints on the choices available to an individual that are as unavoidable and compelling as those imposed by chance or by another human being. (shrink)

I defend an empirically-oriented approach to the analysis and remediation of social injustice. My springboard for this argument is a debate—principally represented here between Tommie Shelby and Elizabeth Anderson, but with much deeper historical roots and many flowering branches—about whether racial-justice advocacy should prioritize integration (bringing different groups together) or community development (building wealth and political power within the black community). Although I incline toward something closer to Shelby’s “egalitarian pluralist” approach over Anderson’s single-minded emphasis on integration, many of Shelby’s (...) criticisms of integrationism are misguided, and his handling of the empirical literature is profoundly unbalanced. In fact, while both Shelby and Anderson defend the importance of social science to their projects, I’ll argue that each takes a decidedly unempirical approach, which ultimately obscures the full extent of our ignorance about what we can and ought to do going forward. A more authentically empirical tack would be more epistemically humble, more holistic, and less organized around what I’ll call prematurely formulated “Grand Unified Theories of Social Change.” I defend a more “diversified experimentalist” approach, which rigorously tests an array of smaller-scale interventions before trying to replicate and scale up the most promising results. (shrink)

The mental rotation ability is an essential spatial reasoning skill in human cognition and has proven to be an essential predictor of mathematical and STEM skills, critical and computational thinking. Despite its importance, little is known about when and how mental rotation processes are activated in games explicitly targeting spatial reasoning tasks. In particular, the relationship between spatial abilities and TetrisTM has been analysed several times in the literature. However, these analyses have shown contrasting results between the effectiveness of Tetris-based (...) training activities to improve mental rotation skills. In this work, we studied whether, and under what conditions, such ability is used in the TetrisTM game by explicitly modelling mental rotation via an ACT-R based cognitive model controlling a virtual agent. The obtained results show meaningful insights into the activation of mental rotation during game dynamics. The study suggests the necessity to adapt game dynamics in order to force the activation of this process and, therefore, can be of inspiration to design learning activities based on TetrisTM or re-design the game itself to improve its educational effectiveness. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

In this article, I explore the compatibility of inference to the best explanation (IBE) with several influential models and accounts of scientific explanation. First, I explore the different conceptions of IBE and limit my discussion to two: the heuristic conception and the objective Bayesian conception. Next, I discuss five models of scientific explanation with regard to each model’s compatibility with IBE. I argue that Kitcher’s unificationist account supports IBE; Railton’s deductive–nomological–probabilistic model, Salmon’s statistical-relevance model, and van Fraassen’s (...) erotetic account are incompatible with IBE; and Salmon’s causal–mechanical model is merely consistent with IBE. In short, many influential models of scientific explanation do not support IBE. I end by outlining three possible conclusions to draw: (1) either philosophers of science or defenders of IBE have seriously misconstrued the concept of explanation, (2) philosophers of science and defenders of IBE do not use the term ‘explanation’ univocally, and (3) the ampliative conception of IBE, which is compatible with any model of scientific explanation, deserves a closer look. (shrink)

While we completely understood that a binary dwarf companion of the Sun has not been accepted by majority of astronomers, allow us to present some new arguments, along with our own serendipitous encounter with such a binary companion of the Sun. We hope that the present note will be found useful for further investigations, in relation to Planet Nine and such a dwarf star companion of the Sun (sometimes dubbed as Nemesis). Nonetheless, this article is not an exhaustive review of (...) such dwarf companion star theories. (shrink)

Models as Make-Believe offers a new approach to scientific modelling by looking to an unlikely source of inspiration: the dolls and toy trucks of children's games of make-believe.

Simulation models of the Reiterated Prisoner's Dilemma have been popular for studying the evolution of cooperation since more than 30 years now. However, there have been practically no successful instances of empirical application of any of these models. At the same time this lack of empirical testing and confirmation has almost entirely been ignored by the modelers community. In this paper, I examine some of the typical narratives and standard arguments with which these models are justified by their authors despite (...) the lack of empirical validation. I find that most of the narratives and arguments are not at all compelling. None the less they seem to serve an important function in keeping the simulation business running despite its empirical shortcomings. (shrink)

Consensus statement by UK teachers of medical ethics and law.

Should models of consciousness be detailed _mechanistic_ models of particular types of systems, or should they be _minimal_ models that abstract away from the underlying mechanistic details and provide generalisations? Detailed mechanistic models may afford a complete and precise account of consciousness in human beings and other, physiologically similar mammals. But they do not provide a good model of consciousness in other animals, such as non-vertebrates, let alone artificial systems. Minimal models can be applicable to a wide range of (...) different conscious systems. But do they provide genuine explanations that are autonomous from explanations by detailed mechanistic models? This paper provides a taxonomy of minimal models and measures of consciousness, clarifies their relation to detailed mechanistic models, and highlights benefits of different minimalist approaches to consciousness. (shrink)

In this paper I propose an account of representation for scientific models based on Kendall Walton’s ‘make-believe’ theory of representation in art. I first set out the problem of scientific representation and respond to a recent argument due to Craig Callender and Jonathan Cohen, which aims to show that the problem may be easily dismissed. I then introduce my account of models as props in games of make-believe and show how it offers a solution to the problem. Finally, I demonstrate (...) an important advantage my account has over other theories of scientific representation. All existing theories analyse scientific representation in terms of relations, such as similarity or denotation. By contrast, my account does not take representation in modelling to be essentially relational. For this reason, it can accommodate a group of models often ignored in discussions of scientific representation, namely models which are representational but which represent no actual object. (shrink)

How do philosophers of science make use of historical case studies? Are their accounts of historical cases purpose-built and lacking in evidential strength as a result of putting forth and discussing philosophical positions? We will study these questions through the examination of three different philosophical case studies. All of them focus on modeling and on Vito Volterra, contrasting his work to that of other theoreticians. We argue that the worries concerning the evidential role of historical case studies in philosophy are (...) partially unfounded, and the evidential and hermeneutical roles of case studies need not be played against each other. In philosophy of science, case studies are often tied to conceptual and theoretical analysis and development, rendering their evidential and theoretic/hermeneutic roles intertwined. Moreover, the problems of resituating or generalizing local knowledge are not specific to philosophy of science but commonplace in many scientific practices—which show similarities to the actual use of historical case studies by philosophers of science. (shrink)

This book presents a (new) attempt to apply the notion of an underlying logic to Aristotle’s Organon and certain passages of the Metaphysics. The author situates his approach as part of a ‘deductio...

This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. -/- Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows how (...) and why computers, data treatment devices and programming languages have occasioned a gradual but irresistible and massive shift from mathematical models to computer simulations. -/- . (shrink)

Deontological theories face difficulties in accounting for situations involving risk; the most natural ways of extending deontological principles to such situations have unpalatable consequences. In extending ethical principles to decision under risk, theorists often assume the risk must be incorporated into the theory by means of a function from the product of probability assignments to certain values. Deontologists should reject this assumption; essentially different actions are available to the agent when she cannot know that a certain act is in her (...) power, so we cannot simply understand her choice situation as a “risk-weighted” version of choice under certainty. (shrink)

This paper is aimed at understanding one central aspect of Bolzano's views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue that, for Bolzano, a priori knowledge is knowledge by virtue of meaning and that Bolzano has substantial views about meaning and what it is to know the latter. In particular, Bolzano believes that meaning is determined by implicit definition, i.e. the fundamental propositions in a deductive system. I go (...) into some detail in presenting and discussing Bolzano's views on grounding, a priori knowledge and implicit definition. I explain why other aspects of Bolzano's theory and, in particular, his peculiar understanding of analyticity and the related notion of Ableitbarkeit might, as it has invariably in the past, mislead one to believe that Bolzano lacks a significant account oï a priori knowledge. Throughout the paper, I point out to the ways in which, in this respect, Bolzano's antagonistic relationship to Kant directly shaped his own views. (shrink)

One striking feature of the contemporary modelling practice is its interdisciplinary nature. The same equation forms, and mathematical and computational methods, are used across different disciplines, as well as within the same discipline. Are there, then, differences between intra- and interdisciplinary transfer, and can the comparison between the two provide more insight on the challenges of interdisciplinary theoretical work? We will study the development and various uses of the Ising model within physics, contrasting them to its applications to socio-economic (...) systems. While the renormalization group methods justify the transfer of the Ising model within physics – by ascribing them to the same universality class – its application to socio-economic phenomena has no such theoretical grounding. As a result, the insights gained by modelling socio-economic phenomena by the Ising model may remain limited. (shrink)

In this note, we consider a Merton model for default risk, where the firm’s value is driven by a Brownian motion and a compound Poisson process.

This paper discusses critically what simulation models of the evolution of cooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” (1984) and the modeling tradition it has inspired. Hardly any of the many simulation models in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design was fundamentally flawed. (...) At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality. I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. It would be better not to use this kind of simulations at all. (shrink)

To reach sustainability transitions, we must learn to leverage social systems into tipping points, where societies exhibit positive-feedback loops in the adoption of sustainable behavioral and cultural traits. However, much less is known about the most efficient ways to reach such transitions or how self-reinforcing systemic transformations might be instigated through policy. We employ an agent-based model to study the emergence of social tipping points through various feedback loops that have been previously identified to constitute an ecological approach to (...) human behavior. Our model suggests that even a linear introduction of pro-environmental affordances (action opportunities) to a social system can have non-linear positive effects on the emergence of collective pro-environmental behavior patterns. We validate the model against data on the evolution of cycling and driving behaviors in Copenhagen. Our model gives further evidence and justification for policies that make pro-environmental behavior psychologically salient, easy, and the path of least resistance. (shrink)

Many biological investigations are organized around a small group of species, often referred to as ‘model organisms’, such as the fruit fly Drosophila melanogaster. The terms ‘model’ and ‘modelling’ also occur in biology in association with mathematical and mechanistic theorizing, as in the Lotka–Volterra model of predator-prey dynamics. What is the relation between theoretical models and model organisms? Are these models in the same sense? We offer an account on which the two practices are shown to (...) have different epistemic characters. Theoretical modelling is grounded in explicit and known analogies between model and target. By contrast, inferences from model organisms are empirical extrapolations. Often such extrapolation is based on shared ancestry, sometimes in conjunction with other empirical information. One implication is that such inferences are unique to biology, whereas theoretical models are common across many disciplines. We close by discussing the diversity of uses to which model organisms are put, suggesting how these relate to our overall account. 1 Introduction2 Volterra and Theoretical Modelling3 Drosophila as a Model Organism4 Generalizing from Work on Model Organisms5 Phylogenetic Inference and Model Organisms6 Further Roles of Model Organisms6.1 Preparative experimentation6.2 Model organisms as paradigms6.3 Model organisms as theoretical models6.4 Inspiration for engineers6.5 Anchoring a research community7 Conclusion. (shrink)

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of Tarski’s axiom (...) which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

A recent skeptical challenge denies deliberation is essential to virtuous agency: what looks like genuine deliberation is just a post hoc rationalization of a decision already made by automatic mechanisms (Haidt 2001; Doris 2015). Annas’s account of virtue seems well-equipped to respond: by modeling virtue on skills, she can agree that virtuous actions are deliberation-free while insisting that their development requires significant thought. But Annas’s proposal is flawed: it over-intellectualizes deliberation’s developmental role and under-intellectualizes its significance once virtue is acquired. (...) Doing better requires paying attention to a distinctive form of anxiety—one that functions to engage deliberation in the face of decisions that automatic mechanisms alone cannot resolve. (shrink)

Batterman and Rice ([2014]) argue that minimal models possess explanatory power that cannot be captured by what they call ‘common features’ approaches to explanation. Minimal models are explanatory, according to Batterman and Rice, not in virtue of accurately representing relevant features, but in virtue of answering three questions that provide a ‘story about why large classes of features are irrelevant to the explanandum phenomenon’ ([2014], p. 356). In this article, I argue, first, that a method (the renormalization group) they propose (...) to answer the three questions cannot answer them, at least not by itself. Second, I argue that answers to the three questions are unnecessary to account for the explanatoriness of their minimal models. Finally, I argue that a common features account, what I call the ‘generalized ontic conception of explanation’, can capture the explanatoriness of minimal models. (shrink)

. Computational chemistry grew in a new era of “desktop modeling,” which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the epistemic opacity transparency of parameterized methods and the software implementing them. We relate one flame war from the Computational Chemistry mailing List in order to assess in detail the (...) relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are an important and often neglected source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake. (shrink)

I propose a distinct type of robustness, which I suggest can support a confirmatory role in scientific reasoning, contrary to the usual philosophical claims. In model robustness, repeated production of the empirically successful model prediction or retrodiction against a background of independentlysupported and varying model constructions, within a group of models containing a shared causal factor, may suggest how confident we can be in the causal factor and predictions/retrodictions, especially once supported by a variety of evidence framework. (...) I present climate models of greenhouse gas global warming of the 20th Century as an example, and emphasize climate scientists’ discussions of robust models and causal aspects. The account is intended as applicable to a broad array of sciences that use complex modeling techniques. (shrink)

The article presents the results of an interdisciplinary (psychological, behavioral, sociological, urban) survey of residents of elite residential complexes of Odessa regarding theirs urban infrastructure preferences, as well as the degree of satisfaction with their place of residence. It was found that respondents are characterized by a high level of satisfaction with their place of residence. It was also revealed that the security criterion of the district is the main one for choosing a place of residence, which indicates the unmet (...) townspeople need for the general safety of the urban environment. Based on the obtained empirical data, an analysis of significant factors affecting the urban infrastructure preferences of residents from the point of view of the systemic concept of the social ecology of the city is conducted. Obtained data viewed that living in high-rise (multi-storey) buildings correlates with a low level of satisfaction, while low-rise buildings positively correlate with such significant aspects as the view from the window, a small number of neighbors, proximity to the sea, and effective house management. Multivariate regression revealed a positive relationship with such infrastructure objects as shopping and entertainment centers, postal services, places of family leisure, etc., which indicates the dominance of the consumer strategy in the behavior of the city resident. The collected empirical material served as the base for identifying the behavioral trends of the townspeople and allowed to simulate a qualitative profile of the activity of everyday support and personal development. (shrink)

Despite an enormous philosophical literature on models in science, surprisingly little has been written about data models and how they are constructed. In this paper, I examine the case of how paleodiversity data models are constructed from the fossil data. In particular, I show how paleontologists are using various model-based techniques to correct the data. Drawing on this research, I argue for the following related theses: first, the ‘purity’ of a data model is not a measure of its (...) epistemic reliability. Instead it is the fidelity of the data that matters. Second, the fidelity of a data model in capturing the signal of interest is a matter of degree. Third, the fidelity of a data model can be improved ‘vicariously’, such as through the use of post hoc model-based correction techniques. And, fourth, data models, like theoretical models, should be assessed as adequate for particular purposes. (shrink)

In what follows, I will give examples of the sorts of step that can be taken towards spelling out the intuition that, after all, good models might be true. Along the way, I provide an outline of my account of models as ontologically and pragmatically constrained representations. And I emphasize the importance of examining models as functionally composed systems in which different components play different roles and only some components serve as relevant truth bearers. This disputes the standard approach that (...) proceeds by simply counting true and false elements in models in their entirety and concludes that models are false since they contain so many false elements. I call my alternative the functional decomposition approach. (shrink)

Simulation models of the Reiterated Prisoner's Dilemma have been popular for studying the evolution of cooperation since more than 30 years now. However, there have been practically no successful instances of empirical application of any of these models. At the same time this lack of empirical testing and confirmation has almost entirely been ignored by the modelers community. In this paper, I examine some of the typical narratives and standard arguments with which these models are justified by their authors despite (...) the lack of empirical validation. I find that most of the narratives and arguments are not at all compelling. None the less they seem to serve an important function in keeping the simulation business running despite its empirical shortcomings. (shrink)

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)

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

Reading tough books to achieve excellent marks, perform well in class, and gain attention from teachers and parents is less likely to drive students. Students used to evaluate their language learning requirements, define the abilities they wished to develop, pick effective study techniques, and set aside gadgets when studying. They also used to read the question before looking for hints in the relevant content, extract the essential lines that convey the major ideas, concentrate on titles, names, numbers, quotations, or instances, (...) and comprehend the overall context to infer an option. The survey discovered that most of the time, students utilized it to determine the progress of their learning and create learning objectives. It was also found that there was a link between the exogenous variables and the academic performance of students. (shrink)