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

This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from formulas themselves. This line of work began with Fine (Notre Dame J. Form. Log. 16:229-237, 1975). There are two ways in which our work advances on that paper: First, the definition of our models is mainly based on the relation Kozen and Parikh used in their proof of the completeness of PDL, see (Theor. Comp. Sci. 113-118, 1981). The point is to (...) develop a general model-construction method based on this definition. We do this and thereby obtain the completeness of most of the standard modal systems, and in addition apply the method to some other systems of interest. None of the results use filtration, but in our final section we explore the connection. (shrink)

In this paper we study the model theory of extensions of models of first-order Peano Arithmetic by means of the arithmetized completeness theorem applied to a definable complete extension of PA in the original model. This leads us to many interesting model theoretic properties equivalent to reflection principles and ω-consistency, and these properties together with the associated first-order schemes extending PA are studied.

We introduce Kripke models for propositional substructural logics with strong negation, and show the completeness theorems for these logics using an extended Ishihara's canonical model construction method. The framework presented can deal with a broad range of substructural logics with strong negation, including a modified version of Nelson's logic N$^-$, Wansing's logic COSPL, and extended versions of Visser's basic propositional logic, positive relevant logics, Corsi's logics and M\'endez's logics.

The usual construction of models of NFU (New Foundations with urelements, introduced by Jensen) is due to Maurice Boffa. A Boffa model is obtained from a model of (a fragment of) Zermelo–Fraenkel with Choice (ZFC) with an automorphism which moves a rank: the domain of the Boffa model is a rank that is moved. “Most” elements of the domain of the Boffa model are urelements in terms of the interpreted NFU. The main result of this (...) paper is that the restriction of the membership relation of the original model of set theory with automorphism to the domain of the Boffa model is first-order definable in the language of NFU. In particular, all information about the extensions in the original model of the urelements of the model of NFU is definable in terms of NFU. A corollary (answering a question of Thomas Forster) is that the urelements in a Boffa model are not homogeneous. (shrink)

The process of abstraction and concretisation is a label used for an explicative theory of scientific model-construction. In scientific theorising this process enters at various levels. We could identify two principal levels of abstraction that are useful to our understanding of theory-application. The first level is that of selecting a small number of variables and parameters abstracted from the universe of discourse and used to characterise the general laws of a theory. In classical mechanics, for example, we select (...) position and momentum and establish a relation amongst the two variables, which we call Newton’s 2nd law. The specification of the unspecified elements of scientific laws, e.g. the force function in Newton’s 2nd law, is what would establish the link between the assertions of the theory and physical systems. In order to unravel how and with what conceptual resources scientific models are constructed, how they function and how they relate to theory, we need a view of theory-application that can accommodate our constructions of representation models. For this we need to expand our understanding of the process of abstraction to also explicate the process of specifying force functions etc. This is the second principal level at which abstraction enters in our theorising and in which I focus. In this paper, I attempt to elaborate a general analysis of the process of abstraction and concretisation involved in scientific- model construction, and argue why it provides an explication of the construction of models of the nuclear structure. (shrink)

Using as case studies two early diagrams that represent mechanisms of the cell division cycle, we aim to extend prior philosophical analyses of the roles of diagrams in scientific reasoning, and specifically their role in biological reasoning. The diagrams we discuss are, in practice, integral and indispensible elements of reasoning from experimental data about the cell division cycle to mathematical models of the cycle’s molecular mechanisms. In accordance with prior analyses, the diagrams provide functional explanations of the cell cycle and (...) facilitate the construction of mathematical models of the cell cycle. But, extending beyond those analyses, we show how diagrams facilitate the construction of mathematical models, and we argue that the diagrams permit nomological explanations of the cell cycle. We further argue that what makes diagrams integral and indispensible for explanation and model construction is their nature as locality aids: they group together information that is to be used together in a way that sentential representations do not. (shrink)

Scientific models are used to predict and understand the target phenomena in the reality. The kind of epistemic relationship between the model and the reality is always regarded by most of the philosophers as a representational one. I argue that, complementary to this representational role, some of the scientific models have a constructive role to play in altering and reconstructing the reality in a physical way. I hold that the idealized model assumptions and elements bestow the constructive force (...) of a model on the reality. By recognizing the physical constructive force of some scientific models, the merit of these models could be judged by how successful they are in the reality construction, rather than by the traditional criterion of model-world representation. (shrink)

