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

ترجمه ماشینی: مقاله‌های این جلد بر اساس آدرس‌هایی است که در خلال یک کنفرانس درباره منطق آزاد، منطق مدال و حوزه‌های مرتبط در دانشگاه کالیفرنیا در ایروین، در ماه مه 1968 برگزار شد. یکی از شماره‌های اخیر Synthese به افتخار دبلیو وی کواین، همه سخنرانان کنفرانس ایروین در این جلد مشارکت دارند. از پروفسور A. I. Melden، رئیس دپارتمان فلسفه در ایروین، به خاطر حمایت مشتاقانه وی از کنفرانس، و از Dr. گوردون بریتان و دانیل دنت به خاطر کمکشان در اداره کلوکیوم. سرانجام. من همچنین می‌خواهم از پروفسور رالف دبلیو جرارد، رئیس بخش فارغ‌التحصیلان دانشگاه کالیفرنیا در اروین، برای حمایت مالی که امکان برگزاری کنفرانس را فراهم کرد، تشکر کنم. KAREL LAMBERT لاگونا بیچ، کالیفرنیا، 1969 فهرست مطالب مقدمه V KAREL LAMBERT و BAS C. VAN FRAASSEN/ روابط معنی، اشیاء ممکن، و جهان های ممکن 1 JAAKKO HINTIKKA / پیش فرض های وجودی محاسبات محمول معین 56 H. LEBLANC و R. K. MEYER / معناشناسی ارزش-حقیقت برای نظریه انواع 77 J. M. VICKERS / احتمال و منطق غیر استاندارد 102 PETER W. WOODRUFF / شکاف های ارزش منطقی و حقیقت 121 DANA SCOTT3NDEX / اسامی 175 KAREL LAMBER T AND BAS C.

ترجمه ماشینی: منطق آزاد رشته مهمی از منطق فلسفی است که اولین بار در دهه 1950 ظاهر شد. J. Karel Lambert یکی از بنیانگذاران آن بود و این اصطلاح را ابداع کرد. مقالات این مجموعه (نوشته شده در یک دوره 40 ساله) به بررسی مبانی فلسفی منطق آزاد و کاربرد آن در حوزه‌های گوناگونی مانند فلسفه دین و علوم رایانه می‌پردازد. این مجموعه مجموعه‌ای از آثار مهم را مورد توجه نسل جدیدی از فیلسوفان حرفه‌ای، دانشمندان کامپیوتر و ریاضیدانان قرار می‌دهد.