Results for 'complete axiomatization'

673 found
Order:
  1.  78
    Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  85
    The Modal Logic of the Countable Random Frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
    We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.
    We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities. En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways game identities into modal formulae. The completeness proof is based on reduction of game terms (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  56
    Computation Tree Logics and Temporal Logics with Reference Pointers.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Vagueness & Modality—An Ecumenical Approach.Jon Erling Litland & Juhani Yli-Vakkuri - 2016 - Philosophical Perspectives 30 (1):229-269.
    How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Complementary Sentential Logics.Achille C. Varzi - 1990 - Bulletin of the Section of Logic 19 (4):112-116.
    It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  8. Logic for Lunatics.Gregory Wheeler - manuscript
    A sound and complete axiomatization of two tabloid blogs is presented, Leiter Logic (KB) and Deontic Leiter Logic (KDB), the latter of which can be extended to Shame Game Logic for multiple agents. The (B) schema describes the mechanism behind this class of tabloids, and illustrates the perils of interpreting a provability operator as an epistemic modal. To mark this difference, and to avoid sullying Brouwer's good name, the (B) schema for epistemic modals should be called the Blog (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Complementary Logics for Classical Propositional Languages.Achille C. Varzi - 1992 - Kriterion - Journal of Philosophy 4 (1):20-24.
    In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  51
    On What Hilbert Aimed at in the Foundations.Besim Karakadılar - manuscript
    Hilbert's axiomatic approach was an optimistic take over on the side of the logical foundations. It was also a response to various restrictive views of mathematics supposedly bounded by the reaches of epistemic elements in mathematics. A complete axiomatization should be able to exclude epistemic or ontic elements from mathematical theorizing, according to Hilbert. This exclusion is not necessarily a logicism in similar form to Frege's or Dedekind's projects. That is, intuition can still have a role in mathematical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11.  55
    Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Download  
     
    Export citation  
     
    Bookmark  
  12.  21
    Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Download  
     
    Export citation  
     
    Bookmark  
  13. TxW Epistemic Modality.Andrea Iacona - 2012 - Logic and Philosophy of Science 10:3-14.
    So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.
    Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and Any Other Truth-Functional Connective).Richard Zach - 2016 - Journal of Philosophical Logic 45 (2):183-197.
    Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  17. A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.Jared Millson - 2019 - Studia Logica (6):1-34.
    In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. 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   49 citations  
  19. Labeled Calculi and Finite-Valued Logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
    A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  20. The Complete Work.Kelly Trogdon & Paisley Livingston - 2014 - Journal of Aesthetics and Art Criticism 72 (3):225-233.
    Defense of a psychological account of what it is for an artwork to be complete.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  21.  34
    Who Cares About Axiomatization? Representation, Invariance, and Formal Ontologies.R. Ferrario - 2006 - Epistemologia 29 (2):323-342.
    The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory gives a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Complete Concept Molinism.Godehard Brüntrup & Ruben Schneider - 2013 - European Journal for Philosophy of Religion 5 (1):93-108.
    A theoretically rigorous approach to the key problems of Molinism leads to a clear distinction between semantic and metaphysical problems. Answers to semantic problems do not provide answers to metaphysical problems that arise from the theory of middle knowledge. The so-called ‘grounding objection’ to Molinism raises a metaphysical problem. The most promising solution to it is a revised form of the traditional ‘essence solution’. Inspired by Leibniz’s idea of a ‘notio completa’ (complete concept), we propose a mathematical model of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Kant on Complete Determination and Infinite Judgement.Nicholas F. Stang - 2012 - British Journal for the History of Philosophy 20 (6):1117-1139.
    In the Transcendental Ideal Kant discusses the principle of complete determination: for every object and every predicate A, the object is either determinately A or not-A. He claims this principle is synthetic, but it appears to follow from the principle of excluded middle, which is analytic. He also makes a puzzling claim in support of its syntheticity: that it represents individual objects as deriving their possibility from the whole of possibility. This raises a puzzle about why Kant regarded it (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  24. Complete Enumerative Inductions.John Corcoran - 2006 - Bulletin of Symbolic Logic 12:465-6.
    Consider the following. The first is a one-premise argument; the second has two premises. The question sign marks the conclusions as such. -/- Matthew, Mark, Luke, and John wrote Greek. ? Every evangelist wrote Greek. -/- Matthew, Mark, Luke, and John wrote Greek. Every evangelist is Matthew, Mark, Luke, or John. ? Every evangelist wrote Greek. -/- The above pair of premise-conclusion arguments is of a sort familiar to logicians and philosophers of science. In each case the first premise is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Can Physics Ever Be Complete If There is No Fundamental Level in Nature?Markus Schrenk - 2009 - Dialectica 63 (2):205-208.
    In their recent book Every Thing Must Go, Ladyman and Ross claim: (i) Physics is analytically complete since it is the only science that cannot be left incomplete. (ii) There might not be an ontologically fundamental level. (iii) We should not admit anything into our ontology unless it has explanatory and predictive utility. In this discussion note I aim to show that the ontological commitment in implies that the completeness of no science can be achieved where no fundamental level (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Complete Concept Molinism - Der Molinismus vollständiger Begriffe.Godehard Brüntrup & Ruben Schneider - 2015 - In Thomas Marschler & Thomas Schärtl (eds.), Eigenschaften Gottes: Ein Gespräch zwischen systematischer Theologie und analytischer Philosophie. Aschendorff. pp. 363-378.
    Theoretically rigorous approach to the key problems of Molinism.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  45
    Preface & Complete 1st Chapter.Khuram Rafique - 2019 - In Philosophy Unscrambles Dark Matter.
    Preface thoroughly outlines the development and status of dark matter theory at the time of publishing this book. First chapter is like a combat between mathematical counterintuitive physics and human commonsense and explains that human commonsense equipped with proper philosophical approach is capable to deal with the problem of dark matter. Thus the first chapter makes a case for human commonsense and philosophical method.
    Download  
     
    Export citation  
     
    Bookmark  
  28. External Goods and the Complete Exercise of Virtue in Aristotle's Nicomachean Ethics.Sukaina Hirji - forthcoming - Archiv für Geschichte der Philosophie.
    In Nicomachean Ethics 1.8, Aristotle seems to argue that certain external goods are needed for happiness because, in the first place, they are needed for virtuous activity. This has puzzled scholars. After all, it seems possible for a virtuous agent to exercise her virtuous character even under conditions of extreme hardship or deprivation. Indeed, it is natural to think these are precisely the conditions under which one's virtue shines through most clearly. Why then does Aristotle think that a wide range (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. The Price of Insisting That Quantum Mechanics is Complete.P. D. Magnus - 2004 - British Journal for the Philosophy of Science 55 (2):257-267.
    The Bare Theory was offered by David Albert as a way of standing by the completeness of quantum mechanics in the face of the measurement problem. This paper surveys objections to the Bare Theory that recur in the literature: what will here be called the oddity objection, the coherence objection, and the context-of-the-universe objection. Critics usually take the Bare Theory to have unacceptably bizarre consequences, but to be free from internal contradiction. Bizarre consequences need not be decisive against the Bare (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Review of The Complete Works of W. H. Auden: Prose: Volume VI, 1969–1973. [REVIEW]Subhasis Chattopadhyay - 2016 - Prabuddha Bharata or Awakened India 121 (7 (July)):576-77.
    This review shows how Auden was a philosopher of religion and therefore, this review calls for reassessing the poet Auden as a philosopher concerned with prayer and the necessity of the transcendent in life.
    Download  
     
    Export citation  
     
    Bookmark  
  31.  76
    Review of The Complete Works of W. H. Auden: Prose: Volume V, 1963–1968. [REVIEW]Subhasis Chattopadhyay - 2016 - Prabuddha Bharata or Awakened India 121 (7):578.
    This review of Auden's prose establishes him as a writer concerned with theodicy or the Problem of Evil.
    Download  
     
    Export citation  
     
    Bookmark  
  32.  19
    The X86 Language has Turing Complete Memory Access.Pl Olcott - manuscript
    An abstract machine having a tape head that can be advanced in 0 to 0x7FFFFFFF increments an unlimited number of times specifies a model of computation that has access to unlimited memory. The technical name for memory addressing based on displacement from the current memory address is relative addressing.
    Download  
     
    Export citation  
     
    Bookmark  
  33. VIII—Epicurus on Pleasure, a Complete Life, and Death: A Defence.Alex Voorhoeve - 2018 - Proceedings of the Aristotelian Society 118 (3):225-253.
    Epicurus argued that the good life is the pleasurable life. He also argued that ‘death is nothing to us’. These claims appear in tension. For if pleasure is good, then it seems that death is bad when it deprives us of deeply enjoyable time alive. Here, I offer an Epicurean view of pleasure and the complete life which dissolves this tension. This view is, I contend, more appealing than critics of Epicureanism have allowed, in part because it assigns higher (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  47
    From the End of Unitary Science Projection to the Causally Complete Complexity Science: Extended Mathematics, Solved Problems, New Organisation and Superior Purposes.Andrei P. Kirilyuk - 2017 - In A. P. Kirilyuk, Theory of Everything, Ultimate Reality and the End of Humanity: Extended Sustainability by the Universal Science of Complexity. Beau Bassin: LAP LAMBERT Academic Publishing. pp. 199-209.
    The deep crisis in modern fundamental science development is ever more evident and openly recognised now even by mainstream, official science professionals and leaders. By no coincidence, it occurs in parallel to the world civilisation crisis and related global change processes, where the true power of unreduced scientific knowledge is just badly missing as the indispensable and unique tool for the emerging greater problem solution and further progress at a superior level of complex world dynamics. Here we reveal the mathematically (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Frege's Begriffsschrift is Indeed First-Order Complete.Yang Liu - 2017 - History and Philosophy of Logic 38 (4):342-344.
    It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order completeness (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Kant on Proving Aristotle’s Logic as Complete.Huaping Lu-Adler - 2016 - Kantian Review 21 (1):1-26.
    Kant claims that Aristotles logic as complete, explain the historical and philosophical considerations that commit him to proving the completeness claim and sketch the proof based on materials from his logic corpus. The proof will turn out to be an integral part of Kant’s larger reform of formal logic in response to a foundational crisis facing it.
    Download  
     
    Export citation  
     
    Bookmark  
  37. Literary Theory: A Practical Introduction: Readings of William Shakespeare, King Lear, Henry James, "the Aspern Papers," Elizabeth Bishop, the Complete Poems 1927-1979, Toni Morrison, the Bluest Eye.Michael Ryan - 1999 - Blackwell.
    Michael Ryan's Literary Theory: A Practical Introduction, Second Edition introduces students to the full range of contemporary approaches to the study of literature and culture, from Formalism, Structuralism, and Historicism to Ethnic Studies, Gender Studies, and Global English. Introduces readings from a variety of theoretical perspectives, on classic literary texts. Demonstrates how the varying perspectives on texts can lead to different interpretations of the same work. Contains an accessible account of different theoretical approaches An ideal resource for use in introductory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Ludwig Wittgenstein's Lecture on Ethics. Introduction, Interpretation and Complete Text.Edoardo Zamuner, David K. Levy & Valentina di Lascio - 2007 - Quodlibet.
    Download  
     
    Export citation  
     
    Bookmark  
  39.  47
    Gay Gene: If There is One, is It the Last Frontier to Be Crossed by Homosexual to Find Their Complete Access to Every Sphere of Society?Luis Branco - 2014 - Lisboa, Portugal: Verdade na Prática.
    When we think about postmodernism we have to consider its implication in every aspect of society and none would doubt that homosexuality is one of these major implication especially for the contemporary church. The influence of relativism and the paradigm shift in humanity made homosexuality not just acceptable, but in many cases a norm. For a long time the church barricaded herself not only behind her Jewish-christian worldview and theological values, but also behind the absolutes of science that just has (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Classes and Theories of Trees Associated with a Class of Linear Orders.Valentin Goranko & Ruaan Kellerman - 2011 - Logic Journal of the IGPL 19 (1):217-232.
    Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Standing by Our Principles: Meaningful Guidance, Moral Foundations, and Multi-Principle Methodology in Medical Scarcity.Govind C. Persad, Alan Wertheimer & Ezekiel J. Emanuel - 2010 - American Journal of Bioethics 10 (4):46 – 48.
    In this short response to Kerstein and Bognar, we clarify three aspects of the complete lives system, which we propose as a system of allocating scarce medical interventions. We argue that the complete lives system provides meaningful guidance even though it does not provide an algorithm. We also defend the investment modification to the complete lives system, which prioritizes adolescents and older children over younger children; argue that sickest-first allocation remains flawed when scarcity is absolute and ongoing; (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  42. Explanatory Rivals and the Ultimate Argument.Finnur Dellsén - 2015 - Theoria 82 (3):217-237.
    Although many aspects of Inference to the Best Explanation have been extensively discussed, very little has so far been said about what it takes for a hypothesis to count as a rival explanatory hypothesis in the context of IBE. The primary aim of this article is to rectify this situation by arguing for a specific account of explanatory rivalry. On this account, explanatory rivals are complete explanations of a given explanandum. When explanatory rivals are conceived of in this way, (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  43. Judgment Aggregation with Consistency Alone.Franz Dietrich & Christian List - 2007 - Maastricht University.
    All existing impossibility theorems on judgment aggregation require individual and collective judgment sets to be consistent and complete, arguably a demanding rationality requirement. They do not carry over to aggregation functions mapping profiles of consistent individual judgment sets to consistent collective ones. We prove that, whenever the agenda of propositions under consideration exhibits mild interconnections, any such aggregation function that is "neutral" between the acceptance and rejection of each proposition is dictatorial. We relate this theorem to the literature.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  44. Axiomatic Foundations of Quantum Mechanics Revisited: The Case for Systems.S. E. Perez-Bergliaffa, Gustavo E. Romero & H. Vucetich - 1996 - International Journal of Theoretical Phyisics 35:1805-1819.
    We present an axiomatization of non-relativistic Quantum Mechanics for a system with an arbitrary number of components. The interpretation of our system of axioms is realistic and objective. The EPR paradox and its relation with realism is discussed in this framework. It is shown that there is no contradiction between realism and recent experimental results.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. Os seis requisitos das premissas da demonstração científica em Aristóteles.Lucas Angioni - 2012 - Manuscrito 35 (1):7-60.
    I discuss in this paper the six requirements Aristotle advances at Posterior Analytics A-2, 71b20-33, for the premisses of a scientific demonstration. I argue that the six requirements give no support for an intepretation in terms of “axiomatization”. Quite on the contrary, the six requirements can be consistently understood in a very different picture, according to which the most basic feature of a scientific demonstration is to explain a given proposition by its appropriate cause.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   25 citations  
  46.  90
    Axiomatic Theories of Partial Ground I: The Base Theory.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):161-191.
    This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic and show (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  47. On the Logic of Common Belief and Common Knowledge.Luc Lismont & Philippe Mongin - 1994 - Theory and Decision 37 (1):75-106.
    The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  48. Ranking Multidimensional Alternatives and Uncertain Prospects.Philippe Mongin - 2015 - Journal of Economic Theory 157:146-171.
    We introduce a ranking of multidimensional alternatives, including uncertain prospects as a particular case, when these objects can be given a matrix form. This ranking is separable in terms of rows and columns, and continuous and monotonic in the basic quantities. Owing to the theory of additive separability developed here, we derive very precise numerical representations over a large class of domains (i.e., typically notof the Cartesian product form). We apply these representationsto (1)streams of commodity baskets through time, (2)uncertain social (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. The Structure of Spatial Localization.Roberto Casati & Achille C. Varzi - 1996 - Philosophical Studies 82 (2):205 - 239.
    What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  50.  85
    Refutation Systems in Modal Logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
1 — 50 / 673