प्रेरक तर्क ही तर्कासाठी एक प्रणाली आहे जी तर्कशुद्ध किंवा विश्वासार्ह असे निष्कर्ष काढते, परंतु तरीही निश्चित नसते . अशाप्रकारे, प्रेरक तर्क तर्कशास्त्राच्या अधिक परिचित प्रणालींच्या पलीकडे जातो, ज्यामध्ये परिसराच्या सत्याला निष्कर्षांची सत्यता आवश्यक असते.