در منطق، «تصور معلوم» و «تصور مجهول» دو نوع مفهوم هستند که برای درک بهتر است.
1. **تصور معلوم**: این نوع تصور به مفاهیمی اشاره دارد که ما در مورد آنها اطلاعات واضح و مشخصی داریم. به عبارت دیگر، وقتی میگوییم یک تصور معلوم داریم، یعنی ما میتوانیم آن مفهوم را به وضوح تعریف کنیم و از ویژگیها یا ویژگیهای آن آگاه هستیم. به عنوان مثال، اگر بگوییم «سگ حیوانی است» یا «درخت گیاهی است»، این جملات تصور معلوم هستند زیرا ما میدانیم که سگ و درخت چه هستند و چه ویژگیهایی دارند.
2. **تصور مجهول**: این نوع تصور به مفاهیمی اشاره دارد که ما در مورد آنها اطلاعات کافی نداریم یا آنها را به طور کامل درک نمیکنیم. برای مثال، اگر بخواهیم در مورد «یک موجود فضایی» صحبت کنیم، چون ما تجربه یا اطلاعات دقیقی درباره آن نداریم، این تصور مجهول است. ما نمیتوانیم به راحتی توضیح دهیم که این موجود چه شکلی است یا چه ویژگیهایی دارد.
در منطق، درک این دو نوع تصور به ما کمک میکند تا استدلالها و استنتاجها را بهتر بفهمیم، زیرا برای استدلال منطقی باید بدانیم که اطلاعات ما درباره یک موضوع به چه شکل و چقدر مشخص است.