حاملهای صدق و صدقسازها
چه چیزهایی صادق یا کاذب هستند و چه چیزی در جهان آنها را چنین میکند؟ نظریه حامل صدق و صدقساز به دو سوی رابطه صدق میپردازد.
Definition
حامل صدق موجودیتی است که قابلیت صادق یا کاذب بودن را دارد (بهطور نمونه یک محتوای گزارهای)؛ صدقساز موجودیتی در جهان است که وجود آن، صدق یک حامل صدق معین را ضروری میسازد.
Scope
این موضوع دو پرسش مرتبط در متافیزیک صدق را پوشش میدهد. پرسش حامل صدق میپرسد که کدام موجودیتها — جملات، گزارهها، باورها یا محتواهای گزارهای — حاملهای اصلی ارزشهای صدق هستند. پرسش صدقساز میپرسد که چه چیزی، اگر چیزی باشد، در واقعیت یک صدق را مبنا قرار میدهد: حالات امور، واقعیتها، تروپها یا اشیاء. این موضوع به اصل صدقساز (هر صدقی یک صدقساز دارد)، ماکسیمالیسم صدقساز و مشکلات آن (وجودهای منفی، کلیات)، و رابطه بین صدقسازی و نظریه مطابقت میپردازد.
Core questions
- حاملهای اصلی ارزش صدق چه چیزهایی هستند؟
- آیا هر صدقی به یک صدقساز نیاز دارد و از چه نوعی؟
- چگونه صدقهای منفی و کلی میتوانند صدقساز داشته باشند؟
- آیا صدقسازی صرفاً مطابقت با نامی جدید است یا یک رابطه متمایز؟
Key concepts
- حاملهای صدق (محتواهای گزارهای، جملات، باورها)
- صدقسازها (واقعیتها، حالات امور، تروپها)
- اصل صدقساز و ماکسیمالیسم
- ضرورتبخشی
- وجودهای منفی
- فروپایه بودن صدق بر هستی
Key theories
- نظریه صدقساز
- آرمسترانگ از ماکسیمالیسم صدقساز — هر صدقی یک صدقساز دارد — دفاع میکند و استدلال میکند که صدقسازها حالات اموری هستند که وجودشان صدقهای مربوطه را ضروری میسازد و مبنای هستیشناختی برای صدق فراهم میکند.
- صدقسازی به عنوان ضرورتبخشی در مقابل ارتباط
- لوئیس حسابهای ضرورتبخشی سختگیرانه را زیر سوال میبرد و پیشنهاد میکند که صدقسازی از طریق ایجاد تفاوت یا منابع نظریه همتا بهتر درک میشود تا از مشکلات بیاهمیتکننده برای صدقهای ضروری جلوگیری شود.
History
نظریه صدقساز از اتمیسم منطقی راسل و کارهای هوسرلی رشد کرد، در سال ۱۹۸۴ توسط مولیگان، سایمونز و اسمیت نامگذاری و نظاممند شد، و در سال ۲۰۰۴ توسط آرمسترانگ بهطور مستمر دفاع شد. بحثها بر سر وجودهای منفی و حقایق ضروری، و پیشنهاد لوئیس در مورد ایجاد تفاوت، رابطه صدقساز را پالایش کردند.
Debates
- ماکسیمالیسم صدقساز و صدقهای منفی
- اینکه آیا هر صدقی، از جمله وجودهای منفی مانند «تکشاخ وجود ندارد»، به یک صدقساز نیاز دارد، و اگر چنین است، چه چیزی میتواند یک صدق منفی را صادق کند بدون اینکه واقعیتهای منفی مشکوک یا حالات کلیت را فرض کند.
Key figures
- D. M. Armstrong
- Kevin Mulligan
- Peter Simons
- Barry Smith
- David Lewis
Related topics
Seminal works
- mulligan1984
- armstrong2004
Frequently asked questions
- آیا حاملهای صدق جملات هستند یا محتواهای گزارهای؟
- بسیاری از فیلسوفان محتواهای گزارهای — محتوای انتزاعی بیان شده توسط جملات — را حاملهای اصلی صدق میدانند، زیرا یک محتوای گزارهای واحد میتواند توسط جملات مختلف در زبانهای مختلف بیان شود. جملات و باورها سپس به صورت مشتق، به واسطه محتوای گزارهای که بیان یا باور دارند، صادق تلقی میشوند.