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

ترجمه ماشینی: این مجموعه از پانزده مقاله جدید، صدمین سالگرد انتشار کتاب مهم Principia Mathematica توسط آلفرد ان. وایتهد و برتراند راسل در سال‌های 1910 تا 1913 را نشان می‌دهد. این مقالات تأثیر PM را بر توسعه منطق نمادین در قرن بیستم، فلسفه منطق راسل و برنامه او برای تقلیل ریاضیات به منطق، نظریه متمایز انواع منطقی که پاسخی به پارادوکس های منطق راسل و دیگران ارائه می دهد، مورد مطالعه قرار می دهند. کشف شده در حدود سال 1900، و همچنین جزئیات برخی از نظریه های ریاضی در سه جلد اثبات نمادین.

ترجمه ماشینی: مقدمه ای واضح، جامع و متوسط به زبان های منطقی، کاربردهای منطق نمادین در فیزیک، ریاضیات، زیست شناسی.

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

ترجمه ماشینی: کتاب تکامل منطق به بررسی روابط بین منطق و فلسفه در 150 سال گذشته می پردازد. منطق در قرن نوزدهم یک رنسانس بزرگ را تجربه کرد. کانتور تقریباً بی نهایت را رام کرد و فرگه با تقلیل ریاضیات به منطق قصد داشت کانت را تضعیف کند. این دستاوردها توسط پارادوکس هایی مانند راسل مورد تهدید قرار گرفتند. این تخمیر فلسفه (و ریاضیات) عالی را توسط فیلسوفان (و ریاضیدانان) عالی تا جنگ جهانی دوم ایجاد کرد. این کتاب تاریخچه ای منتخب و انتقادی از همکاری منطق و فلسفه در این دوره ارائه می دهد. پس از جنگ جهانی دوم، منطق ریاضی به یک رشته فرعی شناخته شده در گروه های ریاضی تبدیل شد و متأسفانه فیلسوفان ارتباط خود را با آثار تاریخی آن قطع کردند. هدف این کتاب این است که چهار مورد از آنها (ثبات و استقلال فرضیه پیوسته، مسئله پست و قضیه مورلی) را برای فیلسوفان در دسترس قرار دهد و ابزارهای لازم را برای محققان مدرن فلسفه برای تجدید گفتگوی سازنده بین منطق و فلسفه در دسترس قرار دهد.