निगामी व्यवस्था (Deductive Systems)
इ.स. पूर्वी चौथ्या शतकात यूक्लिड या ग्रीक गणितज्ञाने भूमितीची मांडणी निगामी व्यवस्थेच्या रूपात केल्यापासून शास्त्रीय ज्ञानाच्या जगतात निगामी व्यवस्था हा ज्ञानाचा आदर्श मानला गेला आहे आणि तेव्हापासून तत्त्वज्ञ आणि वैज्ञानिक दोघांचीही आपल्या विषयाची मांडणी निगामी व्यवस्थेत करण्याची धडपड सुरू आहे. Deduction किंवा निगमन म्हणजे काय हे आपण स्थूलरूपाने पाहिले आहे. निगामी अनुमान म्हणजे असे अनुमान की ज्याची साधके (म्हणजे साधक विधाने किंवा premises) सत्य असल्यास त्याचा निष्कर्प असत्य असू शकत नाही. निगमन हा सत्यतासंरक्षक अनुमानप्रकार आहे; म्हणजे त्यात साधकांची सत्यता निष्कर्षापर्यंत सुरक्षितपणे पोचविली जाते.