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

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

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

ترجمه ماشینی: موسسه حلقه وین کنفرانسی را در سال 2003 در وین، کمبریج و وین - فرانک پی رمزی و حلقه وین، برای بزرگداشت کار فلسفی و علمی فرانک پلامپتون رمزی (1903-1930) برگزار کرد. این کنفرانس رمزی نه تنها دیدگاه‌های تاریخی و زندگی‌نامه‌ای را در مورد یکی از با استعدادترین متفکران قرن بیستم ارائه کرد، بلکه انگیزه‌های جدیدی برای تحقیقات بیشتر در مورد حداقل برخی از موضوعاتی که رمزی پیشگام بود، که علاقه و پتانسیل آن بیش از همیشه است، ارائه کرد. کارهای پیشگامانه ای در چندین زمینه انجام داد که دست اندرکاران آن به ندرت از کارهای مهم او در زمینه های دیگر اطلاع دارند: فلسفه منطق و نظریه زبان، مبانی ریاضیات، ریاضیات، نظریه احتمالات، روش شناسی علم، فلسفه روانشناسی و اقتصاد. تمرکز بر موضوعی بود که بیشترین نگرانی را برای رمزی و دایره وین داشت، یعنی مسئله مبانی ریاضیات، به ویژه وضعیت منطق گرایی. اگرچه ارتباط علمی عمده ای که رمزی را با اتریش مرتبط می کند، کار او در زمینه منطق است. ، که حلقه وین جلسات متعددی را به آن اختصاص داد، مطمئناً ارتباطی که بیشتر مورد توجه عموم است، مربوط به دیدارها و گفتگوهای رمزی با ویتگنشتاین است. رمزی تنها متفکر مهمی بود که ویتگنشتاین را در طول دوران تدریس خود در مدرسه در پوچبرگ و اوترتال در دهه 1920 در اتریش سفلی ملاقات کرد. و بعدها رمزی در به دست آوردن موقعیت های ویتگنشتاین در کمبریج نقش اساسی داشت.

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