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