Die Deutsche Forschungsgemeinschaft (DFG) hat ab 2016 eine neue Forschergruppe unter Leitung der Bergischen Universität Wuppertal eingerichtet. Sie untersucht die Forschungen an der „größten Forschungsmaschine der Welt“, dem Large Hadron Collider (LHC) am Europäischen Zentrum für Teilchenphysik CERN in Genf, aus philosophischer, historischer und soziologischer Sicht. Wissenschaftsphilosophisch sind diese Forschungen vor allem aus drei Gründen relevant: Die Philosophie interessiert sich für den Ursprung und die grundlegenden Strukturen der Welt, für die Bedingungen des Erkenntniserfolges der Elementarteilchenphysik und nicht zuletzt für die (...) mit den Erfolgen mitunter eng verbundenen theoretischen und praktischen Probleme. Die Diskussion dieser Gründe zeigt die Elementarteilchenphysik als eine lebensweltferne, zugleich aber weltbildrelevante, theoretisch wie praktisch äußerst erfolgreiche Disziplin, die dennoch nicht frei von gewichtigen offenen Fragen ist. Sie könnte ein Typus für die Gewinnung von Wissen an den Grenzen unserer Erkenntnis sein. (shrink)

Experiments in particle physics have hitherto failed to produce any significant evidence for the many explicit models of physics beyond the Standard Model (BSM) that had been proposed over the past decades. As a result, physicists have increasingly turned to model-independent strategies as tools in searching for a wide range of possible BSM effects. In this paper, we describe the Standard Model Effective Field Theory (SM-EFT) and analyse it in the context of the philosophical discussions (...) about models, theories, and (bottom-up) effective field theories. We find that while the SM-EFT is a quantum field theory, assisting experimentalists in searching for deviations from the SM, in its general form it lacks some of the characteristic features of models. Those features only come into play if put in by hand or prompted by empirical evidence for deviations. Employing different philosophical approaches to models, we argue that the case study suggests not to take a view on models that is overly permissive because it blurs the lines between the different stages of the SM-EFT research strategies and glosses over particle physicists' motivations for undertaking this bottom-up approach in the first place. Looking at EFTs from the perspective of modelling does not require taking a stance on some specific brand of realism or taking sides in the debate between reduction and emergence into which EFTs have recently been embedded. (shrink)

This article seeks to describe in general terms what has become the standard way of conceptualizing moral injury in the clinical psychological and psychiatric literature, which is the key source for applications of the concept in other domains. What we call “the standard model” draws on certain assumptions about beliefs, mental states, and emotions as well as an implicit theory of causation about how various forms of harm arise from certain experiences or “events” that violate persons’ moral (...) beliefs and systems. Our analysis makes these assumptions more explicit and subjects them to critical scrutiny. In so doing, we survey the current literature and identify basic features of how moral injuries are defined, how they are thought to occur, and the forms of treatment or repair that appear to be indicated. We caution that it matters how moral experience is characterized and argue that an alternative understanding of what is the moral in moral injury is important for overcoming critical challenges to the standard model. Moreover, recently evolving approaches to moral repair could be more consistent with an alternative model. Our concluding suggestion is that a more robust account of the nature of moral experience and its relations to self-identity and social experience more generally could advance understanding of the etiology of moral injury and promote rehabilitation. (shrink)

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k be an inaccessible cardinal then ~Con(ZFC+∃k),[10],11].

In this paper we view the first order set theory ZFC under the canonical frst order semantics and the second order set theory ZFC_2 under the Henkin semantics. Main results are: (i) Let M_st^ZFC be a standard model of ZFC, then ¬Con(ZFC + ∃M_st^ZFC ). (ii) Let M_stZFC_2 be a standard model of ZFC2 with Henkin semantics, then ¬Con(ZFC_2 +∃M_stZFC_2). (iii) Let k be inaccessible cardinal then ¬Con(ZFC + ∃κ). In order to obtain the statements (i) (...) and (ii) examples of the inconsistent countable set in a set theory ZFC + ∃M_stZFC and in a set theory ZFC2 + ∃M_st^ZFC_2 were derived. It is widely believed that ZFC + ∃M_stZFC and ZFC_2 + ∃M_st^ZFC_2 are consistent, i.e. ZFC and ZFC_2 have a standard models. Unfortunately this belief is wrong. Book. Advances in Mathematics and Computer Science Vol. 1 Chapter 3 There is No Standard Model of ZFC and ZFC2 ISBN-13 (15) 978-81-934224-1-0 See Part II of this paper DOI: 10.4236/apm.2019.99034 . (shrink)

