15 found
Order:
Disambiguations
Gary M. Hardegree [15]Gary Michael Hardegree [1]
  1. Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2005 - Studia Logica 79 (2):305-306.
     
    Export citation  
     
    Bookmark   15 citations  
  2. Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2003 - Bulletin of Symbolic Logic 9 (2):231-234.
     
    Export citation  
     
    Bookmark   17 citations  
  3.  49
    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 Galoisconnection, and the composite functions are closure-operators. A valuation-space 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 if and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  4.  59
    The Conditional in Quantum Logic.Gary M. Hardegree - 1974 - Synthese 29 (1-4):63 - 80.
  5.  21
    Material Implication in Orthomodular (and Boolean) Lattices.Gary M. Hardegree - 1981 - Notre Dame Journal of Formal Logic 22 (2):163-182.
  6.  43
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  36
    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  
  8.  37
    Stalnaker Conditionals and Quantum Logic.Gary M. Hardegree - 1975 - Journal of Philosophical Logic 4 (4):399 - 421.
  9.  48
    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  
  10.  7
    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.
  11.  68
    Reichenbach and the Logic of Quantum Mechanics.Gary M. Hardegree - 1977 - Synthese 35 (1):3 - 40.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  12.  43
    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  
  13.  9
    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.
  14.  13
    An Approach to the Logic of Natural Kinds.Gary M. Hardegree - 1982 - Pacific Philosophical Quarterly 63 (2):122.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  4
    Review: Donald Nute, Topics in Conditional Logic. [REVIEW]Gary M. Hardegree - 1982 - Journal of Symbolic Logic 47 (3):713-714.