در این پایان نامه، روی مجموعه ای از گزاره ها (که با ‏‎f‎‏ نمایش داده می شود.) و ارزش درستی شان را در یک مشبکه کامل می گیرند اصل استقرار منطقی را با استفاده از خانواده ای از زیر مجموعه های معمولی (فازی) ‏‎f‎‏ معرفی نموده و روابط استلزامی مختلفی را روی ‏‎f‎‏ تعریف می کنیم و ثابت می کنیم که این روابط پیش ترتیب هستند و در حالت کلی تر این روابط را با استفاده از t- نرم ها تعمیم داده و روابط ‏‎*‎‏- پی...

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

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

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

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

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

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

در این مقاله به نقش طرحواره های ذهنی در آموزش پرداخته شده است و سه نوع مکتب فکری در باب طرحواره های ذهنی معرفی شده است. با بررسی دو نوع افراطی طرحواره های ذهنی که یکی به وجود طرحواره های مطلقاً یکسان بین انسان های متفاوت و دیگری به نسبیت افراطی یا مطلق طرحواره ها روی آورده است به این نتیجه راه یافته ایم که طرحوارة نسبیتی متعادل در امر آموزش قابل استفاده تر است. با بررسی آرای ویتگنشتاین می توان د...

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

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