The way, in which quantum information can unify quantum mechanics (and therefore the standard model) and general relativity, is investigated. Quantum information is defined as the generalization of the concept of information as to the choice among infinite sets of alternatives. Relevantly, the axiom of choice is necessary in general. The unit of quantum information, a qubit is interpreted as a relevant elementary choice among an infinite set of alternatives generalizing that of a bit. The invariance to the (...) axiom of choice shared by quantum mechanics is introduced: It constitutes quantum information as the relation of any state unorderable in principle (e.g. any coherent quantum state before measurement) and the same state already well-ordered (e.g. the well-ordered statistical ensemble of the measurement of the quantum system at issue). This allows of equating the classical and quantum time correspondingly as the well-ordering of any physical quantity or quantities and their coherent superposition. That equating is interpretable as the isomorphism of Minkowski space and Hilbert space. Quantum information is the structure interpretable in both ways and thus underlying their unification. Its deformation is representable correspondingly as gravitation in the deformed pseudo-Riemannian space of general relativity and the entanglement of two or more quantum systems. The standard model studies a single quantum system and thus privileges a single reference frame turning out to be inertial for the generalized symmetry [U(1)]X[SU(2)]X[SU(3)] “gauging” the standard model. As the standard model refers to a single quantum system, it is necessarily linear and thus the corresponding privileged reference frame is necessary inertial. The Higgs mechanism U(1) → [U(1)]X[SU(2)] confirmed enough already experimentally describes exactly the choice of the initial position of a privileged reference frame as the corresponding breaking of the symmetry. The standard model defines ‘mass at rest’ linearly and absolutely, but general relativity non-linearly and relatively. The “Big Bang” hypothesis is additional interpreting that position as that of the “Big Bang”. It serves also in order to reconcile the linear standard model in the singularity of the “Big Bang” with the observed nonlinearity of the further expansion of the universe described very well by general relativity. Quantum information links the standard model and general relativity in another way by mediation of entanglement. The linearity and absoluteness of the former and the nonlinearity and relativeness of the latter can be considered as the relation of a whole and the same whole divided into parts entangled in general. (shrink)

The main foundations of the standard \CDM model of cosmology are that: the redshifts of the galaxies are due to the expansion of the Universe plus peculiar motions; the cosmic microwave background radiation and its anisotropies derive from the high energy primordial Universe when matter and radiation became decoupled; the abundance pattern of the light elements is explained in terms of primordial nucleosynthesis; and the formation and evolution of galaxies can be explained only in terms of gravitation within (...) a inflation + dark matter + dark energy scenario. Numerous tests have been carried out on these ideas and, although the standard model works pretty well in fitting many observations, there are also many data that present apparent caveats to be understood with it. In this paper, I offer a review of these tests and problems, as well as some examples of alternative models. (shrink)

In response to Stephen Davis’s criticism of our previous essay, we revisit and defend our arguments that the Resurrection hypothesis is logically incompatible with the Standard Model of particle physics—and thus is maximally implausible—and that it cannot explain the sensory experiences of the Risen Jesus attributed to various witnesses in the New Testament—and thus has low explanatory power. We also review Davis’s reply, noting that he evades our arguments, misstates their conclusions, and distracts the reader with irrelevancies regarding, (...) e.g., what natural laws are, what a miracle is, and how “naturalism” and “supernaturalism” differ as worldviews. Contrary to what Davis claims (even in his abstract), we do not argue that “if the Standard Model of particle physics is true, then the resurrection of Jesus did not occur and physical things can only causally interact with other physical things.” Davis distorts our claims and criticizes straw men of his own creation. (shrink)

We present a model of the distribution of labour in science. Such models tend to rely on the mechanism of the invisible hand . Our analysis starts from the necessity of standards in distributed processes and the possibility of multiple standards in science. Invisible hand models turn out to have only limited scope because they are restricted to describing the atypical single-standard case. Our model is a generalisation of these models to J standards; single-standard models such (...) as Kitcher are a limiting case. We introduce and formalise this model, demonstrate its dynamics and conclude that the conclusions commonly derived from invisible hand models about the distribution of labour in science are not robust against changes in the number of standards. (shrink)

The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In (...) fact, standard space models of these forms of awareness are attractively simple. They allow us to prove completeness and decidability results with ease, to carry over standard techniques from decision theory, and to add propositional quantifiers straightforwardly. (shrink)

