一、姓名，职称／职务
史璟，副教授，逻辑学专业硕士研究生导师。中国逻辑学会、北京市逻辑学会会员。
二、教育／研修背景
2015.12.-2016.12. 美国夏威夷大学 易经逻辑、逻辑哲学 访问
2013.12. -2016.12. 中国财政科学研究所财政学博士后
2006.09. -2009.07. 南开大学 哲学院 逻辑学专业 哲学博士
2003.09. -2006.07. 河南大学 公共与管理学院 逻辑学专业 哲学硕士
1999.09. -2003.07. 河南财经政法大学会计学专业 经济学学士
三、教学情况
本科生课程：逻辑学；
硕士研究生课程：集合论、数理逻辑（双语）、模态逻辑（双语）、哲学逻辑、逻辑原著选读、逻辑前沿讲座。

四、科研情况
（一）学术专长
符号逻辑、集合论和哲学逻辑
（二）专著
《非良基集与模态逻辑》，中国财政经济出版社，2011年02月。
（三）主要论文
在《哲学动态》、《自然辩证法研究》、《思想战线》等刊物发表学术论文20多篇。
1. “余代数与模态逻辑”，《西南大学学报(社会科学版)》,2011年第3期。中国人民大学书报资料中心复印报刊资料《逻辑》转载，2011年第4期。
2. “论必然性”，《自然辩证法研究》，2011年第5期。
3. “后形而上学的科学之真”，《思想战线》，2011年第3期。
4. “关于Fermat素数的Goldbach猜想及其它”，《汕头大学学报》，2011年第2期。
5. “关于机器证明”，《前沿科学》，2011年第1期。
6. “奎因与量化模态逻辑的发展”，《湖南科技大学学报》，2010年第5期。
7. “关于素数的几个定理”（英），《前沿科学》，2010年第4期。
8. “Some Results on Algebra and Number Theory”，《前沿科学》，2010年第1期。
9. “数论研究的社会意义”，《前沿科学》，2010年第1期。
10. “Some Results on Algebra and Number Theory”，《前沿科学》，2010年第1期。
11. “论模态逻辑的集合论语义”，《逻辑学研究》，2009年第4期。中国人民大学书报资料中心复印报刊资料《逻辑》转载，2010年第2期。
12. “集合论的反基础公理”，《哲学动态》，2009年第1期。
13. “非良基及其作用”，《贵州师范大学学报》(社会科学版)，2009年第2期。
14. “Modal Expressivity and Definability over Sets”，《Logic, Rationality, and Interaction》，Springer，2009年10月。
15. “论模态逻辑的集合论语义”，《逻辑学研究》，2009年第4期。
16. “维特根斯坦的真之理论”，《南开大学学报》，2009年第4期。
17. “Nearly all Mersenne numbers and Fermat numbers are Primes”，《前沿科学》，2009年第3期。
18. “Nearly all Mersenne numbers and Fermat numbers are Primes”，《前沿科学》，2009年第3期。
19. “关于3x+1猜想与其推广”，《中学数学》，2009年第19期。
20. “哥德巴赫猜想的故事”，《中学数学》，2009年第19期。
21. “It is impossible to prove the 3x+1 Conjecture by using Peano Axioms only”，《前沿科学》，2008年第3期。
22. “论情境语义学研究的发展”，《华北水利水电学院学报》(社科版)，2007年第5期。
（四）主要课题
1. 主持国家社会科学基金青年项目：《非良基集、余代数与模态逻辑研究（项目编号：10CZX034）；
2. 主持中央财经大学文化与传媒学院基础理论项目：《中央财经大学本科生批判性思维能力测量》（项目编号：）；
3. 主持中央财经大学文化与传媒学院学科建设项目：《非良基集合论语义》（项目编号：）；
4. 参与李娜教授主持的国家社会科学基金项目“超集、双仿以及在模态逻辑、计算机科学中的作用研究”（项目编号：08BZX049）；
5. 参与李娜教授主持的国家社会科学基金一般项目“无穷长语言的模型及可满足问题研究”（项目编号：04BZX047）；
6. 参与任晓兰副教授主持的教育部人文社科基金青年项目“财政预算与中国的现代国家建构”（项目编号：13YJCZH146）。
五、联系方式
shijing0707@163.com

