Philosophy of Science; Ukraine; Polysytemic nature of theories; Practical theories; Subsystems of a theory.

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)

In this paper we investigate computable models of -categorical theories and Ehrenfeucht theories. For instance, we give an example of an -categorical but not -categorical theory such that all the countable models of except its prime model have computable presentations. We also show that there exists an -categorical but not -categorical theory such that all the countable models of except the saturated model, have computable presentations.

Though formal metascience has made rapid advances over the past few decades, it has seldom been seen to contribute much to the rational reconstruction of scientic development; for the most part, logical concepts have found application in the synchronic analysis of scientic theories. It should be important, therefore, to consider to what extent diachronic or dynamic aspects of scientic theorizing may also be captured within the connes of a formal metascientic framework, and what tools are best suited for constructing (...) a general model of theory dynamics. (shrink)

In the following paper we propose a model-theoretical way of comparing the “strength” of various truth theories which are conservative over PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Let Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {Th}}$$\end{document} denote the class of models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admit an expansion to a model of theory Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${ Th}$$\end{document}. We show that PA⊃TB⊃RS⊃UTB⊇CT-,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} {{\mathfrak {PA}}}\supset {\mathfrak {TB}}\supset {{\mathfrak {RS}}}\supset {\mathfrak {UTB}}\supseteq \mathfrak {CT^-}, \end{aligned}$$\end{document}where PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {PA}}$$\end{document} denotes simply the class of all models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} and RS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {RS}}$$\end{document} denotes the class of recursively saturated models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Our main original result is that every model of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admits an expansion to a model of CT-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ CT ^-$$\end{document}, admits also an expansion to a model of UTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ UTB $$\end{document}. Moreover, as a corollary to one of the results we conclude that UTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ UTB $$\end{document} is not relatively interpretable in TB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ TB $$\end{document}, thus answering the question from Fujimoto. (shrink)

This essay is an attempt to consider dynamic aspects of scientific theorising from a formal perspective. Our emphasis will be on the aims and methods for constructing formal models of theory dynamics which will be conceived from a general or 'theoretical' rather than 'applied' standpoint.

Two decades of critique have sensitized historians and philosophers of science to the inadequacies of conventional dichotomies between theory and practice, thereby prompting the search for new ways of writing about science that are less beholden than the old ways to the epistemological mores of theoretical physics, and more faithful to the actual practices not only of physics but of all the natural sciences. The need for alternative descriptions seems particularly urgent if one is to understand the place of theory (...) (and, in parallel, the role of modeling) in contemporary molecular biology, a science where, until now, no division between theory and experiment has obtained, and where distinctions between representing and intervening, and more generally, between basic and applied science, are daily becoming more blurred. Indeed, the very division between theory and experiment threatens to slight the extensive and sophisticated theoretical analyses (and even modeling) on which experimental work in contemporary molecular biology so often depends. My aim in this paper is to find a way of talking about theoretical practices in biology that is directly rooted in the mix of conceptual and material work that biologists do. As an example of such theoretical practices, I choose for the focus of my analysis the development of a model for gene regulation out of the experimental work of Eric Davidson and his colleagues at Cal Tech. (shrink)

Working in Z + KP, we give a new proof that the class of hereditarily finite sets cannot be proved to be a set in Zermelo set theory, extend the method to establish other failures of replacement, and exhibit a formula Φ(λ, a) such that for any sequence $\langle A_{\lambda} \mid \lambda \text{a limit ordinal} \rangle$ where for each $\lambda, A_{\lambda} \subseteq ^{\lambda}2$ , there is a supertransitive inner model of Zermelo containing all ordinals in which for every λ (...) A λ = {α ∣Φ(λ, a)}. (shrink)

