Results for 'model-theoretic syntax'

942 found
Order:
  1. Characterizing generics are material inference tickets: a proof-theoretic analysis.Preston Stovall - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy (5):668-704.
    An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  2. Algebra of Theoretical Term Reductions in the Sciences.Dale Jacquette - 2014 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 1 (1): 51-67.
    An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Truth, correspondence, models, and Tarski.Panu Raatikainen - 2007 - In Sami Pihlström, Panu Raatikainen & Matti Sintonen (eds.), Approaching truth: essays in honour of Ilkka Niiniluoto. London: College Publications. pp. 99-112.
    In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  4. Questions about proof theory vis-à-vis natural language semantics (2007).Anna Szabolcsi - manuscript
    Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation in a compositional fashion. For example, *No whale flies* is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Disarming Context Dependence. A Formal Inquiry into Indexicalism and Truth-Conditional Pragmatics.Stellan Petersson - 2019 - Dissertation, University of Gothenburg
    In the debate about semantic context dependence, various truth-conditional frameworks have been proposed. Indexicalism, associated with e.g. Jason Stanley, accounts for contextual effects on truth conditions in terms of a rich covert syntax. Truth-conditional pragmatics, associated with e.g. François Recanati, does not locate the mechanisms for context dependence in the syntactic structure but provides a more complex semantics. In this dissertation, the hypothesis that indexicalism and truth-conditional pragmatics are empirically equivalent is explored. The conclusion that the hypothesis is correct (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. The Model-Theoretic Argument: From Skepticism to a New Understanding.Gila Sher - 2015 - In Sanford Goldberg (ed.), The Brain in a Vat. United Kingdom: 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Model theoretic semantics of performatives.Anna Szabolcsi - 1982 - In Ferenc Kiefer (ed.), Hungarian General Linguistics. Benjamins.
    [...] I will only investigate [Austin's] claims as challenges to present-day model theoretic semantics. My main point will be to draw a sharp line between the semantic and pragmatic aspects of performatives and thereby discover a gap in Austin’s treatment. This will in my view naturally lead to the proposal in Section 2, that is, to treating performatives as denoting changes in intensional models. The rest of Section 2 will be concerned with the status of felicity conditions and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. A Model-Theoretic Interpretation of Science.Emma Ruttkamp - 1997 - South African Journal of Philosophy 16 (1):31-36.
    I am arguing that it is only by concentrating on the role of models in theory construction, interpretation and change, that one can study the progress of science sensibly. I define the level at which these models operate as a level above the purely empirical (consisting of various systems in reality) but also indeed below that of the fundamental formal theories (expressed linguistically). The essentially multi-interpretability of the theory at the general, abstract linguistic level, implies that it can potentially make (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. A model-theoretic analysis of Fidel-structures for mbC.Marcelo E. Coniglio - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 189-216.
    In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N (for negation) and O (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. The Epistemic Significance of Valid Inference – A Model-Theoretic Approach.Constantin C. Brîncuș - 2015 - In Sorin Costreie & Mircea Dumitru (eds.), Meaning and Truth. Pro Universitaria. pp. 11-36.
    The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  75
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. The Metamathematics of Putnam’s Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.
    Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  13. Reviewing Reduction in a Preferential ModelTheoretic Context.Emma Ruttkamp & Johannes Heidema - 2005 - International Studies in the Philosophy of Science 19 (2):123 – 146.
    In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  14. 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 of Tarski’s axiom (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Naturalizing semantics and Putnam's model-theoretic argument.Andrea Bianchi - 2002 - Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 22 (1):1-19.
    Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Meeting Hintikka's Challenge to Paraconsistentism.Walter Carnielli - 2009 - Principia: An International Journal of Epistemology 13 (3):283-297.
    Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more inter-related. My (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Model Organisms are Not (Theoretical) Models.Arnon Levy & Adrian Currie - 2015 - British Journal for the Philosophy of Science 66 (2):327-348.
    Many biological investigations are organized around a small group of species, often referred to as ‘model organisms’, such as the fruit fly Drosophila melanogaster. The terms ‘model’ and ‘modelling’ also occur in biology in association with mathematical and mechanistic theorizing, as in the Lotka–Volterra model of predator-prey dynamics. What is the relation between theoretical models and model organisms? Are these models in the same sense? We offer an account on which the two practices are shown to (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  18. Individual-actualism and three-valued modal logics, part 1: Model-theoretic semantics.Harold T. Hodes - 1986 - Journal of Philosophical Logic 15 (4):369 - 401.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  19. Collapse Models:a theoretical, experimental and philosophical review.Mauro Dorato, Angelo Bassi & Hendrik Ulbricht - 2023 - Entropy 25 (645):1.
    In this paper, we review and connect the three essential conditions needed by the collapse model to achieve a complete and exact formulation, namely the theoretical, the experimental, and the ontological ones. These features correspond to the three parts of the paper. In any empirical science, the first two features are obviously connected but, as is well known, among the different formulations and interpretations of non-relativistic quantum mechanics, only collapse models, as the paper well illustrates with a richness of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. The ontology of theoretical modelling: models as make-believe.Adam Toon - 2010 - Synthese 172 (2):301-315.
    The descriptions and theoretical laws scientists write down when they model a system are often false of any real system. And yet we commonly talk as if there were objects that satisfy the scientists’ assumptions and as if we may learn about their properties. Many attempt to make sense of this by taking the scientists’ descriptions and theoretical laws to define abstract or fictional entities. In this paper, I propose an alternative account of theoretical modelling that draws upon Kendall (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  21. Psychological and Computational Models of Language Comprehension: In Defense of the Psychological Reality of Syntax.David Pereplyotchik - 2011 - Croatian Journal of Philosophy 11 (1):31-72.
    In this paper, I argue for a modified version of what Devitt calls the Representational Thesis. According to RT, syntactic rules or principles are psychologically real, in the sense that they are represented in the mind/brain of every linguistically competent speaker/hearer. I present a range of behavioral and neurophysiological evidence for the claim that the human sentence processing mechanism constructs mental representations of the syntactic properties of linguistic stimuli. I then survey a range of psychologically plausible computational models of comprehension (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. (1 other version)Searle, Syntax, and Observer Relativity.Ronald P. Endicott - 1996 - Canadian Journal of Philosophy 26 (1):101-22.
    I critically examine some provocative arguments that John Searle presents in his book The Rediscovery of Mind to support the claim that the syntactic states of a classical computational system are "observer relative" or "mind dependent" or otherwise less than fully and objectively real. I begin by explaining how this claim differs from Searle's earlier and more well-known claim that the physical states of a machine, including the syntactic states, are insufficient to determine its semantics. In contrast, his more recent (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  23. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. How Theoretically Opposite Models of Interethnic Power-Sharing Can Complement Each Other and Contribute to Political Stabilization: The Case of Nigeria.Krzysztof Trzcinski - 2016 - Politeja 42 (3):53-73.
    The aim of this article is to demonstrate the thesis that the stabilization of Nigeria’s complicated political situation is furthered by the functioning in that country of institutions based on two models of interethnic power-sharing – consociationalism and centripetalism – and that the two are to some extent complementary in Nigerian practice, despite the fact that political theory sees the two as opposites of each other. The article begins with a short analysis of the political situation in Nigeria. This is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  90
    Addressing implicit bias: A theoretical model for promoting integrative reflective practice in live-client law clinics.Marc Johnson & Omar Madhloom - 2024 - European Journal of Legal Education 5 (1):55-87.
    Clinical Legal Education programmes now take place in most law schools in England and Wales. However, legal education continues to be predominantly focused on the analysis and application of rules, doctrines, and theories to hypothetical scenarios or essay questions. This form of pedagogy either minimises or ignores the role of the client in terms of supplying lawyers with knowledge pertinent to their case. In other words, it overlooks the fact that the lawyer’s acquisition of knowledge is not confined to technical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. On constructing a research model for historical cognitive linguistics (HCL): Some theoretical considerations.Nathalie Gontier - 2010 - In M. E. Winters (ed.), Historical Cognitive Linguistics. pp. 31-69.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Pictorial syntax.Kevin J. Lande - 2024 - Mind and Language 39 (4):518-539.
    It is commonly assumed that images, whether in the world or in the head, do not have a privileged analysis into constituent parts. They are thought to lack the sort of syntactic structure necessary for representing complex contents and entering into sophisticated patterns of inference. I reject this assumption. “Image grammars” are models in computer vision that articulate systematic principles governing the form and content of images. These models are empirically credible and can be construed as literal grammars for images. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Time Travel and the Immutability of the Past within B-Theoretical Models.Giacomo Andreoletti & Giuliano Torrengo - 2019 - Philosophia 47 (4):1011-1021.
    The goal of this paper is to defend the general tenet that time travelers cannot change the past within B-theoretical models of time, independently of how many temporal dimensions there are. Baron Pacific Philosophical Quarterly, 98, 129–147 offered a strong argument intended to reach this general conclusion. However, his argument does not cover a peculiar case, i.e. a B-theoretical one-dimensional model of time that allows for the presence of internal times. Loss Pacific Philosophical Quarterly, 96, 1–11 used the latter (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  29. Is There One Best 'Model of Democracy'? Efficiency and Representativeness: 'Theoretical Revolution' or Democratic Dilemma?Novák Miroslav - 1997 - Sociologický Časopis / Czech Sociological Review 2:131-157.
    One element in the choice of a constitutional design or model of democracy is the criterion of efficiency. Different political scientists, however, understand the word ‘efficiency’ in different ways. The author suggests a distinction between its two main meanings: (1) efficiency-action capacity and (2) effectiveness-socioeconomic performance. It is not just socio-economic effectiveness that is important, but also political efficiency-action capacity. Efficiency-action capacity is closely linked with the theory of democracy put forward by Schumpeter and adopted by the majority of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. INFORMATION-THEORETIC LOGIC.John Corcoran - 1998 - In C. Martínez U. Rivas & L. Villegas-Forero (eds.), Truth in Perspective edited by C. Martínez, U. Rivas, L. Villegas-Forero, Ashgate Publishing Limited, Aldershot, England (1998) 113-135. ASHGATE. pp. 113-135.
    Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  31. Fisherian and Wrightian Perspectives in Evolutionary Genetics and Model-Mediated Imposition of Theoretical Assumptions.Rasmus Grønfeldt Winther - 2006 - Journal of Theoretical Biology 240:218-232.
    I investigate how theoretical assumptions, pertinent to different perspectives and operative during the modeling process, are central in determining how nature is actually taken to be. I explore two different models by Michael Turelli and Steve Frank of the evolution of parasite-mediated cytoplasmic incompatility, guided, respectively, by Fisherian and Wrightian perspectives. Since the two models can be shown to be commensurable both with respect to mathematics and data, I argue that the differences between them in the (1) mathematical presentation of (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  32. 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 structures, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  33. Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
    The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  34. Boredom and Poverty: A Theoretical Model.Andreas Elpidorou - 2022 - In The Moral Psychology of Boredom. Rowman & Littlefield Publishers. pp. 171-208.
    The aim of this chapter is to articulate the ways in which our social standing, and particularly our socio-economic status (SES), affects, even transforms, the experience of boredom. Even if boredom can be said to be democratic, in the sense that it can potentially affect all of us, it does not actually affect all of us in the same way. Boredom, I argue, is unjust—some groups are disproportionately negatively impacted by boredom through no fault of their own. Depending on our (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Information-theoretic logic and transformation-theoretic logic,.John Corcoran - 1999 - In R. A. M. M. (ed.), Fragments in Science,. World Scientific Publishing Company,. pp. 25-35.
    Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Ultrametric Distance in Syntax.Mark D. Roberts - manuscript
    Phrase structure trees have a hierarchical structure. In many subjects, most notably in {\bf taxonomy} such tree structures have been studied using ultrametrics. Here syntactical hierarchical phrase trees are subject to a similar analysis, which is much simpler as the branching structure is more readily discernible and switched. The occurrence of hierarchical structure elsewhere in linguistics is mentioned. The phrase tree can be represented by a matrix and the elements of the matrix can be represented by triangles. The height at (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. THE HISTORICAL SYNTAX OF PHILOSOPHICAL LOGIC.Yaroslav Hnatiuk - 2022 - European Philosophical and Historical Discourse 8 (1):78-87.
    This article analyzes the historical development of the philosophical logic syntax from the standpoint of the unity of historical and logical methods. According to this perspective, there are three types of logical syntax: the elementary subject-predicate, the modified definitivespecificative, and the standard propositional-functional. These types are generalized in the grammatical and mathematical styles of logical syntax. The main attention is paid to two scientific revolutions in elementary subject-predicate syntax, which led to the emergence of modified definitive-specific (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Using models to correct data: paleodiversity and the fossil record.Alisa Bokulich - 2018 - Synthese 198 (Suppl 24):5919-5940.
    Despite an enormous philosophical literature on models in science, surprisingly little has been written about data models and how they are constructed. In this paper, I examine the case of how paleodiversity data models are constructed from the fossil data. In particular, I show how paleontologists are using various model-based techniques to correct the data. Drawing on this research, I argue for the following related theses: first, the ‘purity’ of a data model is not a measure of its (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  39. From Homo-economicus to Homo-virtus: A System-Theoretic Model for Raising Moral Self-Awareness.Julian Friedland & Benjamin M. Cole - 2019 - Journal of Business Ethics 155 (1):191-205.
    There is growing concern that a global economic system fueled predominately by financial incentives may not maximize human flourishing and social welfare externalities. If so, this presents a challenge of how to get economic actors to adopt a more virtuous motivational mindset. Relying on historical, psychological, and philosophical research, we show how such a mindset can be instilled. First, we demonstrate that historically, financial self-interest has never in fact been the only guiding motive behind free markets, but that markets themselves (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  40.  84
    On $${{{\mathcal {F}}}}$$-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks.Gustavo Bodanza - 2023 - Journal of Logic, Language and Information 32 (3):373-393.
    $${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Reducing Prejudice: A Spatialized Game-Theoretic Model for the Contact Hypothesis.Patrick Grim - 2004 - In Jordan Pollack, Mark Bedau, Phil Husbands, Takashi Ikegami & Richard A. Watson (eds.), Artificial Life IX: Proceedings of the Ninth International Conference on Artificial Life. MIT Press. pp. 244-250.
    There are many social psychological theories regarding the nature of prejudice, but only one major theory of prejudice reduction: under the right circumstances, prejudice between groups will be reduced with increased contact. On the one hand, the contact hypothesis has a range of empirical support and has been a major force in social change. On the other hand, there are practical and ethical obstacles to any large-scale controlled test of the hypothesis in which relevant variables can be manipulated. Here we (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  42. Theoretical Virtues in Scientific Practice: An Empirical Study.Moti Mizrahi - 2022 - British Journal for the Philosophy of Science 73 (4):879-902.
    It is a common view among philosophers of science that theoretical virtues (also known as epistemic or cognitive values), such as simplicity and consistency, play an important role in scientific practice. In this article, I set out to study the role that theoretical virtues play in scientific practice empirically. I apply the methods of data science, such as text mining and corpus analysis, to study large corpora of scientific texts in order to uncover patterns of usage. These patterns of usage, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  43. 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   20 citations  
  44. How is analytical thinking related to religious belief? A test of three theoretical models.Adam Baimel, Cindel J. M. White, Hagop Sarkissian & Ara Norenzayan - 2021 - Religion, Brain and Behavior 11 (3):239-260.
    The replicability and importance of the correlation between cognitive style and religious belief have been debated. Moreover, the literature has not examined distinct psychological accounts of this relationship. We tested the replicability of the correlation (N = 5284; students and broader samples of Canadians, Americans, and Indians); while testing three accounts of how cognitive style comes to be related to belief in God, karma, witchcraft, and to the belief that religion is necessary for morality. The first, the dual process (...), posits that analytical thinking is recruited in overriding intuitions related to supernatural beliefs. The second, the expressive rationality model, posits that analytical thinking is recruited in supporting already-held beliefs in an identity-protective manner. And the third, the counter-normativity rationality model, posits that analytical thinking is recruited to question beliefs supported by prevailing cultural norms. In Study 2, we tested the replicability of our results in a re-analysis of published data. The association between analytic thinking style and beliefs was replicated. We conclude that whereas the counter-normativity rationality model was contradicted by the data, both the dual process and expressive rationality models received varying degrees of empirical support, but neither model fully accounted for all the patterns in the data. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Σ01 soundness isn’t enough: Number theoretic indeterminacy’s unsavory physical commitments.Sharon Berry - 2023 - British Journal for the Philosophy of Science 74 (2):469-484.
    It’s sometimes suggested that we can (in a sense) settle the truth-value of some statements in the language of number theory by stipulation, adopting either φ or ¬φ as an additional axiom. For example, in Clarke-Doane (2020b) and a series of recent APA presentations, Clarke-Doane suggests that any Σ01 sound expansion of our current arithmetical practice would express a truth. In this paper, I’ll argue that (given a certain popular assumption about the model-theoretic representability of languages like ours) (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. 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 TVS and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Natural Recursion Doesn’t Work That Way: Automata in Planning and Syntax.Cem Bozsahin - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer. pp. 95-112.
    Natural recursion in syntax is recursion by linguistic value, which is not syntactic in nature but semantic. Syntax-specific recursion is not recursion by name as the term is understood in theoretical computer science. Recursion by name is probably not natural because of its infinite typeability. Natural recursion, or recursion by value, is not species-specific. Human recursion is not syntax-specific. The values on which it operates are most likely domain-specific, including those for syntax. Syntax seems to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. A model of the ontology of time.Marian Călborean - manuscript
    I this paper I give minimal axioms for the ontology of time, especially A-theories and B-theories and I derive philosophically interesting lemmas. The exercise is set-theoretical, defining all notions and indicating assumptions and philosophical points of disagreement, while being easy to translate to other formal expressions . The issue of a logic for A-theories of time is treated towards the end, where I sketch ‘copresent’ operators for capturing the idea of temporal passage. The main conclusion will be that, while circularity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. P-model Alternative to the T-model.Mark D. Roberts - 2004 - Web Journal of Formal, Computational and Logical Linguistics 5:1-18.
    Standard linguistic analysis of syntax uses the T-model. This model requires the ordering: D-structure > S-structure > LF, where D-structure is the sentences deep structure, S-structure is its surface structure, and LF is its logical form. Between each of these representations there is movement which alters the order of the constituent words; movement is achieved using the principles and parameters of syntactic theory. Psychological analysis of sentence production is usually either serial or connectionist. Psychological serial models do (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  84
    Making Sense of Models and Modelling in Science Education: Atomic Models and Contributions from Mario Bunge’s Epistemology.Juliana Machado - 2024 - Mεtascience: Scientific General Discourse 3:103-126.
    Conceptions about the nature of scientific models held by science students frequently involve distorted views, with a tendency to consider them as mere copies of reality. Besides encompassing an untenable view about the nature of science itself, this misconstruction can effectively be a pedagogical impediment to learning. Objectives: We evaluate whether Mario Bunge’s epistemology might contribute to tackling issues related to the nature of models in science education contexts. De-sign: After identifying Bunge’s main model categories, we employ them to (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 942