درخت حوزه‌های تخصصی

صدرالمتألّهین از برهان خاصّ خود دراثبات توحید واجب تعالی به عنوان برهان عرشی یاد کرده وبرتری آن را بر دیگر براهینی که از سوی حکمای پیشین از جمله ابن سینا، اقامه شده یاد آور شده است. وی ضمن دقّت قابل ملاحظه در آن براهین، هیچ یک از آن ها را به عنوان برهان تامّ و بدون نقص قلمداد نمی کند و بر این عقیده است که اگر بخواهیم آن براهین را به عنوان برهان کامل تلقی کنیم باید در رفع نقص آن ها بکوشیم؛ از این رو جهت تتمیم آن دلایل وجه تصحیحی را پیشنهاد می کند. او حتّی برهان اقامه شده از سوی ابن سینا را نیز بی نیاز از این تصحیح نمی داند، اما با دقّتی که در این مقاله به عمل آمده نشان داده شده است که بر خلاف براهین حکمای دیگر، برهان ابن سینا با تقریرهای مختلفی که دارد به ترمیم و تصحیح وی نیاز نداشته و در حد خود قابلیّت لازم را جهت اثبات وحدت واجب تعالی دارد.

حکمت عملی بدون شک یکی از مهم ترین دغدغه های فلسفی فارابی است. نتیجه واحدی که از آثار متعدد وی درباره حکمت عملی به دست می آید، تأکید بر نقش أنبیا در این عرصه است. شخص نبی با ورود به این عرصه و دست اندازی به ابعاد حکمت عملی، در استکمال و غنای آن می کوشد. پرسشی که در این مقاله به دنبال پاسخ آن هستیم، این است که نبی چه جایگاهی در حکمت عملی داشته و چگونه در جنبه های مختلف آن نقش آفرینی می کند. به طور کلی دو جنبه در حکمت عملی قابل تصور است: 1. بیان حکمت عملی 2. اجرای حکمت عملی. از منظر فارابی، حکمت عملی زمانی به سعادت می انجامد که در هر دو جنبه آن با موفقیت عمل شود. اهمیت این دو جنبه حکمت عملی و نقش کلیدی آن ها در سعادت افراد جامعه اقتضا می کند که کامل ترین افراد اجتماع به آن ها بپردازند. به همین دلیل، شخص نبی که در عالی ترین مرتبه انسانی قرار دارد این امور را به عهده می گیرد و با استعانت از وحی در آن ها نقش آفرینی می کند. در گام نخست او به بیان حکمت عملی می پردازد و فضایل و راه های رسیدن به آن را در قالب دین بیان می کند. در گام بعد، با به دست گرفتن رهبری اجتماع، حکمت عملی را اجرا می کند و آن را در جامعه می گسترد.

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

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

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

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

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

استنتاج قضیة ممکنه از دو قضیة ممکنه یکی از نزاع های پردامنه در منطق قدیم است که ارسطو، ابن سینا، فخر رازی، خواجه نصیر و قطب رازی بر آن مهر تأیید زده اند، در حالی که خونَجی، ابهری، ارموی و کاتبی آن را مردود شمرده اند. شگفت این است که منطق جدید در این نزاع جانب گروه دوم را می گیرد. از سوی دیگر، اخیراً معلوم شده است که منطق دانان قدیم هر یک از قضیة حقیقیه و خارجیه را به اشتراک لفظ در دو معنا به کار برده اند بدون اینکه از این اشتراک لفظ آگاه باشند: ملاک تقسیم، در یک معنا، رابطة عقدالوضع و عقدالحمل است و در دیگری، ظرف وجود موضوع. بنا به ملاک نخست، قضایای حقیقیه به صورت موجهاتی و با ادات های ضرورت و امکان تفسیر می شوند؛ در حالی که بنا به ملاک دوم، این قضایا فاقد هر گونه جهتی هستند و در برابر، قضایای خارجیه با محمول وجود تحلیل می شوند. در این مقاله، پس از گزارش نزاع یاد شده دربارة استنتاج از دو ممکن، نظرات، ایرادات و دفاعیه ها را به زبان منطق جدید صورت بندی کرده و نشان داده ایم که طرفین نزاع تصور یکسانی از قضایای حقیقیه و خارجیه نداشته اند: موافقان استنتاج از دو ممکن، تفسیر نخست و مخالفان، تفسیر دوم را در ذهن داشته اند.

ابن سینا در ارائه نظریات وجودشناسانة خود از دو واژة وجوب و امکان که ابتکار فارابی بودند، بسیار مدد می گیرد، دو واژه ای که سبقة کمرنگی در آراء فلاسفة پیش از فارابی و ابن سینا دارد و جسته و گریخته می توان ردپایی از آنها را نزد فلاسفة یونان باستان یافت، این ردپا در ارسطو پررنگ تر می شود، اما به شکل منطقی مطرح می شود نه فلسفی و در باب قضایا به آنها پرداخته می شود و به موجودات عینی و وجود سرایت نمی کند. با ابتکار فارابی و ابن سینا در به کارگیری نظریة وجوب و امکان فلسفی و تقسیم موجود به واجب و ممکن، فلسفة هستی شناسی مشایی، شکلی متمایز به خود می گیرد و وجود خدا و عالم و مسئلة خلقت که تا پیش از این مطرح نبود، بهتر تبیین می شود.

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

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

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

