تعهد وجودی - ویکی‌پدیا، دانشنامهٔ آزاد

یک تعهد وجودی، اشاره به رابطه ای بین زبان و اشیای مشخصی است که وجودشان توسط آن زبان مفروض شده‌اند. 'وجود'ی که به آن اشاره شد، لازم نیست 'واقعی' باشد، بلکه فقط در جهان سخن وجود دارد. به عنوان مثال سیستم‌های حقوقی از واژگانی استفاده می‌کنند که به «اشخاص حقوقی» اشاره می‌کنند که در واقع، موجودات اجتماعی دارای حقوق هستند. گفته می‌شود: دکترین حقوقی، دارای یک تعهد وجودی به اشیای غیر منفرد است.^[۱] در سیستم‌های اطلاعاتی و هوش مصنوعی، که در آن یک آنتولوژی به واژگان خاص و مجموعه فرضیاتی صریح دربارهٔ معنا و کاربرد آن واژگان اشاره می‌کند، پس یک تعهد وجودی، توافقی‌ست جهت استفاده از واژگان مشترک در یک چارچوب سازگار و یکپارچه درون بافتی مشخص.^[۲] در فلسفه یک «نظریه به لحاظ هستی‌شناختی متعهد است به یک شئ، اگر آن شئ در تمامی هستی‌شناختی‌های آن نظریه رخ دهد.»^[۳]

پیش‌زمینه[ویرایش]

جمله «ناپلئون یکی از اجداد من است»، ظاهراً ما را تنها به وجود دو شخص (یعنی ناپلئون و سخنران) و یک خط اصل و نسبی بین آنها متعهد می‌کند. این واقعیت که هیچ شخص یا شئ دیگری ذکر نشده، به نظر «تعهدات» جمله را محدود می‌کند. اگرچه، معروف است که جملاتی از این نوع را نمی‌توان در مرتبه اول منطق که در آن متغیرهای منفرد به اشیای منفرد اشاره می‌کنند، تعبیر کرد. در عوض، آنها باید در شکلی مرتبه دوم بازتعبیر شوند. در زبان روزمره، چنین فرم‌های مرتبه دومی یا از جمع‌های دستوری یا از عباراتی چون «مجموعه ای از» یا «گروهی از» استفاده می‌کنند.

برای نمونه، این جمله شامل ناپلئون را می‌توان به عنوان «هر گروهی از مردم که شامل من و همچنین پدر و مادر هر فرد داخل گروه، باید شامل ناپلئون باشد»، که به راحتی به عنوان یک عبارت در منطق مرتبه دوم (می‌توان به طور طبیعی با اختصاص یک نام مانند G، به گروهی از مردم که تحت بررسی اند، شروع کرد) تعبیر می‌شود. به لحاظ صوری، فرم‌های اسم جمعی مانند «گروهی از مردم» توسط متغیرهای مرتبه دوم یا متغیرهای مرتبه اول اشاره کننده به مجموعهها (که اشیایی خوش‌تعریف در ریاضیات و منطق هستند) نمایش داده می‌شوند. از آنجا که این متغیرها بر اشیاء منفرد دلالت ندارند، به نظر می‌رسد ما «به لحاظ هستی شناختی متعهد» به اشیایی بغیر از اشیای منفرد هستیم؛ مانند مجموعه‌ها، کلاس‌ها و …

تحلیل کواین[ویرایش]

ویلارد ون اورمان کواین، تدوین اولیه و تأثیر گذاری از تعهد وجودی ارائه داد:^[۴]

اگر کسی عبارتی را با استفاده از یک نام یا عبارت تکین (singular term)، یا یک عبارت اولیهٔ 'سور وجودی'، مانند «چنین و چنان چیزهایی وجود دارند»، تصدیق کند، آن شخص باید یا (۱) متعهد باشد به وجود چیزهایی که پاسخگوی عبارت تکین بوده یا توصیفات را برآورده کند، یا (۲) یک 'بازنویسی' (paraphrase) از عبارت را فراهم کند که از عبارات تکین و سورگیری روی چنین و چنان‌ها اجتناب کند.^[۵]
— Michael J. Loux & Dean W. Zimmerman، The Oxford Handbook of Metaphysics, p. 4

هدف استراتژی کواین این است که مشخص کند چگونه تعهد وجودی یک نظریه باید یافت شود. کواین معتقد بود که تنها عبارات متعهد کنندهٔ هستی‌شناختانه، متغیرهایی هستند که با یک سور مرتبه اول محدود شده‌اند، و عباراتی از زبان طبیعی که با استفاده از متغیرهای محدود شده توسط سورهای وجودی مرتبه اول، صوری سازی شده‌اند.^[۶]^[۷]

تلاشهایی برای تبیین این مطلب شده که محمولات نیز از نظر وجودی تعهدزا بوده و لذا جملات نهاد و گزاره ای، تعهدات وجودی اضافی را به اشیای انتزاعی مانند عامها، مجموعهها یا کلاسها حمل می‌کنند. پیشنهاد شده‌است که استفاده از نام‌های معنی دار در اظهارات غیروجودی مانند «پگاسوس وجود ندارد» با خود تعهدی وجودی به اشیایی خیالی مانند پگاسوس به ارمغان می‌آورد؛ معمایی که از آن بعنوان ریش افلاطون یاد می‌شود و با استفاده از سورها، از آن گریخته می‌شود.^[۸]

