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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرور > مرور اعلام
>
مارتین لُف, پِر (منطق‌دان، فیلسوف و آماردان ریاضی سوئدی), 1942م. استکهلم، سوئد
جستجو در برای عبارت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • 1
  • تعداد رکورد ها : 2
معرفت شناسی در مقابل هستی شناسی: مقالاتی درباره فلسفه و مبانی ریاضیات به افتخار پر مارتین-لوف [کتاب انگلیسی]
نویسنده:
Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Springer,
چکیده :
ترجمه ماشینی : این کتاب فیلسوفان، ریاضیدانان و منطق دانان را گرد هم می آورد تا به مسائل مهمی در فلسفه و مبانی ریاضیات نفوذ کنند. در فلسفه، انسان به تقابل بین ساخت‌گرایی و ریاضیات کلاسیک و دیدگاه‌های هستی‌شناختی و معرفت‌شناختی متفاوتی که در این تقابل منعکس می‌شود، توجه داشته است. چارچوب اساسی غالب برای ریاضیات فعلی، منطق کلاسیک و نظریه مجموعه با اصل انتخاب (ZFC) است. اما این چارچوب مملو از مشکلات فلسفی است. یکی از برنامه‌های بنیادین جایگزین مهم که امروزه به طور فعال دنبال می‌شود، ساخت‌گرایی پیش‌بینی‌کننده مبتنی بر نظریه نوع مارتین-لوف است. مبانی فلسفی مرتبط، نظریه های معنا در سنت ویتگنشتاین، دامت، پروویتز و مارتین-لوف هستند. رابطه بین معناشناسی اثباتی-نظری در سنت گنتزن، پراویتز، و مارتین-لوف و ویتگنشتاینی یا سایر گزارش های معنا به عنوان کاربرد چیست؟ تحلیل های اثباتی-نظری در مورد دامنه و حدود ریاضیات سازنده و اعتباری چه چیزی می تواند به ما بگوید؟
مشخصات اثر
نقد راتیکاینِن بر کتاب «فلسفۀ تحلیلی چیست؟»: فلسفۀ تحلیلی چه بود؟
نویسنده:
پانو راتیکاینِن؛ ترجمۀ: علیرضا کاظمی
نوع منبع :
مقاله , نقد و بررسی کتاب
منابع دیجیتالی :
متن
وضعیت نشر :
ترجمان علوم انسانی,
چکیده :
نگاه‌های متفاوتی وجود دارد دربارۀ ماهیت فلسفۀ تحلیلی و این که دقیقاً چه کسی یک فیلسوف تحلیلیِ واقعی به شمار می‌آید. اگر دقیق‌تر نگاه کنیم، دوگانۀ تحلیلی-قاره‌ای مسلماً مشکل‌ساز است. همان‌طور که برنارد ویلیامز اشاره کرده‌است، تقسیم فلسفه به تحلیلی و قاره‌ای یک دسته‌بندی عجیب و بدون معیار واحد است. فلسفۀ تحلیلی را سنتی می‌دانند که از یک طرف از فرگه و از طرف دیگر از مور و راسل شروع شده ‌است و در کشورهای انگلیسی‌زبان رواج و غلبه دارد. پارادایم فلسفۀ تحلیلی از یک طرف پوزیتیویسم منطقی حلقۀ وین و به طور عام‌تر تجربه‌گرایی منطقی است که از دل آن برخاسته‌ است و از طرف دیگر فلسفۀ تحلیل زبانی که در کمبریج و آکسفورد رایج بوده و خویشاوند آن است.
مشخصات اثر
  • 1
  • تعداد رکورد ها : 2