什么是逻辑？
逻辑不仅是一们知识，并且是一种重要的思考工具。即使没有研习过逻辑的人亦能意识到它的重要性。比如，像「某某说法不合逻辑」、「某某理论不合乎逻辑」、「某某行为不合逻辑」…等等，就是我们经常都会碰到的一些说法。在我们的日常语言，「逻辑」虽是一个十分流行的用语。但是对于「什么是逻辑？」「逻辑有什么特质？」等问题的答案，很多人都不甚了了，或是一知半解。
有一种曾经非常流行的观点认为逻辑就是研究思想定律的科学。这种观点很可能是由于逻辑家喜欢把一些逻辑原则如同一律、排中律、矛盾律等称为「思想定律」而产生的。但是，这种对逻辑的看法却有以下的弊端:
第一、它并没有把逻辑和其它学科如心理学或认知科学等区分开来。心理学和认知科学的目的亦可以说是在于研究人类的「思想定律」。那么，它们所研究的和逻辑所要研究的究竟有什么分别呢？
第二、它带有误导性。它给人的印象是，逻辑是研究人类实际的思考模式，以及人类的思想历程所必须遵从的规律。但是，人类在思考的时候循什么模式进行？人类的思想受到什么定律所支配？这都是关于经验事实的问题。而逻辑的研究对象显然和经验事实并无直接的关系。
另一种观点认为逻辑是研究区别正确的推理或不正确的推理所使用的原则和方法。这种观点在学术界颇为流行。
手头上有一部颇有名的哲学辞典，其中论及「逻辑」的一条就有这样的说法：「从广义上来说，逻辑是研究推理或确当论证的结构和原则。……从狭义上来说，逻辑是研究演绎推理或证明的原则和方法。」
这种看法把逻辑的研究对象放在「正确/不正确的推理」、「确当的论证」、「证明」等事物上面。这种观点比起前面提及的「逻辑是研究思想定律的科学」的观点来得恰当。至少它没有把逻辑和其它学科如心理学等混为一谈的毛病。
不过，上述的这种看法仍有缺点。逻辑固然是要研究如何区别正确的推理和错误的推理。但，逻辑所研究的并不仅止如此。比如，逻辑亦须要研究怎样判别矛盾句和恒真句。但，判别一个语句是否矛盾句或恒真句，和判别一个推理是否正确，是两码子事。两者并不等同。
逻辑与逻辑真理
若果你心里这样想：「孔子不是物理学家。因为，若果孔子是物理学家则他是科学家，但，孔子不是科学家。」那你的想法是一项推理。但，若果你只是在想：「孔子是或者不是圣人。」又或者在想：「孔子是科学家，并且他不是科学家。」那你的想法就不是一项推理，而仅是一个论断。
逻辑的任务不仅是告诉我们怎样判别正确的推理和错误的推理。它的另一项重要的任务就是告诉我们怎样判别像「孔子是或者不是圣人」和「孔子是科学家，并且他不是科学家」等论断的真假。
逻辑告诉我们「孔子是或者不是圣人」是真的，它是一个逻辑真理。称它为「逻辑真理」是由于它是「P或者非P」此一对确语式的代换个例。凡逻辑上对确的语式的代换个例，都可以称之为「逻辑真理」。
相反地，「孔子是科学家，并且他不是科学家」此一论断则是假的，它是一个矛盾句，所有矛盾句都是恒假的。称它为「矛盾句」是由于它是「P并且非P」此一矛盾式的代换个例。凡逻辑上的矛盾式的代换个例都是假的，我们称它们为「矛盾句」。
逻辑不仅是一们知识，并且是一种重要的思考工具。即使没有研习过逻辑的人亦能意识到它的重要性。比如，像「某某说法不合逻辑」、「某某理论不合乎逻辑」、「某某行为不合逻辑」…等等，就是我们经常都会碰到的一些说法。在我们的日常语言，「逻辑」虽是一个十分流行的用语。但是对于「什么是逻辑？」「逻辑有什么特质？」等问题的答案，很多人都不甚了了，或是一知半解。
有一种曾经非常流行的观点认为逻辑就是研究思想定律的科学。这种观点很可能是由于逻辑家喜欢把一些逻辑原则如同一律、排中律、矛盾律等称为「思想定律」而产生的。但是，这种对逻辑的看法却有以下的弊端:
第一、它并没有把逻辑和其它学科如心理学或认知科学等区分开来。心理学和认知科学的目的亦可以说是在于研究人类的「思想定律」。那么，它们所研究的和逻辑所要研究的究竟有什么分别呢？
第二、它带有误导性。它给人的印象是，逻辑是研究人类实际的思考模式，以及人类的思想历程所必须遵从的规律。但是，人类在思考的时候循什么模式进行？人类的思想受到什么定律所支配？这都是关于经验事实的问题。而逻辑的研究对象显然和经验事实并无直接的关系。
另一种观点认为逻辑是研究区别正确的推理或不正确的推理所使用的原则和方法。这种观点在学术界颇为流行。
手头上有一部颇有名的哲学辞典，其中论及「逻辑」的一条就有这样的说法：「从广义上来说，逻辑是研究推理或确当论证的结构和原则。……从狭义上来说，逻辑是研究演绎推理或证明的原则和方法。」
这种看法把逻辑的研究对象放在「正确/不正确的推理」、「确当的论证」、「证明」等事物上面。这种观点比起前面提及的「逻辑是研究思想定律的科学」的观点来得恰当。至少它没有把逻辑和其它学科如心理学等混为一谈的毛病。
不过，上述的这种看法仍有缺点。逻辑固然是要研究如何区别正确的推理和错误的推理。但，逻辑所研究的并不仅止如此。比如，逻辑亦须要研究怎样判别矛盾句和恒真句。但，判别一个语句是否矛盾句或恒真句，和判别一个推理是否正确，是两码子事。两者并不等同。
逻辑与逻辑真理
若果你心里这样想：「孔子不是物理学家。因为，若果孔子是物理学家则他是科学家，但，孔子不是科学家。」那你的想法是一项推理。但，若果你只是在想：「孔子是或者不是圣人。」又或者在想：「孔子是科学家，并且他不是科学家。」那你的想法就不是一项推理，而仅是一个论断。
逻辑的任务不仅是告诉我们怎样判别正确的推理和错误的推理。它的另一项重要的任务就是告诉我们怎样判别像「孔子是或者不是圣人」和「孔子是科学家，并且他不是科学家」等论断的真假。
逻辑告诉我们「孔子是或者不是圣人」是真的，它是一个逻辑真理。称它为「逻辑真理」是由于它是「P或者非P」此一对确语式的代换个例。凡逻辑上对确的语式的代换个例，都可以称之为「逻辑真理」。
相反地，「孔子是科学家，并且他不是科学家」此一论断则是假的，它是一个矛盾句，所有矛盾句都是恒假的。称它为「矛盾句」是由于它是「P并且非P」此一矛盾式的代换个例。凡逻辑上的矛盾式的代换个例都是假的，我们称它们为「矛盾句」。
