موجودات انتزاعی: اعداد، مفاهیم و موجودات غیرمادی

پرسشی ساده اما گیج‌کننده را در نظر بگیرید: آیا عدد ۷ وجود دارد؟ در نگاه نخست، پاسخ روشن به نظر می‌رسد. البته که وجود دارد؛ ما هر روز از آن استفاده می‌کنیم، در محاسبات به کار می‌بریم و کل ریاضیات بر آن استوار است. اما لحظه‌ای درنگ کنید. عدد ۷ را کجا می‌توانید پیدا کنید؟ آیا می‌توانید آن را لمس کنید، ببینید یا بشنوید؟ آیا می‌توانید آن را در جایی قرار دهید یا وزنش را اندازه بگیرید؟

البته، می‌توانید عددِ نوشته‌شده‌ی «۷» را روی کاغذ ببینید. اما آن، تنها یک نماد است؛ یک شکل مرکب رنگی روی کاغذ. خودِ عدد ۷، یعنی آن چیزی که این نماد به آن اشاره می‌کند، در هیچ مکانی قرار ندارد و از هیچ ماده‌ای ساخته نشده است. اگر تمام کاغذها و نمادها را از میان ببرید، آیا عدد ۷ نابود می‌شود؟ به نظر می‌رسد که نه.

اینجاست که با یکی از عمیق‌ترین و شگفت‌انگیزترین معماهای فلسفه روبه‌رو می‌شویم: معمای موجودات انتزاعی (Abstract Objects).

عدد ۷ تنها نمونه‌ای از دسته‌ی گسترده‌ای از موجودات مرموز است. مفاهیمی مانند «عدالت»، «مثلث» به‌عنوان یک شکل هندسی آرمانی، «مجموعه‌ها» در ریاضیات، و حتی «داستان‌ها» و «قطعات موسیقی»، همگی به نظر می‌رسند که به‌نوعی «وجود» دارند، اما نه به شیوه‌ای که یک سنگ یا یک درخت وجود دارد.

در این مقاله، به زبانی روان اما دقیق، با این موجودات مرموز، ماهیت آن‌ها و مناقشات فلسفی پیرامون وجودشان آشنا می‌شویم.

موجود انتزاعی چیست؟

پیش از هر چیز، باید روشن کنیم که وقتی از «موجود انتزاعی» سخن می‌گوییم، دقیقاً به چه چیزی اشاره داریم. فیلسوفان معمولاً موجودات را به دو دسته‌ی بزرگ تقسیم می‌کنند: انضمامی و انتزاعی.

موجودات انضمامی (Concrete Objects) آن چیزهایی هستند که ما در زندگی روزمره با آن‌ها سروکار داریم؛ مانند میز، درخت، سیاره، انسان و حتی امواج صوتی. مهم‌ترین ویژگی آن‌ها این است که در زمان و مکان قرار دارند و می‌توانند با چیزهای دیگر رابطه‌ی علّی برقرار کنند؛ یعنی می‌توانند بر چیزی اثر بگذارند یا از چیزی اثر بپذیرند.

در مقابل، موجودات انتزاعی درست با همین ویژگی‌ها تعریف می‌شوند، اما به‌صورت نفی. یک موجود انتزاعی، معمولاً دارای این ویژگی‌هاست:

نخست، غیرمکانی و غیرزمانی بودن: موجود انتزاعی در هیچ نقطه‌ای از فضا قرار ندارد و در هیچ لحظه‌ای از زمان «رخ نمی‌دهد». عدد ۷ نه در ایران است و نه در آمریکا؛ نه دیروز به وجود آمده و نه فردا از میان می‌رود.

دوم، غیرمادی بودن: موجود انتزاعی از هیچ ماده‌ای ساخته نشده است.

سوم، فاقد قدرت علّی بودن: موجود انتزاعی نمی‌تواند مستقیماً بر چیزی اثر بگذارد یا از چیزی اثر بپذیرد. عدد ۷ نمی‌تواند چیزی را هل دهد یا باعث رویدادی شود.

بنابراین، موجودات انتزاعی، دسته‌ای از موجودات فرضی هستند که ادعا می‌شود وجود دارند، اما نه در جهان فیزیکی و نه به شیوه‌ای که ذهن ما وجود دارد؛ بلکه در نوعی «قلمرو» مستقل و مجرد.

