Results for 'Theoretical Equivalence'

1000+ found
Order:
  1. What Theoretical Equivalence Could Not Be.Trevor Teitel - 2021 - Philosophical Studies (12):1-31.
    Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of physics. In (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Intertranslatability, Theoretical Equivalence, and Perversion.Jack Woods - 2018 - Thought: A Journal of Philosophy 7 (1):58-68.
    I investigate syntactic notions of theoretical equivalence between logical theories and a recent objection thereto. I show that this recent criticism of syntactic accounts, as extensionally inadequate, is unwarranted by developing an account which is plausibly extensionally adequate and more philosophically motivated. This is important for recent anti-exceptionalist treatments of logic since syntactic accounts require less theoretical baggage than semantic accounts.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  75
    Gaps, Gluts, and Theoretical Equivalence.Carlo Nicolai - manuscript
    When are two formal theories of broadly logical concepts, such as truth, equivalent? The paper investigates a case study, involving two well-known variants Kripke-Feferman truth. The first, KF+CONS, features a consistent but partial truth predicate. The second, KF+COMP, an inconsistent but complete truth predicate. It is well-known that the two truth predicates are dual to each other. We show that this duality reveals a much stricter correspondence between the two theories: they are intertraslatable. Intertranslatability under natural assumptions coincides with definitional (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Cost of Closure: Logical Realism, Anti-Exceptionalism, and Theoretical Equivalence.Michaela M. McSweeney - forthcoming - Synthese:1-23.
    Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a priori, that it is revisable, and that it is not special or set apart from other human inquiry) and logical realism (which says, roughly, that differences in logic reflect genuine metaphysical differences in the world), make trouble for both this commitment and the closely related commitment to theories being closed under logical consequence. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. What is Metaphysical Equivalence?Kristie Miller - 2005 - Philosophical Papers 34 (1):45-74.
    Abstract Theories are metaphysically equivalent just if there is no fact of the matter that could render one theory true and the other false. In this paper I argue that if we are judiciously to resolve disputes about whether theories are equivalent or not, we need to develop testable criteria that will give us epistemic access to the obtaining of the relation of metaphysical equivalence holding between those theories. I develop such ?diagnostic? criteria. I argue that correctly inter-translatable theories (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  69
    Understanding and Equivalent Reformulations.Josh Hunt - forthcoming - Philosophy of Science.
    Reformulating a scientific theory often leads to a significantly different way of understanding the world. Nevertheless, accounts of both theoretical equivalence and scientific understanding have neglected this important aspect of scientific theorizing. This essay provides a positive account of how reformulating theories changes our understanding. My account simultaneously addresses a serious challenge facing existing accounts of scientific understanding. These accounts have failed to characterize understanding in a way that goes beyond the epistemology of scientific explanation. By focusing on (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Deflationism: A Use-Theoretic Analysis of the Truth-Predicate.Arvid Båve - 2006 - Dissertation, Stockholm University
    I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. An adequate truth-theory, it is argued, must be finite, non-circular, and give a unified account of all occurrences of “true”. I also argue that it must descriptively capture the ordinary meaning of “true”, which is plausibly taken to be unambiguous. Ch. 2 (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  8. What Matters and How It Matters: A Choice-Theoretic Representation of Moral Theories.Franz Dietrich & Christian List - 2017 - Philosophical Review 126 (4):421-479.
    We present a new “reason-based” approach to the formal representation of moral theories, drawing on recent decision-theoretic work. We show that any moral theory within a very large class can be represented in terms of two parameters: a specification of which properties of the objects of moral choice matter in any given context, and a specification of how these properties matter. Reason-based representations provide a very general taxonomy of moral theories, as differences among theories can be attributed to differences in (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  9.  32
    Invariance or Equivalence: A Tale of Two Principles.Caspar Jacobs - forthcoming - Synthese:1-21.
    The presence of symmetries in physical theories implies a pernicious form of underdetermination. In order to avoid this theoretical vice, philosophers often espouse a principle called Leibniz Equivalence, which states that symmetry-related models represent the same state of affairs. Moreover, philosophers have claimed that the existence of non-trivial symmetries motivates us to accept the Invariance Principle, which states that quantities that vary under a theory’s symmetries aren’t physically real. Leibniz Equivalence and the Invariance Principle are often seen (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. The Construction of Transfinite Equivalence Algorithms.Han Geurdes - manuscript
    Context: Consistency of mathematical constructions in numerical analysis and the application of computerized proofs in the light of the occurrence of numerical chaos in simple systems. Purpose: To show that a computer in general and a numerical analysis in particular can add its own peculiarities to the subject under study. Hence the need of thorough theoretical studies on chaos in numerical simulation. Hence, a questioning of what e.g. a numerical disproof of a theorem in physics or a prediction in (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. The Mathematical Theory of Categories in Biology and the Concept of Natural Equivalence in Robert Rosen.Franck Varenne - 2013 - Revue d'Histoire des Sciences 66 (1):167-197.
    The aim of this paper is to describe and analyze the epistemological justification of a proposal initially made by the biomathematician Robert Rosen in 1958. In this theoretical proposal, Rosen suggests using the mathematical concept of “category” and the correlative concept of “natural equivalence” in mathematical modeling applied to living beings. Our questions are the following: According to Rosen, to what extent does the mathematical notion of category give access to more “natural” formalisms in the modeling of living (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. A Graph-Theoretic Method to Define Any Boolean Operation on Partitions.David Ellerman - 2019 - The Art of Discrete and Applied Mathematics 2 (2):1-9.
    The lattice operations of join and meet were defined for set partitions in the nineteenth century, but no new logical operations on partitions were defined and studied during the twentieth century. Yet there is a simple and natural graph-theoretic method presented here to define any n-ary Boolean operation on partitions. An equivalent closure-theoretic method is also defined. In closing, the question is addressed of why it took so long for all Boolean operations to be defined for partitions.
    Download  
     
    Export citation  
     
    Bookmark  
  13.  20
    A Review of The Algebraic Approaches to Quantum Mechanics. Some Appraisals of Their Theoretical Importance.Antonino Drago - manuscript
    The main algebraic foundations of quantum mechanics are quickly reviewed. They have been suggested since the birth of this theory till up to last years. They are the following ones: Heisenberg-Born- Jordan’s (1925), Weyl’s (1928), Dirac’s (1930), von Neumann’s (1936), Segal’s (1947), T.F. Jordan’s (1986), Morchio and Strocchi’s (2009) and Buchholz and Fregenhagen’s (2019). Four cases are stressed: 1) the misinterpretation of Dirac’s algebraic foundation; 2) von Neumann’s ‘conversion’ from the analytic approach of Hilbert space to the algebraic approach of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14.  19
    Universalizing and the We: Endogenous Game Theoretic Deontology.Paul Studtmann & Shyam Gouri Suresh - 2020 - Economics and Philosophy 37 (2):244-259.
    The Nash counterfactual considers the question: what would happen were I to change my behaviour assuming no one else does. By contrast, the Kantian counterfactual considers the question: what would happen were everyone to deviate from some behaviour. We present a model that endogenizes the decision to engage in this type of Kantian reasoning. Autonomous agents using this moral framework receive psychic payoffs equivalent to the cooperate-cooperate payoff in Prisoner’s Dilemma regardless of the other player’s action. Moreover, if both interacting (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Our Fundamental Physical Space: An Essay on the Metaphysics of the Wave Function.Eddy Keming Chen - 2017 - Journal of Philosophy 114 (7):333-365.
    The mathematical structure of realist quantum theories has given rise to a debate about how our ordinary 3-dimensional space is related to the 3N-dimensional configuration space on which the wave function is defined. Which of the two spaces is our (more) fundamental physical space? I review the debate between 3N-Fundamentalists and 3D-Fundamentalists and evaluate it based on three criteria. I argue that when we consider which view leads to a deeper understanding of the physical world, especially given the deeper topological (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  16. Quine and His Critics on Truth-Functionality and Extensionality.Charles Sayward - 2007 - Logic and Logical Philosophy 16 (1):45-63.
    Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he intends that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  77
    What Are Empirical Consequences? On Dispensability and Composite Objects.Alex LeBrun - forthcoming - Synthese:1-23.
    Philosophers sometimes give arguments that presuppose the following principle: two theories can fail to be empirically equivalent on the sole basis that they present different "thick? metaphysical pictures of the world. Recently, a version of this principle has been invoked to respond to the argument that composite objects are dispensable to our best scientific theories. This response claims that our scientific evidence distinguishes between ordinary and composite-free theories, and it empirically favors the ordinary ones (Hofweber, 2016, 2018). In this paper, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. The Intelligibility Objection Against Underdetermination.Rogério Passos Severo - 2012 - Principia: An International Journal of Epistemology 16 (1):121-146.
    One of the objections against the thesis of underdetermination of theories by observations is that it is unintelligible. Any two empirically equivalent theories — so the argument goes—are in principle intertranslatable, hence cannot count as rivals in any non-trivial sense. Against that objection, this paper shows that empirically equivalent theories may contain theoretical sentences that are not intertranslatable. Examples are drawn from a related discussion about incommensurability that shows that theoretical non-intertranslatability is possible.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  96
    Beyond Belief: Logic in Multiple Attitudes.Franz Dietrich, Antonios Staras & Robert Sugden - manuscript
    Choice-theoretic and philosophical accounts of rationality and reasoning address a multi-attitude psychology, including beliefs, desires, intentions, etc. By contrast, logicians traditionally focus on beliefs only. Yet there is 'logic' in multiple attitudes. We propose a generalization of the three standard logical requirements on beliefs -- consistency, completeness, and deductive closedness -- towards multiple attitudes. How do these three logical requirements relate to rational requirements, e.g., of transitive preferences or non-akratic intentions? We establish a systematic correspondence: each logical requirement (consistency, completeness, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. The Truth About Moods.Kirk Ludwig - 1997 - ProtoSociology 10:19-66.
    Assertoric sentences are sentences which admit of truth or falsity. Non-assertoric sentences, imperatives and interrogatives, have long been a source of difficulty for the view that a theory of truth for a natural language can serve as the core of a theory of meaning. The trouble for truth-theoretic semantics posed by non-assertoric sentences is that, prima facie, it does not make sense to say that imperatives, such as 'Cut your hair', or interrogatives such as 'What time is it?', are truth (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  21. Stepping Beyond the Newtonian Paradigm in Biology. Towards an Integrable Model of Life: Accelerating Discovery in the Biological Foundations of Science.Plamen L. Simeonov, Edwin Brezina, Ron Cottam, Andreé C. Ehresmann, Arran Gare, Ted Goranson, Jaime Gomez‐Ramirez, Brian D. Josephson, Bruno Marchal, Koichiro Matsuno, Robert S. Root-­Bernstein, Otto E. Rössler, Stanley N. Salthe, Marcin Schroeder, Bill Seaman & Pridi Siregar - 2012 - In Plamen L. Simeonov, Leslie S. Smith & Andreé C. Ehresmann (eds.), Integral Biomathics: Tracing the Road to Reality. Springer. pp. 328-427.
    The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Welcoming Robots Into the Moral Circle: A Defence of Ethical Behaviourism.John Danaher - 2020 - Science and Engineering Ethics 26 (4):2023-2049.
    Can robots have significant moral status? This is an emerging topic of debate among roboticists and ethicists. This paper makes three contributions to this debate. First, it presents a theory – ‘ethical behaviourism’ – which holds that robots can have significant moral status if they are roughly performatively equivalent to other entities that have significant moral status. This theory is then defended from seven objections. Second, taking this theoretical position onboard, it is argued that the performative threshold that robots (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  23. Representing Relations Between Physical Concepts.Vladimir Kuznetsov - 2004 - Communication and Cognition: An Interdisciplinary Quarterly Journal 2004 (37):105-135.
    The paper has three objectives: to expound a set-theoretical triplet model of concepts; to introduce some triplet relations (symbolic, logical, and mathematical formalization; equivalence, intersection, disjointness) between object concepts, and to instantiate them by relations between certain physical object concepts.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Are the Bundle Theory and the Substratum Theory Really Twin Brothers?Matteo Morganti - 2009 - Axiomathes 19 (1):73--85.
    In a recent paper, Jiri Benovsky argues that the bundle theory and the substratum theory, traditionally regarded as ‘deadly enemies’ in the metaphysics literature, are in fact ‘twin brothers’. That is, they turn out to be ‘equivalent for all theoretical purposes’ upon analysis. The only exception, according to Benovsky, is a particular version of the bundle theory whose distinguishing features render unappealing. In the present reply article, I critically analyse these undoubtedly relevant claims, and reject them.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Book: Cognitive Design for Artificial Minds.Antonio Lieto - 2021 - London, UK: Routledge, Taylor & Francis Ltd.
    Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  26. On Logical and Scientific Strength.Luca Incurvati & Carlo Nicolai - manuscript
    The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.
    Download  
     
    Export citation  
     
    Bookmark  
  27. Out of Nowhere: Duality.Nick Huggett & Christian Wüthrich - manuscript
    This is a chapter of the planned monograph "Out of Nowhere: The Emergence of Spacetime in Quantum Theories of Gravity", co-authored by Nick Huggett and Christian Wüthrich and under contract with Oxford University Press. (More information at www<dot>beyondspacetime<dot>net.) This chapter investigates the meaning and significance of string theoretic dualities, arguing they reveal a surprising physical indeterminateness to spacetime.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Lying, Misleading, and Dishonesty.Alex Barber - 2020 - The Journal of Ethics 24 (2):141-164.
    An important moral category—dishonest speech—has been overlooked in theoretical ethics despite its importance in legal, political, and everyday social exchanges. Discussion in this area has instead been fixated on a binary debate over the contrast between lying and ‘merely misleading’. Some see lying as a distinctive wrong; others see it as morally equivalent to deliberately omitting relevant truths, falsely insinuating, or any other species of attempted verbal deception. Parties to this debate have missed the relevance to their disagreement of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  29. The Bundle Theory and the Substratum Theory: Deadly Enemies or Twin Brothers?Jiri Benovsky - 2008 - Philosophical Studies 141 (2):175-190.
    In this paper, I explore several versions of the bundle theory and the substratum theory and compare them, with the surprising result that it seems to be true that they are equivalent (in a sense of 'equivalent' to be specified). In order to see whether this is correct or not, I go through several steps : first, I examine different versions of the bundle theory with tropes and compare them to the substratum theory with tropes by going through various standard (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  30. Slurs, Neutral Counterparts, and What You Could Have Said.Arianna Falbo - forthcoming - Analytic Philosophy 1.
    Recent pragmatic accounts of slurs argue that the offensiveness of slurs is generated by a speaker's free choice to use a slur opposed to a more appropriate and semantically equivalent neutral counterpart. I argue that the theoretical role of neutral counterparts on such views is overstated. I consider two recent pragmatic analyses, Bolinger (2017) and Nunberg (2018), which rely heavily upon the optionality of slurs, namely, that a speaker exercises a deliberate lexical choice to use a slur when they (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  82
    Measurement in Biology is Methodized by Theory.Maël Montévil - 2019 - Biology and Philosophy 34 (3):35.
    We characterize access to empirical objects in biology from a theoretical perspective. Unlike objects in current physical theories, biological objects are the result of a history and their variations continue to generate a history. This property is the starting point of our concept of measurement. We argue that biological measurement is relative to a natural history which is shared by the different objects subjected to the measurement and is more or less constrained by biologists. We call symmetrization the (...) and often concrete operation which leads to considering biological objects as equivalent in a measurement. Last, we use our notion of measurement to analyze research strategies. Some strategies aim to bring biology closer to the epistemology of physical theories, by studying objects as similar as possible, while others build on biological diversity. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. A Multi-Scale View of the Emergent Complexity of Life: A Free-Energy Proposal.Casper Hesp, Maxwell Ramstead, Axel Constant, Paul Badcock, Michael David Kirchhoff & Karl Friston - forthcoming - In Michael Price & John Campbell (eds.), Evolution, Development, and Complexity: Multiscale Models in Complex Adaptive Systems.
    We review some of the main implications of the free-energy principle (FEP) for the study of the self-organization of living systems – and how the FEP can help us to understand (and model) biotic self-organization across the many temporal and spatial scales over which life exists. In order to maintain its integrity as a bounded system, any biological system - from single cells to complex organisms and societies - has to limit the disorder or dispersion (i.e., the long-run entropy) of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  33. Strategy-Proof Judgment Aggregation.Franz Dietrich & Christian List - 2005 - Economics and Philosophy 23 (3):269-300.
    Which rules for aggregating judgments on logically connected propositions are manipulable and which not? In this paper, we introduce a preference-free concept of non-manipulability and contrast it with a preference-theoretic concept of strategy-proofness. We characterize all non-manipulable and all strategy-proof judgment aggregation rules and prove an impossibility theorem similar to the Gibbard--Satterthwaite theorem. We also discuss weaker forms of non-manipulability and strategy-proofness. Comparing two frequently discussed aggregation rules, we show that “conclusion-based voting” is less vulnerable to manipulation than “premise-based voting”, (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  34. 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 – of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  36.  34
    Convergent Evolution as Natural Experiment: The Tape of Life Reconsidered.Russell Powell & Carlos Mariscal - 2015 - Interface Focus 5 (6):1-13.
    Stephen Jay Gould argued that replaying the ‘tape of life’ would result in radically different evolutionary outcomes. Recently, biologists and philosophers of science have paid increasing attention to the theoretical importance of convergent evolution—the independent origination of similar biological forms and functions—which many interpret as evidence against Gould’s thesis. In this paper, we examine the evidentiary relevance of convergent evolution for the radical contingency debate. We show that under the right conditions, episodes of convergent evolution can constitute valid natural (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  37.  86
    Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  38. Kin Selection: A Philosophical Analysis.Jonathan Birch - 2013 - Dissertation, University of Cambridge
    This PhD dissertation examines the conceptual and theoretical foundations of the most general and most widely used framework for understanding social evolution, W. D. Hamilton's theory of kin selection. While the core idea is intuitive enough (when organisms share genes, they sometimes have an evolutionary incentive to help one another), its apparent simplicity masks a host of conceptual subtleties, and the theory has proved a perennial source of controversy in evolutionary biology. To move towards a resolution of these controversies, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  39. A Liar Paradox.Richard Heck - 2012 - Thought: A Journal of Philosophy 1 (1):36-40.
    The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  40. Higher-Order Contingentism, Part 3: Expressive Limitations.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (4):649-671.
    Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. Deductive Reasoning Under Uncertainty: A Water Tank Analogy.Guy Politzer - 2016 - Erkenntnis 81 (3):479-506.
    This paper describes a cubic water tank equipped with a movable partition receiving various amounts of liquid used to represent joint probability distributions. This device is applied to the investigation of deductive inferences under uncertainty. The analogy is exploited to determine by qualitative reasoning the limits in probability of the conclusion of twenty basic deductive arguments (such as Modus Ponens, And-introduction, Contraposition, etc.) often used as benchmark problems by the various theoretical approaches to reasoning under uncertainty. The probability bounds (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. The Quantum Logic of Direct-Sum Decompositions: The Dual to the Quantum Logic of Subspaces.David Ellerman - 2017
    Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Incidence, Prevalence, and Hybrid Approaches to Calculating DALYs.S. Andrew Schroeder - 2012 - Population Health Metrics 10 (19).
    When disability-adjusted life years are used to measure the burden of disease on a population in a time interval, they can be calculated in several different ways: from an incidence, pure prevalence, or hybrid perspective. I show that these calculation methods are not equivalent and discuss some of the formal difficulties each method faces. I show that if we don’t discount the value of future health, there is a sense in which the choice of calculation method is a mere question (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Liberal Multiculturalism: An Oxymoron?(Will Kymlicka).Ranjoo Seodu Herr - 2007 - Philosophical Forum 38 (1):23–41.
    Will Kymlicka argues that societal culture matters to liberalism because it contributes to its members’ freedom. If so, multiculturalism that advocates group rights to sustain minority societal cultures in the liberal West is in fact entailed by liberalism, the core value of which is individual freedom. “Freedom,” then, functions as the main bridge between liberalism and multiculturalism in Kymlicka’s position. Kymlicka is correct that societal culture contributes to its members’ freedom by providing them with meaningful options. The sense of freedom (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. On the Infinite in Mereology with Plural Quantification.Massimiliano Carrara & Enrico Martino - 2011 - Review of Symbolic Logic 4 (1):54-62.
    In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. In General Relativity, Gravity is Effect of Coordinates with Change of Geometry of Spacetime.Alfonso Leon Guillen Gomez - manuscript
    Einstein structured the theoretical frame of his work on gravity under the Special Relativity and Minkowski´s spacetime using three guide principles: The strong principle of equivalence establishes that acceleration and gravity are equivalents. Mach´s principle explains the inertia of the bodies and particles as completely determined by the total mass existent in the universe. And, general covariance searches to extend the principle of relativity from inertial motion to accelerated motion. Mach´s principle was abandoned quickly, general covariance resulted mathematical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47.  94
    On the Type-Token Relationships.Urszula Wybraniec-Skardowska - 1986 - Bulletin of the Section of Logic 15 (4):164-168.
    The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. The Inscrutability of Reference.Robert Williams - 2005 - Dissertation, University of St Andrews
    The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  97
    Mathematical Representation and Explanation: Structuralism, the Similarity Account, and the Hotchpotch Picture.Ziren Yang - 2020 - Dissertation, University of Leeds
    This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation group (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  86
    Introduction to the Neoclassical Interpretation: Quantum Steampunk.Shiva Meucci - forthcoming - Cosmos and History: The Journal of Natural and Social Philosophy.
    In a previous paper we outlined a series of historical touchpoints between classical aether theories and modern theoretical physics which showed a shared conceptual lineage for the modern tools and methods of the most common interpretations and fluid based “Hydrodynamic” treatments of an electromagnetic medium. It was proposed that, though the weight of modern experimentation leaves an extremely narrow and convoluted window for even a reconceptualization of a medium, all of modern physics recognizes a plethora of behaviors and attributes (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000