Review of Symbolic Logic SCIE

中文简介

符号逻辑评论旨在培养对逻辑，哲学和科学边界的研究，并支持这些学科之间的实质性相互作用。 该期刊欢迎以下任何领域的提交，广泛解释： - 逻辑系统及其语义的一般研究，包括非经典逻辑和代数逻辑; - 哲学逻辑和形式认识论，包括与决策理论和博弈论的互动; - 逻辑和数学的历史，哲学和方法论，包括逻辑和数学哲学的历史; - 逻辑在科学中的应用，如计算机科学，认知科学和语言学; 和逻辑结果解决科学中的基础问题。

英文简介

The Review of Symbolic Logic is designed to cultivate research on the borders of logic, philosophy, and the sciences, and to support substantive interactions between these disciplines. The journal welcomes submissions in any of the following areas, broadly construed:- The general study of logical systems and their semantics,including non-classical logics and algebraic logic;- Philosophical logic and formal epistemology, including interactions with decision theory and game theory;- The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics;- Applications of logic to the sciences, such as computer science, cognitive science, and linguistics; and logical results addressing foundational issues in the sciences.