مهم‌ترین نامزدهای موجودات انتزاعی

پیش از پرداختن به این پرسش که آیا این موجودات واقعاً وجود دارند، بیایید با مهم‌ترین نامزدهای این دسته آشنا شویم.

اعداد و موجودات ریاضی: این‌ها مشهورترین نمونه‌ها هستند. اعداد، مجموعه‌ها، توابع و اشکال هندسی آرمانی، همگی به نظر می‌رسند که موجوداتی انتزاعی باشند.

کلیات و مفاهیم: خاصیت‌هایی مانند «قرمزی» یا «انسانیت»، که در بسیاری از اشیای مختلف مشترک‌اند. «قرمزی» یک شیء خاص نیست، بلکه چیزی است که در سیب، گل و پرچم به‌طور مشترک حضور دارد.

گزاره‌ها: معنای یک جمله، جدای از خود جمله. برای مثال، جمله‌ی فارسی «برف سفید است» و جمله‌ی انگلیسی «Snow is white»، دو جمله‌ی متفاوت‌اند، اما به نظر می‌رسد یک «گزاره‌ی» واحد را بیان می‌کنند.

موجودات ادبی و هنری: قطعه‌ی موسیقی «سمفونی پنجم بتهوون»، جدای از هر اجرا یا نسخه‌ی خاص آن، به نظر می‌رسد موجودی انتزاعی باشد. همین‌طور، شخصیت‌های داستانی یا خودِ اثر ادبی، به‌عنوان الگویی تکرارپذیر.

ارزش‌ها و مفاهیم اخلاقی: برخی معتقدند که مفاهیمی مانند «عدالت»، «زیبایی» و «خیر» نیز موجوداتی انتزاعی هستند.

اکنون که با این نامزدها آشنا شدیم، به پرسش اصلی می‌رسیم: آیا این موجودات، واقعاً بخشی از واقعیت هستند، یا صرفاً ساخته‌های ذهن ما؟ فیلسوفان در پاسخ به این پرسش، به دو اردوگاه بزرگ تقسیم شده‌اند.

افلاطون‌گرایی: موجودات انتزاعی واقعاً وجود دارند

نخستین و کهن‌ترین پاسخ، از آنِ افلاطون (Plato) است و به همین دلیل، این دیدگاه افلاطون‌گرایی (Platonism) نامیده می‌شود.

افلاطون معتقد بود که فراتر از جهان محسوس و در حال تغییر ما، قلمروی دیگر از موجودات جاودان، کامل و تغییرناپذیر وجود دارد که او آن‌ها را مُثُل یا صور (Forms) می‌نامید. از نگاه او، دایره‌ای که روی کاغذ می‌کشیم، همیشه ناقص است، اما «دایره‌ی کامل» به‌عنوان یک ایده‌ی آرمانی، در قلمرو مُثُل، وجودی حقیقی و کامل دارد.

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

استدلال‌های افلاطون‌گرایی

چند استدلال قدرتمند از این دیدگاه پشتیبانی می‌کنند.

نخست، استقلال و عینیت حقایق ریاضی: به نظر می‌رسد که حقایق ریاضی، مستقل از ما درست هستند. اینکه «۲+۲=۴» یا اینکه بی‌نهایت عدد اول وجود دارد، حقایقی هستند که پیش از انسان‌ها نیز درست بودند و در هر گوشه‌ی جهان درست‌اند. این عینیت، نشان می‌دهد که این حقایق درباره‌ی چیزی واقعی سخن می‌گویند.

دوم، استدلال ناگزیری (Indispensability Argument): این استدلال، که با نام فیلسوفان کواین (W. V. O. Quine) و پاتنم (Hilary Putnam) شناخته می‌شود، شاید قوی‌ترین استدلال به نفع افلاطون‌گرایی باشد. خلاصه‌ی آن چنین است: علم مدرن، به‌ویژه فیزیک، به‌طور کامل به ریاضیات وابسته است. ما نمی‌توانیم بهترین نظریه‌های علمی خود را بدون استفاده از اعداد و موجودات ریاضی بیان کنیم. پس اگر به وجود موجوداتی که علم به آن‌ها متعهد است (مانند الکترون‌ها) باور داریم، به همان دلیل باید به وجود موجودات ریاضی نیز باور داشته باشیم، زیرا آن‌ها به همان اندازه برای علم «ناگزیر» هستند.

