亚里士多德的三段论及其扩展

声明

摘要

1 绪论

1．1 研究意义

1．2 国内外现状分析

1．3 研究思路与主要内容

1．4 研究方法

1．5 创新性与不足

2 亚里士多德的三段论

2．1 亚氏三段论的涵义

2．2 亚氏三段论的形式

2．2．1 亚氏三段论的表述

2．2．2 前提与结论

2．2．3 三段论的格

2．3 三段论的化归

2．3．1 转换法

2．3．2 归谬法

2．3．3 显示法

2．4 小结

3 广义三段论

3．1 广义三段论的基础——量词概述

3．2 广义三段论的基础——量词的形式定义

3．2．1 真值与模型

3．2．2 量词的语义定义

3．3 广义三段论与量词语义性质的关系

3．3．1 量词的语义性质

3．3．2 广义三段论

3．4 小结

4 关系三段论

4．1 初始符号和合式公式

4．2 语义解释与推理规则

4．2．1 语义解释

4．2．2 推理规则

4．3 关系三段论片段R

4．4 总述

4．5 小结

结束语

参考文献

致谢