Frontiers of Philosophy in China >

2006 , Vol. 1 >Issue 4: 710 - 725

DOI: https://doi.org/10.1007/s11466-006-0033-4

Logic of primary-conditionals and secondaryconditionals

Expand
  • 1.Department of Philosophy, Peking University, Beijing 100871, China; 2.Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou 510275, China;

Published date: 05 Dec 2006

Fold

Abstract

Firstly, the authors analyzed the properties of primary-onditionals and secondary-conditionals, establish the minimum system C2Lm of primary-conditionals and secondary-conditionals, and then prove some of the formal theorems of the system which have important intuitive meanings. Secondly, the authors constructed the neighborhood semantics, prove the soundness of C2Lm, introduce a general concept of canonical model by the neighborhood semantics, and then prove the completeness of C2Lm by the canonical model. Finally, according to the technical results of the minimum system C2Lm, the authors discuss some of the important problems concerning primary-conditionals and secondary-conditionals.

Cite this article

Liu Zhuanghu, Li Xiaowu . Logic of primary-conditionals and secondaryconditionals[J]. Frontiers of Philosophy in China, 2006 , 1(4) : 710 -725 . DOI: 10.1007/s11466-006-0033-4

Options
Outlines

/

〈 〉