Results for 'W*-algebra'

141 found
Order:
  1. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - forthcoming - Review of Symbolic Logic.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. A Lógica de Lewis Carroll.John L. Lindemann - 2017 - Dissertation,
    The present dissertation presents an examination of the Carrollian logic through the reconstruction of its syllogistic theory. Lewis Carroll was one of the main responsible for the dissemination of logic during the nineteenth century, but most of his logical writings remained unknown until a posthumous publication of 1977. The reconstruction of the Carrollian syllogistic theory was based on the comparison of the two books on author's logic, "The Game of Logic" and "Symbolic Logic". The analysis of the Carrollian syllogistics starts (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. What is The Reason to Use Clifford Algebra in Quantum Cognition? Part I: “It From Qubit” On The Possibility That the Amino Acids Can Discern Between Two Quantum Spin States.Elio Conte - 2012 - Neuroquantology 10 (3):561-565.
    Starting with 1985, we discovered the possible existence of electrons with net helicity in biomolecules as amino acids and their possibility to discern between the two quantum spin states. It is well known that the question of a possible fundamental role of quantum mechanics in biological matter constitutes still a long debate. In the last ten years we have given a rather complete quantum mechanical elaboration entirely based on Clifford algebra whose basic entities are isomorphic to the well known (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Clifford Algebra: A Case for Geometric and Ontological Unification.William Michael Kallfelz - 2009 - VDM Verlagsservicegesellschaft MbH.
    Robert Batterman’s ontological insights (2002, 2004, 2005) are apt: Nature abhors singularities. “So should we,” responds the physicist. However, the epistemic assessments of Batterman concerning the matter prove to be less clear, for in the same vein he write that singularities play an essential role in certain classes of physical theories referring to certain types of critical phenomena. I devise a procedure (“methodological fundamentalism”) which exhibits how singularities, at least in principle, may be avoided within the same classes of formalisms (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5. Agglomerative Algebras.Jeremy Goodman - 2018 - Journal of Philosophical Logic 48 (4):631-648.
    This paper investigates a generalization of Boolean algebras which I call agglomerative algebras. It also outlines two conceptions of propositions according to which they form an agglomerative algebra but not a Boolean algebra with respect to conjunction and negation.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  84
    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 property. The (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Cognition, Algebra, and Culture in the Tongan Kinship Terminology.Giovanni Bennardo & Dwight Read - 2007 - Journal of Cognition and Culture 7 (1-2):49-88.
    We present an algebraic account of the Tongan kinship terminology (TKT) that provides an insightful journey into the fabric of Tongan culture. We begin with the ethnographic account of a social event. The account provides us with the activities of that day and the centrality of kin relations in the event, but it does not inform us of the conceptual system that the participants bring with them. Rather, it is a slice in time of an ongoing dynamic process that links (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  9. Who's Afraid of Mathematical Diagrams?Silvia De Toffoli - forthcoming - Philosophers' Imprint.
    Mathematical diagrams are frequently used in contemporary mathematics. They are, however, widely seen as not contributing to the justificatory force of proofs: they are considered to be either mere illustrations or shorthand for non-diagrammatic expressions. Moreover, when they are used inferentially, they are seen as threatening the reliability of proofs. In this paper, I examine certain examples of diagrams that resist this type of dismissive characterization. By presenting two diagrammatic proofs, one from topology and one from algebra, I show (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Non-Deterministic Algebraization of Logics by Swap Structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  11. ‘Chasing’ the Diagram—the Use of Visualizations in Algebraic Reasoning.Silvia de Toffoli - 2017 - Review of Symbolic Logic 10 (1):158-186.
    The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  12. 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 to (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  18
    Weakly Free Multialgebras.Marcelo E. Coniglio & Guilherme V. Toledo - forthcoming - Bulletin of the Section of Logic.
    In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. A Clifford Algebraic Analysis and Explanation of Wave Function Reduction in Quantum Mechanics.Elio Conte - manuscript
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Deontic Logics Based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - forthcoming - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Springer.
    Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  16. Algebra of Theoretical Term Reductions in the Sciences.Dale Jacquette - 2014 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 1 (1): 51-67.
    An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17.  66
    Algebraic Aspects and Coherence Conditions for Conjoined and Disjoined Conditionals.Angelo Gilio & Giuseppe Sanfilippo - 2020 - International Journal of Approximate Reasoning 126:98-123.
    We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  77
    On the Logics with Propositional Quantifiers Extending S5Π.Yifeng Ding - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pp. 219-235.
    Scroggs's theorem on the extensions of S5 is an early landmark in the modern mathematical studies of modal logics. From it, we know that the lattice of normal extensions of S5 is isomorphic to the inverse order of the natural numbers with infinity and that all extensions of S5 are in fact normal. In this paper, we consider extending Scroggs's theorem to modal logics with propositional quantifiers governed by the axioms and rules analogous to the usual ones for ordinary quantifiers. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Recovery Operators, Paraconsistency and Duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - 2020 - Logic Journal of the IGPL 28 (5):624-656.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. On Some Considerations of Mathematical Physics: May We Identify Clifford Algebra as a Common Algebraic Structure for Classical Diffusion and Schrödinger Equations?Elio Conte - 2012 - Advanced Studies in Theoretical Physics 6 (26):1289-1307.
    We start from previous studies of G.N. Ord and A.S. Deakin showing that both the classical diffusion equation and Schrödinger equation of quantum mechanics have a common stump. Such result is obtained in rigorous terms since it is demonstrated that both diffusion and Schrödinger equations are manifestation of the same mathematical axiomatic set of the Clifford algebra. By using both such ( ) i A S and the i,±1 N algebra, it is evidenced, however, that possibly the two (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth.William D’Alessandro - 2020 - Synthese (9):1-44.
    Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. O papel da abstração na instanciação da álgebra nas Regulae ad Directionem Ingenii.Érico Andrade - 2011 - Analytica (Rio) 15 (1):145-172.
    In this essay I will defend three points, the first being that Descartes- unlike the aristotelian traditon- maintained that abstraction is not a operation in which the intellect builds the mathematical object resorting to sensible ob- jects. Secondly I will demonstrate that, according to cartesian philosophy, the faculty of understanding has the ability to instatiate- within the process of abstraction- mathematical symbols that represent the relation between quantities, whether magnitude or multitude.And finally I will advocate that the lack of onthological (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23. A Preliminary Experimental Verification of Violation of Bell Inequality in a Quantum Model of Jung Theory of Personality Formulated with Clifford Algebra.Elio Conte - 2010 - Journal of Consciousness Exploration and Research 1 (7):831-849.
    We comment some recent results obtained by using a Clifford bare bone skeleton of quantum mechanics in order to formulate the conclusion that quantum mechanics has its origin in the logic, and relates conceptual entities. Such results touch directly the basic problem about the structure of our cognitive and conceptual dynamics and thus of our mind. The problem of exploring consciousness results consequently to be strongly linked. This is the reason because studies on quantum mechanics applied to this matter are (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  34
    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  
  25.  69
    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  
  26. Reconsideration of Quantum Foundations. Vaxjo University Conference ,15-18 June –2009 : A Clifford Algebraic Analysis and Explanation of Wave Function Reduction in Quantum Mechanics. [REVIEW]Elio Conte - forthcoming - In Vaxio University -Sweeden (ed.), Proceedings Vaxjo Conference on Foundations of quantum mechanics.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  40
    A Review of The Algebraic Approaches to Quantum Mechanics. Some Appraisals of Their Theoretical Importance.Antonino Drago - manuscript
    The main algebraic foundations of quantum mechanics are quickly reviewed. They have been suggested since the birth of this theory till up to last years. They are the following ones: Heisenberg-Born- Jordan’s (1925), Weyl’s (1928), Dirac’s (1930), von Neumann’s (1936), Segal’s (1947), T.F. Jordan’s (1986), Morchio and Strocchi’s (2009) and Buchholz and Fregenhagen’s (2019). Four cases are stressed: 1) the misinterpretation of Dirac’s algebraic foundation; 2) von Neumann’s ‘conversion’ from the analytic approach of Hilbert space to the algebraic approach of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. The Algebraic Creativity in The Neutrosophic Square Matrices‏.Mohammad Abobala, Ahmed Hatip, A. A. Salama, Necati Olgun, Broumi Said & Huda E. Khaled - 2021 - Neutrosophic Sets and Systems 40:1-11.
    The objective of this paper is to study algebraic properties of neutrosophic matrices, where a necessary and sufficient condition for the invertibility of a square neutrosophic matrix is presented by defining the neutrosophic determinant. On the other hand, this work introduces the concept of neutrosophic Eigen values and vectors with an easy algorithm to compute them. Also, this article finds a necessary and sufficient condition for the diagonalization of a neutrosophic matrix.
    Download  
     
    Export citation  
     
    Bookmark  
  29. Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach.Nicola Angius & Petros Stefaneas - 2016 - In Vincent Müller (ed.), Computing and Philosophy: Selected Papers from IACAP 2014 (Synthese Library). Springer. pp. 99-115.
    This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30.  56
    The Strong Endomorphism Kernel Property in Double MS-Algebras.Jie Fang - 2017 - Studia Logica 105 (5):995-1013.
    An endomorphism on an algebra \ is said to be strong if it is compatible with every congruence on \; and \ is said to have the strong endomorphism kernel property if every congruence on \, other than the universal congruence, is the kernel of a strong endomorphism on \. Here we characterise the structure of those double MS-algebras that have this property by the way of Priestley duality.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. The Making of Peacocks Treatise on Algebra: A Case of Creative Indecision.Menachem Fisch - 1999 - Archive for History of Exact Sciences 54 (2):137-179.
    A study of the making of George Peacock's highly influential, yet disturbingly split, 1830 account of algebra as an entanglement of two separate undertakings: arithmetical and symbolical or formal.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  80
    Proof in C17 Algebra.Brendan Larvor - 2005 - Philosophia Scientae:43-59.
    By the middle of the seventeenth century we that find that algebra is able to offer proofs in its own right. That is, by that time algebraic argument had achieved the status of proof. How did this transformation come about?
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. The Grammar of Philosophical Discourse.Wojciech Krysztofiak - 2012 - Semiotica 2012 (188):295-322.
    In this paper, a formal theory is presented that describes syntactic and semantic mechanisms of philosophical discourses. They are treated as peculiar language systems possessing deep derivational structures called architectonic forms of philosophical systems, encoded in philosophical mind. Architectonic forms are constituents of more complex structures called architectonic spaces of philosophy. They are understood as formal and algorithmic representations of various philosophical traditions. The formal derivational machinery of a given space determines its class of all possible architectonic forms. Some of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. An Investigation on the Basic Conceptual Foundations of Quantum Mechanics by Using the Clifford Algebra.Elio Conte - 2011 - Advanced Studies in Theoretical Physics 5 (11):485-544.
    We review our approach to quantum mechanics adding also some new interesting results. We start by giving proof of two important theorems on the existence of the A(Si) and i,±1 N Clifford algebras. This last algebra gives proof of the von Neumann basic postulates on the quantum measurement explaining thus in an algebraic manner the wave function collapse postulated in standard quantum theory. In this manner we reach the objective to expose a self-consistent version of quantum mechanics. In detail (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  35. On the Concept of a Notational Variant.Alexander W. Kocurek - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). pp. 284-298.
    In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  11
    G'3 as the Logic of Modal 3-Valued Heyting Algebras.Marcelo E. Coniglio, Aldo Figallo-Orellano, Alejandro Hernández-Tello & Miguel Perez-Gaspar - 2022 - IfCoLog Journal of Logics and Their Applications 9 (1):175-197.
    In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37.  71
    Addendum to Quantum Wave Function Collapse of a System Having Three Anti Commuting Elements.Elio Conte - unknown
    We indicate a new way in the solution of the problem of the quantum measurement . In past papers we used the well-known formalism of the density matrix using an algebraic approach in a two states quantum spin system S, considering the particular case of three anticommuting elements. We demonstrated that, during the wave collapse, we have a transition from the standard Clifford algebra, structured in its space and metrics, to the new spatial structure of the Clifford dihedral (...). This structured geometric transition, which occurs during the interaction of the S system with the macroscopic measurement system M, causes the destruction of the interferential factors. In the present paper we construct a detailed model of the (S+M) interaction evidencing the particular role of the Time Ordering in the (S+M) coupling since we have a time asymmetric interaction . We demonstrate that , during the measurement , the physical circumstance that the fermion creation and annihilation operators of the S system must be destroyed during such interaction has a fundamental role . (shrink)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. On the Logical Origins of Quantum Mechanics Demonstrated by Using Clifford Algebra.Elio Conte - 2011 - Electronic Journal of Theoretical Physics 8 (25):109-126.
    We review a rough scheme of quantum mechanics using the Clifford algebra. Following the steps previously published in a paper by another author [31], we demonstrate that quantum interference arises in a Clifford algebraic formulation of quantum mechanics. In 1932 J. von Neumann showed that projection operators and, in particular, quantum density matrices can be interpreted as logical statements. In accord with a previously obtained result by V. F Orlov , in this paper we invert von Neumann’s result. Instead (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. On the Logical Origins of Quantum Mechanics Demonstrated By Using Clifford Algebra: A Proof That Quantum Interference Arises in a Clifford Algebraic Formulation of Quantum Mechanics.Elio Conte - 2011 - Electronic Journal of Theoretical Physics 8 (25):109-126.
    We review a rough scheme of quantum mechanics using the Clifford algebra. Following the steps previously published in a paper by another author [31], we demonstrate that quantum interference arises in a Clifford algebraic formulation of quantum mechanics. In 1932 J. von Neumann showed that projection operators and, in particular, quantum density matrices can be interpreted as logical statements. In accord with a previously obtained result by V. F Orlov , in this paper we invert von Neumann’s result. Instead (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Preliminary Considerations on a Possible Quantum Model of Consciousness Interfaced with a Non Lipschitz Chaotic Dynamics of Neural Activity.Elio Conte - 2012 - Journal of Consciousness Exploration and Research 3 (10):905-921.
    A model of consciousness and conscious experience is introduced. Starting with a non-Lipschitz Chaotic dynamics of neural activity, we propose that the synaptic transmission between adjacent as well as distant neurons should be regulated in brain dynamics through quantum tunneling. Further, based on various studies of different previous authors, we consider the emergence of very large quantum mechanical system representable by an abstract quantum net entirely based on quantum-like entities having in particular the important feature of expressing self-reference similar to (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  21
    Revisiting Constructive Mingle: Algebraic and Operational Semantics.Yale Weiss - forthcoming - In Katalin Bimbo (ed.), Essays in Honor of J. Michael Dunn. London: College Publications.
    Among Dunn’s many important contributions to relevance logic was his work on the system RM (R-mingle). Although RM is an interesting system in its own right, it is widely considered to be too strong. In this chapter, I revisit a closely related system, RM0 (sometimes known as ‘constructive mingle’), which includes the mingle axiom while not degenerating in the way that RM itself does. My main interest will be in examining this logic from two related semantical perspectives. First, I give (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Weak Islands and an Algebraic Semantics for Scope Taking.Anna Szabolcsi & Frans Zwarts - 1997 - In Ways of Scope Taking. Dordrecht: Kluwer.
    Modifying the descriptive and theoretical generalizations of Relativized Minimality, we argue that a significant subset of weak island violations arise when an extracted phrase should scope over some intervener but is unable to. Harmless interveners seem harmless because they can support an alternative reading. This paper focuses on why certain wh-phrases are poor wide scope takers, and offers an algebraic perspective on scope interaction. Each scopal element SE is associated with certain operations (e.g., not with complements). When a wh-phrase scopes (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  43. Marriages of Mathematics and Physics: A Challenge for Biology.Arezoo Islami & Giuseppe Longo - 2017 - Progress in Biophysics and Molecular Biology 131:179-192.
    The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  44. A Neglected Aspect of the Puzzle of Chemical Structure: How History Helps.Joseph E. Earley - 2012 - Foundations of Chemistry 14 (3):235-243.
    Intra-molecular connectivity (that is, chemical structure) does not emerge from computations based on fundamental quantum-mechanical principles. In order to compute molecular electronic energies (of C 3 H 4 hydrocarbons, for instance) quantum chemists must insert intra-molecular connectivity “by hand.” Some take this as an indication that chemistry cannot be reduced to physics: others consider it as evidence that quantum chemistry needs new logical foundations. Such discussions are generally synchronic rather than diachronic —that is, they neglect ‘historical’ aspects. However, systems of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. Propositions.George Bealer - 1998 - Mind 107 (425):1-32.
    Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...)
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  46.  21
    Transforms for the Early Kerr Metric.Stephen Athel Abbott - manuscript
    The concept and usage of the word 'metric' within General Relativity is briefly described. The early work of Roy Kerr led to his original 1963 algebraic, rotating metric. This discovery and his subsequent recollection in 2008 are summarised as the motivation for this article. Computer algebra has confirmed that nominal transformations of this early metric can generate further natural algebraic metrics. The algebra is not abstract, nor advanced, and these metrics have been overlooked for many years. The 1916 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. The Analytic Versus Representational Theory of Measurement: A Philosophy of Science Perspective.Zoltan Domotor & Vadim Batitsky - 2008 - Measurement Science Review 8 (6):129-146.
    In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty in measurement, and (d) the formal propositional language for describing and reasoning about measurement results. We also discuss how a celebrated theorem in analysis, known as Gelfand (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  48.  36
    Giving the Value of a Variable.Richard Lawrence - 2021 - Kriterion - Journal of Philosophy 35 (2):135-150.
    What does it mean to ‘give’ the value of a variable in an algebraic context, and how does giving the value of a variable differ from merely describing it? I argue that to answer this question, we need to examine the role that giving the value of a variable plays in problem-solving practice. I argue that four different features are required for a statement to count as giving the value of a variable in the context of solving an elementary (...) problem: the variable must be in the scope opened by the problem statement; the values given must be in the range of the variable, which is determined by the problem; the statement giving the values must represent a complete solution; and it must be in a canonical form. This account helps us better understand elementary algebra itself, as well as the use of algebraic tools to analyze phenomena in natural language. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  49.  95
    On Language Adequacy.Urszula Wybraniec-Skardowska - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):257-292.
    The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  50.  76
    Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. Berlín, Alemania: pp. 119-139.
    Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 141