定理性推理與推論性推理

定理性推理與推論性推理是美國皮爾斯用語。指邏輯學上和數學上兩種必然性推理。皮爾斯認為，對任何推理的理解都包含有圖表。如果先把一推理的結論的所有前提表現於圖表中，然後必須在此圖表之上進行某種創造性的實驗，也即是增加某種在原前提中所未出現的其他構造，即“外來觀念( foreign idea)”，如作輔助圖，最後通過對此修改後的圖表進行觀察，才能認識到結論為真，則這樣的推理為定理性推理。

幾何學中大多數重要定理都是這種類型，即要藉助於輔助線（圖）才能證明。而如果先把一推理的結論的所有前提表現於圖表中，然後通過對於圖表進行觀察，不必要引入任何其他構造( construction)，可直接發現結論為真，則這樣的推理為推論性推理。所有的普通三段論和關係邏輯中的一些演繹屬於這一類。皮爾斯非常重視定理性推理與推論性推理的這種區分。