中文簡(jiǎn)介

符號(hào)邏輯評(píng)論旨在培養(yǎng)對(duì)邏輯，哲學(xué)和科學(xué)邊界的研究，并支持這些學(xué)科之間的實(shí)質(zhì)性相互作用。 該期刊歡迎以下任何領(lǐng)域的提交，廣泛解釋： - 邏輯系統(tǒng)及其語義的一般研究，包括非經(jīng)典邏輯和代數(shù)邏輯; - 哲學(xué)邏輯和形式認(rèn)識(shí)論，包括與決策理論和博弈論的互動(dòng); - 邏輯和數(shù)學(xué)的歷史，哲學(xué)和方法論，包括邏輯和數(shù)學(xué)哲學(xué)的歷史; - 邏輯在科學(xué)中的應(yīng)用，如計(jì)算機(jī)科學(xué)，認(rèn)知科學(xué)和語言學(xué); 和邏輯結(jié)果解決科學(xué)中的基礎(chǔ)問題。

英文簡(jiǎn)介

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.