تعریف پذیری

شیخ اشراق یکی از ناقدان جدی تعریف به ذاتیات ماهوی و به ویژه تعریف به حد است. او در آثار خود دو راه متفاوت را برای تعریف اشیاء معرفی می کند: در راه نخست، از تعریف موجودات نیازمند تعریف (مرکبات)، به اعراض و خواصشان(به تعبیر او به بسایط) و در راه دوم، از تعریف به ذاتیات مفهومی سخن گفته است. نظریه تعریف به بسایط، متشکل از هفت مؤلّفه است. در این مقاله، با تحلیل و بررسی این مؤلفه ها، این نظریه را توضیح داده و برخی از ایرادات آن را بیان می کنیم. از نظر سهروردی تعریفی که به مفاهیم برگرفته از شهود (اعم از حسی و فراحسی) منتهی نشود، معرفت زا نیست. شیخ اشراق، ادراک حسی را که متعلق آن، اعراض و به تعبیر او بسایط حسی هستند، حضوری دانسته و موجودات فرامادی را نیز متعلق شهود فراحسی می داند. به عقیده او، تصورات بدیهی که تصورات دیگر باید به آنها منتهی شوند، تصوراتی هستند که به طور مستقیم از علم شهودی و حضوری به دست آمده باشند.

منطق مرتبه اول کلاسیک رایج ترین منطق در کاربردهای ریاضیات و همچنین در مطالعه بنیادهای منطقی می باشد. از دیر باز تنها ارتباط بین منطق و توپولوژی ریاضی محدود به مفهوم فضاهای تایپ بوده و پیوندهای دیگری بین این دو حوزه متصور نبوده است. اخیرا پیوندهای اساسی بین این دو شاخه (یعنی منطق و توپولوژی) ایجاد شده است که کاربردهای زیادی در هر دو حوزه منطق و همچنین در توپولوژی را موجب شده اند. در این مقاله به مطالعه برخی از مهمترین پیوندهای این دو شاخه از ریاضیات و همچنین کاربردهای آنها خواهیم پرداخت. یکی از مفاهیم کلیدی در منطق ریاضی و نظریه مدل ها مفهوم پایداری می باشد که بیانی کاملا ترکیبیاتی دارد. در این مقاله نشان می دهیم که این مفهوم معادل یک مفهوم توپولوژیک برای مجموعه مشخصی از توابع می باشد و با استفاده از آن قضیه ای بنیادین در نظریه پایداری شلاح را ثابت می کنیم. همچنین ارتباط بین مفهوم وابستگی و یک خاصیت توپولوژیک از مجموعه ای از توابع را بیان می کنیم و اثباتی توپولوژیک از برخی از دستاوردهای مهم نظریه مدل ها را ارائه خواهیم داد. برخی از نتایج ارائه شده در این مقاله در هر دو حوزه منطق و توپولوژی کاملا جدید هستند و احتمال کاربردهای بیشتر از آنها در مطالعات آتی متصور می باشد.