آیا رمزی سازی واقع گرایی ساختاری را بی معنی می کند؟(مقاله علمی وزارت علوم)
منبع:
منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷)
147 - 172
حوزههای تخصصی:
رمزی سازی یکی از روش هایی است که فلاسفه درمورد صوری سازی واقع گرایی ساختاری پیشنهاد کرده اند. کتلند (2004) ضمن ارائه توضیحاتی درمورد رمزی سازی نظریه ها و بیان مفاهیمی مرتبط با این روش، صورت بندی ای از مسئله نیومن ارائه می کند، و معتقد است که براساس بررسی و تحلیل او تقریباً می توان گفت که بیان نظریه به روش رمزی علاوه بر کفایت تجربی تنها عدد اصلی هویات جهان را به دست می دهد. در این مقاله، ضمن معرفی صورت بندی دقیق تری از بیان کتلند درمورد مسئله نیومن، تلاش می شود که استدلال او مورد مداقه قرار گیرد. به علاوه تبیینی از مسئله ارتباط ساختاری نظریه و جهان بیان خواهد شد، این کار براساس تعاریفی صورت می پذیرد که به نوعی با وام گیری از تعاریف کتلند ارائه می شوند؛ ازجمله تعریف «ساختار به طورمتافیزیکی درست»، «ساختار به طورمتافیزیکی و به طورجزئی درست»، و همچنین تعریفی از مفهوم صدق تقریبی که توجیه آن برمبنای استدلال براساس بهترین تبیین صورت گرفته است. با توضیحاتی که خواهد آمد، به نظر می رسد بتوان تلقی قابل قبول و معقولی از واقع گرایی ساختاری ارائه کرد.