↑ Burkhard Schäfer (1998). "Invariance principles and the community of heirs". In N Guarino (ed.). Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy. pp. 108 ff. ISBN 9051993994.
↑ Nicola Guarino (1998). "Formal ontology and information systems". Formal Ontology in Information Systems: Proceedings of the First International Conference (FIOS'98), June 6–8, Trento, Italy. IOS Press. pp. 3 ff. ISBN 9051993994.
↑ Robert Audi, ed. (1999). "Ontological commitment". The Cambridge Dictionary of Philosophy (Paperback 2nd ed.). p. 631. ISBN 0521637228. A shortened version of that definition is as follows:
The ontological commitments of a theory are those things which occur in all the ontologies of that theory. To explain further, the ontology of a theory consists of the objects the theory makes use of. A dependence of a theory upon an object is indicated if the theory fails when the object is omitted. However, the ontology of a theory is not necessarily unique. A theory is ontologically committed to an object only if that object occurs in all the ontologies of that theory. A theory also can be ontologically committed to a class of objects if that class is populated (not necessarily by the same objects) in all its ontologies.
↑ Willard Van Orman Quine (1980). "Chapter 2: Two dogmas of empiricism". From a Logical Point of View: Nine Logico-philosophical Essays (2nd ed.). Harvard University Press. pp. 20 'ff. ISBN 0674323513. See this
↑ Michael J. Loux; Dean W. Zimmerman (2005). "Introduction". In Michael J. Loux; Dean W. Zimmerman (eds.). The Oxford Handbook of Metaphysics. Oxford Handbooks Online. ISBN 0199284229.
↑ خطای یادکرد: خطای یادکرد:برچسب <ref>‎ غیرمجاز؛ متنی برای یادکردهای با نام Quine وارد نشده است. (صفحهٔ راهنما را مطالعه کنید.).
↑ Of course, this description is not understandable unless one knows what first-order existential quantifiers are and what is meant by saying they are bound. An approachable discussion of these matters is found in Jan Dejnožka (1996). "Chapter 1: Introduction". The Ontology of the Analytic Tradition and Its Origins: Realism, Possibility, and Identity in Frege, Russell, Wittgenstein, and Quine. Rowman & Littlefield. pp. 1 ff. ISBN 0822630532.
↑ Robert J Fogelin (2004). The Cambridge Companion to Quine. Cambridge University Press. p. 36. ISBN 0521639492.

خطای یادکرد: برچسپ <ref> که با نام «Azzouni» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Baker» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «French» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Colyvan» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Gibson» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Glock» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Heil» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Henke» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Inwagen» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Inwagen2» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Peacock» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Putnam» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Quine0» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Quine2» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Quine3» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «QuineW» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Routledge» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Ryan» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Schaffer» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.
خطای یادکرد: برچسپ <ref> که با نام «Schaffer1» درون <references> تعریف شده، در متن قبل از آن استفاده نشده است.

پیوند به بیرون[ویرایش]

Bricker, Phillip. "Ontological Commitment". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
Ontological commitment, a category in Philosophical Papers maintained by Henry Laycock

[Schafer-1] Burkhard Schäfer (1998). "Invariance principles and the community of heirs". In N Guarino (ed.). Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy. pp. 108 ff. ISBN 9051993994.

[Guarino-2] Nicola Guarino (1998). "Formal ontology and information systems". Formal Ontology in Information Systems: Proceedings of the First International Conference (FIOS'98), June 6–8, Trento, Italy. IOS Press. pp. 3 ff. ISBN 9051993994.

[definition-3] Robert Audi, ed. (1999). "Ontological commitment". The Cambridge Dictionary of Philosophy (Paperback 2nd ed.). p. 631. ISBN 0521637228. A shortened version of that definition is as follows:
The ontological commitments of a theory are those things which occur in all the ontologies of that theory. To explain further, the ontology of a theory consists of the objects the theory makes use of. A dependence of a theory upon an object is indicated if the theory fails when the object is omitted. However, the ontology of a theory is not necessarily unique. A theory is ontologically committed to an object only if that object occurs in all the ontologies of that theory. A theory also can be ontologically committed to a class of objects if that class is populated (not necessarily by the same objects) in all its ontologies.

[Quine1-4] Willard Van Orman Quine (1980). "Chapter 2: Two dogmas of empiricism". From a Logical Point of View: Nine Logico-philosophical Essays (2nd ed.). Harvard University Press. pp. 20 'ff. ISBN 0674323513. See this

[Loux-5] Michael J. Loux; Dean W. Zimmerman (2005). "Introduction". In Michael J. Loux; Dean W. Zimmerman (eds.). The Oxford Handbook of Metaphysics. Oxford Handbooks Online. ISBN 0199284229.

[Quine-6] خطای یادکرد: خطای یادکرد:برچسب <ref>‎ غیرمجاز؛ متنی برای یادکردهای با نام Quine وارد نشده است. (صفحهٔ راهنما را مطالعه کنید.).

[Dejnozka-7] Of course, this description is not understandable unless one knows what first-order existential quantifiers are and what is meant by saying they are bound. An approachable discussion of these matters is found in Jan Dejnožka (1996). "Chapter 1: Introduction". The Ontology of the Analytic Tradition and Its Origins: Realism, Possibility, and Identity in Frege, Russell, Wittgenstein, and Quine. Rowman & Littlefield. pp. 1 ff. ISBN 0822630532.

[Fogelin-8] Robert J Fogelin (2004). The Cambridge Companion to Quine. Cambridge University Press. p. 36. ISBN 0521639492.

[۱]

[۲]

[۳]

[۴]

[۵]

[۶]

[۷]

[۸]