فیزیک آماری اشاره به رویکردهای آماری و احتمالاتی به مکانیک کلاسیک و مکانیک کوانتوم دارد، بنابراین از عبارت مکانیک آماری نیز به همان معنا استفاده می شود. رویکرد احتمالاتی برای سیستم های کلاسیک در مواقعی که تعداد درجات آزادی و متغیرها زیاد و حل دقیق معادلات حاکم بر سیستم دشوار و یا کلاً غیر قابل حل هستند، خیلی خوب کار می کنند. یکی از سیستم هایی که برای توصیف قوانین ترمودینامیکی آن نیاز به مکانیک آ...

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

گودل در مقاله اش بیان می دارد که شباهت هایی بین پارادوکس دروغگو و جمله مستقل ارائه شده در برهان وی وجود دارد. برهان های قضیه ناتمامیت مبتنی برصوری سازی پارادوکس بری توسط وُپِینکا، شایتین و بولوس ارایه شده اند. پارادوکس بری بر مبنای جمله «کمترین عدد صحیح که در کمتر از 90 نماد نمی توان آنرا توصیف کرد» بنا نهاده شده است؛ اما عبارت درون نقل قول، خود یک توصیف 80 نمادی است! این پارادوکس در قرن اخیر توس...

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

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

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

در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ jb (صورت صریح منطق موجه براوری ‎ kb)، ‎ jgl (صورت صریح منطق اثبات پذیری گودل لوب ‎ gl)‎ و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبا...

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

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

گودل در سال 2004 برای نخستین بار حلقه های کراندار و تماماً کراندار را تعریف کرد. در سال های 1988 تا 1997 حلقه های نوتری راست تماماً کراندار راست( fbn راست)و مدولهای روی آنها توسط هیکیانگ و کوک مینگ به طور گسترده مورد مطالعه قرار گرفتند. مفهومی از حلقه های کراندار راست توسط نویسنده های قبلی به مدولهای کراندار تعمیم داده شده است. برای دوری از تشابه اسمی مدولهی اخیر را l-کراندار می نامیم. م...