搜索结果: 16-30 共查到“哲学 LOGIC”相关记录55条 . 查询时间(0.124 秒)
A logic road from special to general relativity
first-order logic axiomatization foundation of relativity theory
2016/5/27
We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how ...
2016.10.15-16:Call for Papers International Conference Paradoxes, Logic, and Philosophy
Conference Paradoxes Logic Philosophy
2016/3/9
Invited Speakers:
Professor Gila Sher (University of California in San Diego, USA)
Professor Greg Restall (the University of Melbourne, Australia)
Professor Roy Sorensen (Washington University in S...
The Fifth International Conference on Logic, Rationality and Interaction (LORI-V)
Fifth International Conference Logic, Rationality Interaction
2014/11/3
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the und...
The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or p...
该刊目的是建立一个广泛而灵活的编辑政策,刊登与哲学逻辑和概念分析逻辑的应用相关的论文。
《Cultural Logic An Electronic Journal of Marxism Theory and Practice》
Cultural Logic Electronic Journal
2010/2/24
Cultural Logic -- which has been on-line since 1997 -- is a non-profit, peer-reviewed, interdisciplinary journal that publishes essays, interviews, poetry, reviews (books, films, other media), etc. by...
The Great Connexion: Hume's Metaphysical Logic Of Belief-Constructed Causation
Hume Metaphysical Logic
2009/12/3
It is a commonplace that Hume the philosopher1 is essentially Hume the sceptic.
Hume deploys his skeptical arguments in both epistemology and ethics.
In the epistemological context, Hume argues that...
A MINI-GUIDE TO LOGIC IN ACTION
MINI-GUIDE LOGIC ACTION
2009/7/23
Classical logic is about propositions which we can know or believe, and unchanging inferential relationships between them. But inference is first and foremost an activity, for which propositions are m...
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...