حینیه ممکنه یعنی چه؟

جمع‌بندی و توضیح کامل حینیه ممکنه

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

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

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

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

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