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

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

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

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

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

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

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

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

این پژوهش به بررسی کاربرد های متناقض نمایی در دو بخش زبانی و معنایی در سه کتاب حدیقه ی سنایی ، منطق الطیر عطّار و مثنوی مولوی به عنوان بخشی از ادب عرفانی فارسی پرداخته است.در این پژوهش کتابخانه ای، مجموعاً 42000 بیتِ کتب فوق، بررسی و تجزیه و تحلیل شد و این نتیجه به دست آمد که از میان 42000 بیت بررسی شده ،حدود ??33 بیت (پنج درصد کلِّ ابیات ) دارای متناقض نمایی زبانی و معنایی بوده است.با تحلیل این پنج...