［哲学研究］形式真理与逻辑科学（摘要）
作者：马养新
《陕西师范大学学报（哲学社会科学版）》 2003年 第06期
多个检索词，请用空格间隔。
摘 要：命题就是语句表达的对可能世界对象的情况进行断定并且至少具有可能确定真值的思维形态。按照所包含的形式概念是否相同，命题区分为不同的类。形式命题的实质是具体命题的类。通过形式命题可以实现认识具体命题一般属性的目的。普遍有效式是所代表的具体命题个个都具有真的真值。满足关系是当理由型的具体命题真时论断型的具体命题一定真的形式命题关系。形式真理是断定形式命题具有普遍有效性或者满足关系的真实命题。逻辑科学的惟一对象和全部使命是形式真理，逻辑学的发展始终要以追求形式真理为正确方向。
关键词：形式真理；逻辑科学；命题；形式命题
中图分类号：B81 文献标识码：A 文章编号：1000—5293{2003)06—0062—07