This article presents important properties of standard discrete distributions and its conjugate densities. The Bernoulli and Poisson processes are described as generators of such discrete models. A characterization of distributions by mixtures is also introduced. This article adopts a novel singular notation and representation. Singular representations are unusual in statistical texts. Nevertheless, the singular notation makes it simpler to extend and generalize theoretical results and greatly facilitates numerical and computational implementation.

The standard model of precedential constraint holds that a court is equally free to modify a precedent of its own and a precedent of a superior court—overruling aside, it does not differentiate horizontal and vertical precedents. This paper shows that no model can capture the U.S. doctrine of precedent without making that distinction. A precise model is then developed that does just that. This requires situating precedent cases in a formal representation of a hierarchical legal structure, (...) and adjusting the constraint that a precedent imposes based on the relationship of the precedent court and the instant court. The paper closes with suggestions for further improvements of the model. (shrink)

The study aimed to identify the availability of the resource and partnership standard as one of the possibilities of excellence in Palestinian universities according to the European model. The study used the analytical descriptive method. The study was conducted on the university leadership at Al - Azhar and Islamic Universities, where the study population consisted of (282) individuals. The study sample consisted of (135) individuals, (119) of them responded, and the questionnaire was used in collecting the data. The (...) study has reached a number of results, the most important of which is the existence of a high standard of resources and partnership in the Palestinian public universities operating in the southern governorates. The fields of the resource and partnership criteria were as follows: (79.8%) management of internal and external partnerships; management of technical resources (technology) (76.4%), Buildings, equipment and resources (76%), Finance Management (72.8%). The study presented a number of recommendations, the most important of which is: Increasing the interest of universities in applying the criteria of resources and partnership as one of the criteria of excellence, increasing the interest of universities in managing finance and obtaining funding for their various activities, periodic maintenance of buildings and equipment and ensuring their suitability to the requirements of the educational process. (shrink)

Standard linguistic analysis of syntax uses the T-model. This model requires the ordering: D-structure > S-structure > LF, where D-structure is the sentences deep structure, S-structure is its surface structure, and LF is its logical form. Between each of these representations there is movement which alters the order of the constituent words; movement is achieved using the principles and parameters of syntactic theory. Psychological analysis of sentence production is usually either serial or connectionist. Psychological serial models do (...) not accommodate the T-model immediately so that here a new model called the P-model is introduced. The P-model is different from previous linguistic and psychological models. Here it is argued that the LF representation should be replaced by a variant of Frege'sA three qualities (sense, reference, and force), called the FregeA representation or F-representation. In the F-representation the order of elements is not necessarily the same as that in LF and it is suggested that the correct ordering is: F-representation > D-structure > S-structure. This ordering appears to lead to a more natural view of sentence production and processing. Within this framework movement originates as the outcome of emphasis applied to the sentence. The requirement that the F-representation precedes the D-structure needs a picture of the particular principles and parameters which pertain to movement of words between representations. In general this would imply that there is a preferred or optimal ordering of the symbolic string in the F-representation. The standard ordering is retained because the general way of producing such an optimal ordering is unclear. In this case it is possible to produce an analysis of movement between LF and D-structure similar to the usual analysis of movement between S-structure and LF. The necessity of analyzing corrupted data suggests that a maximal amount of information about a language's grammar and lexicon is stored. (shrink)

We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical structures, (...) namely, Priest's Collapsing Lemma and Dunn's Theorem in 3-Valued Logic. (shrink)

This paper challenges the conventional wisdom dominating the social sciences and philosophy regarding temporal discounting, the practice of discounting the value of future utility when making decisions. Although there are sharp disagreements about temporal discounting, a kind of standard model has arisen, one that begins with a normative standard about how we should make intertemporal comparisons of utility. This standard demands that in so far as one is rational one discounts utilities at future times with an (...) exponential discount function. Tracing the justification for this standard through economics, philosophy and psychology, I’ll make what I believe is the best case one can for it, showing how a non-arbitrariness assumption and a dominance argument together imply that discounting ought to be exponential. Ultimately, however, I don’t find the case compelling. Non-exponential temporal discounting is often rational. If this is correct, Instead of trying to ‘fix’ non-exponential discounting because it is irrational and associated with negative life outcomes, we might instead focus attention on why the conditions obtain that make such discounting rational. (shrink)

We introduce a novel point of view on the “models as mediators” framework in order to emphasize certain important epistemological questions about models in science which have so far been little investigated. To illustrate how this perspective can help answer these kinds of questions, we explore the use of simplified models in high energy physics research beyond the Standard Model. We show in detail how the construction of simplified models is grounded in the need to mitigate pressing epistemic (...) problems concerning the uncertainty inherent in the present theoretical and experimental contexts. (shrink)

