قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

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

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

ارسطو با معرفی سه شکل از قیاس اقترانی آغازگر مباحث پردامنه‌ای در این حوزه شده است. شکل چهارم بعدها به اشکال قیاس اقترانی اضافه شد. در سه قسم اول قیاس اقترانی اختلاف‌نظری دیده نمی‌شود بحث بر سر شکل چهارم قیاس و شرایط انتاج آن می‌باشد. در شکل چهارم قیاس سه اختلاف عمده دیده می‌شود: 1- جایگاه شکل چهار 2- شرایط انتاج 3- ضروب منتج. گروهی از متقدمان که منطق‌دانان قبل اثیر الدین ابهری را در بر می‌گیرد ...

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

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

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

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

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

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