Models, Unification, and Simulations: Margaret C. Morrison (1954–2021)
نویسندگان
چکیده
منابع مشابه
Nominal C-Unification
Nominal unification is an extension of first-order unification that takes into account the α-equivalence relation generated by binding operators, following the nominal approach. We propose a sound and complete procedure for nominal unification with commutative operators, or nominal C-unification for short, which has been formalised in Coq. The procedure transforms nominal C-unification problems...
متن کاملPerspectival Models and Theory Unification
Given that scientific realism is based on the assumption that there is a connection between a model’s predictive success and its truth, and given the success of multiple incompatible models in scientific practice, the realist has a problem. When the different models can be shown to arise as different approximations to a unified theory, however, one might think the realist to be able to accommod...
متن کاملMEASURING DIQUARK CONDENSATION IN LATTICE SIMULATIONS OF DENSE MATTER Simon HANDS and Susan MORRISON
We discuss general aspects of the possibility of Bose condensation of diquark pairs in systems of dense matter. Lattice field theory simulations are presented for model four-fermion theories which are expected to manifest the phenomenon, and results from measurements of both diquark two-point and one-point functions presented. Whilst inital results are promising, there remain systematic effects...
متن کاملUnification of Temporal Data Models
To add time support to the relational model, both first normal form (INF) and non-INF approaches have been proposed. Each has associated dii]iculties. Remaining within INF when time support is added may introduce data redundancy. The non-lNF models may not be capable of directly using existing relational storage structures or query evaluation strategies. This paper describes a new, conceptual t...
متن کاملModels, Simulations, and Experiments
I discuss the difference between models, simulations, and experiments from an epistemological and an ontological perspective. I first distinguish between ‘static’ models (like a map) and ‘dynamic’ models endowed with the capacity to generate processes. Only the latter can be used to simulate. I then criticise the view according to which the difference between models/simulations and experiments ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal for General Philosophy of Science
سال: 2021
ISSN: ['1572-8587', '0925-4560', '0044-2216']
DOI: https://doi.org/10.1007/s10838-021-09557-3