论前提的一致性

一个正确的推理（严格说指演绎推理），应该具备两个必要条件，其一是前提必须真实；其二是推理形式正确、有效。即是说，只有前提真实，推理形式正确、有效，才能必然推出真实的结论。由于形式逻辑，包括现代形式逻辑只研究逻辑形式而不研究内容，目前许多学者认为：“逻辑学本身只能够提供关于前提与结论之间的逻辑规则，只能解决推理的逻辑问题，它不能具体解决前提的真实与否的问题。前提是否真实只有靠各门具体科学，靠实践来解决。”（见《普遍逻辑》修订本，上海人民出版社，第139页）而所谓推理的逻辑性也仅指推理形式正确。基于这种认识，目前就国内各种形式逻辑教科书（包括数理逻辑），都只研究前提与结论之间逻辑关系，而很少或基本没有涉及对理论前提的研究。