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

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

در مقاله‌ی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»، نشان داده می‌شود که عوامل اجتماعی در پیدایش و ضروری‌انگاری علوم بنیادینی چون ریاضی و منطق نقش دارند؛ از جمله مهمترین دلایل مطروحه در این مقاله می‌توان به موارد زیر اشاره کرد: اختلاف ریاضی‌دان‌ها، تنوع تناقض در براهین خلف، ساختارشکنی در مقادیر بی‌نهایت، تحلیل ویتگنشتاین از عمل جمع، تغییر مفهوم بداهت در طول تاریخ، دوری بودن اثبات اصول بدیهی، ...

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

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

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

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

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

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

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