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

در این پایان‏نامه نگاشت‏های نستر-‏کوراتفسکی‏-مازورکویچ ( kkm) وقضایای آن در فضاهای متریک ابر‏محدب، -‏فضاهای متریک و فضاهای متریک ابر‏محدب نافشرده برای نگاشت‏های چند مقداری بررسی شده‏است. همچنین قضایای نقطه ثابت برای این فضاها مورد بررسی قرار گرفته‏است و در نهایت کاربردهای این قضایا بیان شده‏است.

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

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

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

دراین رساله ابتدا بحثی پیرامون قضایای حمیله و تقسیم بندی آن (به لحاظ موضوع) صورت گرفته و سپس تعاریف قضایای ثلاث را از کتب علماء منطق استقصاء نموده و ضمن نقد و بررسی آنها به اشکالاتی که متوجه تقسیم بندی و تعاریف این قضایاست پرداخته شده سپس مناطصدق قضایای ثلاث از دیدگاه فلاسفه اسلامی و آنگاه بحث تطبیقی در مورد مناط صدق (بین نظرات comespondence و cohorece و ...) صورت گرفته است .

روابط متعددی برای تعیین توان باربری فونداسیون ها توسط روش های متنوعی قابل محاسبه است. به عنوان مثال الف) روش خطوط مشخصه ی تنش، ب) روش تعادل حدی، ج) استفاده از قضایای حد بالا و حد پایین در آنالیز حدی و د) روش اجزای محدود. از جمله اولین تحلیل ها و روابط می توان به تحقیقات prandtl (1920) و reissner (1924) اشاره نمود. در این ارتباط، فرض قانون جریان همراه جهت ساده سازی مسایل پلاستیسته به طور عموم پذ...

در این پایاننامه، اثبات های جدیدی از قضیه ناتمامیت که در دهه 1990 به دست آمده اند، ارایه می شود، به طوری که در آن ها از لم قطری سازی برای ساختن یک جمله مستقل استفاده نمی شود.

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