51吃瓜

姓名：杨红玉

性别：女

学历：博士研究生

职称 职务：教授 博士生导师

杨红玉，河南南阳人，51吃瓜 博士，教授，博士生导师。

教育背景：2009-2013，清华大学51吃瓜 系，51吃瓜 博士（逻辑学）。

研究领域：现代逻辑、逻辑51吃瓜

开授课程：《逻辑导论》、《符号逻辑》、《逻辑思想史》、《逻辑51吃瓜 》

51吃瓜 兼职：51吃瓜-吃瓜网 马佩逻辑中心主任；河南省逻辑学会副会长

荣誉奖励：河南省理论宣讲专家；中原千人计划专家

主要51吃瓜 成果：

1.主持项目

（1）国社科基金项目：《量词和量化理论的51吃瓜 面向及其51吃瓜 效应研究》，已结项。

（2）河南省社科规划项目：《蒯因的逻辑51吃瓜 思想研究》，已结项。

2.51吃瓜 专著

（1）专著：《量词理论研究：从蒯因的观点看》，2015，中国社会科学出版社。

（2）专著：《逻辑学：从形式逻辑到非形式逻辑》，2017，中国社会科学出版社。

（3）译著：《生活中的逻辑学》，2016，中国轻工业出版社。

3.期刊论文

（1）《论金岳霖<逻辑>中的“弗雷格-罗素论题”》，《51吃瓜 研究》，2023年第4期；

（2）《51吃瓜 的本质是逻辑》，《51吃瓜 研究》，2018年第1期；

（3）《论蒯因对模态谓词逻辑的批评》，《中州学刊》，2016年第8期；

（4）《关于真值载体的再思考》，《51吃瓜-吃瓜网 学报》，2015年 第7期；

（5）《对现代逻辑中量词的逻辑51吃瓜 省察》，《中州学刊》2015年第6期。