منطق موجهات کمی و ذاتگرایی
هنگامی که سورها و عملگرهای موجه با یکدیگر تعامل میکنند، منطق باید با این مسئله روبرو شود که آیا اشیاء به صورت ضروری دارای ویژگیهایی هستند – ذاتگرایی – و چگونه باید کمیتسنجی را در سراسر جهانهای ممکن تفسیر کرد.
Definition
منطق موجهات کمی، کمیتسنجی مرتبه اول را با عملگرهای موجه ترکیب میکند؛ ذاتگرایی این تز است که اشیاء برخی از ویژگیهای خود را به صورت ضروری (شیءمحور)، مستقل از نحوه توصیف آنها، دارا هستند.
Scope
این موضوع به گسترش منطق موجهات با سورها و هویت، و تعهدات متافیزیکی ناشی از آن میپردازد. این شامل فرمولهای بارکان و بارکان معکوس، انتخاب بین معناشناسی دامنه ثابت و دامنه متغیر، مسئله هویت و وجود در سراسر جهانها، اعتراضات کواین به موجهات شیءمحور (de re)، و دفاع کریپکی از ذاتگرایی و نامگذاری صلب میشود.
Core questions
- سورها و عملگرهای موجه چگونه باید با یکدیگر تعامل کنند، و آیا فرمول بارکان معتبر است؟
- آیا دامنه افراد باید در سراسر جهانها ثابت باشد یا متغیر؟
- آیا موجهات شیءمحور قابل فهم است، یا تحت اعتراضات کواین فرو میپاشد؟
- اشیاء، در صورت وجود، کدام ویژگیها را به صورت ذاتی دارند؟
Key concepts
- فرمول بارکان و معکوس آن
- دامنههای ثابت در مقابل دامنههای متغیر
- هویت فرامجهانی
- نامگذاری صلب
- موجات شیءمحور (de re) در مقابل موجهات گزارهمحور (de dicto)
- ویژگیهای ذاتی در مقابل ویژگیهای عرضی
Key theories
- ذاتگرایی و نامگذاری صلب
- کریپکی استدلال میکند که اسامی خاص، نامگذاران صلبی هستند که در هر جهان به یک شیء واحد اشاره میکنند، که این امر ادعاهای موجهاتی شیءمحور را منسجم میسازد و از حقایق ضروری در مورد منشأ و ساختار حمایت میکند.
- نقد کواین بر موجهات شیءمحور
- کواین استدلال میکند که کمیتسنجی در بافتهای موجهاتی نامفهوم است زیرا جایگزینی عبارات همارجاع میتواند ارزش صدق را تغییر دهد، بنابراین ذاتگرایی مستلزم تمایزی اعتراضآمیز بین ویژگیهای ضروری و عرضی یک شیء خواهد بود.
History
روث بارکان مارکوس منطق موجهات کمی را در سالهای 1946-1947 آغاز کرد، نتایجی را در مورد هویت اثبات کرد و فرمول بارکان را معرفی نمود. کواین کل این رویکرد را به دلیل تعهد به ذاتگرایی نامفهوم مورد حمله قرار داد، اما کتاب «نامگذاری و ضرورت» (1980) کریپکی، موجهات شیءمحور را از طریق نامگذاری صلب و ضرورت هویت احیا کرد و ذاتگرایی را دوباره قابل احترام ساخت.
Debates
- آیا موجهات شیءمحور منسجم است؟
- اینکه آیا نسبت دادن ویژگیهای ضروری به اشیاء مستقل از توصیف، قابل فهم است، همانطور که نامگذاری صلب کریپکی دلالت دارد، یا اینکه کواین حق دارد که چنین گفتاری مستلزم ذاتگرایی غیرقابل دفاعی است.
Key figures
- Ruth Barcan Marcus
- Saul Kripke
- W. V. O. Quine
- Alvin Plantinga
- David Kaplan
Related topics
Seminal works
- barcan1947
- quine1953reference
- kripke1980
Frequently asked questions
- فرمول بارکان چیست؟
- فرمول بارکان بیان میکند که اگر ممکن است چیزی F باشد، پس چیزی وجود دارد که به طور ممکن F است – سور وجودی را به خارج از عملگر امکان منتقل میکند. این فرمول و معکوس آن در معناشناسی دامنه ثابت معتبر هستند اما زمانی که دامنهها در سراسر جهانها متفاوت باشند، نامعتبر میشوند، به همین دلیل بر این مسئله تأثیر میگذارند که آیا افراد یکسان در هر جهان ممکن وجود دارند یا خیر.