5 found
Sort by:
  1. E. -W. Stachow (1980). A Model Theoretic Semantics for Quantum Logic. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:272 - 280.
    This contribution is concerned with a particular model theoretic semantics of the object language of quantum physics. The object language considered here comprises logically connected propositions, sequentially connected propositions and modal propositions. The model theoretic semantics arises from the already established dialogic semantics, if the pragmatic concept of the dialog-game is replaced by a "metaphysical" concept of the game. The game is determined by a game tree, the branches of which constitute a set, the set of "possible worlds" of an (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. P. Mittelstaedt & E. -W. Stachow (1978). The Principle of Excluded Middle in Quantum Logic. Journal of Philosophical Logic 7 (1):181 - 208.
    The principle of excluded middle is the logical interpretation of the law V ≤ A v ヿA in an orthocomplemented lattice and, hence, in the lattice of the subspaces of a Hilbert space which correspond to quantum mechanical propositions. We use the dialogic approach to logic in order to show that, in addition to the already established laws of effective quantum logic, the principle of excluded middle can also be founded. The dialogic approach is based on the very conditions under (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. E. -W. Stachow (1978). On a Game-Theoretic Approach to a Scientific Language. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:19 - 40.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
    In a preceding paper [1] it was shown that quantum logic, given by the tableaux-calculus Teff, is complete and consistent with respect to the dialogic foundation of logics. Since in formal dialogs the special property of the 'value-definiteness' of propositions is not postulated, the calculus $T_{eff}$ represents a calculus of effective (intuitionistic) quantum logic. Beginning with the tableaux-calculus the equivalence of $T_{eff}$ to calculi which use more familiar figures such as sequents and implications can be investigated. In this paper we (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. E. -W. Stachow (1976). Completeness of Quantum Logic. Journal of Philosophical Logic 5 (2):237 - 280.
    This paper is based on a semantic foundation of quantum logic which makes use of dialog-games. In the first part of the paper the dialogic method is introduced and under the conditions of quantum mechanical measurements the rules of a dialog-game about quantum mechanical propositions are established. In the second part of the paper the quantum mechanical dialog-game is replaced by a calculus of quantum logic. As the main part of the paper we show that the calculus of quantum logic (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation