تعريف المنطق :
هو مجموع القواعد التي يتبعها العقل حتى لا يقع في التناقض وذلك بهدف ضمان الوصول إلى تفكير صحيح، وتتدرج حركة العقل المعرفية كالتالي :
- مبحث التصورات والحدود :
يتناول مفهوم الحد والتصور كما يهتم بضبط شروط التعريف المنطقي وفق التطرق للكليات الخمس .
- مبحث القضايا :
عندما يحصل في العقل تصور يعبر عنه بصيغة لفظية هي:
الحد، وعندما يحل في العقل أكثر من تصور واحد ويقوم بالربط بينهما يتشكل الحكم، وللتعبير عنه تصاغ القضية، فالقضية إذن هي الصيغة اللفظية الدالة عن الحكم، وتنقسم القضية إلى نوعين: قضية حمليه بسيطة، وقضية شرطية . ويهتم مبحث القضايا بضبط قواعد الاستغراق .
- مبحث الاستدلالات :
إن نوع الاستدلال المستخدم في المنطق الصوري هو الاستنتاج الصوري وهو على نوعين :
أ- الاستدلال المباشر :
وهو استنتاج صدق أو كذب قضية من صدق قضية أخرى أو كذبها مباشرة، ونميز فيه بين التقابل و العكس المستوي
ب -الاستدلال غير المباشر :
هو الذي نصل فيه إلى نتيجة من مقدمتين على الأقل ويسمى بالاستدلال القياسي ونميز فيه بين القياس الحملي، والقياس الشرطي .
الاستقراء :
هو الحكم على الكل بثبوته على أجزائه أو هو الانتقال من الخاص إلى العام.
- قواعد الاستقراء :
أبدع جون ستيوارت ميل أربع طرق استقرائية هي :
- طريقة التلازم في الحضور، طريقة التلازم في الغياب، طريقة التلازم في التغير، طريقة البواقي