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

در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...

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

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

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

آیرونی (irony) یکی از اصطلاحات پیچیده و مهم در بلاغت، فلسفه و نقد ادبی است که هرچند معاصران، آن را به کلماتی همچون طعنه، کنایه، طنز، استهزاء، تهکّم، وارونه گویی و... ترجمه کرده اند، اما پژوهش حاضر نشان می دهد که این واژگان ممکن است سبب سوءتفاهم و یا سوءبرداشت خواننده درباره آن شوند؛ چرا که آیرونی انواع متفاوتی دارد که در دوره های مختلف، از یونان باستان تا عصر حاضر، کابردهای گوناگونی داشته و در ن...

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