Does Science Influence the Logic we Ought to Use: A Reflection on the Quantum Logic Controversy

被引:0
作者
Michael Ashcroft
机构
[1] The University of Melbourne,School of PASI
来源
Studia Logica | 2010年 / 95卷
关键词
Quantum mechanics; quantum logic; Boolean lattices; Hilbert lattices; semantics; science;
D O I
暂无
中图分类号
学科分类号
摘要
In this article I argue that there is a sense in which logic is empirical, and hence open to influence from science. One of the roles of logic is the modelling and extending of natural language reasoning. It does so by providing a formal system which succeeds in modelling the structure of a paradigmatic set of our natural language inferences and which then permits us to extend this structure to novel cases with relative ease. In choosing the best system of those that succeed in this, we seek certain virtues of such structures such as simplicity and naturalness (which will be explained).
引用
收藏
页码:183 / 206
页数:23
相关论文
共 11 条
[1]  
Belnap N.(1962)‘Tonk, Plonk and Plink’ Analysis 22 130-134
[2]  
Dickson M.(2001)‘Quantum Logic is Alive ∩ (It is True Philosophy of Science (Proceedings) 68 S274-287
[3]  
Foulis D.J.(1962) It is false)’ Portugaliae Mathematica 21 65-72
[4]  
Foulis D.J.(1993)‘A note on orthomodular lattices’ Order 10 271-282
[5]  
Bennett M.K.(1994)‘Tensor products of orthoalgebras’ Foundations of Physics 24 1331-1352
[6]  
Foulis D.J.(1965)‘Effect algebras and unsharp quantum mechanics’ Transactions of the American Mathematical Society 119 428-442
[7]  
Bennett M.K.(1989)‘Spectral methods for a generalized probability theory’ Foundations of Physics 19 931-945
[8]  
Gudder S.P.(1955)‘Toward a formal language for unsharp properties’ Journal of Science of the Hiroshima University A 19 211-237
[9]  
Giuntini R.(undefined)‘Dimension functions on certain general lattices’ undefined undefined undefined-undefined
[10]  
Greuling H.(undefined)undefined undefined undefined undefined-undefined