Theoretical models are an important tool for many aspects of scientific activity. They are used, i.a., to structure data, to apply theories or even to construct new theories. But what exactly is a model? It turns out that there is no proper definition of the term "model" that covers all these aspects. Thus, I restrict myself here to evaluate the function of models in the research process while using "model" in the loose way physicists do. To this (...) end, I distinguish four kinds of models. These are (1) models as special theories, (2) models as a substitute for a theory, (3) toy models and (4) developmental models. I argue that models of the types (3) and (4) are considerably useful in the process of theory construction. This will be demonstrated in an extended case-study from High-Energy Physics. (shrink)

This article presents six ideas about the construction of emotion: (a) Emotions are more readily distinguished by the situations they signify than by patterns of bodily responses; (b) emotions emerge from, rather than cause, emotional thoughts, feelings, and expressions; (c) the impact of emotions is constrained by the nature of the situations they represent; (d) in the OCC account (the model proposed by Ortony, Clore, and Collins in 1988), appraisals are psychological aspects of situations that distinguish one emotion (...) from another, rather than triggers that elicit emotions; (e) analyses of the affective lexicon indicate that emotion words refer to internal mental states focused on affect; (f) the modularity of emotion, long sought in biology and behavior, exists as mental schemas for interpreting human experience in story, song, drama, and conversation. (shrink)

The question of whether time is its own best representation is explored. Though there is theoretical debate between proponents of internal models and embedded cognition proponents (e.g. Brooks R 1991 Artificial Intelligence 47 139–59) concerning whether the world is its own best model, proponents of internal models are often content to let time be its own best representation. This happens via the time update of the model that simply allows the model’s state to evolve along with the (...) state of the modeled domain. I argue that this is neither necessary nor advisable. I show that this is not necessary by describing how internal modeling approaches can be generalized to schemes that explicitly represent time by maintaining trajectory estimates rather than state estimates. Though there are a variety of ways this could be done, I illustrate the proposal with a scheme that combines filtering, smoothing and prediction to maintain an estimate of the modeled domain’s trajectory over time. I show that letting time be its own representation is not advisable by showing how trajectory estimation schemes can provide accounts of temporal illusions, such as apparent motion, that pose serious difficulties for any scheme that lets time be its own representation. (shrink)

Falsificationism has dominated 20th century philosophy of science. It seemed to have eclipsed all forms of inductivism. Yet recent debates have revived a specific form of eliminative inductivism, the basic ideas of which go back to F. Bacon and J.S. Mill. These modern endorsements of eliminative inductivism claim to show that progressive problem solving is possible using induction, rather than falsification as a method of justification. But this common ground between falsificationism and eliminative inductivism has not led to a detailed (...) investigation into the relationship, if any, which may exist between these two methodologies. This paper reviews several versions of eliminative inductivism, establishes a natural relation between eliminative inductivism and falsificationism, which derives from the distinction between models and theories, and carries out this investigation against a case study of the construction of atom models. The result of the investigation is that falsificationism is a form of eliminative inductivism in the limit of certain constraints. (shrink)

In order for theology to have a cognitive dimension, it is necessary to have procedures for testing and critically evaluating theological models. We make use of certain features of scientific models to show how science has been able to move beyond the poles of foundationalism, represented by logical positivism, and antifoundationalism or relativism, represented by the sociologists of knowledge. These ideas are generalized to show that constructing and testing theological models similarly offers a means by which theology can move beyond (...) confessionalism and postmodernism. Our starting point is Paul Tillich's concept of God as the ground of being and the different levels of consciousness and thinking that accompany his understanding of theology. The ontological argument of Anselm is shown to play a key role, not as a proof for the existence of God but as a means for testing theological models. An example of a theological model, drawn from the domain of philosophy of science, is presented to show how theological models are constructed and tested. (shrink)

According to Kant, we gain mathematical knowledge by constructing objects in pure intuition. This is true not only of geometry but arithmetic and algebra as well. Construction has prominent place in scholarly accounts of Kant’s views of mathematics. But did Kant have a clear vision of what construction is? The paper argues that Kant employed two different, even conflicting models of construction, depending on the philosophical issue he was dealing with. In the equivalence model, Kant claims (...) that the object constructed in intuition is equivalent to the properties included in the conceptual rule. In the overstepping model of construction, Kant argues that construction goes beyond the concept which is a “mere definition”. What is more, both models of construction can be found in the Doctrine of Method in the first Critique. The paper examines reasons that have led Kant to adopt the two models of construction, and proposes a reading that alleviates the apparent contradiction between the two models. (shrink)

