台湾逻辑学发展及研究
The Development of Logic in Taiwan

台湾逻辑学经历了百年发展历程，共四个阶段，第一阶段：日据时期（1945年以前），台湾逻辑学萌芽期；第二个阶段：光复时期（1945 年–1964 年），台湾逻辑学的初建期；第三个阶段：宪政时期的戒严期（1964 年–1987 年），台湾逻辑学发展期；第四个阶段：宪政时期的民主化期（1987 年至今），台湾逻辑学高涨期，各个阶段具有不同的特点。台湾逻辑学的数理逻辑与哲学逻辑建树颇丰，其中数理逻辑主要包含：集合论、证明论、模型论、递归函数等；哲学逻辑包含模态逻辑、知态逻辑、规范逻辑、语言逻辑等。而中国古代逻辑与因明学研究虽有成果，但其一直处于缓慢低谷期。本文通过全方位梳理台湾逻辑学不同时期的不同特征与成果，总结其发展规律与趋势，对大陆逻辑学的发展有重要的借鉴意义。