منطق تحليلي

استخدام كانت

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

• قارن المنطق التحليلي مع المنطق الاصطناعي.
• انظر كذلك
• التميز التحليلي الاصطناعي

من جهة ثانية، في فلسفة إيمانويل كانت، يمثل المنطق التحليلي الأحكام التي يتم اتخاذها على العبارات والمعتمدة على تأثير محتويات العبارة ذاتها. ولا تكون هناك خبرات خاصة تتجاوز فهم معنى الكلمات المستعملة في المنطق التحليلي.

من جهة ثانية، واقتراح أن جون متزوج — مع الأخذ في الاعتبار أنه أعزب — سيكون عبارة عن تناقض ذاتي.