در این مقاله به بررسی برداشت ربطی از منطق رواقی پرداخته شده است. برای این منظور ابتدا دو دیدگاه اصلی در مورد گزاره های شرطی در منطق رواقی مورد بررسی قرار گرفته است. بر اساس دیدگاه نخست که بکر و اگلی بر آن تاکید دارند، شرطیِ به کار رفته در نظام نحوی منطق رواقی، شرطی فیلونی است؛ در حالی که مطابق دیدگاه دوم که افرادی مانند استوپر، بارنز و نازینیوسکی آن را مطرح ساخته‎اند، این شرطی، شرطیِ ربطی است. دی...

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

مباحث فلسفه زبان (زبانشناسی فلسفی) را زیر دو عنوان کلی معناشناسی فلسفی[1] و کارکردشناسی فلسفی[2] میتوان دسته بندی کرد. اولی دارای دو بخش عمده نظریه معنا[3] (شامل بحث های مربوط به ماهیت معنا، معناداری، هم معنایی، تحلیلیت، و استلزام) و نظریه ارجاع[4] (شامل بحث های مربوط به نامگذاری، صدق، دلالت، دامنه مصادیق و مقادیر متغیرها) و دومی نیز به دو بخش نظریه افعال گفتاری و نظریه مکالمه قابل تفکیک است. و...

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

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

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

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

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

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