Most theories of learning would predict a gradual acquisition and refinement of skills as learning progresses, and while some highlight exponential growth, this fails to explain why natural cognitive development typically progresses in stages. Models that do span multiple developmental stages typically have parameters to “switch” between stages. We argue that by taking an embodied view, the interaction between learning mechanisms, the resulting behavior of the agent, and the opportunities for learning that the environment provides can account for the (...) stage-wise development of cognitive abilities. We summarize work relevant to this hypothesis and suggest two simple mechanisms that account for some developmental transitions: neural readiness focuses on changes in the neural substrate resulting from ongoing learning, and perceptual readiness focuses on the perceptual requirements for learning new tasks. Previous work has demonstrated these mechanisms in replications of a wide variety of infant language experiments, spanning multiple developmental stages. Here we piece this work together as a single model of ongoing learning with no parameter changes at all. The model, an instance of the Epigenetic Robotics Architecture embodied on the iCub humanoid robot, exhibits ongoing multi-stage development while learning pre-linguistic and then basic language skills. (shrink)

In [12], Ernst Zermelo described a succession of models for the axioms of set theory as initial segments of a cumulative hierarchy of levelsUαVα. The recursive definition of theVα's is:Thus, a little reflection on the axioms of Zermelo-Fraenkel set theory shows thatVω, the first transfinite level of the hierarchy, is a model of all the axioms ofZFwith the exception of the axiom of infinity. And, in general, one finds that ifκis a strongly inaccessible ordinal, thenVκis a model of (...) all of the axioms ofZF. Doubtless, when cast as a first-order theory,ZFdoes not characterize the structures 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal, by the Löwenheim-Skolem theorem. Still, one of the main achievements of [12] consisted in establishing that a characterization of these models can be attained when one ventures into second-order logic. For let second-orderZFbe, as usual, the theory that results fromZFwhen the axiom schema of replacement is replaced by its second-order universal closure. Then, it is a remarkable result due to Zermelo that second-orderZFcan only be satisfied in models of the form 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal. (shrink)

