搜索结果: 1-15 共查到“科学技术哲学 logic”相关记录32条 . 查询时间(0.046 秒)
Is logic just last in line for the execution?Logic,holism,and the constitutive a priori
Quine Carnap Conventionalism Philosophy of Logic Holism Relativized apriori
2016/6/15
I argue that Quine’s early critique of Carnap’s conventionalism is in serious tension with the holism of "Two Dogmas of Empiricism", since his critique of convention- alism makes a compelling case for...
On the mathematical nature of logic,featuring P.Bernays and K.Godel
Bernays Goedel Godel Philosophy of Logic Philosophy of Mathematics
2016/6/15
The paper examines the interrelationship between mathematics and logic, arguing that a central characteristic of each has an essential role within the other. The first part is a reconstruction of and ...
Logic,Geometry And Probability Theory
quantum logic-lattice theory-geometry of quantum mechanics-quantum probability
2016/6/13
We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T. Cox to the quant...
An Introduction to Partition Logic
logic of partitions Boolean logic of subses propositional logic subset-quotient set duality quantum mechanics
2016/6/13
Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of class...
The Paraconsistent Logic of Quantum Superpositions
quantum superposition paraconsistent logic interpretation of quantum mechanics
2016/6/12
Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the mult...
On the connection between the categorical and the modal logic approaches to Quantum Mechanics
Quantum Mechanics Category Theory Modal Logic
2016/6/12
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps. First we define a procedure to extract a Mod...
Intuitionistic quantum logic of an n-level system
quantum logic topos theory intuitionistic
2009/3/25
A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for ...
First-Order Logic Foundation of Relativity Theories
general relativity gravitational time dilation
2008/4/22
Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers,...
Platonism in classical logic versus formalism in the proposed non-Aristotelian finitary logic
foundations of mathematics foundations of quantum mechanics
2008/4/22
The main thesis of this paper is that Platonism is inherent in classical infinitary reasoning and that strict formalism inevitably leads one to the author's non-Aristotelian finitary logic (NAFL) prop...
Quantum superposition principle justified in a new non-Aristotelian finitary logic
Quantum superposition entanglement non-classical logic
2008/4/22
In the proposed non-Aristotelian finitary logic (NAFL), truths for formal propositions can exist only with respect to axiomatic theories, essentially as temporary axiomatic declarations in the human m...
Remarks on the applications of paraconsistent logic tophysics
paracosistent logic complementary logic Paulette Février
2008/4/22
In this paper we make some general remarks on the use of
non-classical logics, in particular paraconsistent logic, in the
foundational analysis of physical theories. As a case-study, we
present a r...
This paper argues that the Einstein-Minkowski space-time of special relativity provides an adequate model for classical tense logic, including rigorous definitions of tensed becoming and of the logica...
This paper is the sequel of a previous one where we have
introduced a paraconsistent logic termed paraclassical logic to
deal with 'complementary propositions'. Here, we
enlarge upon the discussion...
This paper discusses an almost sixty year old problem in the philosophy of science -- that of a logic of confirmation. We present a new analysis of Carl G. Hempel's conditions of adequacy (Hempel 1945...
We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evoluti...