دوره 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
رویکرد نظریه-برهانی به مفهوم پیامد منطقی، و نقد تارسکی به آن
مقالات آماده انتشار، پذیرفته شده، انتشار آنلاین از تاریخ 21 خرداد 1401
چکیده
بنابر تعریف نظریه-برهانی از مفهوم پیامد منطقی، جملۀ X پیامد منطقی مجموعه مقدّمات Γ محسوب می‌شود اگر از Γ برهانی برای X وجود داشته باشد. تارسکی استدلال می‌کند که با افزایش هر تعداد قاعده به نظام‌های ... بیشتر
ارزیابی نقدهای اچمندی به تحلیل تارسکی از مفهوم پیامد منطقی
دوره 16، شماره 38 ، اردیبهشت 1401، ، صفحه 505-532