The commensurability of two theories can be defined (relative to a given set of questions) as the ratio of the total information of their shared answers to the total information of the answers yielded by the two theories combined. Answers should be understood here as model consequences (in the sense of the author's earlier papers), not deductive consequences. This definition is relative to a given model of the joint language of the theories, but can be (...) generalized to sets of models. It turns out to capture also the idea of incommensurability as conceptual alienation. Incommensurability so defined does not imply incomparability. (shrink)

The official view of theory testing in the philosophy of science, the deductive model, does not reflect the way ambiguous, vague and ill formulated theories are tested. A new model of theory testing, the explicative model, is outlined which reflects how such theories are tested. This model is illustrated in the actual testing of psychoanalysis, a typical case of an ambiguous, vague and ill formulated theory and is contrasted with Kuhn's notion of the articulation (...) of a paradigm. (shrink)

Theories and models are not equivalent. I argue that an orientation towards models as a primary carrier of nursing knowledge overcomes many ongoing challenges in philosophy of nursing science, including the theory–practice divide and the paradoxical pursuit of predictive theories in a discipline that is defined by process and a commitment to the non‐reducibility of the health/care experience. Scientific models describe and explain the dynamics of specific phenomenon. This is distinct from theory, which is traditionally defined as propositions (...) that explain and/or predict the world. The philosophical case has been made against theoretical universalism, showing that a theory can be true in its domain, but that no domain is universal. Subsequently, philosophers focused on scientific models argued that they do the work of defining the boundary conditions—the domain(s)—of a theory. Further analysis has shown the ways models can be constructed and function independent of theory, meaning models can comprise distinct, autonomous “carriers of scientific knowledge.” Models are viewed as representations of the active dynamics, or mechanisms, of a phenomenon. Mechanisms are entities and activities organized such that they are productive of regular changes. Importantly, mechanisms are by definition not static: change may alter the mechanism and thereby alter or create entirely new phenomena. Orienting away from theory, and towards models, focuses scholarly activity on dynamics and change. This makes models arguably critical to nursing science, enabling the production of actionable knowledge about the dynamics of process and change in health/care. I briefly explore the implications for nursing—and health/care—knowledge and practice. (shrink)

Is realism in political theory compatible with utopianism? This article shows that it is, by reconstructing a highly restrictive realist approach to political theory for guiding legislation and public policy, drawn from the work of Adam Smith, and showing how it can accommodate Piketty’s utopian proposal for a global tax on capital. This shows not only that realism and utopianism are compatible; but how realist and utopian political theory can be carried out in concrete cases. This moves debates to more (...) interesting questions of which forms of utopianism are permissible within which forms of realism; contributes to moving the contemporary realism debates from a Methodenstreit to questions of how it can and ought to be done; and contributes to an important contemporary debate about the permissibility of utopian proposals for political and economic reform in general and Piketty’s proposed global tax on capital in particular. (shrink)

In this article I investigate the phenomenon of minimum and minimal models of second-order set theories, focusing on Kelley–Morse set theory KM, Gödel–Bernays set theory GB, and GB augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of ZFC has a minimum GBC-realization if and only if it admits a parametrically definable global well order. (2) Countable models of GBC admit minimal extensions with the same sets. (3) There is (...) no minimum transitive model of KM. (4) There is a minimum β-model of GB+ETR. The main question left unanswered by this article is whether there is a minimum transitive model of GB+ETR. (shrink)

A key component of research on human sentence processing is to characterize the processing difficulty associated with the comprehension of words in context. Models that explain and predict this difficulty can be broadly divided into two kinds, expectation‐based and memory‐based. In this work, we present a new model of incremental sentence processing difficulty that unifies and extends key features of both kinds of models. Our model, lossy‐context surprisal, holds that the processing difficulty at a word in context is (...) proportional to the surprisal of the word given a lossy memory representation of the context—that is, a memory representation that does not contain complete information about previous words. We show that this model provides an intuitive explanation for an outstanding puzzle involving interactions of memory and expectations: language‐dependent structural forgetting, where the effects of memory on sentence processing appear to be moderated by language statistics. Furthermore, we demonstrate that dependency locality effects, a signature prediction of memory‐based theories, can be derived from lossy‐context surprisal as a special case of a novel, more general principle called information locality. (shrink)

An important, but relatively neglected, aspect of human theory of mind is emotion inference: understanding how and why a person feels a certain why is central to reasoning about their beliefs, desires and plans. The authors review recent work that has begun to unveil the structure and determinants of emotion inference, organizing them within a unified probabilistic framework.

Robert Merton's essays on theories of the middle range and his essays on functional explanation and the structural approach are among the most influential in the history of sociology. But their import is a puzzle. He explicitly allied himself with some of the most extreme scientistic formalists and contributed to and endorsed the Columbia model of theory construction. But Merton never responded to criticisms by Ernest Nagel of his arguments or acknowledged the rivalry between Lazarsfeld and Herbert Simon, (...) rarely cited the philosophical and methodological literature, and responded to critics with ambiguous concessions, leaving the Mertonian legacy profoundly ambiguous. Key Words: Robert Merton • Paul Lazarsfeld • theory construction • middle range theory • causal modeling • Émile Durkheim. (shrink)

One of the vividly discussed topics in the contemporary philosophy of science (especially physics) is the opposition between realism and Anti-Realism. The supporters of the first way of thinking trust in the objective existence of realities studied by science. They consider theories as approximate descriptions of these realities (Psillos 1999, xvii), whereas their opponents do not. However, both sides base their argumentation on simplified notions of scientific theories. In this paper, we present a more general approach, which can (...) be coined as “Theoretical Physics Realism” (TPR). It is based on the detailed reconstruction of the polysystemic nature of physical theories. The consequences of this reconstruction for understanding the genuine relationship between theories and experiments in studying the realities are indicated. The paper distinguishes between abstract (general) and domain-dependent theories and appeals to specific physical theories together with their application domains rather than to general speculations. (shrink)

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-Löf type theory. This is done by showing that the comprehension category associated with a type-theoretic algebraic weak factorisation system satisfies the assumptions necessary to apply a right adjoint method for splitting comprehension categories. We then provide methods for constructing several examples of type-theoretic algebraic weak factorisation systems, encompassing the existing groupoid and cubical sets models, as well as new models based on normal (...) fibrations. (shrink)

Formal models of theory contraction entered the philosophicalliterature with the prototype model by Alchourrón, Gärdenfors,and Makinson (Alchourrón et al. 1985). One influential modelinvolves theory contraction with respect to a relation calledepistemic entrenchment which orders the propositions of a theoryaccording to their relative degrees of theoretical importance.Various postulates have been suggested for characterizingepistemic entrenchment formally. I argue here that threesuggested postulates produce inappropriately bizarre results whenapplied to scientific theories. I argue that the postulates callednoncovering, continuing up, and continuing down, (...) implyrespectively that, (i) no scientific law is more epistemicallyentrenched than any of its instances, (ii) two distinct instances ofthe same scientific law must have different degrees of epistemicentrenchment, and (iii) any two scientific laws must have differentdegrees of epistemic entrenchment. I also argue that continuingup and continuing down each lead to incoherency. (shrink)

Honoring the centennial of Sigmund Freud’s seminal paper _Mourning and Melancholia, New Models of Bereavement Theory and Treatment: New Mourning _is a major contribution to our culture’s changing view of bereavement and mourning, identifying flaws in old models and offering a new, valid and effective approach. George Hagman and his fellow contributors bring together key psychoanalytic texts from the past 20 years, exploring contemporary research, clinical practice and model building relating to the problems of bereavement, mourning and grief. They (...) propose changes to the asocial, intra-psychic nature of the standard analytic model of mourning, changes compatible with contemporary psychoanalytic theory and practice. Arguing that the most important goal of mourning is often to preserve, rather than give up the relationship to the deceased, this book provides a more positive, hopeful model. Crucially, it emphasizes the importance of mourning together, rather than alone. New Models of Bereavement Theory and Treatment: New Mourning will be the go-to resource for researchers, clinicians and interested lay people seeking a clear, accessible overview of contemporary mourning theory, useful in their daily lives and in clinical practice. It will appeal to psychoanalysts, psychotherapists, grief counsellors, as well teachers, undergraduates and advanced students studying in the field. (shrink)

I provide a theory of causation within the causal modeling framework. In contrast to most of its predecessors, this theory is model-invariant in the following sense: if the theory says that C caused (didn't cause) E in a causal model, M, then it will continue to say that C caused (didn't cause) E once we've removed an inessential variable from M. I suggest that, if this theory is true, then we should understand a cause as something which transmits (...) deviant or non-inertial behavior to its effect. (shrink)

Most theories of learning would predict a gradual acquisition and refinement of skills as learning progresses, and while some highlight exponential growth, this fails to explain why natural cognitive development typically progresses in stages. Models that do span multiple developmental stages typically have parameters to “switch” between stages. We argue that by taking an embodied view, the interaction between learning mechanisms, the resulting behavior of the agent, and the opportunities for learning that the environment provides can account for the (...) stage‐wise development of cognitive abilities. We summarize work relevant to this hypothesis and suggest two simple mechanisms that account for some developmental transitions: neural readiness focuses on changes in the neural substrate resulting from ongoing learning, and perceptual readiness focuses on the perceptual requirements for learning new tasks. Previous work has demonstrated these mechanisms in replications of a wide variety of infant language experiments, spanning multiple developmental stages. Here we piece this work together as a single model of ongoing learning with no parameter changes at all. The model, an instance of the Epigenetic Robotics Architecture (Morse et al 2010) embodied on the iCub humanoid robot, exhibits ongoing multi‐stage development while learning pre‐linguistic and then basic language skills. (shrink)

Working in Z + KP, we give a new proof that the class of hereditarily finite sets cannot be proved to be a set in Zermelo set theory, extend the method to establish other failures of replacement, and exhibit a formula $\Phi$ such that for any sequence $\langle A_{\lambda} \mid \lambda \text{a limit ordinal} \rangle$ where for each $\lambda, A_{\lambda} \subseteq ^{\lambda}2$, there is a supertransitive inner model of Zermelo containing all ordinals in which for every $\lambda A_{\lambda} = (...) \{\alpha \mid\Phi\}$. (shrink)

The principle of economy favours the theory which gives the most accurate predictions; of two equally accurate theories, economy favours the one which incorporates least metaphysics. The intention is to show that were metaphysical commitments of theories openly acknowledged and simplicity and other virtues generally accepted as judges in theory choice, the progress rate of science would likely become more optimal.

A model-theoretic realist account of science places linguistic systems and their corresponding non-linguistic structures at different stages or different levels of abstraction of the scientific process. Apart from the obvious problem of underdetermination of theories by data, philosophers of science are also faced with the inverse (and very real) problem of overdetermination of theories by their empirical models, which is what this article will focus on. I acknowledge the contingency of the factors determining the nature – and (...) choice – of a certain model at a certain time, but in my terms, this is a matter about which we can talk and whose structure we can formalise. In this article a mechanism for tracing "empirical choices" and their particularized observational-theoretical entanglements will be offered in the form of Yoav Shoham's version of non-monotonic logic. Such an analysis of the structure of scientific theories may clarify the motivations underlying choices in favor of certain empirical models (and not others) in a way that shows that "disentangling" theoretical and observation terms is more deeply model-specific than theory-specific. This kind of analysis offers a method for getting an articulable grip on the overdetermination of theories by their models – implied by empirical equivalence – which Kuipers' structuralist analysis of the structure of theories does not offer. (shrink)

According to the "confrontation model," integrated history and philosophy of science operates like an empirical science. It tests philosophical accounts of science against historical case studies much like other sciences test theory against data. However, the confrontation model's critics object that historical facts can neither support generalizations nor genuinely test philosophical theories. Here I argue that most of the model's defects trace to its usual framing in terms of two problematic accounts of empirical inference: the hypothetico-deductive (...) method and enumerative induction. This framing can be taken to suggest an unprofitable one-off confrontation between particular historical facts and general philosophical theories. I outline more recent accounts of empirical inquiry, which describe an iterative back-and-forth movement between concrete empirical exemplars to their abstract descriptions. Reframed along similar lines, the confrontation model continues to offer both conceptual insight and practical guidance for a naturalized philosophy of science. (shrink)

Synthesizing self‐regulatory theories, we provide new insights into the antecedents of abusive supervision. We, from the perspective of supervisor's self‐regulatory resources depletion or impairment, introduce supervisor hindrance stress as an underlying mechanism of the subordinate deviance–abusive supervision relationship: this mediated relationship will be intensified at the level of high subordinate job performance. In addition, we develop a complex contingency model and propose a three‐way interaction (i.e., subordinate deviance, job performance, supervisor outcome dependence) to obtain the complete understanding of (...) the subordinate deviance–abusive supervision relationship facilitated through the supervisors’ hindrance stress. To test our moderated moderated mediation model, we gathered time‐lagged and multisource data from a large food service company located in southern China. We collected data at two different points (i.e., Time 1 and Time 2) from supervisors and their direct reports (N = 298 responses from 68 supervisors and 298 direct reports), and findings provide support for the hypothesized moderated moderated mediation model of our study. We highlight the implications of our study for theory, research, and practice. (shrink)

A model \ of ZF is said to be condensable if \\prec _{\mathbb {L}_{{\mathcal {M}}}} {\mathcal {M}}\) for some “ordinal” \, where \:=,\in )^{{\mathcal {M}}}\) and \ is the set of formulae of the infinitary logic \ that appear in the well-founded part of \. The work of Barwise and Schlipf in the 1970s revealed the fact that every countable recursively saturated model of ZF is cofinally condensable \prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \). (...) Moreover, it can be readily shown that any \-nonstandard condensable model of \ is recursively saturated. These considerations provide the context for the following result that answers a question posed to the author by Paul Kindvall Gorbow.Theorem A. Assuming a modest set-theoretic hypothesis, there is a countable model \ of ZFC that is both definably well-founded is in the well-founded part of \}\) and cofinally condensable. We also provide various equivalents of the notion of condensability, including the result below.Theorem B. The following are equivalent for a countable model \ of \: \ is condensable. \ is cofinally condensable. \ is nonstandard and \\prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \. (shrink)

