یادداشتی درباره منطق سره ابتنای فاین

نویسندگان
doi
10.58209/jpt.2.1.1
چکیده

در این یادداشت استدلال می‌کنم که منطق سره ابتنای فاین چیزی جز بخش ساختاری حساب رشته‌ای منطق ربط RM نیست. این نتیجه مشکلی برای نظریه ابتنای فاین در تمایز گذاشتن میان ابتنا و استنتاج ربطی به بار می‌آورد.

کلیدواژه‌ها