چالش بزرگ افلاطون‌گرایی: مسئله‌ی شناخت

با وجود این استدلال‌های قوی، افلاطون‌گرایی با یک اشکال بسیار جدی روبه‌روست که به آن مسئله‌ی شناخت یا معضل بناسراف (Benacerraf’s Problem) می‌گویند.

استدلال چنین است: اگر موجودات انتزاعی، غیرمکانی، غیرزمانی و فاقد قدرت علّی هستند، آنگاه آن‌ها هیچ تأثیری بر ما و بر مغز ما ندارند. اما شناخت، معمولاً نیازمند نوعی ارتباط علّی است؛ ما چیزها را می‌شناسیم چون آن‌ها به‌نوعی بر حواس و ذهن ما اثر می‌گذارند. پس اگر اعداد هیچ اثری بر ما ندارند، چگونه اصلاً می‌توانیم درباره‌ی آن‌ها چیزی بدانیم؟ چگونه ذهن ما، که در جهان فیزیکی محبوس است، می‌تواند با قلمرویی که کاملاً از آن جداست، ارتباط برقرار کند؟ این معما، پاشنه‌ی آشیل افلاطون‌گرایی است.

نام‌گرایی: موجودات انتزاعی وجود ندارند

در برابر افلاطون‌گرایی، دیدگاه بزرگ دیگری قرار دارد: نام‌گرایی (Nominalism). نام‌گرایان، معتقدند که موجودات انتزاعی وجود ندارند و تنها موجودات انضمامی و جزئی، واقعی هستند.

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

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

چالش بزرگ نام‌گرایی: توضیح ریاضیات

اما نام‌گرایی نیز با چالش بزرگی روبه‌روست: اگر اعداد وجود ندارند، پس چگونه ریاضیات این‌قدر موفق و درست است؟ چرا محاسبات ما درست از آب درمی‌آیند؟ چرا فیزیک که بر ریاضیات استوار است، این‌قدر دقیق جهان را پیش‌بینی می‌کند؟

نام‌گرایان تلاش کرده‌اند به این چالش پاسخ دهند و در این راه، دیدگاه‌های گوناگونی پدید آورده‌اند.

داستان‌گرایی (Fictionalism)، که با نام فیلسوف هارتری فیلد (Hartry Field) شناخته می‌شود، دیدگاهی جذاب است. این دیدگاه می‌گوید که موجودات ریاضی، مانند شخصیت‌های یک داستان، «افسانه»‌های مفیدی هستند. همان‌طور که جمله‌ی «شرلوک هلمز در خیابان بیکر زندگی می‌کرد» در چارچوب داستان درست است، اما شرلوک واقعاً وجود ندارد، جمله‌ی «۲+۲=۴» نیز در چارچوب «داستان ریاضیات» درست است، بدون آنکه اعداد واقعاً وجود داشته باشند. از این نگاه، ریاضیات یک «افسانه‌ی مفید» است که به ما در توصیف جهان کمک می‌کند.

دیدگاه‌های میانه و رویکردهای دیگر

میان دو قطب افلاطون‌گرایی و نام‌گرایی، دیدگاه‌های میانه‌ای نیز وجود دارد.

مفهوم‌گرایی (Conceptualism) دیدگاهی است که می‌گوید موجوداتی مانند کلیات و مفاهیم، وجود دارند، اما نه در قلمرویی مستقل، بلکه در ذهن. از این نگاه، «قرمزی» یا اعداد، مفاهیمی هستند که ذهن انسان می‌سازد. این دیدگاه، راه میانه‌ای میان واقعیت مستقل افلاطونی و انکار کامل نام‌گرایانه است. چالش آن این است که اگر اعداد ساخته‌ی ذهن ما باشند، چرا این‌قدر عینی و مستقل از سلیقه‌ی ما به نظر می‌رسند؟

ساختارگرایی (Structuralism) در فلسفه‌ی ریاضی، دیدگاهی است که می‌گوید آنچه ریاضیات به آن می‌پردازد، نه خودِ اعداد به‌عنوان اشیای مجزا، بلکه ساختارها و روابط میان آن‌هاست. از این نگاه، عدد ۳ چیزی جز جایگاه آن در ساختار اعداد طبیعی نیست؛ یعنی رابطه‌اش با ۲ و ۴ و بقیه‌ی اعداد. مهم نه خودِ اشیا، بلکه الگو و ساختار است.