It is now part and parcel of the official philosophical wisdom that models are essential to the acquisition and organisation of scientific knowledge. It is also generally accepted that most models represent their target systems in one way or another. But what does it mean for a model to represent its target system? I begin by introducing three conundrums that a theory of scientific representation has to come to terms with and then address the question of whether the semantic (...) view of theories, which is the currently most widely accepted account of theories and models, provides us with adequate answers to these questions. After having argued in some detail that it does not, I conclude by pointing out in what direction a tenable account of scientific representation might be sought. (shrink)

Economic forms of analysis have penetrated to many disciplines in the last 30 years: political science, sociology, law, social and political philosophy, and so forth. We wish to extend the economic paradigm to certain problems in epistemology and the philosophy of science. Scientific agents, and scholarly inquirers generally, act in some ways like vendors, trying to "sell" their findings, theories, analyses, or arguments to an audience of prospective "buyers". The analogy with the marketplace is imperfect. The ideas or discoveries (...) that a scientist offers are not private goods in the economist's sense. Nonetheless, there are parallels with the marketplace that are worth exploring. (shrink)

Contemplative practices, such as meditation and yoga, are increasingly popular among the general public and as topics of research. Beneficial effects associated with these practices have been found on physical health, mental health, and cognitive performance. However, studies and theories that clarify the underlying mechanisms are lacking or scarce. This theoretical review aims to address and compensate this scarcity. We will show that various contemplative activities have in common that breathing is regulated or attentively guided. This respiratory discipline in (...) turn could parsimoniously explain the physical and mental benefits of contemplative activities through changes in autonomic balance. We propose a neurophysiological model that explains how these specific respiration styles could operate, by phasically and tonically stimulating the vagal nerve: respiratory vagal nerve stimulation. The vagal nerve, as a proponent of the parasympathetic nervous system, is the prime candidate in explaining the effects of contemplative practices on health, mental health, and cognition. We will discuss implications and limitations of our model. (shrink)

