سوره

سوره در واژه به معنای «بُریده شده» است و در اصطلاح واحدی است دربرگیرندهٔ گروهی مستقل از آیات قرآن که مَطلَع «بسم‌الله‌الرحمن‌الرحیم» و مقطعی دارد. به اعتقاد شیعیان هر سورهٔ قرآن - جز سورهٔ توبه - با آیه «به نام خداوند بخشندهٔ مهربان» آغاز می‌شود. اهل سنت «بسم‌الله» را جزء سوره نمی‌دانند. در قرآن کلمهٔ «سوره» به همین معنا به کار رفته‌است؛ مانند در آیهٔ تحدی (مبازره طلبی).







قرآن ۱۱۴ سوره دارد. هر سوره می‌شود یک یا چند نام داشته باشد که بیشتر از کلمه‌ای از آن سوره و یا رخداد ای مربوط به آن گرفته شده‌اند. برخی بر این باورند ترتیب سوره‌ها بدست پیامبر تعیین شده و برخی بر این باورند که آنها به هنگام گردآوری در زمان عثمان کما بیش به ترتیب درازای مرتب شده‌اند. سوره‌های قرآن به دو دستهٔ مکی (فروفرستاده شده در مکه) و مدنی (فروفرستاده شده در مدینه) تقسیم می‌شوند. سوره‌ها لزوماً یگانگی موضوعی ندارند.

قرآن ۱۱۴ سوره دارد. سورهٔ ۹ قرآن سوره توبه «بسم الله الرحمن الرحیم» ندارد ولی سورهٔ ۲۷ قرآن یعنی سورهٔ نمل ۲ «بسم الله الرحمن الرحیم» دارد. طولانی‌ترین سوره قرآن سوره بقره است که دربرگیرنده ۲۸۶ آیه‌است. کوتاه‌ترین سوره قرآن هم کوثر با ۳ آیه‌است.






آیه

آیه در واژه به معنی نشانه‌است و در اصطلاح کوچک‌ترین واحد تقسیم قرآن است. این واژه در قرآن به همین معنای ویژه نیز به کار رفته‌است. یک آیه می‌تواند چند حرف، چند واژه، یک یا چند جمله و یا یک یا چند بند (پاراگراف) باشد. بر پایه محاسبهٔ رایانه‌ای شمار همه آیات قرآن ۶۲۳۶ تا است. (رامیار، تاریخ قرآن:۵۷۰) برخی آیات مانند آیهٔ نور (نور، ۳۵)، آیه الکرسی، آیهٔ تطهیر (احزاب، ۳۳)، آیه ولایت (مائده، ۵۵) و آیهٔ حجاب (نور، ۳۰ و ۳۱) با نام‌های ویژه‌ای مشهورند..

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

تعداد کل آیات قرآن ۶۲۳۶ است. البته در این رقم هم اختلاف هست. مثلاً در این محاسبه، «بسم الله الرحمن الرحیم» فقط در سورهٔ فاتحه (اولین سورهٔ قرآن) شمرده شده‌است (البته بجز سوره فاتحه؛ «بسم الله الرحمن الرحیم» که در ابتدای همه سوره‌های قرآن جز سوره توبه که «بسم الله الرحمن الرحیم» ندارد- قرار دارد جزء آیه اول آنها محسوب می‌شوند.) نظراتی دیگر نیز در این باره بسیار موجود است، برای مثال اشخاصی می‌گویند ۶۶۶۶ و اشخاصی دیگر می‌گویند ۶۲۳۴.

بلندترین آیه قرآن، آیه ۲۸۲ بقره‌است که در آن ۲۰ دستور از جانب خداوند آمده‌است. کوتاه‌ترین آیه قرآن نیز آیه ۶۴ سورهٔ الرحمن است که رنگ باغ بهشتی را توصیف می‌کند.






کلمه

بسته به روش شمارش و تعریف واژه و نیز نحوهٔ رسم‌الخط، اعداد گوناگونی برای شمار واژه‌های و حروف قرآن گفته شده. مشهورترین آن‌ها ۷۷۷۰۱ واژه و ۳۲۳۶۷۱ حرف است که حدود ۱۰ هزار واژه آن غیر تکراری است و ۱۲۶۰ واژه از آنها به عنوان ریشه ۸۰ درصد ۱۰ هزار واژه شناخته می‌شود






دیگر تقسیم‌بندی‌ها

قرآن به ۳۰ بخش تقریباً مساوی به نام جزء تقسیم شده‌است. هر جزء از دو قسمت مساوی به نام حزب تشکیل شده‌است و احزاب به نصف و ربع حزب تقسیم می‌شوند (برخی نیز هر جزء را به ۴ حزب تقسیم می‌کنند و در این صورت ۱۲۰ حزب داریم).

فارسی‌زبانان قران را به سه پاره و دو پاره و یک پاره تقسیم می کردند پاره به معنی بخش یا فصل است در بعضی موارد همچنین یک چهارم از قرآن را هفتک و یک‌هفتم آن را هفت‌یک می‌نامیدند. در برخی مکتب‌های قدیم، کودکان نخست هفتک (از ۱ تا ۷) قرآن را بدون دانستن معنی نگهداری می‌کردند و بعد به بقیه امور حفظی و معانی می‌رسیدند..






سبک

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






تاریخ قرآن
دوران محمد

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

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






دوران ابوبکر

در این زمان جنگ‌های ردّه میان مسلمانان و از دین برگشتگان و متنبّیان رخ داد، که در آن شماری از نگهداران قرآن کشته شدند. به پیشنهاد عمر و به دستور ابوبکر «زید بن ثابت» که از کاتبان وحی و حافظ قرآن بود، مأمور جمع‌آوری قرآن شد. «زید همه نوشته‌های قرآنی را ولو آنکه ده‌ها حافظ و ده‌ها نوشته برابر آن بود، با کمترین دو گواه یکی از کتابت و یکی از نگهداری می‌پذیرفت.»∗ قرآن بدست زید در ۱۴ ماه و تا زمان فوت ابوبکر در سال ۱۳ هجری به گونه مجموعه‌ای از صحیفه‌ها جمع‌آوری شد و بر پایه وصیت ابوبکر در دست عمر و سپس دخترش «حَفصه» قرار گرفت.






دوران عثمان

