منطق ابتنای صوری
سخنران: داود حسینی (دانشگاه تربیت مدرس)
دوشنبه 30 مهر1403، ساعت 16 الی 18
چکیده:
طبق یک تلقی از ابتنا (که به بولتزانو و ارسطو برمیگردد)، ابتنای صوری نوعی از برهان است: برهان تبیینی (برهان لم). من سه اصل تنظیم میکنم که چنین ابتنایی باید آنها را برآورده کند: اینکه هر زیربنایی زیرفرمول (با تعریفی مناسب) از روبناست؛ ابتنای صوری صرفاً به خاطر عبارتهای منطقی برقرارند؛ و استنتاجهای منطقی در منطق ابتنای صوری تحلیلیاند. برای ابتنای ضعیف (کامل و جزئی)، بر پایۀ این اصول، سه منطق متوالی پیشنهاد میکنم: منطق گزارهای متناهیانه، منطق گزارهای نامتناهیانه و منطق مرتبۀ اول نامتناهیانه. نشان میدهم که همۀ این منطقها حذف برش و نسخهای از ویژگی زیرفرمول را دارند. در طول بحث روشن میشود که این منطقها چه تمایزهایی با سایر منطقهای شناختهشدۀ ابتنا دارند. بیش از این، برای این منطقها سمنتیکهایی جبری تنظیم میکنم و قضایای صحت و تمامیت را اثبات میکنم. یک مشخصۀ خاص منطق مرتبۀ اول پیشنهادی این است که طبیعت نامتناهیانۀ سور را بروز میدهد.
سخنرانی به صورت حضوری و به میزبانی مؤسسهی پژوهشی حکمت و فلسفهی ایران برگزار خواهد شد.
آدرس: تهران، خیابان نوفل لوشاتو، کوچه شهید آراکلیان، شماره ۴