داود حسینی
چکیده
چکیده: کیت فاین منطقی برای چهار مفهوم متمایز ابتنا بنا نهاده است: ابتنای ضعیف تام، ابتنای ضعیف جزئی، ابتنای اکید تام و ابتنیا اکید جزئی. همچنین، او مدعی است که ابتنای ضعیف تام و اکید تام هر یک میتوانند مفهوم پایه قرار گیرند و سایر مفاهیم ابتنا با آنها تعریف شود. مشخصاً او مدعی است که میتوان ابتنای ضعیف تام و ابتنای اکید تام را با یکدیگر ...
بیشتر
چکیده: کیت فاین منطقی برای چهار مفهوم متمایز ابتنا بنا نهاده است: ابتنای ضعیف تام، ابتنای ضعیف جزئی، ابتنای اکید تام و ابتنیا اکید جزئی. همچنین، او مدعی است که ابتنای ضعیف تام و اکید تام هر یک میتوانند مفهوم پایه قرار گیرند و سایر مفاهیم ابتنا با آنها تعریف شود. مشخصاً او مدعی است که میتوان ابتنای ضعیف تام و ابتنای اکید تام را با یکدیگر تعریف کرد. برای این منظور، او پیشنهادی برای تعریف هر یک از این مفهوم ابتنا بر پایۀ دیگری ارائه کرده است. طبق این تعریفها، ابتنای اکید تام ابتنای ضعیف تام برگشتناپذیر است و ابتنای ضعیف تام چیزی نیست جز حفظ ابتنای اکید تام. در اینجا استدلال میکنم که این تعریفهای دوطرفه دچار اشکال هستند. استراتژی من این است که ابتدا دو معنای متفاوت از تعریفپذیری دوطرفه برای دو مفهوم دلخواه را از هم تفکیک میکنم: اینکه در یک سیستم منطقی، دوشرطیهای مناسبی شامل این دو مفهوم قضیه باشند؛ اینکه بتوان سیستم منطقیای برای هر یک طراحی کرد که رفتار دیگری در آن قابل بازسازی باشد. سپس، برای هر یک از این معناهای تعریفپذیری دوطرفه، نشان میدهم که چرا دستکم یکی از دو مفهوم ابتنای ضعیف و اکید را نمیتوان بر پایۀ دیگری تعریف کرد. نتیجۀ این پژوهش یک گزارۀ فصلی است: یا این دو مفهوم به شکل دیگری که شناخته شده نیست با یکدیگر قابل تعریف هستند یا هر دو پایه هستند.