实的，例如分析命题，例如 "所有的单身汉都是未婚的"。逻辑真理都是必然的，这种观点在哲学家中并不普遍。一种争议较小的观点是，自我同一性是必要的，因为声称任何x与自身不完全相同似乎从根本上讲是不一致的；这被称为同一律，是一种推定的 "第一原则"。同样，亚里士多德也描述了矛盾律。
形而上学和科学的比较.自然科学和形而上学的相同点是两者都崇尚理性， 两者都可以用假设作为推理前提，其假设合理性都是被经验证据约束的。两者不同之处是，尽管两者都用缜密的逻辑推理，“形而上学”研究中