20 found
Order:
Disambiguations
Gary M. Hardegree [17]Gary Hardegree [3]Gary Michael Hardegree [1]
  1. Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2003 - Bulletin of Symbolic Logic 9 (2):231-234.
     
    Export citation  
     
    Bookmark   61 citations  
  2. Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2005 - Studia Logica 79 (2):305-306.
     
    Export citation  
     
    Bookmark   57 citations  
  3.  28
    Topics in Conditional Logic.Gary M. Hardegree - 1982 - Mind 91 (361):136-138.
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  4.  83
    Completeness and super-valuations.Gary M. Hardegree - 2005 - Journal of Philosophical Logic 34 (1):81 - 95.
    This paper uses the notion of Galois-connection to examine the relation between valuation-spaces and logics. Every valuation-space gives rise to a logic, and every logic gives rise to a valuation space, where the resulting pair of functions form a Galois-connection, and the composite functions are closure-operators. A valuation-space (resp., logic) is said to be complete precisely if it is Galois-closed. Two theorems are proven. A logic is complete if and only if it is reflexive and transitive. A valuation-space is complete (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  5.  80
    The conditional in quantum logic.Gary M. Hardegree - 1974 - Synthese 29 (1-4):63 - 80.
  6.  42
    Material implication in orthomodular (and Boolean) lattices.Gary M. Hardegree - 1981 - Notre Dame Journal of Formal Logic 22 (2):163-182.
  7.  16
    Topics in Conditional Logic.Gary M. Hardegree - 1982 - Journal of Symbolic Logic 47 (3):713-714.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  8.  22
    The First Order Predicate Calculus Based on the Logic of Quantum Mechanics.Hermann Dishkant, G. N. Georgacarakos, R. J. Greechie, S. P. Gudder & Gary M. Hardegree - 1983 - Journal of Symbolic Logic 48 (1):206-208.
  9.  66
    An axiom system for orthomodular quantum logic.Gary M. Hardegree - 1981 - Studia Logica 40 (1):1 - 12.
    Logical matrices for orthomodular logic are introduced. The underlying algebraic structures are orthomodular lattices, where the conditional connective is the Sasaki arrow. An axiomatic calculusOMC is proposed for the orthomodular-valid formulas.OMC is based on two primitive connectives — the conditional, and the falsity constant. Of the five axiom schemata and two rules, only one pertains to the falsity constant. Soundness is routine. Completeness is demonstrated using standard algebraic techniques. The Lindenbaum-Tarski algebra ofOMC is constructed, and it is shown to be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  51
    Stalnaker conditionals and quantum logic.Gary M. Hardegree - 1975 - Journal of Philosophical Logic 4 (4):399 - 421.
  11.  28
    An Approach to the Logic of Natural Kinds.Gary M. Hardegree - 1982 - Pacific Philosophical Quarterly 63 (2):122.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  86
    Reichenbach and the logic of quantum mechanics.Gary M. Hardegree - 1977 - Synthese 35 (1):3 - 40.
  13.  22
    Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary Hardegree - 2001 - Oxford, England: Oxford University Press UK.
    This comprehensive text shows how various notions of logic can be viewed as notions of universal algebra providing more advanced concepts for those who have an introductory knowledge of algebraic logic, as well as those wishing to delve into more theoretical aspects.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  44
    Relative compatibility in conventional quantum mechanics.Gary M. Hardegree - 1977 - Foundations of Physics 7 (7-8):495-510.
    The notion of relative compability is introduced, according to which compatibility is construed as relative to individual quantum states. The compatibility domain of two observablesA, B is defined to be the set com(A, B) of states relative to whichA andB are compatible. Three basic categories of relative compatibility are then defined according to the character of com(A, B): absolute compatibility (ordinary compatibility), absolute incompatibility, and partial compatibility. Then com(A, B) is seen to be a subspace of Hilbert space invariant underA (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15. An axiomatic theory of truth.Gary Hardegree - unknown
    Part 1 – Formal Development of Theory .................................................................................................4..
     
    Export citation  
     
    Bookmark  
  16.  54
    Micro-States in the Interpretation of Quantum Theory.Gary M. Hardegree - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:43 - 54.
    The interpretation of quantum mechanics is discussed from the viewpoint of quantum logic (QL). QL is understood to concern the possible properties that can be ascribed to a physical system SYS. The micro-state of SYS at any given moment t is identified with the set of all properties actualized by SYS at time t. Minimal adequacy requirements are proposed for all interpretations of micro-states. A strict interpretation is defined to be one according to which the properties ascribable to SYS are (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. The logic of π-algebras.Gary Hardegree - manuscript
    In this paper, I present a modal system called ∏ (Pi), characterizing it both axiomatically and algebraically, the latter being in terms of structures called π-algebras (pi-algebras). Pi-algebras are a natural generalization of Boolean algebras with operators – a generalization in which equality is replaced by congruence in the characterizing conditions. The resulting system of modal logic is "sub- Lewis", in the sense that it is properly contained in the weakest Lewis system, S1.
     
    Export citation  
     
    Bookmark  
  18.  54
    The Modal Interpretation of Quantum Mechanics.Gary M. Hardegree - 1976 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1976:82 - 103.
    This paper presents a general formal semantic scheme for the interpretation of quantum mechanics, in terms of which van Fraassen's Copenhagen and anti-Copenhagen variants of the modal interpretation are examined. The general character of the modal interpretation is motivated in a discussion of classical statistical mechanics, the distinction being made between statistical states and micro-states. The notion of a quasi-classical (micro) state is introduced in a discussion of the theorem of Gleason and Kochen and Specker. It is shown that, according (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  19
    Nute Donald. Topics in conditional logic. Philosophical studies series in philosophy, vol. 20. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, x + 164 pp. [REVIEW]Gary M. Hardegree - 1982 - Journal of Symbolic Logic 47 (3):713-714.
  20.  16
    Review: Donald Nute, Topics in Conditional Logic. [REVIEW]Gary M. Hardegree - 1982 - Journal of Symbolic Logic 47 (3):713-714.