Results 261 to 270 of about 26,011 (307)
Some of the next articles are maybe not open access.
2023
Abstract In chapter one I introduce the concepts of idealization and modeling, discuss their relation, and provide some examples of model-building in philosophy. I show that idealization, at least in the broad sense in which I use the term, is ubiquitous in epistemology.
openaire +1 more source
Abstract In chapter one I introduce the concepts of idealization and modeling, discuss their relation, and provide some examples of model-building in philosophy. I show that idealization, at least in the broad sense in which I use the term, is ubiquitous in epistemology.
openaire +1 more source
Models of arithmetic and closed ideals
Journal of Symbolic Logic, 1982A set J of Turing degrees is called an ideal if (1) J ≠ ∅, (2) for any pair of degrees ã, , if ã, ϵ J, then ã ⋃ ϵJ, and (3) for any ⋃ ϵ J and any , if < ⋃, then ϵ J. A set J of degrees is said to be closed if for any theory T with a set of axioms of degree in J, T has a completion of degree in J.Closed ideals of degrees arise naturally in the ...
Julia F. Knight, Mark E. Nadel
openaire +2 more sources
A Formal Model for an Ideal CFI
2017We provide a formal model to achieve a fully precise dynamic protection of the flow of execution against control flow hijacking attacks. In more than a decade since the original Control Flow Integrity the focus of all of the proposed work in the literature has been on practical implementation of CFI. This however due to the restriction that the classic
Sepehr Minagar +2 more
openaire +1 more source
Idealization and abstraction in scientific modeling
Synthese, 2018I argue that we cannot adequately characterize idealization and abstraction and the distinction between the two on the grounds that they have distinct semantic properties. By doing so, on the one hand, we focus on the conceptual products of the two processes in making the distinction and we overlook the importance of the nature of the thought processes
openaire +1 more source
Ideal models and some not so ideal problems in the model theory of L(Q)
Journal of Symbolic Logic, 1978It is the purpose of this paper to investigate the model theory of logic with a generalized quantifier; in particular the logic L(Q1) where Q1xφ(x) has the intended meaning “there exist uncountably many x such that φ(x)”. We do this from the point of view that the best way to study what happens in the so-called “ω1-standard” models of L(Q1) is to ...
openaire +2 more sources
Idealization in Physics Modeling
2013I argue for understanding idealization in physics modeling as the conceptual act of exercising control over the variability of aspects of factors of target physical systems. By thinking along this line I use the example of the vibrating string model to identify the two kinds of idealizations that have been discerned by most philosophers to be pervasive
Portides, Demetris, Portides, Demetris
openaire +2 more sources
The Health service journal, 1990
Responding to the challenges faced by community services, Medway HA has implemented a system to model the changes. Brian Clover explains, in the second article on planning models.
openaire +1 more source
Responding to the challenges faced by community services, Medway HA has implemented a system to model the changes. Brian Clover explains, in the second article on planning models.
openaire +1 more source
The Ideal Model of Chromatography
1992The ideal model of chromatography assumes that the column efficiency is infinite. Although actual columns have a finite efficiency, the ideal model has several attractive features which make it important to understand. First, it takes into exact account the effects of the thermodynamics of the phase equilibria on the band profiles.
S. Golshan-Shirazi, G. Guiochon
openaire +1 more source
An idealized model of a supercurrent
Il Nuovo Cimento B Series 10, 1969It is shown that there exists a simple model which reproduces qualitatively the main characteristic features of a current flowing through a superconducting material. The model refers to a case of strong coupling which is not yet accessible to a full quantum-electrodynamical treatment, and it still ignores features depending on the intrinsic ...
openaire +1 more source
Idealization in Economics Modeling
2013I argue that understanding idealization as a conceptual act that can be distinguished into three kinds: isolation, stabilization and decomposition is a promising way for making sense of many important characteristics of economic modeling. All three kinds of idealization involve the conceptual act of variable control which amounts to omission of ...
openaire +1 more source