The purpose of this paper is to show that the Elementary Process Theory (EPT) agrees with the knowledge of the physical world obtained from the successful predictions of Special Relativity (SR). For that matter, a recently developed method is applied: a categorical model of the EPT that incorporates SR is fully specified. Ultimate constituents of the universe of the EPT are modeled as point-particles, gamma-rays, or time-like strings, all represented by integrable hyperreal functions on Minkowski space. This proves that (...) the EPT agrees with SR. -/- Edit: this preprint differs significantly from the published chapter. (shrink)

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)

Most words in natural languages are polysemous; that is, they have related but different meanings in different contexts. This one‐to‐many mapping of form to meaning presents a challenge to understanding how word meanings are learned, represented, and processed. Previous work has focused on solutions in which multiple static semantic representations are linked to a single word form, which fails to capture important generalizations about how polysemous words are used; in particular, the graded nature of polysemous senses, and the flexibility and (...) regularity of polysemy use. We provide a novel view of how polysemous words are represented and processed, focusing on how meaning is modulated by context. Our theory is implemented within a recurrent neural network that learns distributional information through exposure to a large and representative corpus of English. Clusters of meaning emerge from how the model processes individual word forms. In keeping with distributional theories of semantics, we suggest word meanings are generalized from contexts of different word tokens, with polysemy emerging as multiple clusters of contextually modulated meanings. We validate our results against a human‐annotated corpus of polysemy focusing on the gradedness, flexibility, and regularity of polysemous sense individuation, as well as behavioral findings of offline sense relatedness ratings and online sentence processing. The results provide novel insights into how polysemy emerges from contextual processing of word meaning from both a theoretical and computational point of view. (shrink)

