اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
كان الفيلسوف إيمانويل كانت أول من استخدم مصطلحي "تحليلي" و "اصطناعي" لتقسيم الافتراضات إلى نوعين. ويقدم كانت التمييز التحليلي الاصطناعي في مقدمة كتابه نقد العقل الخالص (1781/1998, A6-7/B10-11). وفيه قال أنه يقيد اهتمامه بالآراء الإيجابية المتصلة بـالمبتدأ-الخبر، ويُعرف "الافتراض التحليلي" و "الافتراض الاصطناعي" على النحو التالي:
أمثلة على الافتراضات التحليلية، في تعريف كانت، تشمل:
مثال كانت نفسه هو:
كل واحد من هذه الأمثلة هو رأي إيجابي يتصل بالمبتدأ-الخبر، ويرد مفهوم الخبر، في كل مثال، مع مفهوم المبتدأ. مفهوم "عازب" يشتمل على مفهوم "غير متزوج"؛ ومفهوم "غير متزوج" يعد جزءًا من تعريف مفهوم "عازب". وبالمثل، مع مفهوم "المثلث" له "ثلاثة أضلاع،" وما إلى ذلك.
أمثلة على الافتراضات الاصطناعية، في مفهوم كانت، تشمل:
مثال كانت نفسه هو:
كما هو الحال مع الافتراضات التحليلية، كل واحد من هذه الأمثلة هو رأي إيجابي متصل بالمبتدأ-الخبر. ومع ذلك، لا يشتمل في أي من هذه الحالات مفهوم المبتدأ على مفهوم الخبر. فمفهوم "عازب" لا يتضمن مفهوم "غير سعيد"؛ ومفهوم "غير سعيد" ليس جزءًا من المفهوم "عازب." وينطبق الشيء نفسه مع "المخلوقات التي لها قلوب" و "لديها كلى"؛ حتى لو كان كل مخلوق له قلب لديه أيضًا كلى، إلا أن مفهوم "مخلوق له قلب" لا يتضمن مفهوم "له كلى."
في مقدمة كتاب نقد العقل الخالص، يُقارن كانت تميزه بين الافتراضات التحليلية والاصطناعية مع تميز آخر، وهو التميز بين افتراضات البداهة والبعدية. ويُعرف هذين المصطلحان كما يلي:
أمثلة على افتراضات البداهة، تشمل: