命题构成与弗雷格式涵义

结构化命题和对结构化命题的自然化解释,是当前哲学界主流的命题理论。根据这种理论,命题是具有组分和结构的复合实体,其表征能力应该诉诸人的语言和认知活动来得到解释。然而,自然化进路并不能解决结构化命题的统合问题,反而引起更多的困难,因而不能成立。有些哲学家提出结构化命题的命题构成问题,试图拒斥包括整分论进路在内的所有结构化命题。但是,利用弗雷格的涵义(思想)我们可以避免和回应这些批评,从而在简单命题和结构化命题之间取得某种结合。

真值表的逻辑工具功能

本文较全面地论述了真值表定义复合命题联结词,提供推理规则逻辑根据,直接检验复合命题推理有效性,揭示复合命题之间真假关系,构造复合命题逻辑方阵及其推理有效式,准确掌握矛盾律、排中律、反证法和间接反驳。