در مسأله مناط نیاز معلول به علت مشهور این است که حکمای پیش صدرایی قائل به نظریه امکان ماهوی معلول هستند، یعنی برآن اند که لااقتضائیت ماهیت معلول نسبت به وجود و عدم عامل نیازمندی معلول به علت برشمرده می شود. در مقابل، صدرالمتالهین بنابر اصل اساسی اصالت وجود و اعتباریت ماهیت مناط نیاز معلول به علت را در وجود ممکنات می داند نه در ماهیتشان و از این رو قائل به نظریه فقر وجودی است. این مقاله با بررسی بیانات شیخ الرئیس به ریشه یابی نظریه فقر وجودی در آثار این حکیم پیش صدرایی پرداخته است و نشان داده که می توان بیانات وی را راهگشای این نظریه دانست، چرا که وی با فاصله گرفتن آشکار از سنت ارسطویی در باب مسئله علیت، علت را وجود دهنده ی به معلول می داند و در عبارات متعدد و با بیانات مختلفی بیان می کند که فقر و حاجت معلول به علت در وجود آن است. بنابراین هرچند با توجه به بیانات پراکنده و مختلف در باب مناط نیاز معلول به علت نمی توان وی را قائل به نظریه فقر وجودی معلول نسبت به علت دانست، اما نشانه هایی از این نظریه در آثار وی قابل پی گیری است که بنابر آنها می توان ابن سینا را راهگشای این نظریه بدیع صدرایی دانست.

هدف پژوهش حاضر تبیین مراحل تعلیم و تربیت با توجه به دیدگاه ابنسینا در بارة نفس است. روش مورد استفاده در این پژوهش که پژوهشی کیفی و موردی است، روش توصیفی – تحلیلی است. در این پژوهش که مراحل تعلیم و تربیت با توجه به سیر تکاملی نفس تعیین گردید، سه مرحلة تمهید؛ اعتدال و اعتلا؛ مرحلة ملکوتی برای تعلیم و تربیت در نظر گرفته شد. مرحلة تمهید که شامل مرحلة نفس نباتی، حیوانی و انسان بالقوه (عقل هیولانی تا بالفعل) است از دوران پیش از تولد آغاز می شود و تا بلوغ صوری ادامه مییابد. دومین مرحله که شامل انسان بالقوه (عقل هیولانی تا بالفعل) و انسان بالفعل (حصول کلیة معقولات ثانی) است از 15 سالگی آغاز می شود و به دلیل فزونی عقل از 40 سالگی به بعد، پایانی برای این مرحله لحاظ شده است. مرحلة ملکوتی که مرحلة انسان بالفعل در معنای تام آن و وصول به مرتبة عقل بالمستفاد است، مرحلة نهایی تعلیم و تربیت شناخته شد که متناظر با هدف غایی نظام فلسفی ابنسینا یعنی دستیابی به سعادت حقیقی است. نتایج همچنین حاکی از آن است که ابنسینا با معطوف ساختن توجه به شروع تربیت پیش از تولد، تأدیب و تربیت اخلاقی کودک از پایان دو سالگی و... نظام تعلیم و تربیتی مادامالعمر متشکل از نظام رسمی و غیررسمی را پایه گذاری نمود.

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

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

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

رویکرد ابن سینا در قبال قوه خیال و ادراکات مخزون در آن قرین ناسازگاری است. در این مقاله با وضع تفکیک بین رویکردهای متفاوت وی, به تبیین این ناسازگاری اهتمام شده است. شیخ در گام اول بر اساس مبانی تفکر مشایی و تمسک به فرایند تجرید معرفتی در تحصیل ادراکات نفس, تمایز و تشخص ادراکات جزئی خیالی را مستلزم وجود ماده و قابلیت در آنها دانسته و به مادیت صرف ادراکات خیالی و مخزن آنها معتقد می شود. ابن سینا در رویکرد دوم, با تردید جدی, مادیت ادراکات خیالی را مورد مناقشه قرار می دهد. وی در این موضع اذعان می کند که صور خیالی نمی بایست جسمانی باشند؛ وگرنه با تغییر و تحول اعضاء و مخزن این صور, یعنی قوه خیال, دچار تغییر می شدند. اما در نهایت شیخ به جهت اذعان به تجرد تامه نفس و انحصار ادراک آن در کلیات عقلی, از ارائه تبیین در خصوص تجرد ادراکات جزئی خیالی باز می ماند. رویکرد نهایی ابن سینا در قبال خیال و ادراکات آن را می بایست در ذیل نظریه خاص وی در باب وحدت نفس و قوای مختلف آن و همچنین اذعان به ناکارآمدی فرایند تجرید در تحصیل ادراکات متعالی مخزون در خیال جستجو نمود. شیخ بر این اساس در مواضع مختلف خیال را واجد کارکردها و شاخصه هایی می داند که بداهتا مستلزم تجرد غیر تامه آن خواهد بود.

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