The standard model of cosmology is acclaimed in physics as accurate, robust, well-tested, our best scientific theory of the cosmos, but it has had serious anomalies for a while, including the Hubble tension, anomalous galaxies, and the completely unexplained nature of dark energy and dark matter. And lurking behind it all is the lack of a unified theory: General Relativity (GR) and quantum mechanics (QM) are inconsistent. Now startling new observations by the James Webb Space Telescope (JWST) in (...) 2022 of the early universe present the strongest challenge yet to the standard model, and whispers have started that this shows there is something wrong with the fundamental theory, General Relativity itself. This would be a crisis for cosmology. But haven’t they tested this theory already, and shown it is correct? How could it turn out wrong at this late stage? Here we compare the standard cosmology with an alternative fundamental theory, that has a strikingly different overall cosmological behavior: a simple cyclic expansion function. It is simple and deterministic. There are only two or three general parameters. The interesting result is that this alternative cosmology: (A) closely matches the expansion observed and modelled through the CDM standard model, now going back to red-shifts of 5-15; and (B) it also predicts unexpected early galaxy formation now being reported by the JWST. The point here is not to try to prove this alternative theory however, but rather show how it compares to the conventional cosmology. This show us clearly how weak the empirical evidence for the standard model really is against a counterfactual fundamental theory. Some results established in science are robust against theory change, but we find the standard cosmological model and the implications drawn from it are not robust at all. (shrink)

English is spoken all around the world as it is chosen as the second language to speak within most of the countries. However, from the ancient history of the British to come into this South Asian region, the entrance of English as a speaking language happened. Though, after some centuries, the British went out of the mainland of India, it remains the second-largest spoken language there. Here comes another fact; many words in Standard English changed its form. So, this (...) made the dialects as much as changed that many ones refer to English in India as Indian English. In this present time, though, there are hundreds of languages chosen to speak Indian English that differ in many ways. The characters playing English roles also have a dialect changing of English in somewhat ways. Though the grammars and principal terms of English are still the same for Indian English, deviations came across the spoken language in many attributes. This paper identifies the entrance of English in India, the deviation of dialect change in Indian English with examples of characters still making way to English (Both British and Hollywood) movies with the dialects of Indian English many ways. The paper studies those ways and deviations of words in English in India that they use and call it Indian English. (shrink)

In this paper, I examined whether evidence from the neuroscience of morality supports the standard models of phronesis, i.e., Jubilee and Aretai Centre Models. The standard models explain phronesis as a multifaceted construct based on interaction and coordination among functional components. I reviewed recent neuroscience studies focusing on brain networks associated with morality and their connectivity to examine the validity of the models. Simultaneously, I discussed whether the evidence helps the models address challenges, particularly those from the phronesis (...) eliminativism. Neuroscientific evidence supported the importance of brain networks, i.e., the default mode, salience, and central executive functioning networks, in moral functioning in general. The findings favorably supported the multifaceted and integrative nature of phronesis proposed by the standard models. Finally, I considered how the two models could explain the mechanisms of phronesis more integratively based on neuroscientific findings. At the end of this paper, with the evidence, I proposed several practical ideas to promote the cultivation of phronesis, e.g., the consideration of coordination among components for moral functioning and the use of moral exemplars. (shrink)

According to standard rational choice theory, as commonly used in political science and economics, an agent's fundamental preferences are exogenously fixed, and any preference change over decision options is due to Bayesian information learning. Although elegant and parsimonious, such a model fails to account for preference change driven by experiences or psychological changes distinct from information learning. We develop a model of non-informational preference change. Alternatives are modelled as points in some multidimensional space, only some of whose (...) dimensions play a role in shaping the agentís preferences. Any change in these "motivationally salient" dimensions can change the agent's preferences. How it does so is described by a new representation theorem. Our model not only captures a wide range of frequently observed phenomena, but also generalizes some standard representations of preferences in political science and economics. (shrink)

In most accounts of realization of computational processes by physical mechanisms, it is presupposed that there is one-to-one correspondence between the causally active states of the physical process and the states of the computation. Yet such proposals either stipulate that only one model of computation is implemented, or they do not reflect upon the variety of models that could be implemented physically. -/- In this paper, I claim that mechanistic accounts of computation should allow for a broad variation of (...) models of computation. In particular, some non-standard models should not be excluded a priori. The relationship between mathematical models of computation and mechanistically adequate models is studied in more detail. (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)

