Results for 'model theory'

947 found
Order:
  1. Spinozian Model Theory.Justin Bledin & Yitzhak Y. Melamed - 2020 - Advances in Modern Logic 13:133-147.
    his paper is an excerpt from a larger project that aims to open a new pathway into Spinoza's Ethics by formally reconstructing an initial fragment of this text. The semantic backbone of the project is a custom-made Spinozian model theory that lays out some of the formal prerequisites for more ne-grained investigations into Spinoza's fundamental ontology and modal metaphysics. We implement Spinoza's theory of attributes using many-sorted models with a rich system of identity that allows us to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  97
    A partial model theory and some of its applications.Rodolfo Cunha Carnier - manuscript
    In this paper, we introduce the basics of what we shall call "partial model theory", which is an extension of traditional model theory to partial structures. These are a specific kind of structure developed within the partial structures approach, which is a view constituting the semantic approach of theories. And together with other related semantical concepts, like the concept of quasi-truth, partial structures have been used in contemporary philosophy of science for several purposes. Nonetheless, those uses (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Model Theory and Contingent Existence.Boris Kment - 2016 - Analysis 76 (2):172-190.
    Contingentism is the view that it is possible for there to be contingent existents. Timothy Williamson has argued that contingentists cannot provide a satisfactory interpretation of the possible-world semantics for modal logic. This paper aims to provide such an interpretation on behalf of contingentists.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. 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   4 citations  
  5. 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  
  6. 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  
  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 (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   5 citations  
  8. Brains in vats and model theory.Tim Button - 2015 - In Sanford Goldberg (ed.), The Brain in a Vat. United Kingdom: Cambridge University Press. pp. 131-154.
    Hilary Putnam’s BIV argument first occurred to him when ‘thinking about a theorem in modern logic, the “Skolem–Löwenheim Theorem”’ (Putnam 1981: 7). One of my aims in this paper is to explore the connection between the argument and the Theorem. But I also want to draw some further connections. In particular, I think that Putnam’s BIV argument provides us with an impressively versatile template for dealing with sceptical challenges. Indeed, this template allows us to unify some of Putnam’s most enduring (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  37
    Plato, cross-division and the genesis of modelling theory.Tom Ritchey - manuscript
    This draft Chapter 4 of the book “In the Beginning was Chiasmus: On the Epistemology of Non-quantified Modelling, describes how Plato’s method of divisions and collections (diairesis) accommodates both linear hierarchal classification and combinatoric cross-classification. It presents Plato’s and the early Neoplatonists’ use of cross-classificatory (chiastic) modelling as an ancient prototype of contemporary typological and morphological modelling.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Expressing Truth directly within a formal system with no need for model theory.P. 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  
  11. (1 other version)Empirical perspectives from the self-model theory of subjectivity: a brief summary with examples.Thomas Metzinger - 2008 - In Rahul Banerjee & Bikas K. Chakrabarti (eds.), Models of brain and mind: physical, computational, and psychological approaches. Boston: 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  
  12. Coherence and correspondence in the network dynamics of belief suites.Patrick Grim, Andrew Modell, Nicholas Breslin, Jasmine Mcnenny, Irina Mondescu, Kyle Finnegan, Robert Olsen, Chanyu An & Alexander Fedder - 2017 - Episteme 14 (2):233-253.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. 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   13 citations  
  14. 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 (C):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   3 citations  
  15. 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  
  16. Dismantling the deficit model of science communication using Ludwik Fleck’s theory of thinking collectives.Victoria M. Wang - forthcoming - In Jonathan Y. Tsou, Shaw Jamie & Carla Fehr (eds.), Values, Pluralism, and Pragmatism: Themes from the Work of Matthew J. Brown. Cham: Boston Studies in the Philosophy and History of Science. Springer.
    Numerous societal issues, from climate change to pandemics, require public engagement with scientific research. Such engagement reveals challenges that can arise when experts communicate with laypeople. One of the most common frameworks for framing these communicative interactions is the deficit model of science communication, which holds that laypeople lack scientific knowledge and/or positive attitudes towards science, and that imparting knowledge will fill knowledge gaps, lead to desirable attitude/behavior changes, and increase trust in science. §1 introduces the deficit model (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. 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. Springer. 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   2 citations  
  18. 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   15 citations  
  19. (1 other version)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   3 citations  
  20. On Political Theory and Large Language Models.Emma Rodman - 2024 - Political Theory 52 (4):548-580.
    Political theory as a discipline has long been skeptical of computational methods. In this paper, I argue that it is time for theory to make a perspectival shift on these methods. Specifically, we should consider integrating recently developed generative large language models like GPT-4 as tools to support our creative work as theorists. Ultimately, I suggest that political theorists should embrace this technology as a method of supporting our capacity for creativity—but that we should do so in a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Models as signs: extending Kralemann and Lattman’s proposal on modeling models within Peirce’s theory of signs.Sergio A. 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  
  22. 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  
  23. 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  
  24. 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  
     
    Export citation  
     
    Bookmark   1 citation  
  25. ""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  
  26. 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   4 citations  
  27. A Semi-Classical Model of the Elementary Process Theory Corresponding to Non-Relativistic Classical Mechanics.Marcoen J. T. F. Cabbolet - 2022 - In And now for something completely different: the Elementary Process Theory. Revised, updated and extended 2nd edition of the dissertation with almost the same title. Utrecht: Eburon Academic Publishers. pp. 255-287.
    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  
  28. (1 other version)An Externalist Theory of Social Understanding: Interaction, Psychological Models, and the Frame Problem.Axel Seemann - 2021 - Review of Philosophy and Psychology:1-25.
    I put forward an externalist theory of social understanding. On this view, psychological sense making takes place in environments that contain both agent and interpreter. The spatial structure of such environments is social, in the sense that its occupants locate its objects by an exercise in triangulation relative to each of their standpoints. This triangulation is achieved in intersubjective interaction and gives rise to a triadic model of the social mind. This model can then be used to (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  29. 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   16 citations  
  30. 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  
  31.  83
    Why the Causal Theory of Reference Fails to Immunize Metaphysical Realism Against Putnam’s Model-Theoretic Arguments.Pietro Lampronti - 2024 - Dissertation, London School of Economics
    In the 1980s, Putnam famously launched a series of model-theoretic attacks on Metaphysical Realism, aimed at establishing a dilemma for the view and ultimately leading to its dismissal. The present work evaluates whether adopting the Causal Theory of Reference saves Realism from Putnam's attacks. As it turns out, the outcome of the analysis revolves around two questions: (a) whether language has an intended reference relation with the world, or in model-theoretic terms, whether theories have an intended (...); and (b) if this is the case, what fixes such a relation or model. Putnam dashed any realist hopes with his infamous Just-More-Theory Manœuvre, which however is not uncontroversial, and has been criticized by many as question-begging. Ultimately, though, the present work concludes that Putnam has successfully established his dilemma, and that Metaphysical Realism is hardly tenable. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  32. (1 other version)Model λ(φ^2n )_4,n≥2 Quantum Field Theory: A Nonstandard Approach Based on Nonstandard Pointwise-Defined Quantum Fields.Jaykov Foukzon - forthcoming - Journal of Physics: Conference Series:35. Translated by Jaykov Foukzon.
    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 λ(φ^2n )_4,n≥2 quantum field theory models are Lorentz covariant.
    Download  
     
    Export citation  
     
    Bookmark  
  33. Neutral and niche theory in community ecology: a framework for comparing model realism.Katie H. Morrow - 2024 - Biology and Philosophy 39 (1):1-19.
    Ecological neutral theory has been controversial as an alternative to niche theory for explaining community structure. Neutral theory, which explains community structure in terms of ecological drift, is frequently charged with being unrealistic, but commentators have usually not provided an account of theory or model realism. In this paper, I propose a framework for comparing the “realism” or accuracy of alternative theories within a domain with respect to the extent to which the theories abstract and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. 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  
  35. 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   1 citation  
  36. Calibrating the theory of model mediated measurement: metrological extension, dimensional analysis, and high pressure physics.Mahmoud Jalloh - 2024 - European Journal for Philosophy of Science 14 (40):1-32.
    I argue that dimensional analysis provides an answer to a skeptical challenge to the theory of model mediated measurement. The problem arises when considering the task of calibrating a novel measurement procedure, with greater range, to the results of a prior measurement procedure. The skeptical worry is that the agreement of the novel and prior measurement procedures in their shared range may only be apparent due to the emergence of systematic error in the exclusive range of the novel (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. A categorical model of the Elementary Process Theory incorporating Special Relativity.Marcoen J. T. F. Cabbolet - 2022 - In And now for something completely different: the Elementary Process Theory. Revised, updated and extended 2nd edition of the dissertation with almost the same title. Utrecht: Eburon Academic Publishers. pp. 399-452.
    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  
  38. 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  
  39. 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  
  40. 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  
  41.  86
    What Are Lacking in Sora and V-JEPA’s World Models? -A Philosophical Analysis of Video AIs Through the Theory of Productive Imagination.Jianqiu Zhang - unknown
    Sora from Open AI has shown exceptional performance, yet it faces scrutiny over whether its technological prowess equates to an authentic comprehension of reality. Critics contend that it lacks a foundational grasp of the world, a deficiency V-JEPA from Meta aims to amend with its joint embedding approach. This debate is vital for steering the future direction of Artificial General Intelligence(AGI). We enrich this debate by developing a theory of productive imagination that generates a coherent world model based (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Truth and Proof without Models: A Development and Justification of the Truth-valuational Approach (2nd edition).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, the 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43.  44
    Whose models? Which representations? A response to Wagner.Doug Hardman & Phil Hutchinson - 2023 - Journal of Medical Ethics 49 (12):850-851.
    InWhere the Ethical Action Is,we argued that medical and ethical modes of thought are not different in kind but different aspects of a situation. One of the consequences of this argument is that the requirement for or benefits of normative moral theorising in bioethics is undercut. In response, Wagner has argued that normative moral theories should be reconceived as models. Wagner’s argument seems to be that once reconceived as models, the rationale for moral theorising, undercut by our arguments inWhere the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44.  26
    The Fundamental Interrelationships Model – An Alternative Approach to the Theory of Everything, Part 4.Gavin Huang - manuscript
    The Fundamental Interrelationships Model – An Alternative Approach to the Theory of Everything, Part 4 Subtitle: The Nature of Beauty and Fundamental Interrelationships -/- Abstract: This article is Chapter 21, titled The Nature of Beauty and the Fundamental Interrelationships, from the book Behind Civilization. It posits that the nature of beauty is rooted in one of the fundamental interrelationships: order. Beauty is perceived as a response in the human brain to this fundamental interrelationship. This article provides evidence that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Thinking Out Loud on Early Creation through the Lens of Hermeneutics of Sherlock Holmes (Towards a Model of Universe based on Turbulence-Generated Sound Theory).Victor Christianto & Florentin Smarandache - manuscript
    In recent years, apparently the Big Bang as described by the Lambda CDM-Standard Model Cosmology has become widely accepted by majority of physics and cosmology communities. Even some people have concluded that it has no serious alternative in horizon. Is that true? First, as we argued elsewhere, Big Bang story relies on singularity. In other words, when we are able to describe the observed data without invoking singularity, then Big Bang model is no longer required. Therefore, here we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. The role of epistemological models in Veronese's and Bettazzi's theory of magnitudes.Paola Cantù - 2010 - In Marcello D'Agostino, Federico Laudisa, Giulio Giorello, Telmo Pievani & Corrado 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  
     
    Export citation  
     
    Bookmark  
  47. Kinds of Models.Adam Morton & Mauricio Suárez - 2001 - In Malcolm G. Anderson & Paul D. Bates (eds.), Model Validation: perspectives in hydrological science. Wiley. pp. 11-22.
    We separate metaphysical from epistemic questions in the evaluation of models, taking into account the distinctive functions of models as opposed to theories. The examples a\are very varied.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. The Structure of Idealization in Biological Theories: The Case of the Wright-Fisher Model.Donato Rodriguez Xavier & Arroyo-Santos Alfonso - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. (1 other version)Quantum mechanics over sets: a pedagogical model with non-commutative finite probability theory as its quantum probability calculus.David Ellerman - 2017 - Synthese (12).
    This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  50. Modelling in Normative Ethics.Joe Roussos - 2022 - Ethical Theory and Moral Practice (5):1-25.
    This is a paper about the methodology of normative ethics. I claim that much work in normative ethics can be interpreted as modelling, the form of inquiry familiar from science, involving idealised representations. I begin with the anti-theory debate in ethics, and note that the debate utilises the vocabulary of scientific theories without recognising the role models play in science. I characterise modelling, and show that work with these characteristics is common in ethics. This establishes the plausibility of my (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 947