Results for 'Théorie des Modèles'

1000+ found
Order:
  1. Éléments de Logique Mathématique Théorie des Modèles.Georg Kreisel & J. L. Krivine - 1967 - Dunod.
     
    Export citation  
     
    Bookmark   2 citations  
  2.  74
    Théories et modèles en sciences humaines. Le cas de la géographie.Franck Varenne - 2017 - Paris, France: Editions Matériologiques.
    Face à la diversité et à la complexification des modes de formalisation, une épistémologie des méthodes scientifiques doit confronter directement ses analyses à une pluralité d’études de cas comparatives. C’est l’objectif de cet ouvrage. -/- Aussi, dans une première partie, propose-t-il d’abord une classification large et raisonnée des différentes fonctions de connaissance des théories, des modèles et des simulations (de fait, cette partie constitue un panorama d’épistémologie générale particulièrement poussé). C’est ensuite à la lumière de cette classification que les (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  31
    Ars inveniendi et théorie des modèles.Hourya Benis-Sinaceur - 1988 - Dialogue 27 (4):591-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  20
    Stabilité en Théorie des Modèles.Daniel Lascar, Ray Mines, Fred Richman & Wim Ruitenburg - 1990 - Journal of Symbolic Logic 55 (2):883-886.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  30
    Daniel Lascar. Stabilité en théorie des modèles. French original of the preceding. Monographies de mathèmatique, no. 2. Institut de Mathématique Pure et Appliquée, Université Catholique de Louvain, Louvain-la-Neuve1986, 231 pp. - Ray Mines, Fred Richman, and Wim Ruitenburg. A course in constructive algebra. Universitext. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1988, xi + 344 pp. [REVIEW]Philip Scowcroft - 1990 - Journal of Symbolic Logic 55 (2):883-886.
  6.  5
    Théorie de la communication et modèles systémiques.Michel Mathien & Abraham A. Moles - 1986 - Communications 12 (1):105-118.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  18
    Bruno Poizat. Corns de théorie des modèles. Une introduction à la logique mathématique contemporaine. Nur al-Mantiq wal-Ma’rifah, Villeurbanne1985, vi + 584 pp. [REVIEW]E. A. Palyutin - 1993 - Journal of Symbolic Logic 58 (3):1074-1075.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  26
    Etude D'Un Forcing en Théorie des Modèles.Bruno Poizat - 1978 - Mathematical Logic Quarterly 24 (19-24):347-356.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  33
    Théorie de la cible: Un modèle markovien pour l'évolution génétique d'une mutation latente.Jacques Pontier - 1973 - Acta Biotheoretica 22 (3):120-141.
    A hereditary character in individuals of the same species is envisaged as belonging to a “target” made up of several mutually independent particles, which can be manifested in diverse forms. The phenotype depends on the distribution of the different forms in the target. Cell fission then corresponds to a certain mode of division of the target, permitting particle transmission between generations. In this way the rules for appearance of various phenotypes are determined. The problem of determining the number of particles (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  21
    Théorie de la décision et risques routiers.Claudine Pérez-Diaz - 2003 - Cahiers Internationaux de Sociologie 114 (1):143-160.
    La théorie de la décision a inspiré des modèles du risque qui formalisent des choix de comportement dont la diversité tient à des facteurs individuels, sociaux et environnementaux. Comme le droit routier cherche à modifier les comportements, ces modèles ont inspiré des politiques publiques et des réformes juridiques ou judiciaires. Leurs effets sont limités par la diversité des déterminants des comportements et l’éclatement des groupes qui prennent des risques. Ces modèles n’en restent pas moins un guide (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  11.  14
    Etude D'Un Forcing en Théorie des Modèles.Bruno Poizat - 1978 - Mathematical Logic Quarterly 24 (19‐24):347-356.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    Martin R.. Logique mathématique. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 52–53.Sabbagh G.. Logique mathématique. 1. Généralités. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 53–56.Reznikoff I.. Logique mathématique. 2. Théorie lie la démonstration et intuitionnisme. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 57–64.Sabbagh G.. Logique mathématique. 3. Théorie des modèles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 65–66.Sabbagh G.. Logique mathématique. 4. Théorie axiomatique des ensembles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 66–71.Sabbagh G.. Logique mathématique. 5. Décidabilité et fonctions récursives. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 71–73. [REVIEW]J. van Heijenoort - 1973 - Journal of Symbolic Logic 38 (2):341-341.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  14
    Why do users accept the information technology? Description and use of theories and models of their acceptance.María García De Blanes Sebastián, Arta Artonovica & José Ramón Sarmiento Guede - 2022 - Human Review. International Humanities Review / Revista Internacional de Humanidades 11 (7):1-15.
    The objective of this research is to understand, predict and explain what factors influence organizations and induce individuals to accept technology. Through the methodology of content analysis and based on the Web of Science database and through the MAXQDA software, this document analyzes and reviews the ten most important theories and models of technology acceptance used in recent years. This review offers a holistic view that will help future researchers to select the most appropriate theories to apply to their field (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Modal model theory.Maarten De Rijke - forthcoming - Annals of Pure and Applied Logic.
  15. The classical model of science: A millennia-old model of scientific rationality.Willem R. de Jong & Arianna Betti - 2010 - Synthese 174 (2):185-203.
    Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora . These standards got progressively shaped by and adapted to new scientific needs and tendencies. Nevertheless, a core of conditions capturing the fundamentals of what a proper science should look like remained remarkably constant all along. Call this cluster of conditions the Classical Model of Science . In this paper we will do two things. First of all, we will (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  16.  17
    Review: Daniel Lascar, Stabilite en Theorie des Modeles; Ray Mines, Fred Richman, Wim Ruitenburg, A Course in Constructive Algebra. [REVIEW]Philip Scowcroft - 1990 - Journal of Symbolic Logic 55 (2):883-886.
  17.  34
    Vers une théorie de la connaissance du physicien: un modèle dual et sa figuration en monolangage.Pierre Demers - 1974 - Dialogue 13 (1):115-119.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  36
    René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p. - René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p. [REVIEW]Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):691-692.
  19.  11
    Lascar Daniel. Stability in model theory. English translation by Wallington J. E. of Stabilité en théorie des modèles. Pitman monographs and surveys in pure and applied mathematics, no. 36. Longman Scientific & Technical, Harlow, Essex, and John Wiley & Sons, New York, 1987, v + 193 pp. [REVIEW]Anand Pillay - 1990 - Journal of Symbolic Logic 55 (2):881-883.
  20.  71
    Théorie, Réalité, Modèle.Franck Varenne - 2012 - Paris, France: Editions Matériologiques.
    Dans cet ouvrage, Franck Varenne pose la question du réalisme scientifique, essentiellement dans sa forme contemporaine, et ce jusqu’aux années 1980. Il s’est donné pour cela la contrainte de focaliser l’attention sur ce que devenaient sa formulation et les réponses diverses qu’on a pu lui apporter en réaction spécifique à l’évolution parallèle qu’ont subie les notions de théories et surtout de modèles dans les sciences, à la même époque. Même si, bien sûr, on ne peut pas attribuer le considérable (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  57
    Ethics and Behavioural Theory: How Do Professionals Assess Their Mental Models?Frank Jan de Graaf - 2019 - Journal of Business Ethics 157 (4):933-947.
    The role and ethics of professionals in business and economics have been questioned, especially after the financial crisis of 2008. Some suggest a reorientation using concepts such as craftsmanship. In this article, I will explore professional practices within the context of behavioural theory and business ethics. I suggest that scholars of behavioural theory need a strategy to deal with normative questions to meet their ambition of practical relevance. Evidence-based management, a recent behavioural approach, may assist business ethics scholars in understanding (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  8
    The Theory of an Arbitrary Higher \(\lambda\)-Model.Daniel Martinez & Ruy J. G. B. de Queiroz - 2023 - Bulletin of the Section of Logic 52 (1):39-58.
    One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. A Unified Model of the Division of Cognitive Labor.Rogier De Langhe - 2014 - Philosophy of Science 81 (3):444-459.
    Current theories of the division of cognitive labor are confined to the “context of justification,” assuming exogenous theories. But new theories are made from the same labor that is used for developing existing theories, and if none of this labor is ever allocated to create new alternatives, then scientific progress is impossible. A unified model is proposed in which theories are no longer given but a function of the division of labor in the model itself. The interactions of individuals balancing (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  24.  28
    Review: Bruno Poizat, Cours de Theorie des Modeles. Une Introduction a la Logique Mathematique Contemporaine. [REVIEW]E. A. Palyutin - 1993 - Journal of Symbolic Logic 58 (3):1074-1075.
  25.  58
    Superveniencia, propiedades maximales y teoría de modelos (Supervenience, Maximal Properties, and Model Theory).Xabier de Donato Rodríguez & Marek Polanski - 2006 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 21 (3):257-276.
    En el presente artículo, se examinan y discuten dos argumentos con consecuencias reduccionistas debidos a Jaegwon Kim y a Theodore Sider respectivamente. De acuerdo con el argumento de Kim, la superveniencia fuerte implicaría la coexistencia necesaria de propiedades (es decir, tal y como normalmente se interpreta, la reducción). De acuerdo con el de Sider, ocurriría lo mismo con la superveniencia global. Uno y otro hacen un uso esencial de sendas nociones de propiedad maximal, las cuales son discutidas aquí a la (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  12
    Superveniencia, propiedades maximales y teoría de modelos (Supervenience, Maximal Properties, and Model Theory).Xabier de Donato Rodríguez & Marek Polanski - 2006 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 21 (3):257-276.
    En el presente artículo, se examinan y discuten dos argumentos con consecuencias reduccionistas debidos a Jaegwon Kim y a Theodore Sider respectivamente. De acuerdo con el argumento de Kim, la superveniencia fuerte implicaría la coexistencia necesaria de propiedades (es decir, tal y como normalmente se interpreta, la reducción). De acuerdo con el de Sider, ocurriría lo mismo con la superveniencia global. Uno y otro hacen un uso esencial de sendas nociones de propiedad maximal, las cuales son discutidas aquí a la (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  20
    Three Different Currents of Thought to Conceive Justice: Legal, and Medical Ethics Reflections.Francesco De Micco & Roberto Scendoni - 2024 - Philosophies 9 (3):61.
    The meaning of justice can be defined according to a juridical, human, theological, ethical, biomedical, or social perspective. It should guarantee the protection of life and health, personal, civil, political, economic, and religious rights, as well as non-discrimination, inclusion, protection, and access to care. In this review, we deal with three theoretical concepts that define justice in all its aspects. (1) The utilitarian theory, which justifies moral statements on the basis of the evaluation of the consequences that an action produces, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  16
    Models of an extension of the theory ${\bf ORD}$.Nicholas J. De Lillo - 1979 - Notre Dame Journal of Formal Logic 20 (4):729-734.
  29.  55
    Models and the Semantic and Pragmatic Views of Theories.Luiz Henrique de A. Dutra - 2008 - Principia 12 (1):73-86.
    http://dx.doi.org/10.5007/1808-1711.2008v12n1p73 This paper aims at discussing from the point of view of a pragmatic stance the concept of model as an abstract replica. According to this view, scientific models are abstract structures different from set-theoretic models. The view of models argued for here stems from the conceptions of some important philosophers of science who elaborated on the notion of model, such as Suppe, Cartwright, Hempel, and Nagel. Differently from all those authors, however, the conception of model argued for here is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  24
    Models and the Semantic and Pragmatic Views of Theories.Luiz Henrique de A. Dutra - 2008 - Principia: An International Journal of Epistemology 12 (1):73-86.
    This paper aims at discussing from the point of view of a pragmatic stance the concept of model as an abstract replica. According to this view, scientific models are abstract structures different from set-theoretic models. The view of models argued for here stems from the conceptions of some important philosophers of science who elaborated on the notion of model, such as Suppe, Cartwright, Hempel, and Nagel. Differently from all those authors, however, the conception of model argued for here is typically (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  23
    Towards an integrative theory of consciousness: Part 1 (Neurobiological and cognitive models).Avinash De Sousa - 2013 - Mens Sana Monographs 11 (1):100.
    The study of consciousness is poised today at interesting crossroads. There has been a surge of research into various neurobiological underpinnings of consciousness in the past decade. The present article looks at the theories regarding this complex phenomenon, especially the ones that neurobiology, cognitive neuroscience and cognitive psychology have to offer. We will first discuss the origin and etymology of word consciousness and its usage. Neurobiological correlates of consciousness are discussed with structures like the ascending reticular activating system, the amygdala, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  23
    Theorie Des catastrophes et fonction physiologique membranaire.Jacques Viret - 1992 - Acta Biotheoretica 40 (2-3):245-251.
    This comunication is based on a preliminary work which emphasized a topological model of biomembranes from Thom's Catastrophe Theory. In this model called swallowtail bifurcation set, the structural state of a biomembrane was within the control of two structural attractors. Then, the physiological act of this biomembrane resulted in a sudden transfer of weight from the hydrophilic attractor to the hydrophobic attractor.In this consecutive work, the physiological act appears to be one of the four stages which permit to describe the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  5
    Which Model Theory?Philippe de Rouilhan - unknown
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Theorie und Modell in der Naturwissenschaft.H. Müller - 1958 - Société Française de Philosophie, Bulletin 50:5.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  53
    Towards an integrative theory of consciousness: Part 2 (An anthology of various other models).Avinash De Sousa - 2013 - Mens Sana Monographs 11 (1):151.
    The study of consciousness has today moved beyond neurobiology and cognitive models. In the past few years, there has been a surge of research into various newer areas. The present article looks at the non-neurobiological and non-cognitive theories regarding this complex phenomenon, especially ones that self-psychology, self-theory, artificial intelligence, quantum physics, visual cognitive science and philosophy have to offer. Self-psychology has proposed the need to understand the self and its development, and the ramifications of the self for morality and empathy, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  20
    Implicit Theories and Engagement in Math Among Chinese Adolescent Students: A Moderated Mediation Model of Intrinsic Value and Academic Self-Efficacy.Shuyang Jiang, Ru-De Liu, Yi Ding, Xinchen Fu, Yan Sun, Ronghuan Jiang & Wei Hong - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  60
    Interpreting theories without a spacetime.Sebastian De Haro & Henk W. de Regt - 2018 - European Journal for Philosophy of Science 8 (3):631-670.
    In this paper we have two aims: first, to draw attention to the close connexion between interpretation and scientific understanding; second, to give a detailed account of how theories without a spacetime can be interpreted, and so of how they can be understood. In order to do so, we of course need an account of what is meant by a theory ‘without a spacetime’: which we also provide in this paper. We describe three tools, used by physicists, aimed at constructing (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  38. What Happens in Philosophical Texts: Matthew Lipman's Theory and Practice of the Philosophical Text as Model.Darryl Matthew de Marzio - 2011 - Childhood and Philosophy 7 (13):29-47.
    This paper explores Matthew Lipman's notion of the philosophical text as model. I argue that Lipman's account of the philosophical text is one that brings together the expository and narrative textual forms in a distinctive way--not one in which the tension between the expository and the narrative is overcome once and for all, but in such a way that the expository and the narrative are brought into relationship within the very form of narrative itself. Drawing upon Michel Foucault's reading of (...)
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  39.  19
    Słomiński J.. Theory of models with infinitary operations and relations. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 (1958), pp. 449–456. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.
  40.  47
    Social-Ecological Theory of Maximization: Basic Concepts and Two Initial Models.Ulysses Paulino Albuquerque, Patricia Muniz de Medeiros, Washington Soares Ferreira Júnior, Taline Cristina da Silva, Rafael Ricardo Vasconcelos da Silva & Thiago Gonçalves-Souza - 2019 - Biological Theory 14 (2):73-85.
    Efforts have been dedicated to the understanding of social-ecological systems, an important focus in ethnobiological studies. In particular, ethnobiological investigations have found evidence and tested hypotheses over the last 30 years on the interactions between human groups and their environments, generating the need to formulate a theory for such systems. In this article, we propose the social-ecological theory of maximization to explain the construction and functioning of these systems over time, encompassing hypotheses and evidence from previous ethnobiological studies. In proposing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  15
    Social-Ecological Theory of Maximization: Basic Concepts and Two Initial Models.Ulysses Paulino Albuquerque, Patricia Muniz de Medeiros, Washington Soares Ferreira Júnior, Taline Cristina da Silva, Rafael Ricardo Vasconcelos da Silva & Thiago Gonçalves-Souza - 2019 - Biological Theory 14 (2):73-85.
    Efforts have been dedicated to the understanding of social-ecological systems, an important focus in ethnobiological studies. In particular, ethnobiological investigations have found evidence and tested hypotheses over the last 30 years on the interactions between human groups and their environments, generating the need to formulate a theory for such systems. In this article, we propose the social-ecological theory of maximization to explain the construction and functioning of these systems over time, encompassing hypotheses and evidence from previous ethnobiological studies. In proposing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Research Habits in Financial Modelling: The Case of Non-normativity of Market Returns in the 1970s and the 1980s.Boudewijn De Bruin & Christian Walter - 2016 - In Ping Chen & Emiliano Ippoliti (eds.), Methods and Finance: A Unifying View on Finance, Mathematics and Philosophy. Cham: Springer. pp. 73-93.
    In this chapter, one considers finance at its very foundations, namely, at the place where assumptions are being made about the ways to measure the two key ingredients of finance: risk and return. It is well known that returns for a large class of assets display a number of stylized facts that cannot be squared with the traditional views of 1960s financial economics (normality and continuity assumptions, i.e. Brownian representation of market dynamics). Despite the empirical counterevidence, normality and continuity assumptions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  74
    The structure of idealization in biological theories: the case of the Wright-Fisher model.Xavier de Donato Rodríguez & Alfonso Arroyo Santos - 2012 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (1):11-27.
    In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different “degrees of contingency”. We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  44.  14
    Théories de la reconnaissance : Rosenzweig et l’héritage de l’idéalisme allemand.Pierluigi Valenza - 2019 - Les Etudes Philosophiques 129 (2):235-254.
    L’essai traite l’héritage de l’idéalisme allemand chez Rosenzweig dans la perspective particulière de la théorie de la reconnaissance. Dans le premier paragraphe il trace les contours d’une théorie de la reconnaissance dans L’Étoile de la Rédemption à travers le thème du temps dans le rapport entre aimant et aimée, les formes du langage de la reconnaissance et la communauté comme résultat de la reconnaissance ouverte envers la rédemption. Le deuxième paragraphe développe une confrontation synthétique avec les modèles (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Theories with the Independence Property, Studia Logica 2010 95:379-405.Mlj van de Vel - 2010 - Studia Logica 95 (3):379-405.
    A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of basic formulas provided it (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  46
    Evidence theory in multivalued models of modal logic.Elena Tsiporkova, Bernard De Baets & Veselka Boeva - 2000 - Journal of Applied Non-Classical Logics 10 (1):55-81.
    ABSTRACT A modal logic interpretation of Dempster-Shafer theory is developed in the framework of multivalued models of modal logic, i.e. models in which in any possible world an arbitrary number (possibly zero) of atomic propositions can be true. Several approaches to conditioning in multivalued models of modal logic are presented.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  67
    The Structure of Idealization in Biological Theories: The Case of the Wright-Fisher Model.Xavier de Donato Rodríguez & Alfonso Arroyo Santos - 2012 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (1):11-27.
    In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different "degrees of contingency". We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  46
    Taking approximations seriously: The cases of the Chew and Nambu-Jona-Lasinio models.Pablo Ruiz de Olano, James D. Fraser, Rocco Gaudenzi & Alexander S. Blum - 2022 - Studies in History and Philosophy of Science Part A 93 (C):82-95.
    In this article, we offer a detailed study of two important episodes in the early history of high-energy physics, namely the development of the Chew and the Nambu-Jona-Lasinio models. Our study reveals that both models resulted from the combination of an old Hamiltonian, which had been introduced by earlier researchers, and two new approximation methods developed by Chew and by Nambu and Jona-Lasinio. These new approximation methods, furthermore, were the key component behind the models’ success. We take this historical investigation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  19
    Towards a theory of emergence for the physical sciences.Sebastian De Haro - 2019 - European Journal for Philosophy of Science 9 (3):1-52.
    I begin to develop a framework for emergence in the physical sciences. Namely, I propose to explicate ontological emergence in terms of the notion of ‘novel reference’, and of an account of interpretation as a map from theory to world. I then construe ontological emergence as the “failure of the interpretation to mesh” with an appropriate linkage map between theories. Ontological emergence can obtain between theories that have the same extension but different intensions, and between theories that have both different (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  50.  22
    First steps in intuitionistic model theory.H. de Swart - 1978 - Journal of Symbolic Logic 43 (1):3-12.
1 — 50 / 1000