در زمان عثمان با نگرش به گسترش سرزمین مسلمانان تا ایران، شام و مصر نیاز بود با شتاب متن واحدی از قرآن در تمام سرزمین‌های مسلمان منتشر شود. همچنین به چرایی فوت یا کشته‌شدن شماری از نگهداران و نویسندگان وحی بیم تفرقه در متن قرآن وجود داشت. از این رو، جانشین عثمان با جمع‌آوری نسخه‌های گوناگون دست به یکسان‌سازی قرآن زد. وی انجمنی در برگیرنده «زید بن ثابت»، «سعید بن عاص»، «عبدالله بن زبیر» و «عبدالرحمن بن حارث» در بر گرفت. این گروه با همکاری دوازده تن از قریش و انصار کار تهیه نسخه پایانی را انجام دادند. آنها تمام نوشته‌های قرآن موجود را گرد آوردند و با تکیه بر شهادت شاهدان و نگهداران نسخه پایانی یا «مصحف امام» را تهیه کردند، که سرشناس به مصحف عثمانی است و به خط کوفی ابتدایی بود. این کار در فاصله سال‌های ۲۴ تا ۳۰ ه. ق. انجام شد و از روی آن ۵ یا ۶ نسخه تهیه شد. دو نسخه در مکه و مدینه نگهداری شد و دیگر نسخه‌ها به همراه یک حافظ قرآن که نقش راهنمای درست خوانی را داشت، به بصره، کوفه، شام و بحرین فرستاده شد. عثمان برای دستیابی به «توحید نص» یا یگانگی متن قرآن دستور داد، تمام نوشته‌های موجود قرآن را با آب و سرکه جوشانده و محو کنند، تا ریشه کشمکش و اختلاف از میان برود. نسخه‌هایی که نابود شدند دربرگیرنده قرآن عبدالله پسر مسعود -که گویا فاقد دو سوره فلق و ناس بوده‌است. - ابی پسر کعب بودند و قرآن علی نزد وی و فرزندانش باقی ماند و گرچه وی در گردآوری قرآن آشکارا حضور نداشت، در هیچ جا و در زمان خلافت درستی متن گردآوری شده را رد نکرده‌است. صاحب‌نظران مسلمان بر این باورند این نسخه‌ها عموماً از دید لغوی، املایی و شمار سوره‌ها تفاوت جزئی داشته‌اند. ولی به هر روی عموم مسلمانان حتی خاندان علی و دیگر مخالفان خلافت، بر درستی نسخه عثمان در درازای تاریخ پافشاری کرده‌اند.

نظر نامی گردآوری درباره گردآوری قرآن همین است که ذکر شده ولی پژوهشگران متاخر نظر بر گردآوری قرآن در همان زمان محمد پیامبر دارند و روایات و نقل‌های مربوط به گردآوری قرآن پس از محمد را متناقض یا ناظر به اموری دیگر (مانند تکثیر مصحف یا یکتاپرستی مصاحف) می‌دانند.






اصلاحات پس از آن

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






صحت تاریخی

مفسران اهل سنت به گونه تاریخی همواره باور داشتند که آیات قرآنی که در امروزه در دست ما است دقیقاً همان چیزی است که محمد بازگو کرده‌است و هیچگونه تغییری اعم از حذف یا اضافه در آن صورت نگرفته‌است. البته اهل سنت به گونه سنتی سه طریق اصلاح را پذیرفته‌است: با استناد به آیاتی مانند رعد ۳۹ یا اعلی ۶-۷ تفاسیر سنتی اهل سنت پذیرفته‌اند که خود خدا می‌شود مایه بشود که محمد برخی از آیات را فراموش کند و یا حتی آیاتی از قرآن را حذف کند (بسنجید با تفاسیر شیعه مانند تفسیر المیزان که این موضوع را نمی‌پذیرند). دیگر اینکه می‌شود برخی از آیات قرآن جایگزین آیات دیگر شده باشند (ناسخ و منسوخ). ولی افزون بر اینها برخی از علمای اهل سنت هم باور داشتند که تحت بازبینی جبرئیل، محمد برخی از آیات را که به او وحی شده بود در قرآن قرار نداده‌است. برای نمونه بگفته جان بورتان آیه شماره ۲ سوره نور درباره مجازات زناکار با مجازات سنگسار تفاوت می‌دارد. برخی از فقیهان کهنه دقیقاً از این روی مجازات سنگسار را رد می‌کردند؛ ولی روی‌هم‌رفته توافقی میان فقیهان درباره مجازات سنگسار برای زنا وجود داشت. برای بسیاری پذیرش اینکه رفتار و گفتار یک انسان (حتی اگر محمد باشد) بتواند جایگزین واژه‌های خدا بشوند وجود نداشت، و از این روی اینگونه استدلال می‌کردند که حتماً می‌بایست آیه سنگساری بوده که در قرآن قرار داده نشده ولی حجیت آن باقی مانده‌است. در تفاسیر کهنه روایاتی منتسب به ابی ابن کعب، ابوموسی اشعری، عایشه و دیگر نقل شده که مضمون آنها کنار ماندن برخی از آیات در قرآن گردآوری شده می‌باشد. بدین سان برخی از علمای اهل سنت به گونه سنتی باور داشتند که محمد تحت بازبینی جبرئیل برخی از آیات را در قرآن قرار نداده اگرچه آن آیات هنوز حجیت خود را داشتند..

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

حسین بن محمد تقی نوری ملقب به خاتم المحدثین در دیباچه کتاب فصل الخطاب فی تحریف کتاب رب‌الارباب می‌نویسد: «این کتابی است لطیف که در اثبات تحریف قرآن، و فضایح اهل جور و عدوان فراهم آورده‌ام، و آنرا فصل الخطاب فی تحریف کتاب رب‌الارباب نام نهادم، و بر سه سرآغاز و دو باب قرار دادم». این کتاب در سال ۱۲۹۸ ه. ق. در ایران چاپ شده‌است. وی در این کتاب برای اثبات ادعای خود بیش از هزار حدیث داستان می‌کند. ولی پس از او دانشمندان شیعه بارها کتاب او را نقد نموده‌اند و احادیث نقل شده در آن کتاب را از باب اختلاف قرائت، برداشت یا مجعول دانسته‌اند. .







دیدگاه مورخان غربی

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

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






علوم قرآنی
قاریان هفت‌گانه(قرّاء سبعه) و راویان چهارده‌گانه

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

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

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

این کار در سال ۳۲۲ ه. ق. توسط خلیفه المقتدر سازماندهی شد و بالاخره انجام گرفت. دکتر شجاع الدین شفا در کتاب «پس از ۱۴۰۰»، سال برگ ۱۰۱ می‌نویسد: «در قرن چهارم هجری ابن مجاهد، یکی از فقهای بزرگ بغداد، به اتکاء حدیثی از پیامبر نظر داد که قرآن در هفت قرائت وحی شده‌است و هرچه جز آن باشد مخدوش است، و این نظر مورد تایید دستگاه خلافت نیز قرار گرفت. بدین ترتیب هفت قرائت مختلف از قرآن که هرکدام از آنها به یکی از فقهای بزرگ قرون اول و دوم هجری در شهرهای مهم جهان اسلام ارتباط داده می‌شد در سال ۳۲۲ هجری توسط خلیفه المقتدر به رسمیت شناخته شد. بعد از آن در دو مرحله متوالی سه و چهار قرائت دیگر بر آن‌ها اضافه شد، بطوریکه سرانجام شمار قرائت‌های مجاز قرآن به چهارده رسید (که حافظ در غزلی که انتساب آن بدو مورد تردید است، مدعی از بردانستن همه آنها شده‌است).
عشقت رسد به فریاد، گر خود به سان حافظ قرآن ز بر بخوانی، در چارده روایت