Attempts to introduce Gestalt theory into the realm of visual neuroscience are discussed on both theoretical and experimental grounds. To define the framework in which these proposals can be defended, this paper outlines the characteristics of a standard model, which qualifies as a received view in the visual neurosciences, and of the research into natural images statistics. The objections to the standard model and the main questions of the natural images research are presented. On these grounds, (...) this paper defends the view that Gestalt psychology and experimental phenomenology provide a contribution to the research into perception by the construction of phenomenological models for an ecologically meaningful interpretation of the empirical evidence and the hypothetical constructs of the natural image research within the visual neuroscience. A formal framework for the phenomenological models is proposed, wherein Gestalt theoretical principles and empirical evidence are represented in terms of topological properties and relationships, which account for the order and structures that make the environment accessible to observers at a relevant behavioural level. It is finally argued that these models allow us to evaluate the principles and the empirical evidence of various natures which are integrated from different fields into the research into perception, and in particular into visual neurosciences. (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)

Nel corso della seconda metà del XX secolo si è progressivamente svilppata ed affermata una cosmologia “standard”: vedremo in che cosa consiste e come si è costituita. Vedremo anche quali sono i suoi limiti e quali nuove teorie si candidano per superarli. Vorrei comunque chiarire subito che la cosmologia standard, per quanto possano sembrare sorprendenti i suoi risultati (qualche specialista parla di preposterous universe, ovvero di un assurdo universo), si fonda su esperimenti ed osservazioni, ed avrebbe potuto essere (...) falsificata tante volte: ciò non è finora accaduto. Al cuore della cosmologia standard abbiamo quella che viene chiamata “teoria del Big Bang” la quale, offrendo una descrizione quantitativa dell’origine comune e dell’evoluzione di tutto l’universo osservabile, rappresenta una delle grandi conquiste intellettuali del XX secolo. Detto questo, nel quadro della teoria del Big Bang sono ancora possibili molti modelli diversi: soltanto alla fine del XX secolo si è finalmente avuta la convergenza su un modello particolare, che costituisce il modello standard (detto anche concordance model). Che cosa possiamo invece definire come cosmologia non standard? A parte le teorie alternative al Big Bang che appartengono al passato (come quella dello Stato Stazionario), abbiamo oggi teorie che si propongono di andare al di là del Big Bang e di spiegare ciò che la cosmologia standard per sua natura non è in grado di spiegare. Abbiamo così l’inflazione, i modelli di pre-Big Bang, gli universi-brana, il Multiverso, che a livelli diversi si basano su una nuova fisica non verificata sperimentalmente: siamo dunque in un campo altamente speculativo, ricco di ipotesi e molto lontano dalla pratica quotidiana dell’astronomo. In questo contributo cercherò di seguire una traccia storica e, per quanto riguarda la bibliografia, salvo poche eccezioni rimanderò ad una piccola selezione di review e libri nei quali il lettore potrà trovare i riferimenti agli articoli originali e specialistici. Per un’introduzione aggiornata in lingua italiana alla cosmologia, segnalo il testo a livello universitario di Bonometto(2008). (shrink)

Throughout the debate on psi, skeptics have almost universally insisted on different standards for evaluating the evidence, claiming that psi represents a radical departure from our current scientific understanding. Thus, there is considerable ambiguity about what standard of evaluation psi must meet. Little attention has been paid to the possible harm to the integrity of scientific investigation from this resulting inconsistency in testing standards. Some have proposed using a Bayesian framework as an improvement on this dilemma in order to (...) more explicitly model beliefs, assumptions, and background scientific knowledge, especially when evaluating a controversial hypothesis. Recently, Kuhn’s notion of paradigms, which constrains scientific research within bound- aries believed to be most productive, has been incorporated into a Bayesian framework. Within this framework, I explore a likely paradigm or meta-theory used by skeptics that typically constrains research and makes it difficult for psi evidence to be accepted. It appears that such a paradigm would in many respects have difficulty accounting for consciousness, which is fundamental to an understanding of psi. I discuss why psi data are likely to play a key role in making progress in solving the problem of consciousness. Thus, applying different standards of evaluation to psi data is likely counterproductive. (shrink)

Schaffner’s model of theory reduction has played an important role in philosophy of science and philosophy of biology. Here, the model is found to be problematic because of an internal tension. Indeed, standard antireductionist external criticisms concerning reduction functions and laws in biology do not provide a full picture of the limits of Schaffner’s model. However, despite the internal tension, his model usefully highlights the importance of regulative ideals associated with the search for derivational, and (...) embedding, deductive relations among mathematical structures in theoretical biology. A reconstructed Schaffnerian model could therefore shed light on mathematical theory development in the biological sciences and on the epistemology of mathematical practices more generally. *Received November 2006; revised March 2009. †To contact the author, please write to: Philosophy Department, University of California, Santa Cruz, 1156 High St., Santa Cruz, CA 95064; e‐mail: [email protected]. (shrink)

