جستجوي پيشرفته | کتابخانه مجازی الفبا

جستجوي پيشرفته | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
جستجو در برای عبارت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 54 
1 2 3 4 5
ناتمامیت: اثبات و پارادوکس کرت گودل [کتاب انگلیسی]
نویسنده:
ربکا گلدستین
نوع منبع :
کتاب
منابع دیجیتالی :
وضعیت نشر :
W. W. Norton & Company ,
چکیده :
بی‌تردید "کرت گودل" به عنوان بزرگ‌ترین منطق‌دان قرن بیستم شناخته شده است، هوش و استعداد بی‌همتای او بیشترین تأثیر خود را در قضیه‌ٔ ناتمامیت نشان داد که در سن ...  ۲۵ سالگی توانست آن را اثبات کند. گودل، که به دلیل کنجکاوی‌های بی‌پایانش به «آقای چرا» مشهور بود، در سن ۱۸ سالگی شروع به تحصیل در دانشگاه وین کرد. او در رشتهٔ ریاضیات دانشگاهی ماهر بود و اصرار داشت تا در زمینهٔ فیزیک نظری تحصیل کند، اما در عین حال در کلاس‌های فلسفه و ریاضی شرکت می‌کرد. گودل کتاب «اصول مابعدالطبیعی علوم طبیعی» از کانت را مطالعه کرده بود. پس از شرکت در جلساتی که در آن‌ها موریتس شلیک کتاب «مقدمه‌ای بر فلسفه‌ی ریاضی» اثر برتراند راسل را می‌خواند، به منطق ریاضی علاقه‌مند شد و آن را به عنوان علمی مقدم بر سایر علوم قلمداد کرد. در سال ۱۹۲۹، هنگامی که ۲۳ سال داشت، در پایان‌نامهٔ دکترا خود قضیهٔ تمامیت حساب محمولات مرتبهٔ اول را اثبات کرد. دو سال بعد، قضایای ناتمامیت را در وین منتشر کرد. او اثبات کرد که برای هر نظام "اصل"، قابل محاسبه است. کتاب حاضر به این موضوع می‌پردازد.   بیشتر
1 2 3 4 5
ناتمامیت: اثبات و پارادوکس کرت گودل
نویسنده:
ربکا گلدستین؛ ترجمه: رضا امیر رحیمی
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
منابع دیجیتالی :
وضعیت نشر :
تهران: نیلوفر ,
1 2 3 4 5
گودل، اشر، باخ: بافته‌ی گرانسنگ ابدی [کتاب انگلیسی]
نویسنده:
داگلاس‌ آر هافستدر
نوع منبع :
کتاب
منابع دیجیتالی :
وضعیت نشر :
Basic Books ,
چکیده :
Douglas Hofstadter’s book is concerned directly with the nature of "maps" or links between formal systems. However, according to Hofstadter, the formal system ...  that underlies all mental activity transcends the system that supports it. If life can grow out of the formal chemical substrate of the cell, if consciousness can emerge out of a formal system of firing neurons, then so too will computers attain human intelligence. Gödel Escher and Bach is a wonderful exploration of fascinating ideas at the heart of cognitive science: meaning, reduction, recursion, and much more.   بیشتر
1 2 3 4 5
گودل، اشر، باخ: بافته‌ی گرانسنگ ابدی
نویسنده:
داگلاس‌ آر هافستدر؛ ترجمه: مرتضی خزانه‌ داری
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
تهران: مرکز,
چکیده :
کتاب داگلاس هوفشتارد، یعنی گودل، اشر، باخ کتابی در مورد هوش و هوش مصنوعی است. اینکه چگونه موجودی زنده می تواند از موجودی غیرزنده به وجود آید. کتاب در مورد مبح... حثی به نام سیستم رسمی بحث می کند. طبق گفته هوفشتارد، سیستم رسمی که زیربنای کلیه فعالیتهای ذهنی است از سیستم پشتیبانی کننده آن فراتر می رود. اگر زندگی بتواند از زیر لایه شیمیایی رسمی سلول رشد کند ، اگر هوشیاری بتواند از سیستم رسمی شلیک سلول های عصبی خارج شود ، بنابراین کامپیوترها نیز به هوش انسان دست پیدا می کنند. گودل ، اشر ، باخ کاوش شگفت انگیزی از ایده های جذاب در قلب علوم شناختی است: معنی ، کاهش ، بازگشت و موارد دیگر. گودل، اشر، باخ که همچنین به عنوان GEB شناخته می شود ، کتابی با کاوش در موضوعات مشترک زندگی و آثار منطق دان کرت گودل ، هنرمند و نقاش موریس اشر و آهنگساز یوهان سباستین باخ ، مفاهیم اساسی ریاضیات ، تقارن و هوش را بیان می کند. از طریق تصویرگری و تجزیه و تحلیل ، این کتاب بحث می کند که چگونه سیستم ها می توانند از طریق ارجاع به خود و قوانین رسمی ، علی رغم اینکه از عناصر "بی معنی" ساخته شده اند ، معنی پیدا کنند. همچنین در مورد معنای برقراری ارتباط ، چگونگی نمایش و ذخیره دانش ، روشها و محدودیتهای نمایش نمادین و حتی مفهوم اساسی معنی "خود" بحث می کند. در پاسخ به گیجی در مورد موضوع کتاب ، هوفشتارد تأکید کرد که گودل ، اشر ، باخ در مورد روابط ریاضیات ، هنر و موسیقی نیست - بلکه در مورد چگونگی ظهور شناخت از مکانیسم های عصبی پنهان است. یک نکته در کتاب تشبیهی را در مورد چگونگی هماهنگی تک تک سلولهای عصبی مغز برای ایجاد یک احساس واحد از ذهن منسجم است که از طریق مقایسه آن با کلونی مورچه ها توضیح داده شده است.   بیشتر
1 2 3 4 5
جامع الأفکار و ناقد الأنظار المجلد 1
نویسنده:
محمدمهدی بن ابي ذر نراقی؛ مصحح: مجید هادی زاده
نوع منبع :
کتاب , نقد دیدگاه و آثار(دفاعیه، ردیه و پاسخ به شبهات)
منابع دیجیتالی :
وضعیت نشر :
تهران: انتشارات حکمت,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
كتاب «جامع الأفکار و ناقد الأنظار»، مفصل‌ ترين و كامل‌ ترين كتاب محمد مهدی نراقی است كه درباره توحيد نوشته شده است. نراقى اين كتاب را در سال 1193 ق؛ يعنى در او... وج اقتدار علمى و توان نويسندگى خود نگاشته است، از اين‌ رو آراء حكماء و متكلمين متقدم؛ همچون فارابى، شيخ بهمنيار، شيخ اشراق، خواجه طوسى، قوشجى، خضرى و نسفى را مورد نقد و بررسى قرار داده است. او گرچه در كتاب خود به تفصيل سخن گفته، اما مسائلى باعث شده‌ اند در مباحث پايانى كتاب، از نقل و بررسى اقوال ديگران چشم‌ پوشى كند. مسائل و مصائبى؛ مانند ناامنى پديد آمده از فوت سلطان عصر، بيمارى عمومى، هجرت از وطن مأنوف، دورى از اولاد و... كه مصنف در خاتمه به تلخى از آن ها ياد مى‌ كند. مولف وجه تسميه اين كتاب را جامعيت آن بر افكار الهى و نقد آن ها بيان مى‌ كند. به خصوص نقد آرائى كه متعلق است به حواشى به كتاب شرح جديد قوشجى بر كتاب تجريد الاعتقاد خواجه. به طور كلى كتاب از سه مقدمه و دو مقاله در دو جلد تشكيل يافته است. عناوين جلد اول عبارتند از: مقدمه اول: در اين مقدمه آراء اشاعره را در ترجّح مساوى و مرجوح، رد مى‌ كند. مقدمۀ دوم: در مقدمه دوم مولف قاعدۀ ما لم يجب لم يوجد را اثبات مى‌ كند. مقدمۀ سوم: مولف در مقدمه سوم كه مفصل‌ تر است، موجود شدن ممكن را بدون علت يا به اولويت ذاتى و يا خارجى مورد نقد قرار مى‌ دهد و اثبات مى‌ كند كه هر ممكن نياز به علتى دارد. مقالۀ اول: مولف در مقاله اول واجب الوجود لذاته را به سه مسلك كه مسلك حكما، متكلمين و مسلك اهل كشف مى‌ باشد، اثبات مى‌ كند.   بیشتر
1 2 3 4 5
نقد سه استدلال گودلی در فلسفه ذهن
نویسنده:
محمدصالح زارع پور، محمدعلی حجتی
نوع منبع :
مقاله , نقد دیدگاه و آثار(دفاعیه، ردیه و پاسخ به شبهات) , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیه گودل و نتایج آن استفاده کرده اند. در فلسفه ذهن استدلالات مبتنی بر قضیه گودل را استدلالات گود... دلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخشی از آن مردود است، (ب) استدلال لوکاس به کلی مردود است، و (پ) بخشی از استدلال پنروز مقبول و بخشی از آن مشکوک است.   بیشتر
صفحات :
از صفحه 33 تا 47
1 2 3 4 5
گودل؛ از نسبیت تا ایدئالیسم سازگاری نسبیت آینشتاین با فلسفه کانت در باب مسئله زمان
نویسنده:
علی اکبر احمدی افرمجانی، امیر نعیمی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
طرح نظریه نسبیت آینشتاین، فیزیک نیوتنی را با دشواری های فراوانی روبرو کرد، چنان که برای اصلاح آن چاره ای نماند جز کنار گذاشتن و یا اصلاح برخی از بنیادی ترین مف... فاهیم، از جمله زمان و مکان. بسیاری بر این باورند که نسبیت ضربات جبران ناپذیری نیز بر فلسفه کانت وارد آورده است. با این همه، کسانی مانند کورت گودل (Kurt Godel) کوشیده اند نسبیت را به گونه ای بخوانند که نه تنها به تناقض با فلسفه کانت نینجامد، بلکه تاییداتی نیز از برای آن فراهم آورد. مقاله حاضر شرح و بررسی کوشش گودل است برای همسو کردن نسبیت و فلسفه کانت در باب «زمان»، و نیز ملاحظاتی در باب اینکه چگونه طرح مساله «زمان» در نسبیت می تواند به جانبداری از ایدئالیسم بینجامد. در پایان، کوشش گودل برای همسو کردن کانت به کنار گذاشتن تصلب چارچوب های کانتی در فرایند شناخت و پیشنهاد حذف فرض ناشناختنی بودن شی فی نفسه می انجامد.   بیشتر
صفحات :
از صفحه 119 تا 142
1 2 3 4 5
پیامدهای فلسفی قضایای گودل
نویسنده:
سیدمجید ظهیری
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه امام صادق (ع),
چکیده :
در این مقاله، تاثیرات قضایای ناتمامیت اول و دوم گودل، پس از تبیینی کوتاه، در برخی فلسفه های مضاف، از جمله فلسفه ریاضیات و فلسفه ذهن، و نیز بر علیه مادی گرایی و... و پوزیتیویسم مورد بررسی و تحلیل قرار گرفته است.تاثیر قضایای گودل در فلسفه ریاضیات، در سه حوزه منطق گرایی، صورت گرایی و سرشت برهان بررسی شده است.در حوزه فلسفه ذهن، به تاثیر قضایای گودل در براهین ضد ماشین انگار اشاره شده است.   بیشتر
صفحات :
از صفحه 117 تا 132
1 2 3 4 5
بررسی انتقادی نظریه علی ارجاع اونز در باب نام های خاص
نویسنده:
امید کریم زاده
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه امام صادق (ع),
چکیده :
در این مقاله، ابتدا خلاصه ای از نظریه های مربوط به دلالت نام های خاص در زبان را بررسی می کنیم و سپس نظریه علی نام های خاص اونز را مطرح خواهیم کرد. از آنجا که ن... نظریه اونز، از نظریه های علی و نظریه های وصفی نام های خاص، به یکسان نسب برده است، آشنایی اجمالی با این نظریه ها برای فهم نظریه اونز سودمند خواهد بود. در بخش مربوط به نظریه های وصفی، نظریه های فرگه و راسل؛ و در بخش مربوط به نظریه های علی، نظریه های میل و کریپکی، به طور مختصر بحث خواهند شد. پس از شرح نظریه علی اونز و بیان امتیاز آن بر نظریه کریپکی، انتقادات وارد بر نظر اونز را بررسی خواهیم کرد.   بیشتر
صفحات :
از صفحه 107 تا 130
1 2 3 4 5
وجود خدا: درآمدی فلسفی [کتاب انگلیسی]
نویسنده:
Yujin Nagasawa (یوجین ناگاساوا)
نوع منبع :
کتاب
منابع دیجیتالی :
وضعیت نشر :
Routledge,
چکیده :
ترجمه ماشینی: آیا خدا وجود دارد؟ دلایل مختلفی که به دنبال اثبات وجود خدا هستند چیست؟ آیا آتئیست ها می توانند این استدلال ها را رد کنند؟ وجود خدا: مقدمه ای فلسف... فی به ارزیابی استدلال های کلاسیک و معاصر در مورد وجود خدا می پردازد: برهان هستی شناختی، معرفی ماهیت هستی، جهان های ممکن، ایرادات تقلیدی، و منشأ تکاملی مفهوم خدا، برهان کیهانی، بحث متافیزیکی. پارادوکس‌های بی‌نهایت، مدل‌های علمی جهان، و بحث‌های فیلسوفان درباره واقعیت نهایی و معنای زندگی، بحث طراحی، پرداختن به راه پنجم آکویناس، نظریه تکامل داروین، مفهوم پیچیدگی غیرقابل تقلیل، و بحث‌های کنونی بر سر طراحی هوشمند و تحصیلات مدرسه ای. یوجین ناگاساوا با به‌روزرسانی کامل موضوع، این استدلال‌ها را در رابطه با تحقیقات اخیر در علوم شناختی، ریاضیات بی‌نهایت، کیهان‌شناسی انفجار بزرگ، و بحث‌هایی درباره اخلاق و اخلاق در پرتو رویدادهای سیاسی و اجتماعی معاصر توضیح می‌دهد. این کتاب همچنین شامل بینش های شگفت انگیزی در مورد احساسات، اعتقادات و مبارزات فیلسوفان و دانشمندانی است که با چالش اثبات وجود خدا روبرو شده اند، از جمله توماس آکویناس و کورت گودل - که در پایان کار خود به عنوان یک ریاضیدان مشهور کار می کرد. در یک پروژه مخفی برای اثبات وجود خدا. وجود خدا: یک مقدمه فلسفی دروازه ای ایده آل برای ورود به فلسفه دین و یک نقطه شروع عالی برای هر کسی است که علاقه مند به استدلال در مورد وجود خدا است.   بیشتر
  • تعداد رکورد ها : 54