متن قرائتی برگزیده جامع دانشگاه الازهر که چاپ مصر رایج قرآن در جهان امروز بر اساس آن صورت گرفته‌است، منسوب به فقیهی بنام عاصم بن ابی النجود است. که در سال ۱۲۷ هجری در کوفه درگذشته‌است.»







این قرائتهای رسمی از این قرارند:

نافع، از مدینه سال ۱۶۹/۷۸۵- ابوعبدالله نافع بن ابی نعیم مدنی، مُکنَّی به «ابی رویم» می‌باشد. نافع اصلاً از اصفهان بود و در مدینه می‌زیست و در همانجا (به سال ۱۷۶ یا ۱۶۹) درگذشت، یادآوری کرده‌اند که وی قرآن را نزد ابومیمونه، «مولی ام سلمه»، همسر رسول خدا قرائت نموده‌است. روایان وی عبارتند از: ورش و قالون.
ابن کثیر، از مکه سال ۱۱۹/۷۳۷ - (عبدالله بن کثیر مکی) از ایرانیانی بود که کسرای ایران او را با کشتی‌هایی که به یمن فرستاده بود برای فتح حبشه گسیل داشت. ابن کثیر مردی فصیح و بلیغ... بود. و از جمع صحابه عبدالله زبیر و انس‌بن‌مالک را درک کرده بود. روایان وی عبارتند از: بُزِی‌ّ و قٌنبل.
ابو عمرو الاعلی، از دمشق سال ۱۵۳/۷۷۰ - ابوعمروبن علاء بصری وی اهل ایران بوده‌است و در میان قرّأ سبعه از لحاظ کثرت اساتید و شیوخ قرائت، کسی به پایة او نمی‌رسد، و قرآن را در مناطق مختلفی مانند مکه و مدینه و بصره و کوفه بر استادان زیادی قرائت کرد. سیدحسن صدر، ابی‌عمرو را شیعی می‌داند. راویان قرائت وی عبارتند از: دوری و سوسی (وی ایرانی و اهل شوش بوده است).
ابن عامر، از بصره سال ۱۱۸/۷۳۶ - وی در زمان عمربن عبدالعزیز و قبل و بعد از آن، امام مسجد دمشق (جامع اموی) و قاضی و پیشوای آن دیار بوده و از معمّرترین قرّأ سبعه به شمار می‌رود. ابن عامر بنا به قول صحیح به سال ۱۱۸ هجری قمری در نود و نه سالگی از دنیا رفت. راویان قرائت ابن عامر عبارتند از: هشام و ابن ذکوان.
حمزه، از کوفه سال ۱۵۶/۷۷۲ - حمزةبن‌حبیب زیّات کوفی حمزه اصلاً ایرانی است و زمان صحابه را درک کرده‌است و شاید برخی از آنها را دیده باشد. حمزه نیز مانند عاصم شیعی است و قرآن را بر امام صادق خوانده‌است. شیخ طوسی نیز حمزه را از یاران امام صادق (ع) شناسایی کرده‌است. در وجه ملقب شدن حمزه به «زیّات» می‌نویسند که وی با آوردن روغن از کوفه به حلوان و آوردن پنیر و گردو از حلوان به کوفه گذران زندگی می‌کرد.
الکسائی، از کوفه سال ۱۸۹/۸۰۴ - وی از مردم سرزمین ایران بوده‌است و گویند در میهن خود در «طوس» یا «ری» درگذشت کرد. وی قرائت را چهار بار از حمزه دریافت کرد، به گونه‌ای که می‌توان به قرائت او اعتماد نمود. کتاب‌ها و آثار فراوانی به کسائی منسوب است. راویان وی بر این پایه‌اند: حفص دوری و ابوالحارث.
ابوبکر عاصم، از کوفه سال ۱۵۸/۷۷۸ - عاصم بن ابی النجود کوفی از مردم کوفه‌است، عاصم از قرّأ هفتگانه و شیعی است و قرآن را بر ابی عبدالرحمن عبدالله‌بن‌حبیب سلمی شیعی - که از یاران علی بود... قرائت کرد. عاصم با یک واسطه گوینده قرائت علی است. به همین جهت گفته‌اند فصیح‌ترین قراآت، قرائت عاصم می‌باشد، زیرا وی قرئت ریشه دار آورده‌است. خوانساری در کتاب روضات الجنان در شرح احوال عاصم می‌نویسد: «وی پارساترین و پرهیزگارترین قرّأ، و رأی او درست‌ترین آرأ در قرائت به شمار می‌رود». قاطبة دانشمندان شیعی، قرائت عاصم را فصیح‌ترین قراآت دانسته‌اند. روایان وی بر این پایه‌اند: حفص و ابوبکر عیاش.
احمد نیریزی که از نسخ نویسان نامی ایرانی است، در نزدیک ۳۰۰ سال پیش قرآنی را کتابت کرد که اختلاف قرائت قراء سبعه در حاشیه آن آورده شده‌است.







اعجاز قرآن

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






مبارزه‌طلبی

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

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






دیدگاه‌ها درباره قرآن
مسلمانان

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



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






ناباوران

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






موضوعات قرآنی
محتوای آیات اولیه قرآن

بر پایه قرآن، هشدار دادن به ناباوران (کفار) از عذابی که در روز رستاخیز انتظار آن‌ها را می‌کشد، یکی از نقش‌های اصلی محمد می‌باشد. گاهی قرآن، صراحتاً به روز رستاخیز اشاره نمی‌کند ولی نمونه‌هایی از داستان قوم‌های محو و نابود شده آورده و همعصران محمد را از عذاب‌های همانند برحذر می‌دارد. (آیه ۴۱:۱۳ تا ۴۱:۱۶). محمد نه تنها به کسانی که وحی خدا را انکار می‌کنند هشدار می‌دهد، بلکه وعده‌های نیکویی به کسانی که از اهریمن دوری می‌ورزند، به سخن خدا گوش فراداده و از خدا فرمانبرداری می‌کنند، می‌دهد. ماموریت محمد هم‌چنین دربرگیرنده تبلیغ یکتاپرستی می‌باشد: قرآن از محمد می‌خواهد که به اظهار و تمجید نام پروردگارش بپردازد و به او دستور می‌دهد که از پرستش بتها و یا نسبت دادن الوهیت به هر چیزی بجز خدا دوری بورزد..

موضوع آیات نخستین قرآن وظیفه انسان در برابر آفریننده خویش، رستاخیز مردگان، داوری پایانی خدا به همراه توصیف روشن عذاب‌های دوزخ و لذات و نعمات بهشت، و نشانه‌های خدا در همگی عرصه‌های زندگی انسان می‌باشد. تکالیف مذهبی که در این زمان از باورمندان خواسته شده بود اندک بودند: باور به خدا، درخواست برای بخشش گناهان، خواندن نمازهای مکرر، کمک به دیگران به‌ویژه نیازمندان، رد کردن تقلب و دوستی مال جهان (که در زندگی بازرگانی مکه، امری پراهمیت به شمار می‌رفت)، عفت و پاکدامنی و زنده به گور نکردن فرزندان دختر. آیات نخستین قرآن با پافشاری روی جنبه‌های اخلاقی آغاز و سپس به گونه فزآینده‌ای به انتقاد از خدایان مکه و بت پرستی پرداخت..






