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

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

ترجمه ماشینی: نویسنده با نوشتن بر توجیه برخی استنتاج‌های استقرایی، پیشنهاد می‌کند که گاهی استقراء موجه است و استدلال‌هایی برای اثبات خلاف آن متقن نیستند. در بخش اول، مسئله توجیه استقراء را بررسی می کند، به تلاش هایی برای اثبات موجه بودن آن می پردازد و به انتقادات وارده به این ادله پاسخ می دهد. در بخش دوم به مباحثی چون منطق صوری، منطق قیاسی، نظریه احتمال منطقی و احتمال و حقیقت می پردازد.

ترجمه ماشینی: این مطالعه به کار استادان تارسکی، استانیسلاو لزنیفسکی و تادئوش کوتاربینسکی نگاه می‌کند، و همه موضوعات اصلی در پژوهش تارسکی را در پرتو مفهوم فرمالیسم شهودی توسعه‌یافته مورد بازنگری قرار می‌دهد: معناشناسی، حقیقت، پارادوکس، پیامدهای منطقی.

ترجمه ماشینی: زبان، جلد. 31، شماره 1 (ژانويه - مارس، 1955)، 36-45 pp. زبان Журнал является изданием Linguistic Society of America. رابطه بین زبان شناسی و منطق در مقاله اخیر بار-هیلل مورد بحث قرار گرفته است، جایی که استدلال می شود که بی توجهی به کار در نحو منطقی و معناشناسی باعث شده است که زبان شناسان خود را بسیار محدود کنند. پرس و جوهای خود را، و به اشتباهات متعدد. به‌ویژه، بار-هیلل اظهار می‌دارد که آنها سعی کرده‌اند روابط مترادف و به اصطلاح «قواعد تبدیل»، مانند رابطه فاعل - منفعل را تنها از مطالعات توزیعی استخراج کنند، و از تکیه بر ملاحظات معنا در آن تردید داشته‌اند. تحلیل زبانی چامسکی ارتباط نحو منطقی و معناشناسی را با این مطالعه مشکوک می‌داند و اظهار می‌دارد که بررسی دقیق‌تر مفروضات و نگرانی‌های نحو منطقی و معناشناسی نشان می‌دهد که امید به استفاده از نتایج به‌دست‌آمده در این زمینه‌ها در راه حل مشکلات زبانی توهمی است

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