Cancer biology features the ascription of normal functions to parts of cancers. At least some ascriptions of function in cancer biology track local normality of parts within the global abnormality of the aberration to which those parts belong. That is, cancer biologists identify as functions activities that, in some sense, parts of cancers are supposed to perform, despite cancers themselves having no purpose. The present paper provides a theory to accommodate these normal function ascriptions—I call it the Modeling Account of (...) Normal Function (MA). MA comprises two claims. First, normal functions are activities whose performance by the function-bearing part contributes to the self-maintenance of the whole system and, thereby, results in the continued presence of that part. Second, MA holds that models of system-level activities that are (partly) constitutive of self-maintenance are improved by including a representation of the relevant function-bearing part and by making reference to the activity/activities that part performs which contribute(s) to those system-level activities. I contrast MA with two other accounts that seek to explicate the ascription of normal functions in biology, namely, the organizational account and the selected effects account. Both struggle to extend to cancer biology. However, I offer ecumenical readings which allow them to recover some ascriptions of normal function to parts of cancers. So, though I contend that MA excels in this respect, the purpose of this paper is served if it provides materials for bridging the gap between cancer biology, philosophy of cancer, and the literature on function. (shrink)

I argue that ML models used in science function as highly idealized toy models. If we treat ML models as a type of highly idealized toy model, then we can deploy standard representational and epistemic strategies from the toy model literature to explain why ML models can still provide epistemic success despite their lack of similarity to their targets.