قرآن و جهاد

قرآن نبرد و قیام خونین را با حدود و مقتضیاتی مشخص تجویز کرده و حتی سستی از جنگ را در صورت لزوم آن از گناهان و جرائم بزرگ دانسته‌است: ۱. هنگامی که مسلمانان مورد تهاجم دشمن واقع شده و کشورشان در خطر باشد. ۲. برای دفع مخاطرات و فتنه و آشوب دشمن که به مراتب از خونریزی بدتر و زیان بخش‌تر است . ۳. به منظور حفظ نوامیس و زنان و اطفال مسلمان که مورد شکنجه و فشار و تعدی دشمن واقع شده‌اند. ۴. در موردی که دشمن معاهده‌ای را که با مسلمانان بسته، نقض کند و اضافه بر پیمان‌شکنی، مشغول گمراه کردن و منحرف ساختن مؤمنین گشته و در دیانت طعن و لطمه وارد آورد. با تمامی این شرائط و حدود، لشکر اسلام پس از هر پیروزی مأمور به ملاطفت و مهربانی با دشمن است و باید صدمه و فشاری که از آنان دیده را در بوته فراموشی نهاده و همچون برادران و دوستان صمیمی با ایشان رفتار کند و با کمال رأفت، محبت، منطق قوی و کردار پسندیده آنان را به آیین حق دعوت کنند. وجه مشترک جنگ‌های اسلام، قیام در راه خدا، تحکیم و اجرای قانون حق و عدالت و برافکندن آشوب و فساد و هرج و مرج است. رویه لشکر اسلام نیز رویه‌ای مشفقانه دارند.





درجات حوزه علمیه
درجه‌های مذهبی اسلامی رایج در حوزه علمیه را می‌توان به دو بخش درجه‌های رسمی (سطح یک، سطح دو، سطح سه و سطح چهار) و درجه‌های غیررسمی که تا حدودی نامعین هستند (حجت‌الاسلام، ثقةالاسلام، آیت‌الله و ...) تقسیم کرد.






درجه‌های رسمی
مقدمات
سطح یک

طلاب و فضلاء حوزه علمیه که بر اساس مدرک صادرشده مرکز مدیریت حوزه علمیه قم، دوره سطح ۱ را طبق برنامه گذرانده‌اند، از کلیه مزایای علمی و استخدامی فارغ‌التحصیلان دوره کاردانی دانشگاه‌ها برخوردار خواهند بود.

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

به سطح یک مقدمات هم گفته‌ می‌شود.






سطح عالی
سطح دو

طلاب و فضلاء حوزه علمیه که بر اساس مدرک صادرشده مرکز مدیریت حوزه علمیه قم، دوره سطح ۲ را طبق برنامه گذرانده‌اند، از کلیه مزایای علمی و استخدامی فارغ‌التحصیلان دوره کارشناسی دانشگاه‌ها برخوردار خواهند بود. فارغ‌التحصیلان این دوره می‌توانند در آزمون ورودی مقطع کارشناسی ارشد دانشگاه‌ها در تمامی رشته‌های علوم انسانی شرکت کنند و در صورت پذیرفته‌شدن، ادامه تحصیل دهند.

اتمام سطح ۲ به طور متوسط حدود سه سال طول می‌کشد.






سطح سه

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

اتمام سطح ۳ بدون احتساب مدت نگارش پایان‌نامه یک سال طول می‌کشد. با نگارش پایان‌نامه سطح ۳ به اتمام می‌رسد.

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

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






درس خارج
سطح چهار

پس از اتمام سطح عالی که طلاب کلیه امتحانات مبتنی بر کتبی که خوانده‌اند را دادند برای تحقیقات و پژوهش بیشتر و آموختن روش اجتهاد و استنباط و نظریه پردازی در علوم دینی در علاوه بر تحقیقات و پژوهش‌های فردی در درس خارج هم شرکت می کنند.

طلاب و فضلاء حوزه علمیه که براساس مدرک صادرشده مرکز مدیریت حوزه علمیه قم، دوره سطح ۴ را طبق برنامه از کلیه مزایای علمی و استخدامی فارغ‌التحصیلان دوره دکتری دانشگاه‌ها برخوردار خواهند بود.

در این دوره طلاب درس خاصی را نمی‌خوانند و امتحان کتبی ندارند. بلکه به طور دوره‌ای در مصاحبه علمی درس خارج شرکت می‌کنند (چهار دوره) و در اتمام چهار دوره مصاحبه علمی مدرک سطح چهار را اخذ می‌کنند.

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






درجه‌های غیر رسمی

در تاریخ حوزهٔ علمیه گاه به برخی عالمان دینی که به مرتبهٔ بزرگتری از علم و فضل در زمان خویش دست پیدا می‌کردند لقبی یا عنوانی اختصاص می‌دادند به منظور بزرگداشت و تجلیل از مقام علمی وی. برخی از آن عنوان‌ها مشترک بود مانند علامه و برخی ویژهٔ عالمانی دینی. حتی برخی معنی سیاسی داشت مانند شیخ‌الاسلام در دوران صفویان.

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

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

در عرف ایران عموما به همهٔ روحانیان «حجت‌الاسلام» و «حجت‌السلام‌والمسلمین»، به روحانیان مجتهد و فاضل «آیت‌الله»، به مرجعان تقلید «آیت‌الله عظما» می‌گویند.






ثقةالاسلام

این عنوان پیشتر دربارهٔ طلابی که تازه شروع به تحصیل علوم دینی کرده‌بودند استفاده می‌شده‌است. البته هم‌اکنون در ایران کاربردی ندارد.






پیشینه

در گذشته و در حدود هزار سال پیش به شخصیت‌های بارز علمی و راوایان ثقهٔ حدیث مانند شیخ کلینی ، شیخ صدوق و سایرین لقب ثقةالاسلام داده می شده و این لقب دارای بار بالایی بوده است. همچنین در گذشته نه چندان دور لقب آخوند به علمای بسیار بارز داده می شده مانند آخوند ملا محمد باقر مجلسی یا آخوند ملا محمد کاظم خراسانی.






حجت‌الاسلام

این عنوان در حال حاضر به‌ویژه در ایران برای طلاب معمم به کار می‌رود.






پیشینه

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






حجت‌الاسلام والمسلمین

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

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

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






آیت‌الله
برای دیگر کاربردها، آیت‌الله (ابهام‌زدایی) را ببینید.

این عنوان به صورت تخصصی برای کسانی است به مرتبهٔ اجتهاد (بالاترین مدرج تحصیلی در نظام آموزشی حوزه) رسیده‌اند و توانایی استنباط علوم دینی را دارند و در زمینهٔ علوم دینی صاحب نظر هستند گفته می‌شود.

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






پیشینه

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

مورخان مشروطه برای اشاره به برخی فقهای آن دوران همچون محمدکاظم خراسانی نیز از لقب آیت‌الله استفاده کردند و پس از تشکیل حوزه علمیه قم توسط شیخ عبدالکریم حائری تعدادی از استادان این حوزه نیز به آیت‌الله معروف شدند.