This article develops theory on responsible leadership based on a model involving three leadership roles: an expert who displays organizational expertise, a facilitator who cares for and motivates employees and a citizen who considers the consequences of her or his decisions for society. It draws on previous responsible leadership research, stakeholder theory and theories of behavioral complexity to conceptualize the roles model of responsible leadership. Responsible leadership is positioned as a concept that requires leaders to show behavioral (...) complexity in addressing all three roles. In three studies, we provide a first empirical test of antecedents and outcomes of the roles model of responsible leadership. The results of the studies indicate that responsible leadership is positively related to the leader’s perceived effectiveness, favorable stakeholder evaluations and employee engagement with the organization and society. Responsible leadership behavior, in turn, seems to be facilitated by leader empathy, positive affect and universal value orientation. (shrink)

Reasoning with cases has been a primary focus of those working in AI and law who have attempted to model legal reasoning. In this paper we put forward a formal model of reasoning with cases which captures many of the insights from that previous work. We begin by stating our view of reasoning with cases as a process of constructing, evaluating and applying a theory. Central to our model is a view of the relationship between cases, rules (...) based on cases, and the social values which justify those rules. Having given our view of these relationships, we present our formal model of them, and explain how theories can be constructed, compared and evaluated. We then show how previous work can be described in terms of our model, and discuss extensions to the basic model to accommodate particular features of previous work. We conclude by identifying some directions for future work. (shrink)

