منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق ش...

نوشتار حاضر تلاشی برای تحلیل سور شرطی لزومی سینوی برپایۀ منطق مرتبۀ دوم است. محققان معاصر صورت بندی های متفاوتی از شرطی سینوی به زبان منطق جدید عرضه کرده اند. از تفاوت های اصلی این صورت بندی ها چگونگی تحلیل سور شرطی بوده است. دیدگاه خواجه نصیرالدین طوسی دربارۀ سور شرطی مبنای آخرین تحلیل های محققان قرار گرفته است و می توان آن را با زبان منطق مرتبۀ دوم صورت بندی کرد؛ بر این اساس، تحلیل های عرضه ش...

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

فلسفۀ ‌منطق علمی پسینی است و دربارۀ مبانی فلسفی منطق از سویی، و مسائل فلسفی ناشی از مباحث منطقی از سوی دیگر بررسی می‌کند. فلسفۀ منطق ارسطو تاکنون تدوین نشده است؛ اما برای تطبیق دو منطق قدیم و جدید لازم است مبانی فلسفی منطق ارسطو را استخراج کنیم، زیرا ممکن است با مشاهدۀ پاره‌ای اختلافات یا اشتراکات ظاهری به وجود وحدت یا تضاد میان آنها حکم کنیم. برای استخراج این مبانی فلسفی باید افزون بر آثار پیر...

هر چند ملاصدرا - در منطق - متأثر از دیدگاه‌های حکمت سینوی است؛ اما نوآوری‌هایی در منطق دارد که به‌حق می‌توان منطق او را منطق صدرایی قلمداد کرد. ملاصدرا علاوه بر آن که در دو بخش تعریف و استدلال، نظرات ابتکاری‌ای دارد، در رابطه با علم منطق به‌عنوان یک مجموعه در کنار علوم بشری دیگر و نیز در مباحث مقدماتی آن، صاحب رأی است. ملاصدرا بر اساس تقسیم علوم حقیقی به حکمت نظری و حکمت عملی، علم منطق را مندرج...

منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانی­الاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که به­دنبال پاسخ آری و یا نه برای تعمیم به تمام پدیده­ها می­باشد(همچون پوزیتیویسم)، منطق فازی جهان را همان­گونه که هست معرفی می­کند. م...

میرداماد در کتاب قبسات استدلالی علیه عینی بودن وصف وجود برای ماهیات تنظیم کرده است؛ به این ترتیب که اگر وجود وصفی عینی برای ماهیت باشد، تمایزی بین هل بسیط و هل مرکب از میان خواهد رفت. از طرفیمی‌دانیم که در باب چگونگی اتصاف ماهیت به وجود، ملاصدرا سه نظر متفاوت در آثار خود ارائه کرده است: نخست: اتصاف ماهیت به وجود تحلیلی است؛ دوم: رابطه‌ی بین ماهیت و وجود به نحو اتصاف نیست؛ و سوم: وجود متصف به ما...

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

بی گمان شناخت چیستی یک ماهیت حقوقی در فرآیند شناسایی آثار و احکام آن ماهیت بیشترین نقش را ایفاء می کند. قرارداد اجاره کشتی به عنوان یکی از قراردادهای مربوط به بهره برداری از کشتی به منظور حمل کالا و مسافر از طریق دریا که از روزگاران کذشته مورد توجه بازرگانان قرار گرفته و امروزه به دلیل گسترش حمل و نقل دریایی کالا به لحاظ کیفی و کمی توسعه ای دو چندان یافته است نیز یکی از این ماهیات حقوقی است. یک...

واژه فنومن از ابتدا تا زمان هوسرل معانی مختلفی به خود گرفته است اولین بار یونانیان بین آنچه درعالم خارج از ذهن وجود دارد و آنچه در درون ذهن است، تمایز قائل شده اند. آنها آن چه در عالمخارج از ذهن وجود دارد نومن و آن چه بر ذهن ما آشکار می شود، فنومن نامیدند. فلاسفه پس ازیونان توجه چندانی به این واژه نداشتند تا این که لامبرت و کانت با استفاده از آن واژه، فنومنولوژیرا ابداء کردند و آ نرا برای نوعی ...