主题：【原创】逻辑的力量（0）：引子 -- 滕诺

在日常口语交流和文字表达中，有各种类型的语句，其中广泛使用的一种叫做陈述(句)(statement),陈述有真有假。一组有关联的陈述组成一个论证(argument)，论证包括前提(premises)和结论(conclusion)。研究评价论证的方法就是逻辑(logic)，简单地说，逻辑就是研究评价一个论证的前提是否合理地支持其结论的方法。

根据不同的标准，论证可以分为有效论证(valid argument)与无效论证(invalid argument)、可靠论证(sound argument)与不可靠论证(unsound argument)、强论证(strong argument)与弱论证(weak argument)、可信论证(cogent argument)与不可信论证(uncogent argument)。那么这些概念都是些神马意思呢？

首先，论证是否有效是基础。如果前提真，那么结论必然真，这是一个有效论证的本质特征。那么无效论证是不是相反，如果前提真，那么结论必然假呢？非也！一个无效论证的本质特征是：当其前提都真时，结论不必然真。一个全部前提都真的有效论证就是可靠论证。与之相反，一个不可靠论证要么是无效论证，要么是包含有假前提的有效论证。研究论证是否有效的逻辑学分支就叫做演绎逻辑。

其次，强度是用以衡量无效论证的。我们说一个无效论证是强论证，指的是如果前提真，那么结论真是很可能的（但不必然，如果必然则论证有效），例如诉诸权威的论证（arguments from authority）和诉诸类比的论证（arguments from analogy）就是典型的强论证；一个弱论证的前提真，但结论真是不大可能的。一个前提全为真的强论证就是一个可信论证。与之相反，一个不可信论证要么是弱论证，要么是包含有假前提的强论证。无论强弱与否、可信与否，用强度和可信度衡量的论证，它们都是无效论证。研究论证强弱的逻辑学分支就叫做归纳逻辑（inductive logic）。

PS：作为哲学的重要基础，逻辑学是枯燥无味的，无论是读还是写，但这枯燥中蕴含着力量，思维的力量。在这里，希望有同好交流，相互支持。

谢谢你们沉默的花——虽然你们不曾留下只言片语。