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

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

فرمالیسم کوانتوم نسبیتی-پارادوکس کلین-پلایزاسیون اسپین و چاهک

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

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

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

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