In this paper I begin by extending two results of Solovay; the first characterizes the possible Turing degrees of models of True Arithmetic (TA), the complete first-order theory of the standard model of PA, while the second characterizes the possible Turing degrees of arbitrary completions of P. I extend these two results to characterize the possible Turing degrees of m-diagrams of models of TA and of arbitrary complete extensions of PA. I next give a construction showing that the (...) conditions Solovay identified for his characterization of degrees of models of arbitrary completions of PA cannot be dropped (I showed that these conditions cannot be simplified in the paper. (shrink)

According to agent-centered virtue ethics, acting well is not a matter of conforming to agent-independent moral standards, like acting so as to respect humanity or maximize utility. Instead, virtuous agents determine what is called for in their circumstances through good practical reason. This is an attractive view, but it requires a plausible account of how good practical reason works. To that end, some theorists invoke the skill model of virtue, according to which virtue involves essentially the same kind of (...) practical reason as ordinary skills. I contend, however, that ordinary skills provide a plausible and informative model of good practical reason only insofar as they are assessed by agent-independent standards. And so virtue, likewise, must be assessed primarily by agent-independent moral standards, if the skill model is to serve its purpose. I consider how agent-centered virtue ethics might avert this dilemma. But I ultimately suggest proceeding a different way. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms (...) of ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

According to a common conception of legal proof, satisfying a legal burden requires establishing a claim to a numerical threshold. Beyond reasonable doubt, for example, is often glossed as 90% or 95% likelihood given the evidence. Preponderance of evidence is interpreted as meaning at least 50% likelihood given the evidence. In light of problems with the common conception, I propose a new ‘relevant alternatives’ framework for legal standards of proof. Relevant alternative accounts of knowledge state that a person knows a (...) proposition when their evidence rules out all relevant error possibilities. I adapt this framework to model three legal standards of proof—the preponderance of evidence, clear and convincing evidence, and beyond reasonable doubt standards. I describe virtues of this framework. I argue that, by eschewing numerical thresholds, the relevant alternatives framework avoids problems inherent to rival models. I conclude by articulating aspects of legal normativity and practice illuminated by the relevant alternatives framework. (shrink)

In recent years, apparently the Big Bang as described by the Lambda CDM-Standard Model Cosmology has become widely accepted by majority of physics and cosmology communities. Even some people have concluded that it has no serious alternative in horizon. Is that true? First, as we argued elsewhere, Big Bang story relies on singularity. In other words, when we are able to describe the observed data without invoking singularity, then Big Bang model is no longer required. Therefore, here (...) we explore a few alternative stories other than Big Bang story, which most cosmologists believe it is the nearest to Biblical account of creation. We would argue that re-reading of Genesis 1:2 will lead us to another viable story, albeit the alternative has not been developed rigorously as LCDM theories. We also briefly discuss a fluid Maxwell equations of Prof. Tsutomu Kambe based on vortex sound theory. (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)

Depression is a widespread and debilitating disorder, but developing effective treatments has proven challenging. Despite success in animal models, many treatments fail in human trials. While various factors contribute to this translational failure, standardization practices in animal research are often overlooked. This paper argues that certain standardization choices in behavioral neuroscience research on depression can limit the generalizability of results from rodents to humans. This raises ethical and scientific concerns, including animal waste and a lack of progress in treating human (...) patients. To address these issues, animal ethics committees can establish reasonable expectations for preclinical research and highlight the impact of standardization on generalizability. Such efforts can help improve translation from animal models to human patients and ultimately benefit those suffering from depression. (shrink)

The Health Level 7 Reference Information Model (HL7 RIM) is lauded by its authors as ‘the foundation of healthcare interoperability’. Yet even after some 10 years of development work, the RIM is still subject to a variety of logical and ontological flaws which have placed severe obstacles in the way of those who are called upon to develop implementations. We offer evidence that these obstacles are insurmountable and that the time has come to abandon an unworkable paradigm.

This article argues that common intuitions regarding (a) the specialness of ‘use-novel’ data for confirmation and (b) that this specialness implies the ‘no-double-counting rule’, which says that data used in ‘constructing’ (calibrating) a model cannot also play a role in confirming the model’s predictions, are too crude. The intuitions in question are pertinent in all the sciences, but we appeal to a climate science case study to illustrate what is at stake. Our strategy is to analyse the intuitive (...) claims in light of prominent accounts of confirmation of model predictions. We show that on the Bayesian account of confirmation, and also on the standard classical hypothesis-testing account, claims (a) and (b) are not generally true; but for some select cases, it is possible to distinguish data used for calibration from use-novel data, where only the latter confirm. The more specialized classical model-selection methods, on the other hand, uphold a nuanced version of claim (a), but this comes apart from (b), which must be rejected in favour of a more refined account of the relationship between calibration and confirmation. Thus, depending on the framework of confirmation, either the scope or the simplicity of the intuitive position must be revised. (shrink)

This paper continues and extensive exploration of the QG and TOE resulting from the PF interpretation of QM. Some highlights are an exploration of symmetries of the Standard Model, outlines of testable predictions of implications for QG, that this theory can simultaneously give an account of dark matter and dark energy, probabilities and statevector collapse vs. gravity, applications of the causal interaction tensor Cαβγδ(Fi, Fj). Note the first section mentions qualia but this is not a psychological theory this (...) is an ontic theory. (shrink)

I consider the field of aesthetics to be at its most productive and engaging when adopting a broadly philosophically informative approach to its core issues (e.g., shaping and testing putative art theoretic commitments against the relevant standard models employed in philosophy of language, metaphysics, and philosophy of mind) and to be at its most impotent and bewildering when cultivating a philosophically insular character (e.g., selecting interpretative, ontological, or conceptual models solely for fit with pre-fixed art theoretic commitments). For example, (...) when philosophical aesthetics tends toward insularity, we shouldn’t be surprised to find standard art-ontological categories incongruous with those standardly employed in contemporary metaphysics. Of course, when contemporary metaphysics tends to ignore aesthetic and art theoretic concerns, perhaps we likewise shouldn’t be surprised to find the climate of contemporary metaphysics inhospitable for a theory of art. While this may seem to suggest at least a prima facie tension between our basic art theoretic commitments considered from within philosophical aesthetics and our standard ontological commitments considered from without, I think any perceived tension or antagonism largely due to metaphysicians and aestheticians (at least implicitly) assuming there to be but two available methodological positions with respect to the relationship between contemporary metaphysics and philosophical aesthetics (in the relevant overlap areas). I call these two opposing views the Deference View and the Independence View. I argue that either view looks to lead to what I call the Paradox of Standards. (shrink)

We present a cosmological model (RL+) that offers exact predictions for the Hubble constant, the cosmological constant, the total energy density of the universe, and a curvature that matches current observational constraints. The model predicts a cosmological constant energy density that constitutes approximately 64% of the total energy budget, in agreement with current estimates from the standard LCDM model. Furthermore, the model addresses several longstanding cosmological problems—namely, the problem of infinite initial density, the coincidence problem, (...) and the flatness problem—all with the introduction of a single temporal parameter. (shrink)

Artificial models of cognition serve different purposes, and their use determines the way they should be evaluated. There are also models that do not represent any particular biological agents, and there is controversy as to how they should be assessed. At the same time, modelers do evaluate such models as better or worse. There is also a widespread tendency to call for publicly available standards of replicability and benchmarking for such models. In this paper, I argue that proper evaluation ofmodels (...) does not depend on whether they target real biological agents or not; instead, the standards of evaluation depend on the use of models rather than on the reality of their targets. I discuss how models are validated depending on their use and argue that all-encompassing benchmarks for models may be well beyond reach. (shrink)

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

The five studies of this special section investigate the role of models and similar representational tools in interdisciplinarity. These studies were all written by philosophers of science, who focused on interdisciplinary episodes between disciplines and sub-disciplines ranging from physics, chemistry and biology to the computational sciences, sociology and economics. The reasons we present these divergent studies in a collective form are three. First, we want to establish model-exchange as a kind of interdisciplinary event. The five case studies, which are (...) summarized in Section 2 below, show the relevance of this kind. Arguing for the relative unity of these cases will, we hope, re-orient the current debate over interdisciplinarity so as to reflect more appropriately the importance of this kind. We discuss our view of the current state of the debate in Section 3. The evidence from these cases also helps us to develop a taxonomy of interdisciplinary model exchanges in Section 4da taxonomy, we would like to add, that might be useful for the discussion of interdisciplinary exchanges beyond the context of models and their transfer. The second reason for presenting these studies together is that they provide an important source of evidence for the philosophy of science. Over the last three decades, philosophy of science has increasingly differentiated into philosophies of various disciplines. This differentiation in our view has greatly increased our understanding of the scientific practices of the respective disciplines, including the epistemological and methodological standards and conventions on which these practices are based and by which they are evaluated. But it has also made it harder to compare these practices and standards across disciplines. The studies we present here are case studies of interdisciplinary exchange: they focus on the transfer, collaborative construction or parallel use of models and similar representational tools. They therefore provide a unique opportunity to investigate various disciplinary treatments of the same or at least similar representational tools. This allows the identification and comparison of different disciplinary practices and their underlying conventions as well as of the respective normative standards of their evaluation. By tracing the paths along which models travel between disciplines and research fields we can observe to which extent discipline-external practices associated with an adopted tool are retained or replaced by disciplineinternal practices. This generates invaluable information about both disciplinarity and interdisciplinarity. We develop this argument further in Section 5. The third reason for presenting these studies in collective form is that their philosophical analysis also has important normative implications for the notion of interdisciplinarity itself. Too often in the current (non-philosophical) discourse is interdisciplinarity cast as an exclusively integrative project: interdisciplinary exchange is often claimed to be successful only if the involved disciplines become mutually more integrated as a consequence of this process. In contrast to this, many of the cases presented here show that interdisciplinary exchange can be scientifically highly successful, even if at the end of the exchange disciplinary borders remain fully intact. Indeed, borders can be fruitfully crossed without any integration across these borders. Such considerations of divergence in scientific practices and tools offer arguments against a naïve plea for unitarian or non-pluralist versions of interdisciplinarity. Disciplinary divergences may have their justifications, and attempting exchanges that require the reduction of these divergences may consequently not be justified. We pursue this argument further in Section 6. (shrink)

Building upon Nancy Cartwright's discussion of models in How the Laws of Physics Lie, this paper addresses solid state research in transition metal oxides. Historical analysis reveals that in this domain models function both as the culmination of phenomenology and the commencement of theoretical explanation. Those solid state chemists who concentrate on the description of phenomena pertinent to specific elements or compounds assess models according to different standards than those who seek explanation grounded in approximate applications of the Schroedinger equation. (...) Accurate accounts of scientific debate in this field must include both perspectives. (shrink)

An expected utility model of individual choice is formulated which allows the decision maker to specify his available actions in the form of controls (partial contingency plans) and to simultaneously choose goals and controls in end-mean pairs. It is shown that the Savage expected utility model, the Marschak- Radner team model, the Bayesian statistical decision model, and the standard optimal control model can be viewed as special cases of this goal-control expected utility model.

A standard way of representing causation is with neuron diagrams. This has become popular since the influential work of David Lewis. But it should not be assumed that such representations are metaphysically neutral and amenable to any theory of causation. On the contrary, this way of representing causation already makes several Humean assumptions about what causation is, and which suit Lewis’s programme of Humean Supervenience. An alternative of a vector diagram is better suited for a powers ontology. Causation should (...) be understood as connecting property types and tokens where there are dispositions towards some properties rather than others. Such a model illustrates how an effect is typically polygenous: caused by many powers acting with each other, and sometimes against each other. It models causation as a tendency towards an effect which can be counteracted. The model can represent cases of causal complexity, interference, over-determination and causation of absence (equilibrium). (shrink)