哲学/逻辑/形式逻辑简介

逻辑学家描述了各种形式逻辑系统，这些系统旨在匹配精确但有限范围的推理。每个此类系统均定义一种形式语言。此类系统的作用域及相应形式语言的可表达性与它应该描述的推理范围相匹配。