آیت‌الله العظمی

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

کاربرد این لقب معیار رسمی ندارد ولی بر اساس عرف موجود عالی‌ترین لقب غیررسمی است و تنها به کسانی تعلق می‌گیرد که علاوه بر اجتهاد فقهی، مقلدان فراوانی نیز داشته باشند. به گفته آیت‌الله موسوی اردبیلی «آیت‌الله العظمی به کسی گفته می‌شود که علاوه بر اجتهاد، جایگاه علمی برتری دارد و در مقام افتا قرار دارد» همچنین به گفته آیت‌الله مبشر کاشانی «اگر از مراجع تقلید باشد یا شأنیت این مقام را داشته باشد و مجتهد جامع‌الشرایط باشد، آیت‌الله العظمی گفته می‌شود.» اما مرتضی مطهری باور داشت که نباید این لقب را به افراد عادی نسبت داد و این لقب ویژه امام زمان است و اوست که آیت‌الله العظمی و بزرگ ترین نشانه الهی بر روی زمین است.







توضیح‌المسائل

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

پیش‌تر مسائل فقهی در قالب رساله‌های عملیه ارائه می‌شد که به دلیل استفاده از واژه‌های تخصصی، فهم آن برای عموم بسیار دشوار بود. نخستین بار علامه کرباسچیان شکل کنونی این رساله‌ها را تدوین و در زمان آیت‌الله بروجردی و با تأیید ایشان چاپ کرد






طلبه
به مردان و زنانی که در حوزه علمیه به تحصیل می‌پردازند طلبه گفته می‌شود.






تعریف واژه طلبه

تعریف واژه طلبه در فرهنگ لغت و فرهنگ مردم و افراد حوزوی
فرهنگ لغت واژه‌ای است در زبان عربی که جمع مکسر واژه طالب است به معنی خواهان و خواستار در زبان فارسی، مانند واژه کاسب که جمع شکسته اش می‌شود کسبه
فرهنگ مردم و افراد حوزوی در زبان فارسی کنونی مردم و افراد حوزوی ایران به کسانی گفته می‌شود که در حوزه علمیه به تحصیل علوم اسلامی مشغول هستند؛ معادل دانش آموز و دانشجو در مدرسه و دانشگاه و هنوز از حداقل تحصیلات حوزوی دانش‌آموخته نشده‌اند، که در آن صورت (دانش‌آموختگی) از وی با عنوان روحانی یاد می‌شود. اگر چه این واژه در زبان عربی جمع واژهٔ طالب است ولی در زبان فارسی به صورت مفرد به‌کار می‌رود و آن را به صورت طُلّاب؛ ساختاری دیگر برای جمع شکسته جمع می‌بندند.






طبقه‌بندی کنونی نظام آموزشی حوزه علمیه در ایران

پس از انقلاب اسلامی ایران حوزه‌های علمیه در ایران به صورت قانونمند درآمدند به این صورت که تحصیل در حوزه علمیه به دو نظام زیر گفته تقسیم شد:
بلند مدت (اجتهاد محور)
کوتاه مدت (تبلیغ محور)

عناوین و القاب طلاب و روحانیون

اطلاق عناوین و القاب گوناگون به طلاب و روحانیون دارای رتبه بندی رسمی و قانونی نیست و این القاب به صورت تعینی و غیر تعیینی و رسمی صورت می‌گیرد، اما اگر یک بررسی به صورت معکوس صورت گیرد می‌توان تا حدودی میزان، درجه و رتبهٔ هر عنوانی را در ایران معاصر
طبقه‌بندی کرد.






علوم اسلامی

علومی که موضوع و مسائل آن علوم، اصول یا فروع اسلام است و یا چیزهایی است که اصول و فروع اسلام به استناد آنها اثبات می‌شود، یعنی قرآن و سنت، مانند علم قرائت٬ علم تفسیر٬ علم حدیث، علم کلام نقلی٬ علم فقه٬ علم اخلاق نقلی.

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






علوم مستند به متون اسلامی

زبان عربی . صرف . نحو . بلاغت . بدیع . معانی . بیان . علوم قرآنی . تجوید . قرائت . تفسیر . علم حدیث . علم اصول . علم فقه . علم حقوق . علم کلام . علم اخلاق . عرفان اسلامی . تاریخ اسلام .






علوم مرتبط با متون اسلامی

فلسفه: فلسفه اولیه، فلسفه مدرن، الهیات • ادبیات: شعر • اقتصاد، روان‌شناسی






علوم مرتبط با مسلمانان

هنر: معماری، خطاطی، موسیقی، سفالگری، اسلیمی، آفرینش •

علوم: در کشورهای اسلامی، کیمیاگری، ستاره‌شناسی، طب، ریاضیات،

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







روحانی
فرد روحانی انسانی است که بر دستورات و آموزه هاي ادیان آگاهي داشته و آن‌ها را بكار ببندد. در بعضی از ادیان، روحانی به فردي گفته می‌شود که علاوه بر اينها دیگران را نیز راهنمائی کند.
11:36 pm
کاربرد برنامه نویسی

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





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

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

یک سیر رایج در گسترش زبان‌های برنامه نویسی این است که قابلیت حل مسائلی با درجات انتزاعی بالاتری را اضافه کنند. زبان‌های برنامه نویسی اولیه به سخت‌افزار رایانه گره خورده بودند. همانطور که زبان‌های برنامه نویسی جدید گسترش پیدا کرده‌اند، ویژگی‌هایی به برنامه‌ها افزوده شده که به برنامه نویس اجازه دهد که ایده‌هایی که از ترجمه ساده به دستورات سخت‌افزار دورتر هستند نیز استفاده کند. چون برنامه نویس‌ها کمتر به پیچیدگی رایانه محدود شده‌اند، برنامه‌های آنها می‌تواند محاسبات بیشتری با تلاش کمتر از سوی برنامه نویس انجام دهند. این به آنها این امکان را می‌دهد که کارایی بیشتردر واحد زمان داشته باشند. "پردازنده‌های زبان طبیعی" به عنوان راهی برای ازبین بردن نیاز به زبان‌های اختصاصی برنامه نویسی پیشنهاد شده‌اند. هرچند، این هدف دور است و فواید آن قابل بحث است. "ادسگر دیجسترا" موافق بود که استفاده از یک زبان رسمی برای جلوگیری از مقدمه سازی ساختارهای بی معنی واجب است، و زبان برنامه نویسی طبیعی را با عنوان "احمقانه" رد کرد، "آلن پرلیس" نیز مشابها این ایده را رد کرد. مطابق با متدولوژی نامتجانس استفاده شده توسط langpop.com در سال ۲۰۰۸، ۱۲ زبان پرکاربرد عبارتند از: C, C++, C#, Java, JavaScript, Perl, PHP, Python, Ruby, Shell, SQL, and Visual Basic.



