霍书全，男，河南周口人。金沙威尼斯欢乐娱人城教授，河南省特聘教授，国家社会科学基金重大项目首席专家。

教育背景：1986-1990，郑州大学哲学系，哲学学士；1999 -2002，中山大学哲学系，哲学硕士；2002 -2005，南开大学哲学系，哲学博士。

研究领域：现代逻辑，心灵哲学与认识论。

开设课程：符号逻辑；语言哲学；哲学逻辑专题；模态逻辑；高等代数等。

主要学术成果：

（1）Equivalence of Lewis’ Two Kinds of Conditional Logic Systems, to appear

（2）刘易斯条件句逻辑系统CO和V的等价性,《逻辑学动态与评论》（接受）

（3）A Strict Łukasiewicz m-valued Conditional Logic, to appear

（4）A Basic Łukasiewicz m-valued conditional logic，arXiv:2407.19221, July 2024.

（5）意义的基础理论及其难题，《学术研究》（接受）

（6）基本 Łukasiewicz m-值条件句逻辑，《逻辑学研究》，2024年第5期，第1-20页。

（7） Application of an Improved Convolutional Neural Network Algorithm in Text Classification，Journal of Web Engineering, 23(3): 315-340, 2024. （SCI，第二作者）

（8）Few-shot Text Classification Method Based on Feature Optimization，Journal of Web Engineering, 22(3): 497-514, 2023.  （SCI，第二  作者）

（9）条件句的组合性，《逻辑学研究》，2023年4月，第2期。

（10） Bridging the Gap between the Meaning of Natural Language and Mental Content，Integrative Psychological and Behavioral Science, 56 (1): 163-179, 2022.  (SSCI)  

（11）弗雷格关于普遍性的思想及其逻辑学意义, 《重庆理工大学学报》(社会科学)，第2期，第15-21页。（人大复印报刊资料《逻辑》2021年第3期全文转载）（第一作者）

（12）阐释学与逻辑学，《学术研究》，2019年第12期，第8-14页. （《中国社会科学文摘》2020年第7期全文转载）

（13）人工智能符号接地问题研究的意义和挑战，《上海师范大学学报》（哲学社会科学版），2019年第3期，独著, 第98-107页。（人大复印报刊资料《科学技术哲学》2019年第3期全文转载）

（14）普莱尔论时态词的自我中心性及其思想根源，《重庆理工大学学报》(社会科学)，2018年第10期。（第一作者）

（15）从心理内容到语言表达式意义的联接，《自然辩证法研究》，2018年第9期。

（16）普莱尔混合时态逻辑的思想基础，《逻辑学研究》， 2016年6月，第2期。

（17） 罗素哲学中的谓述问题及其认知意义，《哲学分析》，2015年第6卷第6期，第135-146页。

（18）原子性原则和外延性原则，《学术研究》， 2014年9月，第9期。

（19）普莱尔早期的时态逻辑思想，《重庆理工大学学报》(社会科学)，2014年第7期第28卷，第22-27页。

（20）条件句语境理论及其对蕴涵悖论的解决，《哲学动态》，2014年2月，第2期。

（21）戴维森对谓述问题的解决，《科学技术哲学研究》，2013年12月，第6期。

（22）实质蕴涵与“如果,那么”，《理论建设》，2012年第2期，第50-53页。

（23）批判性思维对科技创新和社会和谐的作用，《广东广播电视大学学报》，2012年第1期，第33-38页。

（24）批判性思维的学科属性及其功用，《延安大学学报》(社会科学版)，2012年第2期，第15-20页。

（25）多值逻辑蕴涵的解读，《哲学动态》，2011年第11期，第93-99页。

（26）关于条件句的蕴涵理论，《安徽大学学报》(哲学社会科学版)，2011年第3期，第37-43页。

（27）多值逻辑与悖论，《中国社会科学院研究生院学报》，2010年第5期，第40-45页。

（28）多值逻辑的乌拉姆博弈语义，《哲学动态》，2009年第12期，第84-87页。

（29） 函数完备的n+1值逻辑公理系统的强完全性,《安徽大学学报》，2009年第5期。

（30） 一个多值逻辑的一阶谓词系统，《逻辑学研究》，2009年第1期，第78-89页。

（31）现代逻辑的抽象化趋势——概述抽象代数逻辑的产生和发展，《哲学动态》，2008年第11期，第98-102页。

（32）多值逻辑的思想渊源和产生历程，《自然辩证法研究》，2008年第11期，第17-21页。

（33）Lukasiewicz3-值命题逻辑的强完全性证明，《安徽大学学报》(哲学社会科学版)，2008年第2期，第43-45页。

（34）现当代多值逻辑的主要技术成果和语义哲学基础，《自然辩证法通讯》，2007年第5期，第31-36页。

（35）一种避免“蕴涵怪论”的可行方法，《自然辩证法研究》，2007年第7期，第31-34页。

（36）相干逻辑研究的当代成果和发展趋势，《哲学动态》，2007年第4期，第55-60页。

（37）推理关系形式化产生的问题及哲学思考，《广东广播电视大学学报》，2006年第4期。

（38）开放类3-值逻辑的元性质，《中山大学学报》(社会科学版)，2006年第2期。

（39）百年“怪论”的有效消解，《金沙威尼斯欢乐娱人城学报》(社会科学版)，2005年第3期，第4-8页。

（40）一类函数完全的n值逻辑联结词及其特点，《哲学研究》（逻辑研究专辑），2003年，第18-20页。

（41）《多值逻辑的方法和理论》，科学出版社，2009年4月。