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

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

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

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

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

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

یکی از پرسشهایی که امروزه برای فیلسوفان تحلیلی مطرح است پرسش از نسبت میان قضایای پیشین (a priori) و پسین (a posteriori) از یک سو و قضایای ضروری (necessary) و ممکن (contingent) از سوی دیگر است تا چندی پیش یک پاسخ نسبتا رایج به این پرسش آن بود که همه قضایای ضروری پیشین اند (و بالعکس) و همه قاضای ممکن پسین اند (و بالعکس) اما در اسلهای اخیر برخی از فیلسوفان معاصر از جمله سول کریپکی با این دیدگاه ...

یکی از پرسشهایی که امروزه برای فیلسوفان تحلیلی مطرح است پرسش از نسبت میان قضایای پیشین (a priori) و پسین (a posteriori) از یک سو و قضایای ضروری (necessary) و ممکن (contingent) از سوی دیگر است تا چندی پیش یک پاسخ نسبتا رایج به این پرسش آن بود که همه قضایای ضروری پیشین اند (و بالعکس) و همه قاضای ممکن پسین اند (و بالعکس) اما در اسلهای اخیر برخی از فیلسوفان معاصر از جمله سول کریپکی با این دیدگاه ...

در میان فلاسفة اسلامی معاصر، محمد تقی مصباح یزدی در باب تعریف قضایای تحلیلی نظریه پردازی کرده است. مقالة حاضر که پژوهشی است پیرامون نظریة وی در باب تعریف قضایای تحلیلی، از دو بخش تشکیل می شود؛ در بخش اول ابتدا «تعریف اولیه» قضیة تحلیلی را که برگرفته از آثار مکتوب محمدتقی مصباح یزدی است ارائه می کنیم، سپس مثال هایی را که وی قضیة تحلیلی می داند به بحث می گذاریم و استدلال می کنیم که نمی توان این ق...

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