This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

507 found
Order:
1 — 50 / 507
  1. added 2018-07-11
    Teleportative Observers Versus Special Relativity Observers: Work in Progress.James Goetz - manuscript
    Various authors argue that special relativity implies eternalism. For example, special relativity observers are limited by the relativity of simultaneity and cannot detect a preferred universal chronology, which is an important premise for the Rietdijk–Putnam argument which implies eternalism. However, I introduce "teleportative observers" which cohere with wormhole theory based on general relativity. Teleportative observers do not teleport objects but use hypothetical teleportative sight to detect every event in every quantum system of the universe. The teleportative sight permits detection at (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. added 2018-02-18
    John von Neumann's Mathematical “Utopia” in Quantum Theory.Giovanni Valente - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (4):860-871.
    This paper surveys John von Neumann's work on the mathematical foundations of quantum theories in the light of Hilbert's Sixth Problem concerning the geometrical axiomatization of physics. We argue that in von Neumann's view geometry was so tied to logic that he ultimately developed a logical interpretation of quantum probabilities. That motivated his abandonment of Hilbert space in favor of von Neumann algebras, specifically the type II1II1 factors, as the proper limit of quantum mechanics in infinite dimensions. Finally, we present (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. added 2018-02-17
    Complex Non-Linear Biodynamics in Categories, Higher Dimensional Algebra and ŁUkasiewicz''“Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks.I. C. Baianu, R. Brown, G. Georgescu & J. F. Glazebrook - 2006 - Axiomathes 16 (1):65-122.
    A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a Łukasiewicz–Moisil (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4. added 2017-11-09
    In the Chaos of Today's Society: The Dynamics of Collapse as Another Shift in the Quantum Anthropology of Heidi Ann Russell.Radek Trnka - 2015 - Prague: Togga.
    The presented study introduces a new theoretical model of collapse for social, cultural, or political systems. Based on the current form of quantum anthropology conceptualized by Heidi Ann Russell, further development of this field is provided. The new theoretical model is called the spiral model of collapses, and is suggested to provide an analytical framework for collapses in social, cultural, and political systems. The main conclusions of this study are: 1) The individual crises in the period before a collapse of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. added 2017-02-14
    Modal-Type Orthomodular Logic.Trixie Wagner & Andreas Schouml - forthcoming - Mathematical Logic Quarterly.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  6. added 2017-02-13
    Extremal Consequence Operations.D. W. Miller - 2000 - Bulletin of the Section of Logic 29 (3):99-107.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. added 2017-02-12
    Would Leibniz Have Shared von Neumann's Logical Physicalism?Witold Marciszewski - 1995 - Logic and Logical Philosophy 3:115-128.
    This paper represents such an amateur approach; hence any comments backed up by professional erudition will be highly appreciated. Let me start from an attempt to sketch a relationship between professionals’ and amateurs’ contributions. The latter may be compared with the letters to the Editor of a journal, written by perceptive readers, while professionals contribute to the very content of the journal in question. Owing to such letters, the Editor and his professional staff can become more aware of the responses (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  8. added 2017-02-11
    Independence in Operator Algebras.StanisŁaw Goldstein, Andrzej Łuczak & Ivan F. Wilde - 1999 - Foundations of Physics 29 (1):79-89.
    Various notions of independence of observables have been proposed within the algebraic framework of quantum field theory. We discuss relationships between these and the recently introduced notion of logical independence in a general operator-algebraic context. We show that C*-independence implies an analogue of classical independence.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9. added 2017-02-11
    Review: Luis E. Sanchis, Set Theory -- An Operational Approach. [REVIEW]J. P. Mayberry - 1998 - Journal of Symbolic Logic 63 (2):751-752.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. added 2017-02-11
    Review: Zarko Mijajlovic, Zoran Markovic, Kosta Dosen, Hilbert's Problems and Logic. [REVIEW]Boban Velickovic - 1987 - Journal of Symbolic Logic 52 (4):1049-1050.
  11. added 2017-02-11
    Review: Kathleen Levitz, Hilbert Levitz, Logic and Boolean Algebra. [REVIEW]Diane Resek - 1981 - Journal of Symbolic Logic 46 (2):420-421.
  12. added 2017-02-11
    Review: William E. McMahon, Hans Reichenbach's Philosophy of Grammar. [REVIEW]Rita Nolan - 1978 - Journal of Symbolic Logic 43 (1):156-157.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. added 2017-02-11
    Review: David Sachs, The Lattice of Subalgebras of a Boolean Algebra. [REVIEW]G. Gratzer - 1972 - Journal of Symbolic Logic 37 (1):190-191.
  14. added 2017-02-11
    Review: Hans Reichenbach, Elements of Symbolic Logic. [REVIEW]J. van Heijenoort - 1966 - Journal of Symbolic Logic 31 (4):675-675.
  15. added 2017-02-11
    Review: Hans Reichenbach, Can Operators Reach Through Quotes? [REVIEW]William Craig - 1962 - Journal of Symbolic Logic 27 (1):121-122.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. added 2017-02-11
    Review: Hans Reichenbach, The Syllogism Revised. [REVIEW]J. A. Faris - 1960 - Journal of Symbolic Logic 25 (1):80-81.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. added 2017-02-11
    Review: Patrick Suppes, Axiomatic Set Theory. [REVIEW]Alfons Borgers - 1960 - Journal of Symbolic Logic 25 (3):277-278.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2017-02-11
    Review: Peter Fireman, Perceptualistic Theory of Knowledge. [REVIEW]Charles A. Baylis - 1960 - Journal of Symbolic Logic 25 (1):76-76.
  19. added 2017-02-11
    Review: Makoto Itoh, On the General Topological Boolean Lattice. [REVIEW]Katuzi Ono - 1959 - Journal of Symbolic Logic 24 (1):73-74.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  20. added 2017-02-11
    Review: Niels Bohr, The Causality Problem in Atomic Physics; Werner Heisenberg, Language and Reality in Modern Physics; Evert Willem Beth, Die Stellung der Logik Im Gebaude der Heutigen Wissenschaft. [REVIEW]Alfons Borgers - 1958 - Journal of Symbolic Logic 23 (1):66-66.
  21. added 2017-02-11
    Review: Hans Reichenbach, The Rise of Scientific Philosophy. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (4):396-396.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  22. added 2017-02-11
    Review: Sadeo Shiraishi, The Structure of the Continuity of Psychological Experiences and the Physical World. [REVIEW]A. N. Prior - 1955 - Journal of Symbolic Logic 20 (2):169-170.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. added 2017-02-11
    Review: Robert Serrell, Elements of Boolean Algebra for the Study of Information-Handling Systems. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):142-142.
  24. added 2017-02-11
    Review: Michael J. Norris, Cofinally Concentrated Directed Systems; Yataro Matusima, On Some Problems of Birkhoff. [REVIEW]Nicholas Rescher - 1953 - Journal of Symbolic Logic 18 (3):285-285.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  25. added 2017-02-11
    Review: Hans Reichenbach, Elements of Symbolic Logic. [REVIEW]George D. W. Berry - 1949 - Journal of Symbolic Logic 14 (1):50-52.
  26. added 2017-02-11
    Review: Garrett Birkhoff, S. A. Kiss, A Ternary Operation in Distributive Lattices. [REVIEW]H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (1):50-51.
  27. added 2017-02-11
    Review: Hans Reichenbach, Henri Savonnet, Introduction a la Logistique. [REVIEW]George D. W. Berry - 1947 - Journal of Symbolic Logic 12 (3):86-87.
  28. added 2017-02-11
    Review: George D. Birkhoff, Garrett Birkhoff, Distributive Postulates for Systems Like Boolean Algebras. [REVIEW]J. C. C. McKinsey - 1947 - Journal of Symbolic Logic 12 (1):28-29.
  29. added 2017-02-11
    Review: James W. Stakelum, Galen and the Logic of Propositions. [REVIEW]Alonzo Church - 1942 - Journal of Symbolic Logic 7 (1):46-46.
  30. added 2017-02-11
    Review: Garrett Birkhoff, An Extended Arithmetic; Garrett Birkhoff, Generalized Arithmetic. [REVIEW]Alonzo Church - 1942 - Journal of Symbolic Logic 7 (3):125-126.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  31. added 2017-02-11
    Review: Hans Reichenbach, Note on Probability Implication. [REVIEW]Ernest Nagel - 1941 - Journal of Symbolic Logic 6 (2):66-66.
  32. added 2017-02-11
    Review: Garrett Birkhoff, Saunders MacLane, Algebra of Classes. [REVIEW]Alonzo Church - 1941 - Journal of Symbolic Logic 6 (4):165-165.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. added 2017-02-11
    Review: J. C. C. McKinsey, A Note on Reichenbach's Axioms for Probability Implication. [REVIEW]Ernest Nagel - 1940 - Journal of Symbolic Logic 5 (1):42-42.
  34. added 2017-02-11
    Review: Garrett Birkhoff, Lattices and Their Applications. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):34-35.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. added 2017-02-11
    Review: Edmund C. Berkeley, Boolean Algebra (The Technique for Manipulating "and," "or," "Not," and Conditions) and Applications to Insurance. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (2):90-90.
  36. added 2017-02-11
    Review: J. C. C. McKinsey, On Boolean Functions of Many Variables. [REVIEW]Paul Henle - 1937 - Journal of Symbolic Logic 2 (1):58-59.
  37. added 2017-02-11
    Review: R. Vaidyanathaswamy, On the Group-Operations of a Boolean Algebra. [REVIEW]Albert A. Bennett - 1937 - Journal of Symbolic Logic 2 (3):142-142.
  38. added 2017-02-08
    Outlines of a Boolean Tensor Algebra with Applications to the Lower Functional Calculus.Håkan Törnebohm - 1958 - Theoria 24 (1):39-47.
  39. added 2017-02-07
    Elementary Propositions and Independence.John L. Bell & William Demopoulos - 1996 - Notre Dame Journal of Formal Logic 37 (1):112-124.
    This paper is concerned with Wittgenstein's early doctrine of the independence of elementary propositions. Using the notion of a free generator for a logical calculus–a concept we claim was anticipated by Wittgenstein–we show precisely why certain difficulties associated with his doctrine cannot be overcome. We then show that Russell's version of logical atomism–with independent particulars instead of elementary propositions–avoids the same difficulties.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. added 2017-02-07
    A Short Equational Axiomatization of Orthomodular Lattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):317-320.
  41. added 2017-02-07
    On Nachbin's Characterization of a Boolean Lattice.William H. Cornish - 1976 - Notre Dame Journal of Formal Logic 17 (1):155-157.
  42. added 2017-02-07
    Three Identities for Ortholattices.Ladislav Beran - 1976 - Notre Dame Journal of Formal Logic 17 (2):251-252.
  43. added 2017-02-02
    Ten Reasons for Pursuing Multi-Commutative Quantum Theories.Assen Petrov - unknown
    Mathematical developments in the 1970s (geometric spectral theory) and 1980s (invariant cones in finite-dimensional Lie algebras) suggest a revision of the standard non-commutative quantum language. Invariantly and covariantly lattice-ordered Lie algebras can replace the known descriptions of the classical and quantum Hamiltonian dynamical systems. The standard operator (or algebraic) quantum theory appears as a factorization of a new multi-commutative model. The multi-commutativity reflects the dependence of the quantum variables on the choice of their measurement procedures--a property required by but not (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. added 2017-02-02
    A Formal Construction of the Spacetime Manifold.Thomas Benda - 2008 - Journal of Philosophical Logic 37 (5):441 - 478.
    The spacetime manifold, the stage on which physics is played, is constructed ab initio in a formal program that resembles the logicist reconstruction of mathematics. Zermelo’s set theory extended by urelemente serves as a framework, to which physically interpretable proper axioms are added. From this basis, a topology and subsequently a Hausdorff manifold are readily constructed which bear the properties of the known spacetime manifold. The present approach takes worldlines rather than spacetime points to be primitive, having them represented by (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45. added 2017-02-01
    A Formal Ontology of Situations.Bogus?aw Wolniewicz - 1982 - Studia Logica 41 (4):381 - 413.
    A generalized Wittgensteinian semantics for propositional languages is presented, based on a lattice of elementary situations. Of these, maximal ones are possible worlds, constituting a logical space; minimal ones are logical atoms, partitioned into its dimensions. A verifier of a proposition is an elementary situation such that if real it makes true. The reference (or objective) of a proposition is a situation, which is the set of all its minimal verifiers. (Maximal ones constitute its locus.) Situations are shown to form (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46. added 2017-02-01
    Logic of Propositions.J. Ridder - 1947 - Synthese 6 (9-12):496 - 502.
  47. added 2017-01-29
    The Intrinsic Quantum Nature of Nash Equilibrium Mixtures.Yohan Pelosse - 2016 - Journal of Philosophical Logic 45 (1):25-64.
    In classical game theory the idea that players randomize between their actions according to a particular optimal probability distribution has always been viewed as puzzling. In this paper, we establish a fundamental connection between n-person normal form games and quantum mechanics, which eliminates the conceptual problems of these random strategies. While the two theories have been regarded as distinct, our main theorem proves that if we do not give any other piece of information to a player in a game, than (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. added 2017-01-29
    Quantum Logic.K. Svozil - 2004 - Studia Logica 77 (1):129-130.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  49. added 2017-01-29
    Logical Physics: Quantum Reality Theory.Kaj Börge Hansen - 1999 - Studia Logica 63 (3):432-435.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  50. added 2017-01-29
    Analysis of Quantum Probability Theory. II.James van Aken - 1986 - Journal of Philosophical Logic 15 (3):333-367.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 507