निष्कर्षात्मक तर्क

सारांश यह लेख तर्क के एक खाते के साथ शुरू होता है, और यह कि तर्कशास्त्री कैसे वाक्यात्मक कलन के लिए औपचारिक निष्कर्ष के नियम बनाते हैं, जो नकारात्मकता के एनालॉग और यदि, या, और और के संयोजक पर निर्भर करता है। यह उन विभिन्न तरीकों पर विचार करता है जिनमें कंप्यूटर वैज्ञानिकों ने इन और अन्य क्षेत्रों में निष्कर्षों की मान्यता को साबित करने के लिए कार्यक्रम लिखे हैं। अंततः, यह बताता है कि मनुष्य के विचारक कैसे निष्कर्ष निकालते हैं, इस पर प्रमुख मनोवैज्ञानिक सिद्धांतों को।