المان‌ها
تمام زبان‌های بزنامه نویسی تعدادی بلوک‌های ابتدایی برای توضیح داده و پردازش یا تبدیل آنها(مانند جمع کردن دو عدد با انتخاب یک عضو از یک مجموعه)دارند. این " عناصرابتدایی" بوسیله قوانین معناشناسی و دستوری تعریف می‌شوند که ساختار و معنای مربوطه را توضیح می‌دهند.
دستور(
syntax)

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

دستور زبان برنامه نویسی معمولاً بوسیله ترکیب عبارات معین(برای ساختار لغوی) و فرم توضیح اعمال(برای ساختار گرامری) تعریف می‌شوند. متن زیر یک گرامر ساده، به زبان lisp است: expression ::= atom | list atom ::= number | symbol number ::= [+-]?['۰'-'۹']+ symbol ::= ['A'-'Za'-'z'].* list ::= '(' expression* ')' این گرامر موارد ذیل را مشخص می‌کند:

یک عبارت یا atom است و یا یک لیست
یک atom یا یک عدد است و یا یک سمبل
یک عدد دنباله ناشکسته‌ای از یک یا تعداد بیشتری اعداد دهدهی است، که یک علامت مثبت و یا منفی می‌تواند پیش از آن بیاید.
یک سمبل حرفی است که بعد از هیچ یا تعدادی کاراکتر (جز فاصله) می‌آید.
یک لیست تعدادی پرانتز است که می‌تواند صفر یا چند عبارت در خود داشته باشد.

"۱۲۳۴۵"، "()"، "(a b c۲۳۲ (۱))" مثال‌هایی هستند از دنباله‌های خوش فرم در این گرامر.

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

به عنوان مثال در زبان طبیعی، ممکن نیست به برخی از جملات درست از لحاظ گرامری، معنای خاصی اطلاق کرد و یا ممکن است جمله نادرست باشد:

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

این قسمت از زبان C از نظر دستوری درست است، اما دستوری را انجام می‌دهد که از نظرمعنایی تعریف نشده است(چون p یک اشاره گر خالی است، عمل p->real,p->im معنای خاصی ندارد.) complex *p = NULL; complex abs_p = sqrt (p->real * p->real + p->im * p->im);

گرامر مورد نیاز برای مشخص کردن یک زبان برنامه نویسی می‌تواند با جایگاهش در "سلسله مراتب چامسکی" طبقه بندی شود. دستور اغلب زبان‌های برنامه نویسی می‌تواند بوسیله یک گرامر نوع ۲ مشخص گردد، برای مثال، گرامرهای مستقل از متن.




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


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

یک زبان نوع گذاری شده‌است اگر مشخصات هر عملیات، نوع داده‌های قابل اجرا توسط آن را با نشان دادن نوع‌هایی که برای آنها قابل اجرا نیست، تعیین کند. برای مثال، "این متن درون گیومه قرار دارد" یک رشته‌است. در غالب زبان‌های برنامه نویسی، تقسیم یک رشته با یک عدد معنایی ندارد. در نتیجه غالب زبان‌های برنامه نویسی مدرن ممکن است اجرای این عملیات را توسط برنامه‌ها رد کنند. در برخی زبان‌ها، عبارات بی معنی ممکن است هنگام ترجمه(compile) پیدا شود(چک کننده نوع ایستا)، و توسط کامپایلر رد شود، در حالی که در سایر برنامه‌ها، هنگام اجرا پیدا شود.(چک کننده نوع دینامیک) که به استثنای در حال اجرا منتج شود(runtime exception). حالت خاص زبان‌های نوع دار زبان‌های تک نوعند. این زبان‌ها غالباً اسکریپتی و یا مارک آپ هستند، مانند rexx وSGML و فقط یک داده گونه دارند—غالباً رشته‌های کاراکتری که هم برای داده‌های عددی و هم برای داده‌های سمبلی کاربرد دارند. در مقابل، یک زبان بدون نوع گذاری، مثل اکثر زبان‌های اسمبلی، این امکان را می‌دهد که هر عملیاتی روی هر داده‌ای انجام شود، که معمولاً دنباله‌ای از بیت‌ها با طول‌های متفاوت در نظر گرفته می‌شوند. زبان‌های سطح بالا که بی نوع هستند شامل زبان‌های ساده رایانه‌ای و برخی از انواع زبان‌های نسل چهارم.

در عمل، در حالیکه تعداد بسیار کمی از دیدگاه نظریه نوع، نوع گذاری شده تلقی می‌شوند(چک کردن یا رد کردن تمام عملیات‌ها)، غالب زبان‌های امروزی درجه‌ای از نوع گذاری را فراهم می‌کنند. بسیاری از زبان‌های تولیدکننده راهی را برای گذشتن یا موقوف کردن سیستم نوع فراهم می‌کنند.



نوع گذاری ایستا و متحرک

در نوع گذاری ایستا تمام عبارات نوع‌های خود را قبل از اجرای برنامه تعیین می‌کنند(معمولاً در زمان کامپایل). برای مثال، ۱ و (۲+۲) عبارات عددی هستند؛ آنها نمی‌توانند به تابعی که نیاز به یک رشته دارد داده شوند، یا در متغیری که تعریف شده تا تاریخ را نگه دارد، ذخیره شوند.


زبان‌های نوع گذاری شده ایستا می‌توانند با مانیفست نوع گذاری شوند یا با استفاده از نوع استنباط شوند. در حالت اول، برنامه نویس بیشتر صریحاً نوع‌ها را در جایگاه‌های منتنی مشخص می‌نویسد(برای مثال، در تعریف متغیرها). در حالت دوم، کامپایلر نوع عبارات و تعریف‌ها را بر اساس متن استنباط می‌کند. غالب زبان‌های مسیر اصلی(mainstream) ایستا نوع گذاری شده، مانند C#,C++ و Java، با مانیفست نوع گذاری می‌شوند



نوع گذاری قوی و ضعیف

نوع گذاری ضعیف این امکان را ایجاد می‌کند که با متغیری به جای متغیری دیگر برخورد شود، برای مثال رفتار با یک رشته به عنوان یک عدد. این ویژگی بعضی اوقات ممکن است مفید باشد، اما ممکن است باعث ایجاد برخی مشکلات برنامه شود که موقع کامپایل و حتی اجرا پنهان بمانند.

نوع گذاری قوی مانع رخ دادن مشکل فوق می‌شود. تلاش برای انجام عملیات روی نوع نادرست متغیر منجر به رخ دادن خطا می‌شود. زبان‌هایی که نوع گذاری قوی دارند غالباً با نام "نوع-امن" و یا امن شناخته می‌شوند. تمام تعاریف جایگزین برای "ضعیف نوع گذاری شده" به زبان‌ها اشاره می‌کند، مثل perl, JavaScript, C++، که اجازه تعداد زیادی تبدیل نوع داخلی را می‌دهند. در جاوااسکریپت، برای مثال، عبارت ۲*x به صورت ضمنی x را به عدد تبدیل می‌کند، و این تبدیل موفقیت آمیز خواهد بود حتی اگر x خالی، تعریف نشده، یک آرایه، و یا رشته‌ای از حروف باشد. چنین تبدیلات ضمنی غالباً مفیدند، اما خطاهای برنامه نویسی را پنهان می‌کنند.

