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

بدون تردید ابن سینا یکی از چهره های بارز و شاید بارزترین چهره فرهنگ و تمدن اسلامی- ایرانی است.ابن سینا به اذعان خود(در مقدمه منطق المشرقیین) پس از عمری تلاش در تشریح ، تبیین و تکمیل میراث عقلی یو نان، به ساحتی از فلسفه دست یافته است که از آن به « فلسفه مشرقی » تعبیر می نماید . « منطق مشرقی » ابن سینا نیز بدون تردید، چه به لحاظ روش و چه به لحاظ محتوا در قیاس و در تناظر و تناسب با همین فلسفه مشرق...

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده‌است.

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

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

فرض کنید r یک توسیع به طور تعریف پذیر کامل (یعنی فاقد شکاف ددکیند تعریف پذیر) از یک گروه مرتب چگال (r,<,*) باشد که در خاصیت تناهی یکنواخت صدق می کند (یعنی هر خانواده‎ی تعریف پذیر از زیرمجموعه های متناهی دارای یک کران بالای متناهی برای تعداد اعضای زیرمجموعه‎ها می باشد). در این صورت هسته باز r ت-کمینه است. در ادامه دو رده از ساختارهایی که ت-کمینه نیستند اما هسته باز ت - کمینه دارند مورد بحث قرا...

  میل به سادگی در توصیف نظام، یکی از مفاهیم پایه در فلسفه علم و روش ­ های علمی است. زبان‌شناسی زایا نیز، برای رسیدن به کار آمدی مؤثرتر می‌کوشد تا اسباب نظری خود را به حداکثر سادگی برساند. در این مقاله، برای تحلیل سادگی دو نگرش چیره راجع به زبان با یکدیگر مقایسه شده اند که در هر دو آن‌ها میل به سادگی الزامی روش‌شناختی است. اولی نظریۀ ایکس تیره است که چامسکی آن را با اصلاحاتی در نظریۀ حاکمیت و مر...

این پژوهش با عنوان «نمادشناسی در منطق الطیر عطار نیشابوری» به تبیین و تحلیل انواع و اقسام نماد در منطق الطیر می پردازد. نگارنده پس از تعریف نماد و تبیین اقسام آن در کتب ادبی به استخراج و تقسیم نماد در منطق الطیر پرداخته است. نمادهای ابداعی و مذهبی در منطق الطیر هر یک با 24 و 18 عنوان بالاترین بسامد را دارا هستند. بعضی از این نمادها مذهبی به حسب ظاهر مذهبی نیستند امّا به این دلیل که در قرآن کری...

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

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