The impact of our desires and preferences upon our ordinary, everyday beliefs is well-documented [Gilovich, T. . How we know what isn’t so: The fallibility of human reason in everyday life. New York: The Free Press.]. The influence of such motivational factors on delusions, which are instances of pathological misbelief, has tended however to be neglected by certain prevailing models of delusion formation and maintenance. This paper explores a distinction between two general classes of theoretical explanation for delusions; the motivational (...) and the deficit. Motivational approaches view delusions as extreme instances of self-deception; as defensive attempts to relieve pain and distress. Deficit approaches, in contrast, view delusions as the consequence of defects in the normal functioning of belief mechanisms, underpinned by neuroanatomical or neurophysiological abnormalities. It is argued that although there are good reasons to be sceptical of motivational theories , recent experiments confirm that motives are important causal forces where delusions are concerned. It is therefore concluded that the most comprehensive account of delusions will involve a theoretical unification of both motivational and deficit approaches. (shrink)

Building on and partially refining previous theoretical work, this paper presents an extended simulation model of ancestral warfare. This model (1) disentangles attack and defense, (2) tries to differentiate more strictly between selfish and altruistic efforts during war, (3) incorporates risk aversion and deterrence, and (4) pays special attention to the role of brutality. Modeling refinements and simulation results yield a differentiated picture of possible evolutionary dynamics. The main observations are: (i) Altruism in this model is more (...) likely to evolve for defenses than for attacks. (ii) Risk aversion, deterrence and the interplay of migration levels and brutality can change evolutionary dynamics substantially. (iii) Unexpectedly, one occasional simulation outcome is a dynamically stable state of ‘tolerated intergroup theft’, raising the question if corresponding patterns also exist in real intergroup conflicts. Finally, possible implications for theories of the co-evolution of bellicosity and altruism in humans are discussed. (shrink)

A theory may be invalid, not owing to erroneous observations or the invocation of an inappropriate law, but because of the use of equivocal terms. This is demonstrated for Darwin's failed model of sympatric speciation through the principle of divergence.