Results for 'complete axiomatization'

549 found
Order:
  1.  77
    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  
  2.  54
    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  
  3.  60
    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.  22
    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  
  5.  76
    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  
  6. Vagueness and Modality.Jon Erling Litland & Juhani Yli-Vakkuri - 2016 - Philosophical Perspectives 30 (1):1-39.
    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   7 citations  
  7. 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  
  8. 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  
  9.  34
    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  
  10. 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   2 citations  
  11. 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  
  12. 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   11 citations  
  13. 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   1 citation  
  14.  98
    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   13 citations  
  15.  94
    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  
  16. 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  
  17. 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  
  18. 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  
  19. 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   46 citations  
  20. The Complete Work.Kelly Trogdon & Paisley Nathan 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   8 citations  
  21. 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   5 citations  
  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. 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  
  24.  85
    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.  77
    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  
  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. An Additive Representation on the Product of Complete, Continuous Extensive Structures.Yutaka Matsushita - 2010 - Theory and Decision 69 (1):1-16.
    This article develops an axiom system to justify an additive representation for a preference relation ${\succsim}$ on the product ${\prod_{i=1}^{n}A_{i}}$ of extensive structures. The axiom system is basically similar to the n-component (n ≥ 3) additive conjoint structure, but the independence axiom is weakened in the system. That is, the axiom exclusively requires the independence of the order for each of single factors from fixed levels of the other factors. The introduction of a concatenation operation on each factor A i (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. 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  
  29.  21
    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  
  30. 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  
  31. 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  
  32.  26
    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  
  33.  10
    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  
  34.  70
    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  
  35.  59
    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  
  36.  32
    Concerning Formal Concept Analysis on Complete Residuated Lattices.Abner de Mattos Brito - 2019 - Dissertation, University of Campinas, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  37. 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   4 citations  
  38. 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   2 citations  
  39.  87
    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  
  40. Die Kehre als völlige Umwendung des Menschen. Von der Verwirklichung des „mystischen” Antriebs der Phänomenologie im Denken Martin Heideggers.Eckard Wolz-Gottwald - 2016 - Argument: Biannual Philosophical Journal 6 (2):299-312.
    The article first outlines Edmund Husserl’s idea of “complete transformation” (völlige Umwendung) and the philosophy of “the turn” (Kehre) of Martin Heidegger. In the following chapter it is shown that you can understand both Husserl as well as Heidegger in the light of “the essential turn” in the German mysticism of the fourteenth century. In this way it becomes clear that Husserl’s idea of a “complete transformation” seems to be a forgotten “mystical” impetus of phenomenology, which was much (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  38
    Do Goedel's Incompleteness Theorems Set Absolute Limits on the Ability of the Brain to Express and Communicate Mental Concepts Verifiably?Bhupinder Singh Anand - 2004 - Neuroquantology 2:60-100.
    Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Computability and Human Symbolic Output.Jason Megill & Tim Melvin - 2014 - Logic and Logical Philosophy 23 (4):391-401.
    This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is finite. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43.  82
    Bayesian Decision Theory and Stochastic Independence.Philippe Mongin - forthcoming - Philosophy of Science.
    Stochastic independence (SI) has a complex status in probability theory. It is not part of the definition of a probability measure, but it is nonetheless an essential property for the mathematical development of this theory, hence a property that any theory on the foundations of probability should be able to account for. Bayesian decision theory, which is one such theory, appears to be wanting in this respect. In Savage's classic treatment, postulates on preferences under uncertainty are shown to entail a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  50
    Rethinking Woodger’s Legacy in the Philosophy of Biology.Daniel J. Nicholson & Richard Gawne - 2014 - Journal of the History of Biology 47 (2):243-292.
    The writings of Joseph Henry Woodger (1894–1981) are often taken to exemplify everything that was wrongheaded, misguided, and just plain wrong with early twentieth-century philosophy of biology. Over the years, commentators have said of Woodger: (a) that he was a fervent logical empiricist who tried to impose the explanatory gold standards of physics onto biology, (b) that his philosophical work was completely disconnected from biological science, (c) that he possessed no scientific or philosophical credentials, and (d) that his work was (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  45. A Pressure-Reversible Cellular Mechanism of General Anesthetics Capable of Altering a Possible Mechanism of Consciousness.Kunjumon Vadakkan - 2015 - Springerplus 4:1-17.
    Different anesthetics are known to modulate different types of membrane-bound receptors. Their common mechanism of action is expected to alter the mechanism for consciousness. Consciousness is hypothesized as the integral of all the units of internal sensations induced by reactivation of inter-postsynaptic membrane functional LINKs during mechanisms that lead to oscillating potentials. The thermodynamics of the spontaneous lateral curvature of lipid membranes induced by lipophilic anesthetics can lead to the formation of non-specific inter-postsynaptic membrane functional LINKs by different mechanisms. These (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  45
    Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  47.  97
    Theories with the Independence Property, Studia Logica 2010 95:379-405.Mlj van de Vel - 2010 - Studia Logica 95 (3):379-405.
    A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of basic formulas provided it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  99
    Contradictions Inherent in Special Relativity: Space Varies.Kim Joosoak - manuscript
    Special relativity has changed the fundamental view on space and time since Einstein introduced it in 1905. It substitutes four dimensional spacetime for the absolute space and time of Newtonian mechanics. It is believed that the validities of Lorentz invariants are fully confirmed empirically for the last one hundred years and therefore its status are canonical underlying all physical principles. However, spacetime metric is a geometric approach on nature when we interpret the natural phenomenon. A geometric flaw on this will (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Systemy sylogistyki dowodowej.Piotr Kulicki - 2010 - Roczniki Filozoficzne 58 (1):139-154.
    Aristotle in Analytica Posteriora presented a notion of proof as a special case of syllogism. In the present paper the remarks of Aristotle on the subject are used as an inspiration for developing formal systems of demonstrative syllogistic, which are supposed to formalize syllogisms that are proofs. We build our systems in the style of J. Łukasiewicz as theories based on classical propositional logic. The difference between our systems and systems of syllogistic known from the literature lays in the interpretation (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  32
    La materia della rappresentazione nella scienza assiomatizzata.Giambattista Formica - 2007 - Quaestio 7 (1):505-533.
    In "La science et l’hypothèse" Henri Poincaré scrive: «Compito dello scienziato è ordinare; si fa la scienza con i fatti, come si fa una casa con le pietre; ma un cumulo di fatti non è una scienza, proprio come un mucchio di pietre non è una casa» . Oltre a richiamare qualcosa che a molti potrebbe persino apparire ovvio – cioè che la scienza non possa in alcun modo ridursi ad un mero agglomerato di fatti che il ricercatore registra in (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 549