逻辑哲学

逻辑的性质和种类

在上述尴尬的解释中，比较容易看出某种顺序。其中一些特征实际上彼此密切相关。例如，当说逻辑是研究的时候思维法则但是，这些法律不能成为法律经验(或可观察到的)心理学中研究的人类实际思维的规律;它们必须是正确的法则推理这些因素与思考者的心理特质无关。此外，正确的思维和有效的思维是平行的论证:有效的论证可以被认为是正确思维的表达，而后者则是前者的内化。在这种平行的意义上，正确思想的法则将与正确论证的法则相匹配。后者的特点是，反过来，他们不依赖于任何特定的事实。每当一个论点这需要一个推理者p来问是有效的，它必须独立于他碰巧知道或相信的主题p而且问．其他来源之间唯一确定的联系p而且问然而，可能是构成通过命题的术语的含义p而且问包含。这些相同的意思也构成了“If”这个句子p,然后问不管怎样，都是正确的或有事实问题。更一般地说，人们可以从p来问当且仅当含义“如果p,然后问逻辑上是正确的也就是说,真在德之的含义出现在p而且问，与任何事实无关。

因此，逻辑可以被定性为完全基于真理所包含的术语的意义的研究。

为了在这个提法的范围内容纳某些传统观念，所讨论的意义可能必须理解为体现洞察术语所表示的实体的本质，而不仅仅是习惯语言用法的编纂。

例如，下面的命题(来自亚里士多德)是一个简单的真理“如果视觉是感知，那么视觉的对象就是感知的对象。”它的真理是可以把握的，而不必对视觉与知觉的关系究竟是什么持任何意见。我们所需要的仅仅是理解"如果-那么"、"是"和"是"这些术语的含义，以及理解"对象"表示某种关系。

逻辑真理亚里士多德“视觉的对象是感知的对象”可以从“视觉即感知”中有效地推演出来。

然而，这一特征仍有许多问题未得到解答。在描述中所依赖的事实之间的对比和意义之间的关系，连同意义的概念本身，都受到了挑战。即使两者都被接受，在更宽和更窄之间仍然存在相当大的紧张关系概念的逻辑。按照广义的解释，一切只取决于意义的真理都属于逻辑。正是在这个意义上，逻辑这个词才有这样的意义名称如“认识逻辑”(知识逻辑)、“信仰逻辑”(信仰逻辑)、“道义逻辑”(规范逻辑)、“科学逻辑”、“归纳逻辑”等。按照狭义的概念，逻辑真理是凭借某些特定的条件而获得(或持有)的，这些条件通常被称为逻辑常量．是否可以给他们一个内在表征或是否只能通过枚举来指定是一个有待讨论的问题。然而，人们普遍认为，它们包括(1)诸如“not”、“and”、“or”和“if-then”这样的命题连接词，以及(2)所谓的量词”(∃x)(可读为:“至少为一个人，称之为。x)和”(∀x)”(“每个个人叫它x，这是真的”)。假字母x这里叫做绑定（个人)变量。它的价值被认为是某种固定的实体类别的成员，称为个体，这个类别被称为话语的宇宙，在解释中预先假设的宇宙，或者域的个人。它的成员被量化在”(∃x)或“∀”x)。”进一步，(3)的概念身份(用=表示)和(4)的一些概念预测(一个人具有某种属性或几个人之间的关系)属于逻辑。研究这些逻辑常数的形式在文章逻辑中有更详细的描述，其中还解释了不同类型的逻辑符号。在这里，只对逻辑领域作了一个描述。

当只研究(1)中的项时，将调用该字段命题逻辑。当考虑(1)，(2)和(4)时，这个场是逻辑的中心区域，也被称为一阶逻辑，量化理论,低谓词演算，较低的函数微积分，或基本逻辑。如果强调(3)的缺失，则绰号与一阶有恒等逻辑相反，增加了“无恒等”，其中(3)也包含在内。

在逻辑常数和非逻辑常数之间的边界情况是:(1)高阶量化，这意味着量化不是对属于给定话语宇宙的个体的量化，就像在一阶逻辑中那样，而是对个体集和集合的量化n-个体的元组。(或者，指定这些集合的属性和关系可以被量化。)这就产生了二阶逻辑。这个过程可以重复。对这样的集合(或的)的集合的量化n-这些集合的元组或这些集合的超属性和关系)，在二阶逻辑中被认为是三阶逻辑;以及所有的逻辑有限的顺序形成(有限)类型的(简单)理论。(2)由∊表示的隶属关系可以嫁接到一阶逻辑上;这就导致了集理论．(3)可以加入(逻辑)必要性和(逻辑)可能性的概念。

这种狭义的逻辑与有影响力的人有关的想法逻辑形式的。在任何给定的句子中，所有的非逻辑术语都可以用适当类型的变量代替，只保留逻辑常数。结果是一个公式显示了句子的逻辑形式。如果公式的结果是一个正确的句子替换对于变量的解释术语(适当的逻辑类型)，公式和句子在逻辑上是正确的(在表达的狭义意义上)。