In this paper, we apply the perspective of intra-organismal ecology by investigating a family of ecological models suitable to describe a gene therapy to a particular metabolic disorder, the adenosine deaminase deficiency (ADA-SCID). The gene therapy is modeled as the prospective ecological invasion of an organ (here, bone marrow) by genetically modified stem cells, which then operate niche construction in the cellular environment by releasing an enzyme they synthesize. We show that depending on the chosen order (a choice that (...) cannot be made on \textit{a priori} assumptions), different kinds of dynamics are expected, possibly leading to different therapeutic strategies. This drives us to discuss several features of the extension of ecology to intra-organismal ecology. (shrink)

Moral distress has been characterised as one of the main ethical problems affecting nurses in all health systems, and has been depicted as a threat to nurses’ integrity and to the quality of patient care. In recent years, several studies tried to investigate moral distress, its causes and consequences for health professionals, clients and organisations. However, such studies are considered controversial and vulnerable, mainly because they lack a solid philosophical and empirical basis. The present article aimed at elaborating a theoretical (...) model for moral distress, considering the process of moral deliberation, spaces of power and resistance and patient advocacy, and sought to carry out a reflection that culminated with the creation of a broader concept of moral distress. (shrink)

If T is an unstable theory of cardinality <λ or countable stable theory with OTOP or countable superstable theory with DOP, λω λω1 in the superstable with DOP case) is regular and λ<λ=λ, then we construct for T strongly equivalent nonisomorphic models of cardinality λ. This can be viewed as a strong nonstructure theorem for such theories. We also consider the case when T is unsuperstable and develop further a result of Shelah about the existence of L∞,λ-equivalent nonisomorphic models for (...) such T. In addition, we show that a natural analogue of Scott's isomorphism theorem fails for models of power κ, if κω is regular, assuming κ<κ=κ. (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.

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models. This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra (...) and logic and some other researchers (in particular, Nerode and his colleagues). The main themes are the existence of recursive models and applications to fields, algebras, and ordered sets (Ershov), the existence of decidable prime models (Goncharov, Harrington), the existence of decidable saturated models (Morley), the existence of decidable homogeneous models (Goncharov and Peretyat'kin), properties of the Ehrenfeucht theories (Millar, Ash, and Reed), the theory of algorithmic dimension and conditions of autostability (Goncharov, Ash, Shore, Khusainov, Ventsov, and others), and the theory of computable classes of models with various properties. Future perspectives of the theory of constructive models are also discussed. Most of the results in the book are presented in monograph form for the first time. The theory of constructive models serves as a basis for recursive mathematics. It is also useful in computer science, in particular, in the study of programming languages, higher level languages of specification, abstract data types, and problems of synthesis and verification of programs. Therefore, the book will be useful for not only specialists in mathematical logic and the theory of algorithms but also for scientists interested in the mathematical fundamentals of computer science. The authors are eminent specialists in mathematical logic. They have established fundamental results on elementary theories, model theory, the theory of algorithms, field theory, group theory, applied logic, computable numberings, the theory of constructive models, and the theoretical computer science. (shrink)

This paper introduces three model-theoretic constructions for generalized Epstein semantics: reducts, ultramodels and $\textsf {S}$ -sets. We apply these notions to obtain metatheoretical results. We prove connective inexpressibility by means of a reduct, compactness by an ultramodel and definability theorem which states that a set of generalized Epstein models is definable iff it is closed under ultramodels and $\textsf {S}$ -sets. Furthermore, a corollary concerning definability of a set of models by a single formula is given on the basis (...) of the main theorem and the compactness theorem. We also provide an example of a natural set of generalized Epstein models which is undefinable. Its undefinability is proven by means of an $\textsf {S}$ -set. (shrink)

Alchourrón, Gärdenfors and Makinson have developed and investigated a set of rationality postulates which appear to capture much of what is required of any rational system of theory revision. This set of postulates describes a class of revision functions, however it does not provide a constructive way of defining such a function. There are two principal constructions of revision functions, namely an epistemic entrenchment and a system of spheres. We refer to their approach as the AGM paradigm. We provide a (...) new constructive modeling for a revision function based on a nice preorder on models, and furthermore we give explicit conditions under which a nice preorder on models, an epistemic entrenchment, and a system of spheres yield the same revision function. Moreover, we provide an identity which captures the relationship between revision functions and update operators (as defined by Katsuno and Mendelzon). (shrink)

Individuals often revise their beliefs when confronted with contradicting evidence. Belief revision in the spatial domain can be regarded as variation of initially constructed spatial mental models. Construction and revision usually follow distinct cognitive principles. The present study examines whether principles of revisions which follow constructions under high task demands differ from principles applied after less demanding constructions. We manipulated the task demands for model constructions by means of the continuity with which a spatial model was constructed. (...) We administered tasks with continuous, semi-continuous, and discontinuous conditions as between-subject factor (experiment 1) and as within-subject factor (experiment 2). Construction and revision followed distinct cognitive principles in the changeless conditions of experiment 1. With increased task demands due to switches between different continuity conditions (experiment 2), reasoners adapted the principles they used for model revisions to the principles which they had used during antecedent constructions. (shrink)

There is a growing demand for information and computational technology for surgeons help with surgical planning as well as prosthetics design. The two-dimensional images are registered to the three-dimensional (3D) model for high efficiency. To reconstruct the 3D model of knee joint including bone structure and main soft tissue structure, the evaluation and analysis of sports injury and rehabilitation treatment are detailed in this study. Mimics 10.0 was used to reconstruct the bone structure, ligament, and meniscus according to (...) the pulse diffusion-weighted imaging sequence (PDWI) and stir sequences of magnetic resonance imaging (MRI). Excluding congenital malformations and diseases of the skeletal muscle system, MRI scanning was performed on bilateral knee joints. Proton weighted sequence (PDWI sequence) and stir pulse sequence were selected for MRI. The models were imported into Geomagic Studio 11 software for refinement and modification, and 3D registration of bone structure and main soft tissue structure was performed to construct a digital model of knee joint bone structure and accessory cartilage and ligament structure. The 3D knee joint model including bone, meniscus, and collateral ligament was established. Reconstruction and image registration based on mimics and Geomagic Studio can build a 3D model of knee joint with satisfactory morphology, which can meet the requirements of teaching, motion simulation, and biomechanical analysis. (shrink)

Drawing upon contemporary virtue ethics theory, The Model of The Principled Advocate and The Pathological Partisan is introduced. Profiles are developed of diametrically opposed archetypes of public relations and advertising practitioners. The Principled Advocate represents the advocacy virtues of humility, truth, transparency, respect, care, authenticity, equity, and social responsibility. The Pathological Partisan represents the opposing vices of arrogance, deceit, secrecy, manipulation, disregard, artifice, injustice, and raw self-interest. One becomes either a Principled Advocate or a Pathological Partisan by habitually enacting (...) or embodying the virtues or vices in the context of professional practices. (shrink)

We describe techniques for constructing models of size continuum inωsteps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.

This thesis presents a proof theoretical investigation of some constructive set theories with restricted set induction. The set theories considered are various systems of Constructive Zermelo Fraenkel set theory, CZF ([1]), in which the schema of $\in$ - Induction is either removed or weakened. We shall examine the theories $CZF^\Sigma_\omega$ and $CZF_\omega$, in which the $\in$ - Induction scheme is replaced by a scheme of induction on the natural numbers (only for  formulas in the case of the first theory, (...) for arbitrary formulas in the second theory). Of particular interest is the system CZF− + INAC, which is obtained by removing $\in$ - Induction and by adding an axiom, INAC, for inaccessible sets. The main outcome is that CZF− + INAC is a predicative set theory with inaccessible sets, its proof theoretic ordinal being $\Gamma_0$. The proof theoretic strength of these theories, has been determined by means of proof theoretical reductions. The upper bounds have been obtained by interpreting the set theories in classical theories of (iterated) inductive definitions with ordinals. A significant feature of these interpretations is that they are realizability interpretations, which make an indirect use of Aczel’s interpretation of CZF in Martin Löf type theory, and, in the case of CZF− + INAC, also employ a maximum bisimulation relation to represent equality between sets. The lower bounds are obtained by interpreting appropriate subsystems of intuitionistic second order arithmetic in the set theories. At the conclusion of the thesis we present work unrelated to the previous chapters. It is a preliminary study of the constructible hierarchy in CZF. We begin by formalizing the notion of definability in constructive set theory and then introduce Gödel’s L in CZF. We prove that intuitionistic L is a model of a subsystem of CZF strong enough to include intuitionistic Kripke-Platek set theory, and also that L is a model of the axiom of constructibility, provably in CZF. (shrink)