معمای موجودات انتزاعی در حوزه‌های مختلف

این بحث، تنها به اعداد محدود نمی‌شود و در حوزه‌های گوناگون، پرسش‌های جذابی مطرح می‌کند.

در هنر و ادبیات، پرسش می‌شود که یک قطعه‌ی موسیقی یا یک رمان، دقیقاً چیست. «سمفونی پنجم بتهوون» نه این نت‌نوشته‌ی خاص است، نه این اجرای خاص، و نه این فایل صوتی. پس خودِ اثر، به‌عنوان چیزی که در همه‌ی این‌ها تکرار می‌شود، به نظر موجودی انتزاعی می‌آید.

در زبان و معنا، مفهوم «گزاره» به‌عنوان معنای مشترک میان جملات گوناگون، یکی از مهم‌ترین موجودات انتزاعی در فلسفه‌ی زبان است.

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

چرا این معما اهمیت دارد؟

ممکن است تصور شود که بحث درباره‌ی وجود عدد ۷، صرفاً یک بازی فکری انتزاعی و بی‌فایده است. اما در حقیقت، اهمیت آن بسیار گسترده است.

نخست، این معما به بنیاد ریاضیات و علم گره خورده است. ریاضیات، زبان علم مدرن است. فهم اینکه موضوع ریاضیات چیست و چرا این‌قدر موفق است، یکی از عمیق‌ترین پرسش‌های فلسفه‌ی علم به شمار می‌رود.

دوم، این بحث، مرزهای واقعیت را روشن می‌کند. پاسخ ما به این پرسش، تعیین می‌کند که «چه چیزهایی را واقعی می‌دانیم». آیا واقعیت تنها شامل چیزهای مادی است، یا قلمروی از موجودات مجرد نیز وجود دارد؟ این، همان پرسش بنیادین هستی‌شناسی است.

سوم، این معما، ماهیت شناخت انسان را به چالش می‌کشد. اگر ما بتوانیم درباره‌ی چیزهایی که هیچ ارتباط فیزیکی با آن‌ها نداریم (مانند اعداد) شناخت داشته باشیم، این نشان می‌دهد که ذهن انسان، توانایی‌های شگفت‌انگیزی فراتر از ادراک حسی دارد.

و سرانجام، این بحث، حس شگفتی فلسفی را در ما بیدار می‌کند. اینکه بدیهی‌ترین ابزارهای اندیشه‌ی ما، یعنی اعداد و مفاهیم، در عمق خود این‌قدر مرموزند، یادآور این حقیقت است که حتی آشناترین جنبه‌های تجربه‌ی ما، سرشار از راز هستند.

در نهایت، معمای موجودات انتزاعی، یعنی پرسش از اینکه آیا اعداد، مفاهیم و موجودات غیرمادی واقعاً وجود دارند، یکی از ژرف‌ترین و پایدارترین مسائل فلسفه است.

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

هر یک از این دیدگاه‌ها، بخشی از حقیقت را روشن می‌کنند و با چالش‌های خود دست‌وپنجه نرم می‌کنند. شاید هرگز نتوانیم به‌طور قطعی بگوییم که آیا عدد ۷ «واقعاً» وجود دارد یا نه. اما خودِ این پرسش، چیز شگفت‌انگیزی را آشکار می‌کند: ما موجوداتی هستیم که می‌توانیم با چیزهایی سروکار داشته باشیم که نه می‌توان آن‌ها را دید، نه لمس کرد و نه در جایی یافت؛ و با این حال، این موجودات نامرئی، بنیاد علم، فناوری و بخش بزرگی از اندیشه‌ی ما را می‌سازند.

شاید بزرگ‌ترین درس این معما این باشد که واقعیت، بسیار غنی‌تر و مرموزتر از آن چیزی است که حواس ما نشان می‌دهند. جهانِ اعداد و مفاهیم، هرچه که باشد، گواهی است بر توانایی خیره‌کننده‌ی ذهن انسان برای فراتر رفتن از امر محسوس و پرواز در قلمرو ناب اندیشه.