قوی و ایستا در حال حاضر عموماً دو مفهوم متعامد فرض می‌شوند، اما استفاده در ادبیات تفاوت دارد، برخی عبارت "قوی نوع گذاری شده" را به کار می‌برند و منظورشان قوی، ایستایی نوع گذاری شده‌است، و یا، حتی گیچ کننده تر، منظورشان همان ایستایی نوع گذاری شده‌است. بنابراین C هم قوی نوع گذاری شده و هم ضعیف و ایستایی نوع گذاری شده نامیده می‌شود.



معناشناسی اجرا

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

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


کتابخانه هسته
اغلب زبان‌های برنامه نویسی یک کتابخانه هسته مرتبط دارند(گاهی اوقات "کتابخانه استاندارد" نامیده می‌شوند، مخصوصا وقتی که به عنوان قسمتی از یک زبان استاندارد ارائه شده باشد)، که به طور قراردادی توسط تمام پیاده سازی‌های زبان در دسترس قرار گرفته باشند. کتابخانه هسته معمولاً تعریف الگوریتم‌ها، داده ساختارها و مکانیزم‌های ورودی و خروجی پرکاربرد را در خود دارد. کاربران یک زبان، غالباً با کتابخانه هسته به عنوان قسمتی از آن رفتار می‌کنند، اگرچه طراحان ممکن است با آن به صورت یک مفهوم مجزا رفتار کرده باشند. بسیاری از خصوصیات زبان هسته‌ای را مشخص می‌کنند که باید در تمام پیاده سازی‌ها موجود باشند، و در زبان‌های استاندارد شده این کتابخانه هسته ممکن است نیاز باشد. بنابراین خط بین زبان و کتابخانه هسته آن از زبانی به زبان دیگر متفاوت است. درواقع، برخی زبان‌ها به گونه‌ای تعریف شده‌اند که برخی از ساختارهای دستوری بدون اشاره به کتابخانه هسته قابل استفاده نیستند. برای مثالف در جاوا، یک رشته به عنوان نمونه‌ای از کلاس “java.lang.String” تعریف شده است؛ مشابها، در سمال تاک(smalltalk) یک تابع بی نام(یک "بلاک") نمونه‌ای از کلاس BlockContext کتابخانه می‌سازد. بطور معکوس، Scheme دارای چندین زیرمجموعه مرتبط برای ایجاد سایر ماکروهای زبان می‌باشد، و در نتیجه طراحان زبان حتی این زحمت را نیز تحمل نمی‌کنند که بگویند کدام قسمت زبان به عنوان ساختارهای زبان باید پیاده سازی شوند، و کدام یک به عنوان بخشی ازکتابخانه.


عمل
طراحان زبان و کاربران باید مصنوعاتی ایجاد کنند تا برنامه نویسی را در عمل ممکن سازند و کنترل کنند. مهمترین این مصنوعات خصوصیات و پیاده سازی‌های زبان هستند.



خصوصیات

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

تعریف صریح دستور، معناشناسی ایستا، ومعناشناسی اجرای زبان. درحالیکه دستور معمولاً با یک معناشناسی قراردادی مشخص می‌شود، تعاریف معناشناسی ممکن است در زبان طبیعی نوشته شده باشند (مثل زبان C)، یا معناشناسی قراردادی(مثل StandardML ,Scheme)
توضیح رفتار یک مترجم برای زبان(مثل C,fortran). دستور و معناشناسی یک زبان باید از این توضیح استنتاج شوند، که ممکن است به زبان طبیعی یا قراردادی نوشته شود.
پیاده سازی منبع یا مدل. گاهی اوقات در زبان‌های مشخص شده(مثل: prolog,ANSI REXX).دستور و معناشناسی صریحاً در رفتار پیاده سازی مدل موجودند.


پیاده سازی

پیاده سازی یک زبان برنامه نویسی امکان اجرای آن برنامه را روی پیکربندی مشخصی از سخت‌افزار و نرم‌افزار را فراهم می‌کند. بطور وسیع، دو راه رسیدن به پیاده سازی زبان برنامه نویسی وجود دارد. کامپایل کردن و تفسیر کردن. بطور کلی با هر بک از ابن دو روش می‌توان یک زبان را پیاده سازی کرد.

خروجی یک کامپایلر ممکن است با سخت‌افزار و یا برنامه‌ای به نام مفسر اجرا شود. در برخی پیاده سازی‌ها که از مفسر استفاده می‌شود، مرز مشخصی بین کامپایل و تفسیر وجود ندارد. برای مثال، برخی پیاده سازی‌های زبان برنامه نویسی بیسیک کامپایل می‌کنند و سپس کد را خط به خط اجرا می‌کنند.

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

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



تاریخچه
پیشرفت‌های اولیه

اولین زبان برنامه نویسی به قبل از رایانه‌های مدرن باز می‌گردد. قرن ۱۹ دستگاه‌های نساجی و متون نوازنده پیانو قابل برنامه نویسی داشت که امروزه به عنوان مثال‌هایی از زبان‌های برنامه نویسی با حوزه مشخص شناخته می‌شوند. با شروع قرن بیستم، پانچ کارت‌ها داده را کد گذاری کردند و پردازش مکانیکی را هدایت کردند. در دهه ۱۹۳۰ و ۱۹۴۰، صورت گرایی حساب لاندای آلونزو چرچ و ماشین تورینگ آلن تورینگ مفاهیم ریاضی بیان الگوریتم‌ها را فراهم کردند؛ حساب لاندا همچنان در طراحی زبان موثر است.

در دهه ۴۰، اولین رایانه‌های دیجیتال که توسط برق تغذیه می‌شدند ایجاد شدند. اولین زبان برنامه نویسی سطح بالا طراحی شده برای کامپیوتر پلانکالکول بود، که بین سال‌های ۱۹۴۵ و ۱۹۴۳ توسط کنراد زوس برای ز۳ آلمان طراحی شد.

کامپیوترهای اوایل ۱۹۵۰، بطور خاص ÜNIVAC ۱ و IBM ۷۰۱ از برنامه‌های زبان ماشین استفاده می‌کردند. برنامه نویسی زبان ماشین نسل اول توسط نسل دومی که زبان اسمبلی نامیده می‌شوند جایگزین شد. در سال‌های بعد دهه ۵۰، زبان برنامه نویسی اسمبلی، که برای استفاده از دستورات ماکرو تکامل یافته بود، توسط سه زبان برنامه نویسی سطح بالا دیگر: FORTRAN,LISP , COBOL مورد استفاده قرار گرفت. نسخه‌های به روز شده این برنامه‌ها همچنان مورد استفاده قرار می‌گیرند، و هر کدام قویا توسعه زبان‌های بعد را تحت تاثیر قرار دادند. در پایان دهه ۵۰ زبان algol ۶۰ معرفی شد، و بسیاری از زبان‌های برنامه نویسی بعد، با ملاحظه بسیار، از نسل algol هستند. قالب و استفاده از زبان‌های برنامه نویسی به شدت متاثر از محدودیت‌های رابط بودند.



