Results for 'model theory'

1000+ found
Order:
  1. Model Theory, Hume's Dictum, and the Priority of Ethical Theory.Jack Woods & Barry Maguire - 2017 - Ergo: An Open Access Journal of Philosophy 4:419-440.
    It is regrettably common for theorists to attempt to characterize the Humean dictum that one can’t get an ‘ought’ from an ‘is’ just in broadly logical terms. We here address an important new class of such approaches which appeal to model-theoretic machinery. Our complaint about these recent attempts is that they interfere with substantive debates about the nature of the ethical. This problem, developed in detail for Daniel Singer’s and Gillian Russell and Greg Restall’s accounts of Hume’s dictum, is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson - 2012 - Notre Dame Journal of Formal Logic 53 (1):113-132.
    We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  3. Model Theory and Contingent Existence.Boris Kment - 2016 - Analysis 76 (2):172-190.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  86
    Models, Theories, and Language.Jan Faye - 2007 - In Filosofia, scienza e bioetica nel dibattito contemporaneo. Rome: Poligrafico e Zecca dello Stato. pp. 823-838.
    The semantic view on theories has been much in vogue over four decades as the successor of the syntactic view. In the present paper, I take issue with this approach by arguing that theories and models must be separated and that a theory should be considered to be a linguistic systems consisting of a vocabulary and a set of rules for the use of that vocabulary.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Empirical Perspectives From the Self-Model Theory of Subjectivity: A Brief Summary with Examples.Thomas Metzinger - 2008 - In Rahul Banerjee & B. K. Chakrabarti (eds.), Models of Brain and Mind: Physical, Computational, and Psychological Approaches. Elsevier.
    In Rahul Banerjee and Bikas K. Chakrabarti (eds.), Progress in Brain Research, 168: 215-246. Amsterdam: Elsevier. Electronic offprint available upon request.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  6. Theory-Laden Model of Ethical Applications and Ethics of Euthanasia.Shami Ulla Qurieshi - 2022 - History and Philosophy of Medicine 4 (26):1-5.
    The primary aim of this paper is to critically evaluate the deductive model of ethical applications, which is based on normative ethical theories like deontology and consequentialism, and to show why a number of models have failed to furnish appropriate resolutions to practical moral problems. Here, for the deductive model, I want to call it a “Linear Mechanical Model” because the basic assumption of this model is that if a normative theory is sacrosanct, then the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Theories of Understanding Others: The Need for a New Account and the Guiding Role of the Person Model Theory.Sabrina Coninx & Albert Newen - 2018 - Belgrade Philosophical Annual 31:127-153.
    What would be an adequate theory of social understanding? In the last decade, the philosophical debate has focused on Theory Theory, Simulation Theory and Interaction Theory as the three possible candidates. In the following, we look carefully at each of these and describe its main advantages and disadvantages. Based on this critical analysis, we formulate the need for a new account of social understanding. We propose the Person Model Theory as an independent new (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. A Model-Invariant Theory of Causation.J. Dmitri Gallow - 2021 - Philosophical Review 130 (1):45-96.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Laws, Models, and Theories in Biology: A Unifying Interpretation.Pablo Lorenzano - 2020 - In Lorenzo Baravalle & Luciana Zaterka (eds.), Life and Evolution, History, Philosophy and Theory of the Life Sciences. pp. 163-207.
    Three metascientific concepts that have been object of philosophical analysis are the concepts oflaw, model and theory. The aim ofthis article is to present the explication of these concepts, and of their relationships, made within the framework of Sneedean or Metatheoretical Structuralism (Balzer et al. 1987), and of their application to a case from the realm of biology: Population Dynamics. The analysis carried out will make it possible to support, contrary to what some philosophers of science in general (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  11. Bottoms Up: The Standard Model Effective Field Theory From a Model Perspective.Philip Bechtle, Cristin Chall, Martin King, Michael Krämer, Peter Mättig & Michael Stöltzner - 2022 - Studies in History and Philosophy of Science Part A 92:129-143.
    Experiments in particle physics have hitherto failed to produce any significant evidence for the many explicit models of physics beyond the Standard Model (BSM) that had been proposed over the past decades. As a result, physicists have increasingly turned to model-independent strategies as tools in searching for a wide range of possible BSM effects. In this paper, we describe the Standard Model Effective Field Theory (SM-EFT) and analyse it in the context of the philosophical discussions about (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  17
    Theories as Models in Teaching Physics.Nahum Kipnis - 1998 - Science & Education 7 (3):245-260.
    Discussing theories at length, including their origin, development, and replacement by other theories, can help students in understanding of both objective and subjective aspects of the scientific process. Presenting theories in the form of- models helps in this undertaking, and the history of science provides a number of suitable models. The paper describes specific examples that have been used in in-service courses for science teachers.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Model-Selection Theory: The Need for a More Nuanced Picture of Use-Novelty and Double-Counting.Katie Steele & Charlotte Werndl - 2016 - British Journal for the Philosophy of Science:axw024.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. ""Lambda Theory: Introduction of a Constant for" Nothing" Into Set Theory, a Model of Consistency and Most Noticeable Conclusions.Laurent Dubois - 2013 - Logique Et Analyse 56 (222):165-181.
    The purpose of this article is to present several immediate consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. The use of Lambda will appear natural thanks to its role of condition of possibility of sets. On a conceptual level, the use of Lambda leads to a legitimation of the empty set and to a redefinition of the notion of set. It lets also clearly (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  94
    Expressing Truth Directly Within a Formal System with No Need for Model Theory.Pete Olcott - manuscript
    Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to deductive conclusions without any need for other representations.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Schaffner’s Model of Theory Reduction: Critique and Reconstruction.Rasmus Gr⊘Nfeldt Winther - 2009 - Philosophy of Science 76 (2):119-142.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  18. Modelling the Truth of Scientific Beliefs with Cultural Evolutionary Theory.Krist Vaesen & Wybo Houkes - 2014 - Synthese 191 (1).
    Evolutionary anthropologists and archaeologists have been considerably successful in modelling the cumulative evolution of culture, of technological skills and knowledge in particular. Recently, one of these models has been introduced in the philosophy of science by De Cruz and De Smedt (Philos Stud 157:411–429, 2012), in an attempt to demonstrate that scientists may collectively come to hold more truth-approximating beliefs, despite the cognitive biases which they individually are known to be subject to. Here we identify a major shortcoming in that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Models as Signs: Extending Kralemann and Lattman’s Proposal on Modeling Models Within Peirce’s Theory of Signs.Sergio Gallegos - 2019 - Synthese 196 (12):5115-5136.
    In recent decades, philosophers of science have devoted considerable efforts to understand what models represent. One popular position is that models represent fictional situations. Another position states that, though models often involve fictional elements, they represent real objects or scenarios. Though these two positions may seem to be incompatible, I believe it is possible to reconcile them. Using a threefold distinction between different signs proposed by Peirce, I develop an argument based on a proposal recently made by Kralemann and Lattman (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  23
    Théorie des modèles, de la simulation et représentation scientifique chez Mario Bunge.Jean Robillard - 2022 - Mεtascience: Discours Général Scientifique 2:45-73.
    On entend généralement par « théorie des modèles » autant la métamathématique (ou sémantique formelle) que la sémantique des modèles des sciences non formelles. Cet article a pour objet la théorie des modèles scientifiques que Mario Bunge a développée dans Method, Models and Matter (1973). J’y analyse l’intégration théorique qu’opère Bunge des sciences formelles et des sciences expérimentales ou observationnelles, laquelle prend appui sur sa philosophie des sciences. Je la compare sommairement à la théorie des modèles de Gilles-Gaston Granger dans (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  21. Reframing Single- and Dual-Process Theories as Cognitive Models: Commentary on De Neys (2021).Caleb Dewey - 2021 - Perspectives in Psychological Science.
    De Neys (2021) argues that the debate between single- and dual-process theorists of thought has become both empirically intractable and scientifically inconsequential. I argue that this is true only under the traditional framing of the debate—when single- and dual-process theories are understood as claims about whether thought processes share the same defining properties (e.g., making mathematical judgments) or have two different defining properties (e.g., making mathematical judgments autonomously versus via access to a central working memory capacity), respectively. But if single- (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Reconstruction of Mature Theory Change: A Theory-Change Model.Rinat M. Nugayev - 1999 - Peter Lang.
    A comprehensible model is proposed aimed at an analysis of the reasons for theory change in science. According to the model the origins of scientific revolutions lie not in a clash of fundamental theories with facts, but of “old” fundamental theories with each other, leading to contradictions that can only be eliminated in a more general theory. The model is illustrated with reference to physics in the early 20th century, the three “old” theories in this (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  20
    A Semi-Classical Model of the Elementary Process Theory Corresponding to Non-Relativistic Classical Mechanics.Marcoen J. T. F. Cabbolet - manuscript
    Currently there are at least four sizeable projects going on to establish the gravitational acceleration of massive antiparticles on earth. While general relativity and modern quantum theories strictly forbid any repulsive gravity, it has not yet been established experimentally that gravity is attraction only. With that in mind, the Elementary Process Theory (EPT) is a rather abstract theory that has been developed from the hypothesis that massive antiparticles are repulsed by the gravitational field of a body of ordinary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. A Categorical Model of the Elementary Process Theory Incorporating Special Relativity.Marcoen J. T. F. Cabbolet - manuscript
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Overdetermination of Theories by Empirical Models: A Realist Interpretation of Empirical Choices.Emma Ruttkamp - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):409-436.
    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 – (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Theorems and Models in Political Theory: An Application to Pettit on Popular Control.Sean Ingham - 2015 - The Good Society 24 (1):98-117.
    Pettit (2012) presents a model of popular control over government, according to which it consists in the government being subject to those policy-making norms that everyone accepts. In this paper, I provide a formal statement of this interpretation of popular control, which illuminates its relationship to other interpretations of the idea with which it is easily conflated, and which gives rise to a theorem, similar to the famous Gibbard-Satterthwaite theorem. The theorem states that if government policy is subject to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory.Vasil Penchev - 2020 - Information Theory and Research eJournal 1 (15):1-13.
    A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  78
    Information Asymmetries and the Paradox of Sustainable Business Models: Toward an Integrated Theory of Sustainable Entrepreneurship.V. Blok - unknown
    In this conceptual paper, the traditional conceptualization of sustainable entrepreneurship is challenged because of a fundamental tension between processes involved in sustainable development and processes involved in entrepreneurship: the concept of sustainable business models contains a paradox, because sustainability involves the reduction of information asymmetries, whereas entrepreneurship involves enhanced and secured levels of information asymmetries. We therefore propose a new and integrated theory of sustainable entrepreneurship that overcomes this paradox. The basic argument is that environmental problems have to be (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  29.  4
    Model P(F)_4 Quantum Field Theory: A Nonstandard Approach Based on Nonstandard Pointwise-Defined Quantum Fields.Jaykov Foukzon - forthcoming - AIP Conference Proceedings.
    A new non-Archimedean approach to interacted quantum fields is presented. In proposed approach, a field operator φ(x,t) no longer a standard tempered operator-valued distribution, but a non-classical operator-valued function. We prove using this novel approach that the quantum field theory with Hamiltonian P(φ)_4 exists and that the corresponding C^*­ algebra of bounded observables satisfies all the Haag-Kastler axioms except Lorentz covariance. We prove that the λ(φ^4 )_4 quantum field theory model is Lorentz covariant.
    Download  
     
    Export citation  
     
    Bookmark  
  30. A Simple Theory-Change Model.Rinat M. Nugayev - 1998 - Epistemologia 21 (2):245-280.
    A comprehensible model is proposed aimed at an analysis of the reasons for theory change in science. According to model the origins of scientific revolutions lie not in a clash of fundamental theories with facts, but of “old” fundamental theories with each other, leading to contradictions that can only be eliminated in a more general theory. The model is illustrated with reference to physics in the early 20th century, the three “old” theories in this case (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Modelling Deep Indeterminacy.George Darby & Martin Pickup - 2021 - Synthese 198:1685–1710.
    This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  32.  26
    Internal Set Theory IST# Based on Hyper Infinitary Logic with Restricted Modus Ponens Rule: Nonconservative Extension of the Model Theoretical NSA.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (7): 16-43.
    The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. The Role of Epistemological Models in Veronese's and Bettazzi's Theory of Magnitudes.Paola Cantù - 2010 - In M. D'Agostino, G. Giorello, F. Laudisa, T. Pievani & C. Sinigaglia (eds.), New Essays in Logic and Philosophy of Science. College Publications.
    The philosophy of mathematics has been accused of paying insufficient attention to mathematical practice: one way to cope with the problem, the one we will follow in this paper on extensive magnitudes, is to combine the `history of ideas' and the `philosophy of models' in a logical and epistemological perspective. The history of ideas allows the reconstruction of the theory of extensive magnitudes as a theory of ordered algebraic structures; the philosophy of models allows an investigation into the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  96
    Truth and Proof Without Models: A Development and Justification of the Truth-Valuational Approach.Hanoch Ben-Yami - manuscript
    I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Models as Make-Believe.Adam Toon - 2010 - In Roman Frigg & Matthew Hunter (eds.), Beyond Mimesis and Convention: Representation in Art and Science. Boston Studies in Philosophy of Science.
    In this paper I propose an account of representation for scientific models based on Kendall Walton’s ‘make-believe’ theory of representation in art. I first set out the problem of scientific representation and respond to a recent argument due to Craig Callender and Jonathan Cohen, which aims to show that the problem may be easily dismissed. I then introduce my account of models as props in games of make-believe and show how it offers a solution to the problem. Finally, I (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  36. Manufacturing Morality A General Theory of Moral Agency Grounding Computational Implementations: The ACTWith Model.Jeffrey White - 2013 - In Floares (ed.), Computational Intelligence. Nova Publications. pp. 1-65.
    The ultimate goal of research into computational intelligence is the construction of a fully embodied and fully autonomous artificial agent. This ultimate artificial agent must not only be able to act, but it must be able to act morally. In order to realize this goal, a number of challenges must be met, and a number of questions must be answered, the upshot being that, in doing so, the form of agency to which we must aim in developing artificial agents comes (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  37. The Value(s) of a Story: Theories, Models and Cognitive Values.Isabelle Peschard - 2007 - Principia 11 (2):151-169.
    This paper aims 1) to introduce the notion of theoretical story as a resource and source of constraint for the construction and assessment of models of phenomena; 2) to show the relevance of this notion for a better understanding of the role and nature of values in scientific activity. The reflection on the role of values and value judgments in scientific activity should be attentive, I will argue, to the distinction between models and the theoretical story that guides and constrains (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Causal Models and the Logic of Counterfactuals.Jonathan Vandenburgh - manuscript
    Causal models provide a framework for making counterfactual predictions, making them useful for evaluating the truth conditions of counterfactual sentences. However, current causal models for counterfactual semantics face limitations compared to the alternative similarity-based approach: they only apply to a limited subset of counterfactuals and the connection to counterfactual logic is not straightforward. This paper argues that these limitations arise from the theory of interventions where intervening on variables requires changing structural equations rather than the values of variables. Using (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  71
    Model Templates Within and Between Disciplines: From Magnets to Gases – and Socio-Economic Systems.Tarja Knuuttila & Andrea Loettgers - 2016 - European Journal for Philosophy of Science 6 (3):377-400.
    One striking feature of the contemporary modelling practice is its interdisciplinary nature. The same equation forms, and mathematical and computational methods, are used across different disciplines, as well as within the same discipline. Are there, then, differences between intra- and interdisciplinary transfer, and can the comparison between the two provide more insight on the challenges of interdisciplinary theoretical work? We will study the development and various uses of the Ising model within physics, contrasting them to its applications to socio-economic (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  40. Models, Information and Meaning.Marc Artiga - 2020 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 82:101284.
    There has recently been an explosion of formal models of signalling, which have been developed to learn about different aspects of meaning. This paper discusses whether that success can also be used to provide an original naturalistic theory of meaning in terms of information or some related notion. In particular, it argues that, although these models can teach us a lot about different aspects of content, at the moment they fail to support the idea that meaning just is some (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Theory Choice and Social Choice: Okasha Versus Sen.Jacob Stegenga - 2015 - Mind 124 (493):263-277.
    A platitude that took hold with Kuhn is that there can be several equally good ways of balancing theoretical virtues for theory choice. Okasha recently modelled theory choice using technical apparatus from the domain of social choice: famously, Arrow showed that no method of social choice can jointly satisfy four desiderata, and each of the desiderata in social choice has an analogue in theory choice. Okasha suggested that one can avoid the Arrow analogue for theory choice (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  42.  95
    Reinterpreting the Universe-Multiverse Debate in Light of Inter-Model Inconsistency in Set Theory.Daniel Kuby - manuscript
    In this paper I apply the concept of _inter-Model Inconsistency in Set Theory_ (MIST), introduced by Carolin Antos (this volume), to select positions in the current universe-multiverse debate in philosophy of set theory: I reinterpret H. Woodin’s _Ultimate L_, J. D. Hamkins’ multiverse, S.-D. Friedman’s hyperuniverse and the algebraic multiverse as normative strategies to deal with the situation of de facto inconsistency toleration in set theory as described by MIST. In particular, my aim is to situate these (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Models and Reality.Robert Stalnaker - 2016 - Canadian Journal of Philosophy 46 (4-5):709-726.
    Kripke models, interpreted realistically, have difficulty making sense of the thesis that there might have existed things that do not in fact exist, since a Kripke model in which this thesis is true requires a model structure in which there are possible worlds with domains that contain things that do not exist. This paper argues that we can use Kripke models as representational devices that allow us to give a realistic interpretation of a modal language. The method of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  44. Normative Formal Epistemology as Modelling.Joe Roussos - forthcoming - The British Journal for the Philosophy of Science.
    I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are characterised (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Models and Minds.Stuart C. Shapiro & William J. Rapaport - 1991 - In Robert E. Cummins & John L. Pollock (eds.), Philosophy and AI. Cambridge: MIT Press. pp. 215--259.
    Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  46. A Model of Non-Informational Preference Change.Franz Dietrich & Christian List - 2011 - Journal of Theoretical Politics 23 (2):145-164.
    According to standard rational choice theory, as commonly used in political science and economics, an agent's fundamental preferences are exogenously fixed, and any preference change over decision options is due to Bayesian information learning. Although elegant and parsimonious, such a model fails to account for preference change driven by experiences or psychological changes distinct from information learning. We develop a model of non-informational preference change. Alternatives are modelled as points in some multidimensional space, only some of whose (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  47. The Model-Theoretic Argument: From Skepticism to a New Understanding.Gila Sher - 2016 - In Sanford Goldberg (ed.), The Brain in a Vat. Cambridge, Britain: Cambridge University Press. pp. 208-225.
    In this paper I investigate Putnam’s model-theoretic argument from a transcendent standpoint, in spite of Putnam’s well-known objections to such a standpoint. This transcendence, however, requires ascent to something more like a Tarskian meta-level than what Putnam regards as a “God’s eye view”. Still, it is methodologically quite powerful, leading to a significant increase in our investigative tools. The result is a shift from Putnam’s skeptical conclusion to a new understanding of realism, truth, correspondence, knowledge, and theories, or certain (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Models and Inferences in Science.Emiliano Ippoliti, Fabio Sterpetti & Thomas Nickles (eds.) - 2016 - Cham: Springer.
    The book answers long-standing questions on scientific modeling and inference across multiple perspectives and disciplines, including logic, mathematics, physics and medicine. The different chapters cover a variety of issues, such as the role models play in scientific practice; the way science shapes our concept of models; ways of modeling the pursuit of scientific knowledge; the relationship between our concept of models and our concept of science. The book also discusses models and scientific explanations; models in the semantic view of theories; (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Addressing the Conflict Between Relativity and Quantum Theory: Models, Measurement and the Markov Property.Gareth Ernest Boardman - 2013 - Cosmos and History 9 (2):86-115.
    Twenty-first century science faces a dilemma. Two of its well-verified foundation stones - relativity and quantum theory - have proven inconsistent. Resolution of the conflict has resisted improvements in experimental precision leaving some to believe that some fundamental understanding in our world-view may need modification or even radical reform. Employment of the wave-front model of electrodynamics, as a propagation process with a Markov property, may offer just such a clarification.
    Download  
     
    Export citation  
     
    Bookmark  
  50. Model-Based Cognitive Neuroscience: Multifield Mechanistic Integration in Practice.Mark Povich - 2019 - Theory & Psychology 5 (29):640–656.
    Autonomist accounts of cognitive science suggest that cognitive model building and theory construction (can or should) proceed independently of findings in neuroscience. Common functionalist justifications of autonomy rely on there being relatively few constraints between neural structure and cognitive function (e.g., Weiskopf, 2011). In contrast, an integrative mechanistic perspective stresses the mutual constraining of structure and function (e.g., Piccinini & Craver, 2011; Povich, 2015). In this paper, I show how model-based cognitive neuroscience (MBCN) epitomizes the integrative mechanistic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000