Results for 'Many'

1000+ found
Order:
  1. Many, but One.Evan T. Woods - forthcoming - Synthese:1-18.
    The problem of the many threatens to show that, in general, there are far more ordinary objects than you might have thought. I present and motivate a solution to this problem using many-one identity. According to this solution, the many things that seem to have what it takes to be, say, a cat, are collectively identical to that single cat.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  85
    The Problem of the Many.Brian Weatherson - 2014 - Stanford Encyclopedia of Philosophy 2016.
    As anyone who has flown out of a cloud knows, the boundaries of a cloud are a lot less sharp up close than they can appear on the ground. Even when it seems clearly true that there is one, sharply bounded, cloud up there, really there are thousands of water droplets that are neither determinately part of the cloud, nor determinately outside it. Consider any object that consists of the core of the cloud, plus an arbitrary selection of these droplets. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  3.  68
    Pure Logic of Many-Many Ground.Jon Litland - 2016 - Journal of Philosophical Logic 45 (5):531-577.
    A logic of grounding where what is grounded can be a collection of truths is a “many-many” logic of ground. The idea that grounding might be irreducibly many-many has recently been suggested by Dasgupta. In this paper I present a range of novel philosophical and logical reasons for being interested in many-many logics of ground. I then show how Fine’s State-Space semantics for the Pure Logic of Ground can be extended to the many- (...) case, giving rise to the Pure Logic of Many-Many Ground. In the second, more technical, part of the paper, I do two things. First, I present an alternative formalization of plg; this allows us to simplify Fine’s completeness proof for plg. Second, I formalize plmmg using an infinitary sequent calculus and prove that this formalization is sound and complete. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4. Algebraic Foundations of Many-Valued Reasoning.Roberto Cignoli - 1999 - Kluwer Academic Publishers.
    This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are interested in the mathematical treatment of uncertain information. Stressing the interplay between algebra and logic, the book contains material never before published, (...)
     
    Export citation  
     
    Bookmark   34 citations  
  5. Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic.J. C. Beall - 2003 - Oxford University Press.
    Extensively classroom-tested, Possibilities and Paradox provides an accessible and carefully structured introduction to modal and many-valued logic. The authors cover the basic formal frameworks, enlivening the discussion of these different systems of logic by considering their philosophical motivations and implications. Easily accessible to students with no background in the subject, the text features innovative learning aids in each chapter, including exercises that provide hands-on experience, examples that demonstrate the application of concepts, and guides to further reading.
     
    Export citation  
     
    Bookmark   24 citations  
  6. The Problem of Many Hands: Climate Change as an Example.Ibo van de Poel, Jessica Fahlquist, Neelke Doorn, Sjoerd Zwart & Lambèr Royakkers - 2012 - Science and Engineering Ethics 18 (1):49-67.
    In some situations in which undesirable collective effects occur, it is very hard, if not impossible, to hold any individual reasonably responsible. Such a situation may be referred to as the problem of many hands. In this paper we investigate how the problem of many hands can best be understood and why, and when, it exactly constitutes a problem. After analyzing climate change as an example, we propose to define the problem of many hands as the occurrence (...)
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  7. Quine’s Conjecture on Many-Sorted Logic.Thomas William Barrett & Hans Halvorson - 2017 - Synthese 194 (9):3563-3582.
    Quine often argued for a simple, untyped system of logic rather than the typed systems that were championed by Russell and Carnap, among others. He claimed that nothing important would be lost by eliminating sorts, and the result would be additional simplicity and elegance. In support of this claim, Quine conjectured that every many-sorted theory is equivalent to a single-sorted theory. We make this conjecture precise, and prove that it is true, at least according to one reasonable notion of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  54
    Many-Measurements or Many-Worlds? A Dialogue.Diederik Aerts & Massimiliano Sassoli de Bianchi - 2015 - Foundations of Science 20 (4):399-427.
    Many advocates of the Everettian interpretation consider that theirs is the only approach to take quantum mechanics really seriously, and that this approach allows to deduce a fantastic scenario for our reality, one that consists of an infinite number of parallel worlds that branch out continuously. In this article, written in dialogue form, we suggest that quantum mechanics can be taken even more seriously, if the many-worlds view is replaced by a many-measurements view. This allows not only (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9. The Many Gods Objection to Pascal's Wager: A Decision Theoretic Response.Lawrence Pasternack - 2012 - Philo 15 (2):158-178.
    The Many Gods Objection (MGO) is widely viewed as a decisive criticism of Pascal’s Wager. By introducing a plurality of hypotheses with infinite expected utility into the decision matrix, the wagerer is left without adequate grounds to decide between them. However, some have attempted to rebut this objection by employing various criteria drawn from the theological tradition. Unfortunately, such defenses do little good for an argument that is supposed to be an apologetic aimed at atheists and agnostics. The purpose (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  74
    Many-Valued Logics.Grzegorz Malinowski - 1993 - Oxford University Press.
    This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many-valuedness. With its selective bibliography and many useful historical references, this book provides logicians, computer scientists, philosophers, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  11. Many- Worlds Interpretation and Quantum Entanglement.Michele Caponigro - manuscript
    We argue from conceptual point of view the relationship between quantum entanglement and many-worlds interpretation of quantum mechanics, the debate is still open, but we retain the objective Bayesian interpretation of quantum probability could be an interesting approach to solve this fundamental question.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  94
    Mass Nouns in a Logic of Classes as Many.Nino Cocchiarella - 2009 - Journal of Philosophical Logic 38 (3):343-361.
    A semantic analysis of mass nouns is given in terms of a logic of classes as many. In previous work it was shown that plural reference and predication for count nouns can be interpreted within this logic of classes as many in terms of the subclasses of the classes that are the extensions of those count nouns. A brief review of that account of plurals is given here and it is then shown how the same kind of interpretation (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13. Dion, Theon, and the Many-Thinkers Problem.Michael B. Burke - 2004 - Analysis 64 (3):242–250.
    Dion is a full-bodied man. Theon is that part of him which consists of all of him except his left foot. What becomes of Dion and Theon when Dion’s left foot is amputated? In Burke 1994, employing the doctrine of sortal essentialism, I defended a surprising position last defended by Chrysippus: that Dion survives while the seemingly unscathed Theon perishes. This paper defends that position against objections by Stone, Carter, Olson, and others. Most notably, it offers a novel, conservative solution (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14.  31
    Plurivaluationism, Supersententialism and the Problem of the Many Languages.Rohan Sud - forthcoming - Synthese:1-27.
    According to the plurivaluationist, our vague discourse doesn’t have a single meaning. Instead, it has many meanings, each of which is precise—and it is this plurality of meanings that is the source of vagueness. I believe plurivaluationist positions are underdeveloped and for this reason unpopular. This paper attempts to correct this situation by offering a particular development of plurivaluationism that I call supersententialism. The supersententialist leverages lessons from another area of research—the Problem of the Many—in service of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Many Worlds, the Cluster-State Quantum Computer, and the Problem of the Preferred Basis.Michael E. Cuffaro - 2012 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 43 (1):35-42.
    I argue that the many worlds explanation of quantum computation is not licensed by, and in fact is conceptually inferior to, the many worlds interpretation of quantum mechanics from which it is derived. I argue that the many worlds explanation of quantum computation is incompatible with the recently developed cluster state model of quantum computation. Based on these considerations I conclude that we should reject the many worlds explanation of quantum computation.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  14
    Dunn–Priest Quotients of Many-Valued Structures.Thomas Macaulay Ferguson - 2017 - Notre Dame Journal of Formal Logic 58 (2):221-239.
    J. Michael Dunn’s Theorem in 3-Valued Model Theory and Graham Priest’s Collapsing Lemma provide the means of constructing first-order, three-valued structures from classical models while preserving some control over the theories of the ensuing models. The present article introduces a general construction that we call a Dunn–Priest quotient, providing a more general means of constructing models for arbitrary many-valued, first-order logical systems from models of any second system. This technique not only counts Dunn’s and Priest’s techniques as special cases, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17. The Exclusion Problem Meets the Problem of Many Causes.Matthew C. Haug - 2010 - Erkenntnis 73 (1):55-65.
    In this paper I develop a novel response to the exclusion problem. I argue that the nature of the events in the causally complete physical domain raises the “problem of many causes”: there will typically be countless simultaneous low-level physical events in that domain that are causally sufficient for any given high-level physical event. This shows that even reductive physicalists must admit that the version of the exclusion principle used to pose the exclusion problem against non-reductive physicalism is too (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  57
    Many-Valued Logics and Suszko's Thesis Revisited.Marcelo Tsuji - 1998 - Studia Logica 60 (2):299-309.
    Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  19.  71
    Many-Valued Logics.Nicholas J. J. Smith - 2012 - In Gillian Russell & Delia Graff Fara (eds.), The Routledge Companion to Philosophy of Language. Routledge. pp. 636--51.
    A many-valued (aka multiple- or multi-valued) semantics, in the strict sense, is one which employs more than two truth values; in the loose sense it is one which countenances more than two truth statuses. So if, for example, we say that there are only two truth values—True and False—but allow that as well as possessing the value True and possessing the value False, propositions may also have a third truth status—possessing neither truth value—then we have a many-valued semantics (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  25
    The Intensional Many - Conservativity Reclaimed.Harald Andreas Bastiaanse - 2014 - Journal of Philosophical Logic 43 (5):883-901.
    Following on Westerståhl’s argument that many is not Conservative [9], I propose an intensional account of Conservativity as well as intensional versions of EXT and Isomorphism closure. I show that an intensional reading of many can easily possess all three of these, and provide a formal statement and proof that they are indeed proper intensionalizations. It is then discussed to what extent these intensionalized properties apply to various existing readings of many.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21. An Exceptionally Simple Argument Against the Many-Worlds Interpretation.Shan Gao - manuscript
    It is shown that the superposed wave function of a measuring device, in each branch of which there is a definite measurement result, does not correspond to many mutually unobservable but equally real worlds, as the superposed wave function can be observed in our world by protective measurement.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  22.  55
    An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems.Merrie Bergmann - 2008 - Cambridge University Press.
    Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed for use on undergraduate and graduate courses in non-classical logic. Bergmann discusses the philosophical issues that give rise to fuzzy logic - problems arising from vague language - and returns to those issues as logical systems are presented. For historical and pedagogical reasons, three-valued logical systems are presented as useful intermediate systems for studying the principles and theory behind fuzzy logic. The major fuzzy (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  23. Lewis Vs Lewis on the Problem of the Many.D. López De Sa - 2014 - Synthese 191 (6):1105-1117.
    Consider a cat on a mat. On the one hand, there seems to be just one cat, but on the other there seem to be many things with as good a claim as anything in the vicinity to being a cat. Hence, the problem of the many. In his ‘Many, but Almost One,’ David Lewis offered two solutions. According to the first, only one of the many is indeed a cat, although it is indeterminate exactly which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Vague Objects and the Problem of the Many.Thomas Sattig - 2013 - Metaphysica 14 (2):211-223.
    The problem of the many poses the task of explaining mereological indeterminacy of ordinary objects in a way that sustains our familiar practice of counting these objects. The aim of this essay is to develop a solution to the problem of the many that is based on an account of mereological indeterminacy as having its source in how ordinary objects are, independently of how we represent them. At the center of the account stands a quasi-hylomorphic ontology of ordinary (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Higher-Order One–Many Problems in Plato's Philebus and Recent Australian Metaphysics.S. Gibbons & C. Legg - 2013 - Australasian Journal of Philosophy 91 (1):119 - 138.
    We discuss the one?many problem as it appears in the Philebus and find that it is not restricted to the usually understood problem about the identity of universals across particulars that instantiate them (the Hylomorphic Dispersal Problem). In fact some of the most interesting aspects of the problem occur purely with respect to the relationship between Forms. We argue that contemporary metaphysicians may draw from the Philebus at least three different one?many relationships between universals themselves: instantiation, subkind and (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  26.  13
    Kripke-Style Semantics for Many-Valued Logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
    This paper deals with Kripke-style semantics for many-valued logics. We introduce various types of Kripke semantics, and we connect them with algebraic semantics. As for modal logics, we relate the axioms of logics extending MTL to properties of the Kripke frames in which they are valid. We show that in the propositional case most logics are complete but not strongly complete with respect to the corresponding class of complete Kripke frames, whereas in the predicate case there are important (...)-valued logics like BL, Ł and Π, which are not even complete with respect to the class of all predicate Kripke frames in which they are valid. Thus although very natural, Kripke semantics seems to be slightly less powerful than algebraic semantics. (shrink)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  21
    Extensionality in Natural Language Quantification: The Case of Many and Few.Kristen A. Greer - 2014 - Linguistics and Philosophy 37 (4):315-351.
    This paper presents an extensional account of manyand few that explains data that have previously motivated intensional analyses of these quantifiers :599–620, 2000). The key insight is that their semantic arguments are themselves set intersections: the restrictor is the intersection of the predicates denoted by the N’ or the V’ and the restricted universe, U, and the scope is the intersection of the N’ and V’. Following Cohen, I assume that the universe consists of the union of alternatives to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  14
    Ratnākaraśānti’s Theory of Cognition with False Mental Images and the Neither-One-Nor-Many Argument.Shinya Moriyama - 2014 - Journal of Indian Philosophy 42 (2-3):339-351.
    The paper aims to clarify Ratnākaraśānti?s epistemological theory that mental images in a cognition are false (*alīkākāravāda) in comparison with Śāntarakṣita?s criticism of the Yogācāra position. Although Ratnākaraśānti frequently uses the neither-one-nor-many argument for explaining his Yogācāra position, the argument, unlike Śāntarakṣita?s original one, does not function for refuting the existence of awareness itself as the basis of mental images. This point is examined in the first two sections of this paper by analyzing Ratnākaraśānti?s proof of the selflessness of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Aristotle's Many-Sorted Logic.J. Corcoran - 2008 - Bulletin of Symbolic Logic 14 (1):155-156.
    As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can be proved (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  50
    Dual Systems of Sequents and Tableaux for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Bulletin of the EATCS 51:192-197.
    The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  31. Courts of Many Minds.Kai Spiekermann & Robert E. Goodin - 2012 - British Journal of Political Science 42:555-571.
    In 'A Constitution of Many Minds' Cass Sunstein argues that the three major approaches to constitutional interpretation – Traditionalism, Populism and Cosmopolitanism – all rely on some variation of a ‘many-minds’ argument. Here we assess each of these claims through the lens of the Condorcet Jury Theorem. In regard to the first two approaches we explore the implications of sequential influence among courts (past and foreign, respectively). In regard to the Populist approach, we consider the influence of opinion (...)
     
    Export citation  
     
    Bookmark   2 citations  
  32.  24
    Partially Undetermined Many-Valued Events and Their Conditional Probability.Franco Montagna - 2012 - Journal of Philosophical Logic 41 (3):563-593.
    A logic for classical conditional events was investigated by Dubois and Prade. In their approach, the truth value of a conditional event may be undetermined. In this paper we extend the treatment to many-valued events. Then we support the thesis that probability over partially undetermined events is a conditional probability, and we interpret it in terms of bets in the style of de Finetti. Finally, we show that the whole investigation can be carried out in a logical and algebraic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  74
    Weakening of Intuitionistic Negation for Many-Valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
    In this paper we propose substructural propositional logic obtained by da Costa weakening of the intuitionistic negation. We show that the positive fragment of the da Costa system is distributive lattice logic, and we apply a kind of da Costa weakening of negation, by preserving, differently from da Costa, its fundamental properties: antitonicity, inversion, and additivity for distributive lattices. The other stronger paraconsistent logic with constructive negation is obtained by adding an axiom for multiplicative property of weak negation. After that, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  12
    Identity, Many-Valuedness and Referentiality.Grzegorz Malinowski - 2013 - Logic and Logical Philosophy 22 (4):375-387.
    In the paper * we discuss a distinctive versatility of the non-Fregean approach to the sentential identity. We present many-valued and referential counterparts of the systems of SCI, the sentential calculus with identity, including Suszko’s logical valuation programme as applied to many-valued logics. The similarity of different constructions: many-valued, referential and mixed, leads us to the conviction of the universality of the non-Fregean paradigm of sentential identity as distinguished from the equivalence, cf. [9].
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Is the Problem of the Many a Problem in Metaphysics?Dan López de Sa - 2008 - Noûs 42 (4):746-752.
    Kilimanjaro is a paradigmatic mountain, if any is. Consider atom Sparky, which is neither determinately part of Kilimanjaro nor determinately not part of it. Let Kilimanjaro(+) be the body of land constituted, in the way mountains are constituted by their constituent atoms, by the atoms that make up Kilimanjaro together with Sparky, and Kilimanjaro(–) the one constituted by those other than Sparky. On the one hand, there seems to be just one mountain in the vicinity of Kilimanjaro. On the other (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  36.  49
    On Probabilities in the Many Worlds Interpretation of Quantum Mechanics.Florian Boge - 2016 - KUPS - Kölner UniversitätsPublikationsServer.
    Quantum Mechanics notoriously faces a measurement problem, the problem that the unitary time evolution, encoded in its dynamical equations, together with the kinematical structure of the theory generally implies the non-existence of definite measurement outcomes. There have been multiple suggestions to solve this problem, among them the so called many worlds interpretation that originated with the work of Hugh Everett III. According to it, the quantum state and time evolution fully and accurately describe nature as it is, implying that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  9
    Corrigendum to "Kripke-Style Semantics for Many-Valued Logics".F. Montagna & L. Sacchetti - 2004 - Mathematical Logic Quarterly 50 (1):104.
    This note contains a correct proof of the fact that the set of all first-order formulas which are valid in all predicate Kripke frames for Hájek's many-valued logic BL is not arithmetical. The result was claimed in [5], but the proof given there was incorrect.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  35
    Many-Place Sequent Calculi for Finitely-Valued Logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
    In this paper, we study multiplicative extensions of propositional many-place sequent calculi for finitely-valued logics arising from those introduced in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) through their translation by means of singularity determinants for logics and restriction of the original many-place sequent language. Our generalized approach, first of all, covers, on a uniform formal basis, both the one developed in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) for singular (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  47
    On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics.Richard DeWitt - 2005 - Journal of Philosophical Logic 34 (5-6):545-560.
    In this paper, I identify the source of the differences between classical logic and many-valued logics (including fuzzy logics) with respect to the set of valid formulas and the set of inferences sanctioned. In the course of doing so, we find the conditions that are individually necessary and jointly sufficient for any many-valued semantics (again including fuzzy logics) to validate exactly the classically valid formulas, while sanctioning exactly the same set of inferences as classical logic. This in turn (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  40.  57
    The Ontology of Many-Worlds : Modality and Time.Daisuke Kachi - 1998 - In https://www.bu.edu/wcp/MainOnto.htm.
    There are two types of theories regarding many worlds: one is modal, while the other is temporal. The former regards reality as consisting of many possible worlds, while the latter holds that reality consists of many momentary worlds, which are usually called moments. I compare these two theories, paying close attention to the concept of transworld identity and compare trans-possible world identity with trans-momentary world identity (or transmoment identity). I characterize time from the point of many-worlds (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. The One Over Many.Anna-Sofia Maurin - 2008 - Acta Philosophica Fennica 84:37.
    This paper investigates the One over Many, first as it was first introduced by Plato. Here, it is argued, the One over Many can be understood in at least two senses, both different from, but in a sense included in, the sense in which the One-over-Many is regarded as an argument for the existence of universals. In both of these senses, it is argued, it is possible to accept the One-over-Many while denying the existence of universals.This (...)
     
    Export citation  
     
    Bookmark  
  42.  66
    Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.
    In 1979, H. Lewis shows that the computational complexity of the Boolean satisfiability problem dichotomizes, depending on the Boolean operations available to formulate instances: intractable (NP-complete) if negation of implication is definable, and tractable (in P) otherwise [21]. Recently, an investigation in the same spirit has been extended to nonclassical propositional logics, modal logics in particular [2, 3]. In this note, we pursue this line in the realm of many-valued propositional logics, and obtain complexity classifications for the parameterized satisfiability (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  43.  59
    On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW]Carlos Caleiro, Luca Viganò & Marco Volpe - 2013 - Logica Universalis 7 (1):33-69.
    We present an extension of the mosaic method aimed at capturing many-dimensional modal logics. As a proof-of-concept, we define the method for logics arising from the combination of linear tense operators with an “orthogonal” S5-like modality. We show that the existence of a model for a given set of formulas is equivalent to the existence of a suitable set of partial models, called mosaics, and apply the technique not only in obtaining a proof of decidability and a proof of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  29
    A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach.Ken Akiba - 2017 - Journal of Philosophical Logic 46 (4):419-441.
    The Boolean many-valued approach to vagueness is similar to the infinite-valued approach embraced by fuzzy logic in the respect in which both approaches seek to solve the problems of vagueness by assigning to the relevant sentences many values between falsity and truth, but while the fuzzy-logic approach postulates linearly-ordered values between 0 and 1, the Boolean approach assigns to sentences values in a many-element complete Boolean algebra. On the modal-precisificational approach represented by Kit Fine, if a sentence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. "Weeping Angels and Many Worlds".Peter A. Sutton - 2015 - In Courtland Lewis Paula Smithka (ed.), More Doctor Who and Philosophy. Open Court Press. pp. 69-76.
    The Doctor, like many time-travelers, often finds himself in the midst of a causal loop. Events in the future cause events in the past, which in turn cause the future events. There is a worry that a person in this situation could never have true libertarian freedom: facts about the past entail their future actions, so they couldn't do otherwise than they in fact do. -/- In this paper, I argue that there are logically coherent (though perhaps unlikely!) ways (...)
     
    Export citation  
     
    Bookmark  
  46.  23
    N.A. Vasil’Ev’s Logical Ideas and the Categorical Semantics of Many-Valued Logic.D. Y. Maximov - 2016 - Logica Universalis 10 (1):21-43.
    Here we suggest a formal using of N.A. Vasil’ev’s logical ideas in categorical logic: the idea of “accidental” assertion is formalized with topoi and the idea of the notion of nonclassical negation, that is not based on incompatibility, is formalized in special cases of monoidal categories. For these cases, the variant of the law of “excluded n-th” suggested by Vasil’ev instead of the tertium non datur is obtained in some special cases of these categories. The paraconsistent law suggested by Vasil’ev (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  22
    Franco Montagna’s Work on Provability Logic and Many-Valued Logic.Lev Beklemishev & Tommaso Flaminio - 2016 - Studia Logica 104 (1):1-46.
    Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  33
    Covariant Relativistic Statistical Mechanics of Many Particles.Wm C. Schieve - 2005 - Foundations of Physics 35 (8):1359-1381.
    In this paper the quantum covariant relativistic dynamics of many bodies is reconsidered. It is emphasized that this is an event dynamics. The events are quantum statistically correlated by the global parameter τ. The derivation of an event Boltzmann equation emphasizes this. It is shown that this Boltzmann equation may be viewed as exact in a dilute event limit ignoring three event correlations. A quantum entropy principle is obtained for the marginal Wigner distribution function. By means of event linking (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. One and Many in Presocratic Philosophy.Michael C. Stokes - 1986 - Upa.
    Originally published by the Center for Hellenic Studies, this book investigates the extent to which the Presocratics were hamstrung by their lack of detailed conceptual framework in the case of the words "one" and "many." This investigation is based on Aristotle's analyses.
     
    Export citation  
     
    Bookmark   1 citation  
  50.  38
    Can a Language Have Indenumerably Many Expressions?Philip Hugly & Charles Sayward - 1983 - History and Philosophy of Logic 4 (1-2):73-82.
    A common assumption among philosophers is that every language has at most denumerably many expressions. This assumption plays a prominent role in many philosophical arguments. Recently formal systems with indenumerably many elements have been developed. These systems are similar to the more familiar denumerable first-order languages. This similarity makes it appear that the assumption is false. We argue that the assumption is true.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000