CV
JingShi Ph.D., Associate Professorof Logic, CUFE, China
Central University of Finance and Economics
No.39 Xueyuan South Rd., Haidian District, Beijing
shijing0707@163.com
_______________________________________________________
EDUCATION
1. University of Hawaii (U.S.A.) 2015.12.-2016.12.
Visiting Scholar1
2. China Institute for Finance Research 2013.12 –present
Postdoctoral study
Direction: Finance
3. Nankai University2006.09.-2009.06.
Ph. D.
Major: Mathematical Logic
4. Henan University2003.09.-2006.06.
M.S.
Major:Logic
5.Henan University of Economics and Laws 1999.09.-2003.06.
B.S.
Major: Accounting
PROFESSIONAL EXPERIENCE
Associate professor Oct 2011 - present
InstructorOct 2009- Oct 2011
Modern Logic Institute, CUFE, Beijing, China.
TAUGHT COURSES INCLUDING:
For Undergraduate Students:
Logic
For Graduate Students:
Set Theory, Mathematical Logic, Modal Logic, Philosophy of Logic，
Critical thinking, Selected Reading of Logical Original
ACADEMIC ASSOCIATIONS:
Member of the Chinese Association of Logic
Member of Beijing Association of logic
SCIENTIFIC RESEARCH:
Research on non-well-founded set, coalgebra and Modal Logic （Project Number：10CZX034）planned by the National Humanities and Social Science Fund Project—Youth Project:, Director, 2010.
A Handbook of Chinese Logic History , published by Springer Press 2016, one of the compilers.
Financial Budget and the Chinese Modern State Construction ,National Humanities and Social Science Fund Project—Youth Project , Ministry of Education(project No.: 13YJCZH146）one of the participants, hosted by Assistant Professor, Ren Xiaolan, planned by The Ministry of Education.
MONOGRAPH:
Non-well Founded Set and Modal Logic ，published byChina Financial and EconomicPublishing House, 2011.02.
PUBLISHED PAPERS IN THE FIELD OF LOGIC:
It is Impossible to Prove the 3x+1 Conjecture by using Peano Axioms only , Frontier Science, No.3 2009.
On the Anti-foundational axioms of set theory, Philosophical Trends No.1 2009.
On the Set Theory Semantics of the Modal Logic, Logic Study No.4 2009.
On the Theory of Wittgenstein ’ s Truth, Journal of Nankai University Supplementary Issue 2009.
On the Development of Situation Semantics, Journal of North China institute of water resources and hydropower，No.5 2007.
On Necessity, Study of Natural Dialectics，No.5 2011.
Modal Expressivity and Definability over Sets, 《Logic, Rationality, and Interaction》，Springer PressOctober 2009.
The Truth of Post-metaphysics Science, Ideological Front，No.2 2011.
On the Development of Quine and quantified modal logic, Journal of Hunan University of Science，No.5 2010.
Nearly all Mersenne numbers and Fermat numbers are Primes ，Frontier Science，No.32009.
It is impossible to prove the 3x+1 Conjecture by using Peano Axioms only ，Nankai Journal，No.42009.
Some Results on Algebra and Number Theory ,Frontier Science，No.42010.
Nearly all Mersenne numbers and Fermat numbers are Primes ,Frontier Science，No.3 2009.
Non-well Founded Set and Fu n ction ，Journal of guizhou normal university，No.2 2009.
ATTENDED NATIONAL AND INTERNATIONAL CONFERENCES:
The 2^ndInternational Academic Conference for “Logic, Rationality and Interaction”, July 2009.
At the conference my thesis Modal Expressivity and Definability over Sets is submitted and published by Springer Press.
In Memory of the 30th Anniversary of the Founding of Chinese Association of Logic hosted by Chinese Logical Association, October 2009.
At the Conference, my thesis On the Van Benthem Characterization Theory Described by S et Theory Semantics was submitted.
Commemoration of the100thbirthdayanniversaryofWangXianjun and the National Modern Logic Seminar hosted by Beijing University, April 2010; At the seminar my thesis On the Set Theory Semantic of Modal Logic and Its Bisimulation Instability was submitted and a keynote speech was delivered by her.
Quality Education and Logical thinking Forum hosted by Capital Normal University, April 2010
The 2nd International Conference on the History of national Logic hosted by faculty of philosophy, Nankai University, Tianjin