دوره 18 (1403)
دوره 17 (1402)
دوره 16 (1401)
دوره 15 (1400)
دوره 14 (1399)
دوره 13 (1398)
دوره 12 (1397)
دوره 11 (1396)
دوره 10 (1395)
دوره 9 (1394)
دوره 8 (1393)
دوره 7 (1392)
دوره 6 (1391)
دوره 5 (1390)
دوره 4 (1389)
دوره 3 (1388)
دوره 2 (1387)
دوره 1 (1386)
نویسنده = حمید علایی نژاد
تعداد مقالات: 2
رویکرد نظریه-برهانی به مفهوم پیامد منطقی، و نقد تارسکی به آن
دوره 18، شماره 46 ، اردیبهشت 1403، ، صفحه 30-49
چکیده
بنابر تعریف نظریه-برهانی از مفهوم پیامد منطقی، جملۀ پیامد منطقی مجموعه مقدّمات محسوب میشود اگر از برهانی برای وجود داشته باشد. تارسکی استدلال میکند که با افزایش هر تعداد قاعده به نظامهای ... بیشترارزیابی نقدهای اچمندی به تحلیل تارسکی از مفهوم پیامد منطقی
دوره 16، شماره 38 ، اردیبهشت 1401، ، صفحه 505-532