دو اصل مهمی که تشکیل دهندۀ پارادوکس تأیید هستند، عبارتند از: 1. اصل یا معیار نیکو؛ 2. اصل یا شرط هم ارزی؛ راه حل های مطرح شده برای حل پارادوکس تأیید نیز بر همین مبنا در دو دسته کلی قابل دسته بندی هستند: نخست ، راه حل هایی که بر رد یا اصلاح معیار نیکو مبتنی اند؛ دوم، راه حل هایی که بر رد یا اصلاح شرط هم ارزی مبتنی هستند. در مقاله حاضر، با توصیف اجمالی پارادوکس تأیید، به چهار راه حل پرداخته ایم. ...

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

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

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

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

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

در این نوشتار نخست توصیفی از سیستم استاندارد فازی به ‌عنوان نظریه‌ای دربارة ابهام طرح می‌شود؛ بدین قرار که ابتدا پشتوانه‌های شهودی این نظریه را مطابق ادعای حامیان آن مطرح می‌کنیم سپس بیانی نسبتاً صوری از سیستم استاندارد منطق فازی ارائه می‌کنیم. درادامه راه‌ حل‌های مبتنی‌بر این سیستم برای پارادوکس خرمن معرفی می‌شوند، پس از آن این سیستم در دو موضع نقد می‌شود؛ نقد نخست این است که پاسخ‌های معمول حام...

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

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

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