哲學/邏輯/形式邏輯簡介

邏輯學家描述了各種形式邏輯系統，這些系統旨在匹配精確但有限範圍的推理。每個此類系統均定義一種形式語言。此類系統的作用域及相應形式語言的可表達性與它應該描述的推理範圍相匹配。