پالایش

دوره دهه ۶۰ تا اواخر دهه ۷۰ گسترش مثال‌های عمده زبان پرکاربرد امروز را به همراه داشت. با این حال بسیاری از جنبه‌های آن بهینه سازی ایده‌های اولیه نسل سوم زبان برنامه نویسی بود:

APL برنامه نویسی آرایه‌ای را معرفی کرد و برنامه نویسی کاربردی را تحت تاثیر قرار داد.
PL/i(NPL) دراوایل دهه ۶۰ طراحی شده بود تا ایده‌های خوب فورترن و کوبول را بهم پیوند دهد.
در دهه ۶۰، Simula اولین زبانی بود که برنامه نویسی شئ گرا را پشتیبانی می‌کرد، در اواسط دهه۷۰. Smalltalk به دنبال آن به

عنوان اولین زبان کاملاً شئ گرا معرفی شد.

C بین سال‌های ۱۹۶۹ تا ۱۹۷۳ به عنوان زبان برنامه نویسی سیستمی طراحی شد و همچنان محبوب است.
Prolog، طراحی شده در ۱۹۷۲، اولین زبان برنامه نویسی منطقی بود.
در ۱۹۷۸ ML سیستم نوع چند ریخت روی لیسپ ایجاد کرد، و در زبان‌های برنامه نویسی کاربردی ایستا نوع گذاری شده پیشگام شد.

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

دهه‌های ۶۰ و ۷۰ مناقشات بسیاری روی برنامه نویسی ساخت یافته به خود دیدند، و اینکه آیا زبان‌های برنامه نویسی باید طوری طراحی شوند که آنها را پشتیبانی کنند.

"ادسگر دیکسترا" در نامه‌ای معروف در ۱۹۶۸ که در ارتباطات ACM منتشر شد، استدلال کرد که دستورgoto باید از تمام زبان‌های سطح بالا حذف شود.

در دهه‌های ۶۰ و ۷۰ توسعهٔ تکنیک‌هایی صورت گرفت که اثر یک برنامه را کاهش می‌داد و در عین حال بهره وری برنامه نویس و کاربر را بهبود بخشید. دسته کارت برای ۴GL اولیه بسیار کوچکتر از برنامهٔ هم سطح بود که با ۳GL deck نوشته شده بود.




یکپارچگی و رشد

دهه ۸۰ سال‌های یکپارچگی نسبی بود. C++ برنامه نویسی شئ گرا و برنامه نویسی سیستمی را ترکیب کرده بود. ایالات متحده ایدا(زبان برنامه نویسی سیستمی که بیشتر برای استفاده توسط پیمان کاران دفاعی بود) را استاندارد سازی کرد. در ژاپن و جاهای دیگر، هزینه‌های گزافی صرف تحقیق در مورد زبان نسل پنجم می‌شد که دارای ساختارهای برنامه نویسی منطقی بود. انجمن زبان کاربردی به سمت استانداردسازی ML و Lisp حرکت کرد. به جای ایجاد مثال‌های جدید، تمام این تلاش‌ها ایده‌هایی که در دهه‌های قبل حلق شده بودند را بهتر کرد.

یک گرایش مهم در طراحی زبان در دهه ۸۰ تمرکز بیشتر روی برنامه نویسی برای سیستم‌های بزرگ از طریق مدول‌ها، و یا واحدهای کدهای سازمانی بزرگ مقیاس بود. مدول-۲، ایدا. و ML همگی سیستم‌های مدولی برجسته‌ای را در دهه ۸۰ توسعه دادند. با وجود اینکه زبان‌های دیگر، مثل PL/i، پشتیبانی بسیار خوبی برای برنامه نویسی مدولی داشتند. سیستم‌های مدولی غالباً با ساختارهای برنامه نویسی عام همراه شده‌اند.

رشد سریع اینترنت در میانه دهه ۹۰ فرصت‌های ایجاد زبان‌های جدید را فراهم کرد. Perl، در اصل یک ابزار نوشتن یونیکس بود که اولین بار در سال ۱۹۸۷ منتشر شد، در وب‌گاه‌های دینامیک متداول شد. جاوا برای برنامه نویسی جنب سروری مورد استفاده قرار گرفت. این توسعه‌ها اساساً نو نبودند، بلکه بیشتر بهینه سازی شده زبان و مثال‌های موجود بودند، و بیشتر بر اساس خانواده زبان برنامه نویسی C بودند. پیشرفت زبان برنامه نویسی همچنان ادامه پیدا می‌کند، هم در تحقیقات و هم در صنعت. جهت‌های فعلی شامل امنیت و وارسی قابلیت اعتماد است، گونه‌های جدید مدولی(mixin، نماینده‌ها، جنبه‌ها) و تجمع پایگاه داده.

۴GLها نمونه‌ای از زبان‌هایی هستند که محدوده استفاده آنها مشخص است، مثل SQL. که به جای اینکه داده‌های اسکالر را برگردانند، مجموعه‌هایی را تغییر داده و بر می‌گردانند که برای اکثر زبان‌ها متعارفند. Perl برای مثال، با "مدرک اینجا" خود می‌تواند چندین برنامه ۴GL را نگه دارد، مانند چند برنامه جاوا سکریبت، در قسمتی از کد پرل خود و برای پشتیبانی از چندین زبان برنامه نویسی با تناسب متغیر در "مدرک اینجا" استفاده کند.




سنجش استفاده از زبان

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

شمارش تعداد تبلیغات شغلی که از آن زبان نام می‌برند.
تعداد کتاب‌های آموزشی و شرح دهندهٔ آن زبان که فروش رفته‌است.
تخمین تعداد خطوطی که در آن زبان نوشته شده اند- که ممکن است زبان‌هایی را که در جستجوها کمتر پیدا می‌شوند دست کم گرفته شوند.
شمارش ارجاع‌های زبان(برای مثال، به اسم زبان) در موتورهای جستجوهای اینترنت.

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

این حقیقت که این دسته بندی ممکن است در راستای محورهای مختلف انجام شوند، این وظیفه را پیچیده تر می‌کند؛ برای مثال، جاوا هم یک زبان شیءگرا(چون به برنامه نویسی شیءگرا تشویق می‌کند) و زبان همزمان(چون ساختارهای داخلی برای اجرای چندین جریان موازی دارد) است. پایتون یک زبان اسکریپتی شیءگراست.

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

یک زبان برنامه نویسی ممکن است با فاکتورهای غیر مرتبط به مثال‌های برنامه نویسی دسته بندی شود. برای مثال، غالب زبان‌های برنامه نویسی کلمات کلیدی زبان انگلیسی را استفاده می‌کنند، در حالیکه تعداد کمی این کار را نمی‌کنند. سایر زبان‌ها ممکن است براساس داخلی بودن یا نبودن دسته بندی شوند.
ساعت : 11:36 pm | نویسنده : admin | گرافیکسولوژی | مطلب قبلی
گرافیکسولوژی | next page | next page