واژه‌گزینی
«وبگاه» واژه مصوب گروه واژه‌گزینی فرهنگستان زبان و ادب فارسی برای واژه «وب‌سایت» (Website) در زبان انگلیسی می‌باشند.
هنجار
هَنجار در اصطلاح دانش جامعه‌شناسی به یک الگوی رفتاری گفته می‌شود که روابط و کنش‌های اجتماعی را تنظیم می‌کند، اکثریت جامعه خود را به آن پایبند می‌دانند و در صورتی که شخصی آن را رعایت نکند، جامعه او را مجازات می‌کند.
هنجارهای درونی، هنجارهایی هستند که در صورت عدم رعایت آنها، مجازات رسمی و مشخصی وجود ندارد. هنجارهای بیرونی، هنجارهایی هستند که برای اعضای یک جامعه از پیش تعیین گشته است. ترس از مجازات و میل درونی، اعضای جامعه را به پیروی از هنجار ترغیب می‌کند. اگر هنجارها در جامعه‌ای ثبات نداشته باشند، و یا با برخی نظم‌های دیگر اجتماعی در تضاد و تعارض باشند، افراد جامعه کمتر از هنجارها پیروی خواهند کرد. هنجارها در جوامع مختلف، ممکن است متفاوت یا حتی متضاد باشند. بی‌هنجاری باعث از بین رفتن استحکام نظام اجتماعی می‌شود. انواع دیگر قاعده‌مندی‌های نظام اجتماعی، عادتها و رسمها هستند.
فضای مجازی
فضای مجازی واژه‌ای است که در دهه ۱۹۸۰ وارد ادبیات علمی تخیلی شد و شاغلان در زمینه کامپیوتر و علاقه‌مندان به سرعت آن را به کار بردند و در دهه ۱۹۹۰ رایج شد. در این دوره، استفاده از اینترنت، شبکه و مخابرات دیجیتال سریعاً در حال رشد بود و لفظ فضای مجازی می‌توانست بسیاری از ایده‌ها و پدیده‌های نوظهور را نمایندگی کند.
لفظ مادر فضای مجازی سایبرنتیک است که از κυβερνήτης یونانی باستان به معنای فرماندار یا راننده مشتق شده، واژه‌ای که نوربرت وینر برای کار پیشگامانه اش در مخابرات الکترونیک و علم کنترل به کار برد.
وب‌نوشت
وب‌نوشت یا وبلاگ که به آن تارنوشت ، تارنگار یا بلاگ (به انگلیسی: Blog) هم می‌گویند، نوعی از صفحات اینترنتی است با محتوای شخصی که مطالب آن بر مبنای زمانی که ثبت شده گروهبندی و به ترتیب از تازه‌ترین رخداد به قدیم ارائه می‌گردد. نویسندهٔ وب‌نوشت، وب‌نویس یا تارنویس نامیده می‌شود و ممکن است بیش از یک نفر باشد، وب‌نویس به گزارش مداوم رویدادها، خاطرات، و یا عقاید یک شخص یا یک سازمان می‌پردازد. واحد مطالب در وب‌نوشت، پست است، در حالی که واحد مطالب در وبگاه صفحه می‌باشد. معمولاً در انتهای هر مطلب، برچسب تاریخ و زمان، نام نویسنده و پیوند ثابت به آن یادداشت ثبت می‌شود. فاصلهٔ زمانی بین مطالب وب‌نوشت لزوماً یکسان نیست و زمان نوشته‌شدن هر مطلب به خواست نویسندهٔ وب‌نوشت بستگی دارد. مطالب نوشته شده در یک وب‌نوشت همانند محتویات یک وبگاه معمولی در دسترس کاربران قرار می‌گیرد. در بیشتر موارد وب‌نوشت‌ها دارای روشی برای دسترسی به بایگانی یادداشت‌ها هستند (مثلاً دسترسی به بایگانی بر حسب تاریخ یا موضوع). بعضی از وب‌نوشت‌ها امکان جستجو برای یک واژه یا عبارت خاص را در میان مطالب به کاربر می‌دهند.
واژه‌شناسی و واژه‌گزینی
واژهٔ وبلاگ اولین‌بار توسط یورن بارگر استفاده شد که یک هم‌آمیزی از دو واژهٔ وب و لاگ است. واژهٔ لاگ، واژه‌ای‌ست از ریشه واژهٔ یونانی لوگاس که در قرون میانه در معنای دفتر گزارش سفر کشتی‌ها به کار می‌رفته‌است. لاگ در زبان تخصصی رایانه به پرونده‌هایی گفته می‌شود که گزارش وقایع رخ‌داده در رایانه را ثبت می‌کنند. بلاگ نیز شکل کوتاه‌شده وبلاگ است.
انواع وب‌نوشت‌ها
به جز نوع نوشتاری وب‌نوشت، با گسترش روزافزون فناوری‌های اینترنتی، سامانه‌های نوینی از وب‌نوشت‌ها نیز گسترش پیدا کرده‌است.
در حال حاضر وب‌نوشت‌ها به صورت‌های مختلفی مانند وب‌نوشت عکسی، ویدئو بلاگ، فلش بلاگ، پادکست و صدا بلاگ نیز وجود دارند.
تاریخ وب‌نویسی
نخستین وب‌نوشت دنیا SCRIPTING NEWS متعلق به دیوید واینر بود. در آغاز سال ۱۹۹۹ ۲۳ وب‌نوشت در اینترنت وجود داشت و در عرض چند ماه تعداد آنها به میلیون‌ها وب‌نوشت رسید که از نقاط مختلف جهان می‌نوشتند.
وب‌نوشت‌های فارسی
در ایران نخستین وب‌نوشت را سلمان جریری دانشجوی ۲۳ ساله مهندسی کامپیوتر دانشگاه صنعتی امیرکبیر، در ۱۶ شهریور ۱۳۸۰ ایجاد کرد و موج وب‌نویسی در مهرماه ۱۳۸۰، توسط حسین درخشان روزنامه نگار مقیم تهران مقاله‌ای با عنوان«چگونه در اقیانوس اطلاعاتی این روزها غرق نشویم» در مجله دنیای کامپیوتر در ایران آغاز شد. نخستین وب‌نوشت فارسی زبان ایرانی با استفاده از «بلاگ اسپات» و دوماه پس از یازدهم سپتامبر ۲۰۰۱ راه اندازی شد. چندماه بعد نخستین ارائه‌دهندهٔ خدمات وب‌نوشت فارسی یعنی «پرشین بلاگ» راه اندازی شد. در سال اول حدود ۱۰۰ وب‌نوشت ایجاد شد و سال‌های بعدی با ایجاد سرویس‌های پرشین بلاگ، بلاگ اسکای و بلاگفا به ده‌ها هزار رسید.
طبق اطلاعات مندرج در سایت بلاگ سنسوس، در سال ۲۰۰۸ وب‌نوشت‌های فارسی در رتبه دهم زبان‌های وب‌نوشتی رایج در جهان قرار داشتند. گزارش‌های جدید نشان میدهد که در مجموع بیش از ۴٫۵ میلیون وب‌نوشت فارسی به ثبت رسیده که در میان آنها بیش از ۴۵۰ هزار وب‌نوشت فعال وجود دارد. در حال حاضر در ایران بیش از هشت میلیون وب‌نوشت ثبت شده وجود داشته و ایران از این حیث جایگاه دهم را در جهان داراست.
در میان افغانان نخستین وب‌نوشت را ضیا افضلی به نام «غزل امروز افغانستان» از کانادا نوشته‌است. نخستین وب‌نوشتی که از داخل افغانستان نوشته شده‌است را وحید پیمان ایجاد کرد.
ارائه‌دهنده خدمات وب‌نوشت
وبگاه ارائه‌دهندهٔ خدمات وب‌نوشت یک نوع وبگاه است که با کمک آن می‌توان به سادگی وب‌نوشت ایجاد کرد. بسیاری از این وبگاههای ارائه کنندهٔ این نوع خدمات، از نرم‌افزارهای وب‌نوشت معروف استفاده می‌کنند. به عنوان نمونه وردپرس دات کام از نرم‌افزار وردپرس استفاده می‌کند. مزیت این نوع وبگاهها در آن است که کاربر خود مجبور به میزبانی و پیکربندی نرم‌افزار نیست. در مقابل، تمام تنظیمات نرم‌افزار وب‌نوشت هم برای کاربر در دسترس نخواهد بود.
این نوع وبگاهها خدمات مختلفی را ارائه می‌کنند. متداول‌ترین این خدمات، امکان ایجاد وب نوشت نوشتاری است. برخی از این وب‌نوشت‌ها امکان ایجاد وب‌نوشت عکسی (فتوبلاگ)، وب‌نوشت صوتی (پادکست)، و یا وب‌نوشت ویدیوئی (ویدئوبلاگ) را نیز ارائه می‌کنند.
ارائه‌دهندگان خدمات وب‌نوشت فارسی
وبگاههای ارایه کنندهٔ خدمات وب‌نوشت به فارسی، ابتدا متمرکز بر خدمات وب‌نوشت متنی بودند اما تدریجاً انواع دیگر خدمات، نظیر میزبانی پادکست و وب‌نوشت‌های تصویری را نیز ارائه کردند.
اولین وب‌نوشت دهندهٔ تماماً فارسی، پرشین‌بلاگ است که در ۲۳ خرداد ۱۳۸۱ کار خود را رسماً آغاز کرد. تا پیش از آن، وب‌نوشت دهنده‌های چند زبانه نظیر بلاگر را می‌شد برای وب‌نوشت‌های فارسی به کار گرفت. در طول سال‌های دههٔ ۸۰ و ۹۰ خورشیدی، برتعداد وب‌نوشت دهنده‌های تماماً فارسی افزوده شد. آمار رسمی از تعداد این وبگاهها موجود نیست اما گمان می‌رود که حدود ۳۵۰ وب‌نوشت دهندهٔ تماماً فارسی مشغول فعالیت‌اند.
از جمله ارائه‌دهندگان خدمات وب‌نوشت به فارسی می‌توان به بلاگ اسکای، بلاگفا، پارسی بلاگ، پرشین‌بلاگ و میهن بلاگ اشاره کرد.
روابط اجتماعی
روابط اجتماعی یک واژه فراگیر بوده و شامل سیاست اجتماعی و مدیریت اجتماعی است که هر دو با زمینه‌های علوم سیاسی و علوم اقتصادی پیوند نزدیکی دارند.
مباحث سیاست اجتماعی عموماً آشکارا مورد توجه قرار می گیرند. کسانیکه در این جُستارها شرکت می‌کنند باید دارای دیدگاه‌های خاصی باشند تا بتوانند بحث را همراهی کنند.
روابط اجتماعی اینگونه نیست و بر روی روشهای مدیریت اجتماعی که با استفاده از نمونه‌های تاریخی و نتایج ثبت شده شکل می‌گیرد، متمرکز است.
روابط اجتماعی را می‌توان به صورت مدیریت مفید روابط حقوقی و فرهنگی تعریف کرد. (جرمی کین، همکار بنیاد EPPA، مشاوران روابط اجتماعی سراسر اروپا)
عملگرایی به چگونگی و تفسیر عمومی روابط اجتماعی می‌پردازد.
فهرست موضوعات روابط اجتماعی:
حکومت، دولت، شیوه‌های حکومت
جمهوری
مردم‌سالاری
پادشاهی
امنیت
جرم، دادرسی جنایی
نظامی
دفاع غیرنظامی، آمادگی اضطراری، گروه‌های پاسخگو در موقعیتهای اضطراری
قانونی، بی‌قانونی
سلامت عمومی، آلودگی، معاملات اوراق بهادار
سیاست صنعتی، سیاست سرمایه گذاری، مالیات، تعرفه گمرکی و تجارت
بودجه
وضع مالیات (مالیات بندی)
سوسیالیسم (اشتراک‌باوری)
فن‌سالاری (حکومت مهندسان و دانشمندان علوم)
مدیریت
درجات روابط اجتماعی
جامعه‌شناسی
جامعه‌شناسی دانش بررسی جامعه است. این رشته علمی به بررسی جوامع بشری، برهم‌کنش‌های آنها، و فرایندهایی که جوامع را در وضعیت جاری‌شان نگاه داشته یا تغییر میدهد، می‌پردازد. هدف این حوزه علمی پرداختن به تجزیه جامعه به بخش‌های تشکیل دهنده‌اش مانند انجمن‌ها، نهادها، گروه‌های هم‌جنس، هم‌نژاد، یا هم‌سن، و بررسی نحوه برهم‌کنش فعال این اجزاء با همدیگر است. علاوه بر اینها، این علم موضوعاتی مانند طبقه اجتماعی، قشربندی، جنبش اجتماعی، تغییرات اجتماعی و بی نظمی‌هایی مانند جرم، انحراف، و انقلاب را مورد تحقیق قرار میدهد.
از آنجایی که در مقایسه با بقیه حیوانات، انسان کمتر تحت تأثیر و کنترل غرایز می‌باشد، بخش زیادی از رفتارهای او توسط ساختارهای اجتماعی کنترل می‌شود. این موضوع ضرورت وجود ارگانهای اجتماعی (از قبیل ارگانهای اقتصادی، مذهبی، آموزشی، سیاسی،...) جهت مشخص کردن رفتارها و تصمیمات انسانها را نشان میدهد. رشته جامعه‌شناسی به بررسی نحوه‌های تأثیر ارگانهای اجتماعی بر رفتار انسانها، برهم‌کنش ارگانهای اجتماعی مختلف با یکدیگر، تشکیل، فرسودگی و نابودی آنها می‌پردازد. از آنجایی که جامعه‌شناسی به رفتار ما به عنوان موجوداتی اجتماعی توجه دارد، زمینه پژوهش آن از واکاوی (تحلیل) تماس‌های کوتاه میان افراد ناشناس در خیابان گرفته تا بررسی روندهای اجتماعی جهانی، همه را دربر می‌گیرد. جامعه‌شناسی، علم شناخت جامعه و همچنین ساختارها، روابط درون آن، نهادهای آن و واقعیت‌های اجتماعی است.
ابن خلدون مؤسس «علمی از تشکیلات اجتماعی» بوده که به آنچه امروزه جامعه‌شناسی خوانده می‌شود شباهت دارد؛ چنانچه برخی از محققین ابن خلدون را پدر جامعه‌شناسی می‌شناسند. بگفته دانشنامه بریتانیکا جامعه‌شناسی در اواخر قرن ۱۹ میلادی بواسطه کارهای امیل دورکیم در فرانسه، ماکس وبر و گئورگ زیمل در آلمان، رابرت پارک و آلبیون وودبری اسمال در آمریکا ظهور کرد. جامعه‌شناسی در ایران توسط غلامحسین صدیقی (تولد: ۱۲۸۴ هجری شمسی) در سال ۱۳۱۷ هجری شمسی بنیان نهاده شد.
جامعه‌شناسان از روشهای مشاهده‌ای مختلف، نظرسنجی و مصاحبه، تحلیل‌های آماری، آزمایش‌های کنترل شده، و روشهای دیگر بهره می‌جویند.
تاریخچه
ابوزید عبدالرحمن بن محمد بن خلدون تاریخ‌نگار، جامعه‌شناس، مردم‌شناس و سیاست‌مدار مسلمان است. وی را از پیشگامان تاریخ‌نگاری به شیوهٔ علمی و از پیشگامان علم جامعه‌شناسی می‌دانند که حدود ۴۰۰ سال پیش از اگوست کنت - مؤسس علمی به نام جامعه‌شناسی (به فرانسوی: La sociologie) در فرانسه - می‌زیست. ابن‌خلدون این علم جدید را عمران نام نهاد.
وی در ۴۲ سالگی به نگارش کتابی پیرامون تاریخ جهان رو آورد که مقدمهٔ آن بیش از خود کتاب شناخته شده‌است. این کتاب، به دلیل سبک بدیع و نگرش نوینش، توجهات بسیاری را به خود جلب داشت و از دلایل اصلی شهرت وی است. کتاب او با نام «مقدمه ابن خلدون» در ایران شهرت دارد و توسط محمد پروین گنابادی به فارسی ترجمه شده‌است.
او به عنوان بزرگترین اندیشمند شرق شناخته می‌شود. در کتاب مقدمه وی از تکرار تاریخ در یک چرخه شش نسلی سخن گفته. این چرخه از آغاز یک اجتماع با تکیه بر کشاورزی سپس فنون آغاز می‌شود. در آخرین مرحله اجتماع چنان قدرتمند می‌شود که مردم آن به هنر و موسیقی روی می‌آورند و پس از آن مردم از فرط امنیت و بی نیازی تعصب خود را نسبت به جامعه از دست می‌دهند تا اینکه قوم دیگری آن جامعه را از خارج فتح می‌کند و در اینجا تاریخ بر همین منوال تکرار می‌شود. او برای مثال می‌گوید که پارس‌ها از عرب‌ها شکست خوردند عرب‌ها از ترکان غزنوی و سلجوقی و ترکان نیز از مغول‌ها شکست خوردند. اگرچه عقاید ابن خلدون تحت تأثیر افکار افلاطون و به خصوص سیاست ارسطو است اما این دانشمند توانسته با اندیشه یونانی و با نگاه ژرف و تجربه طولانی خویش به عنوان سیاست‌مداری کارکشته تئوری‌های نوین جامعه‌شناسی خود را توسعه دهد.
از ابن خلدون به عنوان بنیانگذار علم تاریخ هم یاد می‌شود. او در همین کتاب برای نخستین بار شیوه‌هایی علمی برای استخراج حقیقت از منابع دست اول را طراحی کرده.
قرون ۱۸ و ۱۹ میلادی
بنا شده بود بهره جسته‌است. واژهٔ فرانسوی Sociologie نخستین بار در ۱۸۳۷ توسط اگوست کنت فیلسوف فرانسوی ابداع شد، هر چند او را مؤسس رشتهٔ علمی جامعه‌شناسی به‌حساب نمی‌آورند. کنت با الهام گرفتن از علم فیزیک و ملاحظه موفقیت آن، هدفش را یافتن قوانین همواره صادق حاکم بر جوامع انسانی توسط یک روشی علمی تعریف کرد. کنت در ابتدا علم‌اش را فیزیک اجتماعی نامید، اما بعدها نام آن‌را به جامعه‌شناسی تغییر داد. او می‌خواست چیزی مشابه آنچه در فیزیک انجام شده بود را در جوامع انسانی پیاده‌سازی کند. افراد دیگری نیز در قرن ۱۹ میلادی (همانند کارل مارکس) بودند که خود را جامعه‌شناس نمی‌خواندند ولی امروزه به عنوان پایه‌گذاران این رشته شناخته می‌شوند. جدا از این افراد، در قرن ۱۹ میلادی روشهای مطالعات آماری نیز تدوین شد که بعدها در تدوین رشته جامعه‌شناسی مورد استفاده قرار گرفت.
شناخته شدن به عنوان یک رشته دانشگاهی و توسعه
جامعه‌شناسی برای اولین بار در سال‌های ۱۸۸۰ و ۱۸۹۰ میلادی به عنوان یک رشته دانشگاهی شناخته شده و در دانشگاه‌ها شروع به تدریس شدن کرد. اولین مکتب جامعه‌شناسی مکتب دورکیم بود. این مکتب که توسط جامعه‌شناس فرانسوی امیل دورکیم تأسیس شد تأکید زیادی بر وجود واقعیت‌های در سطح اجتماع داشت که مستقل از ویژگی‌های روانی مختلف تک تک افراد. جهت تلاش برای یافتن این حقیقت‌ها و ارتباط آنها با هم، این گروه از جامعه‌شناسان شروع به بررسی جوامع انسانی بدوی کردند. در فرانسه و در کشورهای انگلیسی زبان تلاش بر این بود که مدل‌های از ساختارهای اجتماعی به تقلید از آنچه در رشته فیزیک انجام می‌شود ارائه کنند.
اقتصاددان و مورخ ماکس وبر در تثبیت جامعه‌شناسی به عنوان یک رشته دانشگاهی در آلمان در دهه‌های اول قرن بیستم نقش عمده‌ای بازی کرد. جامعه‌شناسان آلمانی بر خلاف جامعه‌شناسان فرانسوی و انگلیسی زبانان بجای تقلید از روش مدل سازی رایج در علوم فیزیکی بیشتر متاثر از تحلیل‌های تاریخی و تحت تأثیر دیدگاه‌های مارکسیستی قرار داشتند. در بریتانیا رشته جامعه‌شناسی تا حدود سال‌های ۱۹۶۰ میلادی تنها در یک مؤسسه آموزشی (The London School of Economics) تدریس می‌شد، و علاقه‌ها بیشتر به یافتن تغییرات تکاملی جامعه بریتانیا و حل مسائل مربوط به اداره حکومت محدود می‌شد.
در ایران
جامعه‌شناسی در ایران توسط غلامحسین صدیقی (تولد: ۱۲۸۴ هجری شمسی) در سال ۱۳۱۷ هجری شمسی بنیان نهاده شد. صدیقی که مدرک دکترای خود را در فلسفه و علوم اجتماعی از دانشگاه پاریس اخذ کرده بود، پس از بازگشت به ایران در دانشسرای عالی دانشگاه تهران به تدریس جامعه‌شناسی و تاریخ فلسفه پرداخت. تلاش‌های اصلی صدیقی «اشاعه و کاربردی نمودن شناخت علمی پدیده‌های اجتماعی و بستر سازی و برپایی ساختارهای سازمانی مناسب برای توسعه علوم اجتماعی» بود.
زیررشته‌های جامعه‌شناسی
برای مدت طولانی جامعه‌شناسان به واکاوی تغییرات تاریخی جوامع غربی و تحلیل روابط و وابستگی‌های بین مؤسسات اجتماعی مختلف و ملزومات زندگی اجتماعی مانند اقتصاد، حکومت، خانواده و مذهب می‌پرداختند. به عبارت دیگر، تلاش جامعه‌شناسان ادغام نظریات و داده‌های جمع آوری شده و اکتشافات علوم اجتماعی مختلف بود. امروزه این موضوعات در زیررشته نظریه‌های جامعه‌شناسی مورد بررسی قرار می‌گیرند. این زیررشته همچنین مفاهیم اصلی زندگی اجتماعی را مورد تحلیل قرار میدهد و بر خلاف تحلیل‌های قرن ۱۹ میلادی، تأکید زیادی روی جمع‌آوری داده‌های آماری و تحقیقات میدانی دارد.
نمونه‌هایی از زیر رشته‌های جامعه‌شناسی عبارتند از ازدواج و خانواده، برابری اجتماعی و طبقه بندی اجتماعی، روابط نژادی، رفتارهای منحرف، جوامع شهری، و مؤسسات پیچیده.
نظریه‌های جامعه‌شناسی
نظریه‌های جامعه‌شناسی چهارچوب‌های نظری هستند که جامعه‌شناسان از آنها برای توضیح و تحلیل فعالیت‌ها، فرایندها و ساختارهای اجتماعی استفاده می‌کنند. نظریه‌های جامعه‌شناسی به سه دسته کلی تقسیم می‌شوند. دسته اول نظریاتی هستند که با الهام از روش اتخاذ شده در علوم طبیعی، و با هدف یافتن قوانین جامع حاکم بر اجتماع انسانها ایجاد شد. نظریه پردازان در این رشته تلاش دارند که روابط علت و معلولی حاکم بر جوامع انسانی را کشف کنند. قوانین و مدل‌های پیشنهاد شده می‌بایست بگونه‌ای بیان شده باشند که صحت آنها آزمایش پذیر باشد. به عبارت دیگر جمع‌آوری داده‌ها این نظریات را تأیید و یا تکذیب بکند. از تحقیقات بعدی در این زمینه را بنا نهاد. دسته دیگری از نظریات اجتماعی بجای بررسی داده‌های تجربی فرایندهای اجتماعی، مسائل پایه‌ای‌تر و درونی‌تر را مورد بحث قرار می‌دهند. برخی از این مطالعات به خصوص به بررسی «رفتار» و «نظم» می‌پردازند و سعی در پاسخ به سؤالاتی مانند آنچه در زیر آمده می‌کنند: آیا رفتارهای اجتماعی عملگرا و هدفگرا هستند یا اینکه توسط ملاحظات زیبایی شناسی، عاطفی و اخلاقی شکل گرفته و هدایت می‌شوند؟ آیا الگوهایی که در رفتارهای اجتماعی مشاهده می‌شود ناشی از کنترلی است که مؤسسات بر اشخاص از طرق اخلاقی و یا اعمال زور دارند، یا اینکه ناشی از مذاکرات عملی است که بین افراد مختلف هنگامی که باید تصمیمی لحظه‌ای در شرایط غیر قابل پیشبینی شده در زندگی روز مره بگیرند، می‌باشد؟ نظریات در این دسته بر نقش عاطفه در رفتار و نیاز به هماهنگی در ایجاد نظم تأکید دارند. دسته سوم از نظریات بصورت غیر مستقیم از روشهای هرمنیوتیک سعی در یافتن معانی و قصدهای متونی را می‌کند که در یک جامعه به شهرت رسیده‌اند، و از این طریق و بصورت غیر مستقیم سعی در پاسخ به سؤالات مورد علاقه جامع شناسان می‌کند.
روشهای تحقیق
گروهی از روشهای تحقیق در علوم اجتماعی به صورت کلی و در جامعه‌شناسی بصورت خاص بر پایه مقایسه و تطبیق بنا شده‌اند. بگفته غلامرضا غفاری - عضو هیأت علمی دانشکده علوم اجتماعی دانشگاه تهران- «در واقع می‌توان گفت که اساساً علم و شناخت از طریق مقایسه حاصل می‌شود اما موضوعی که وجود دارد، اختلاف بر سر سطح این مقایسه‌ها است». توصیفات نیز در واقع گونه‌ای از مقایسه هستند زیرا هرگونه توصیف نسبت دادن یک ویژگی خاص به یک شئ است؛ که این خود وجود اطلاعات قبلی راجع به آن ویژگی را خواهان است (بنابراین گونه‌ای از مقایسه و تطبیق صورت می‌پذیرد). بدین سان یکی از روشهای غالب تحقیق در جامعه‌شناسی مقایسه دو جامعه با یکدیگر و یا مطالعه یک جامعه در سطوح مختلف (در سطح کلان و گاهی درون سیستم‌ها) می‌باشد. اما به نظر میرسد مهمترین روش تحقیق در جامعه شناسی روش پیمایش باشد که طی آن محقق با دریافت اطلاعات از یک نمونه کوچک با روشهای علمی آن اطلاعات را با استفاده از روشهای آماری مربوطه به جامعه اصلی تعمیم میدهد. گروهی از روشهای تحقیق دیگر در پی شناسایی متغیرهای مستقل و کشف الگوهای ارتباطی میان متغیرها می‌باشد.
جمع آوری داده‌ها
استفاده از اوراق بایگانی: از مکتوبات تاریخی مانند زندگی نامه‌ها، دفترچه خاطرات، و روزنامه‌های قدیمی بهره می‌جوید.
تحلیل محتوا: از مصاحبه‌ها، پرسشنامه‌هایی که به شکل علمی طراحی شده‌اند استفاده می‌جوید. کتب و وسایل ارتباط جمعی جهت بررسی نحوه ارتباطات بین مردم و پیام‌هایی که به هم می‌فرستند می‌تواند مفید باشد.
انسان‌شناسی
Āntropoloźi(به انگلیسی: anthropology) علم انسان است. که حوزهٔ گسترده‌ای را از فرهنگ تا تاریخ تکامل انسان در برمی‌گیرد. ریشه‌های آن در علوم‌انسانی، علوم طبیعی و علوم اجتماعی است. ماهیت انسان‌شناسی از دیرباز، مقایسهٔ بین فرهنگی بوده‌است، و نسبی‌گرایی فرهنگی اصل اساسی‌ای در روش تحقیق انسان‌شناسی شده‌است.
مردم‌شناسی علم است و از این رو قادر به تبیین، پیش بینی و کنترل روابط پایدار بین نمودهای حوزه فرهنگ انسانی یا جامعه بشری است.
تعریف
Āntropoloźi، معنی اصطلاح اتنولوژی است و از سال ۱۷۸۷ «شوان Chavanne» سویسی آن را به کار برده‌است. این رشته، اکنون برای مطالعه جوامع ابتدایی و انسان فسیل در کنار انسان‌شناسی جسمانی به کار می‌رود. مردم‌شناسی زندگی اجتماعی و حیات فکری و فرهنگ انسان را با توجه به سیر تاریخی و مناسبات طبیعی و اجتماعی بررسی می‌کند و ویژگی‌های جسمانی و زندگی فکری و فرهنگی انسان‌های نخستین و جوامع ابتدایی را می‌کاود. می‌توان گفت این علم آیینه تمام نمای جامعه معاصر است یعنی می‌تواند علل به وجود آمدن سازمان‌ها و بنیان‌های کهن فرهنگی جامعه بشری را که برخی در جوامع معاصر رایج و برخی دیگر متروک شده‌اند کشف نماید.
انسان‌شناسی یا مردم‌شناسی
تحقیقات و نظرات متخصصان این رشته‌ها نشان داده‌است که هرجا مطالعه درباره انسان به صورتی عمومی و کلی و همه‌جانبه‌است اصطلاح آنتروپولوژی، و هر جا به صورتی منطقه‌ای، محدود و مربوط به یک زمینه‌است، اصطلاح اتنولوژی به کار می‌رود. در سال ۱۳۴۹ «شورای وضع و قبول لغات و اصطلاحات اجتماعی» با در نظر گرفتن همه جوانب و مراتب، اصطلاح انسان‌شناسی را در مقابل کلمه آنتروپولوژی، به مفهوم وسیع کلمه (مطالعه عمومی انسان، شامل جسمانی، باستانی، تاریخی، اجتماعی و فرهنگی) و اصطلاح مردم‌شناسی را در مقابل کلمه اتنولوژی، به معنی مطالعه هر یک از نهادهای انسانی (اقتصادی، اجتماعی، دینی، سنتی و فرهنگی) در محدوده معین برگزید.
آغاز علم مردم‌شناسی
آغاز علم مردم‌شناسی را باید در نیمهٔ قرن نوزدهم قرار داد. در این زمان است که برای نخستین بار با ظهور گروهی از نهادها روبه رو می‌شویم که تلاش می‌کنند از مجموعهٔ داده‌های گردآوری شده به وسیلهٔ جهانگردان، میسیونرها و فاتحان از یک سو و مجموعهٔ تفکرات فلسفی و اجتماعی گروهی از اندیشمندان اروپایی دربارهٔ آن داده‌ها و دربارهٔ ذات و سرنوشت انسان از سوی دیگر، دست به تألیف زده و علمی تازه را با مکانیسم‌ها و روش‌شناسی خاص آن به وجود بیاورند. مردم‌شناسی عمدتاً در کشورهای انگلیس، فرانسه و ایالات متحد آمریکا پدید آمد و رشد کرد. در انگلیس مردم‌شناسی فرهنگی که از داشتن هدف‌های استعماری نیز برکنار نبود به مطالعه اقوام آفریقایی و آسیایی دست یازید و در فرانسه عموماً مردم‌شناسی جنبه فلسفی به خود گرفت و به کار میدانی چندانی دست نزد. برجسته‌ترین مردم‌شناس فرانسوی، لوی استراوس است که بر روش تحقیق علمی تأکید کرد و به زبان‌شناسی و تفسیر اسطوره‌ها پرداخت. در ایالات متحده آمریکا، فرانز بوآس، مالینفسکی، کروبر، مارگارت مید، روث بندیکت، لسلی وایت و دیگران به مطالعات مردم‌شناسی دامنه‌داری دست زدند و سپس امکان تزاید این میراث اصیل معرفتی را به دیگران وا نهادند. بدین ترتیب شاهد آن هستیم که از نیمهٔ دوم قرن نوزدهم مردم‌شناسی یا انسان‌شناسی، چه به مفهوم شناخت موجودیت بیولوژیک انسان و چه به عنوان شناخت موجودیت فرهنگی انسان، وارد محافل علمی می‌شود.
هدف
هدف مردم‌شناسی مشاهده جوامع برای شناخت «واقعه‌های اجتماعی» ست، که به ثبت و ضبط این واقعه‌ها پرداخته و آمارهای مربوط را تدوین و برقرار می‌سازد و به انتشار اسناد و مدارک معتبر می‌پردازد.
شاخه‌ها
مردم‌شناسی به شاخه‌هایی چون مردم‌شناسی زیستی، مردم‌شناسی فرهنگی تقسیم می‌پذیرد و هریک از این تقسیمات نیز بخش‌های متنوع دیگری را در بر می‌گیرد.
مردم‌شناسی زیستی (کالبدی)
در این رشته، که مردم‌شناسی جسمانی هم نامیده می‌شود، خصوصیات جسمانی انسان و رابطه آن با رفتارهای اجتماعی و فرهنگی او همیشه مورد توجه خاص بوده‌است. مردم‌شناسی جسمانی، مسائلی مثل نژاد و اختلافات نژادی در رابطه با خصوصیات جسمانی، مقایسه واندازه‌گیری اعضاء بدن را با استفاده از بیومتری (زیست سنجی)، آنتروپومتری (انسان سنجی)، مورفولوژی انسانی، آندوکرینولوژی (شناخت فعالیت غدد داخلی)، فیزیولوژی مقایسه‌ای و ژنتیک مورد مطالعه قرار میدهد و در مطالعات خود هم به شناخت و مقایسه استخوان بندی انسان پرداخته و هم به بررسی ویژگی‌هایی نظیر رنگ پوست، شکل مو، چشم و غیره نظر دارد. مردم‌شناسی زیستی، از طریق مطالعه تشریحی اقوام زنده و مقایسه آن با آثار باقی‌مانده مربوط به انسان‌های پیشین به چگونگی تغییرات زیستی که در سیر حیات انسانی رخ داده‌است وقوف می‌یابد.(از تئوری داروین تا امروز)
مردم‌شناسی فرهنگی
کار مردم‌شناسی فرهنگی عمدتاً بررسی ظهور، تحول و تأثیر فرهنگ در زندگی آدمی‌است. مردم‌شناسی فرهنگی که گاهی مردم‌شناسی اجتماعی نیز خوانده شده در پی آن است تا تنوعات وسیع آداب و رسوم و صور گوناگون حیات اجتماعی را مخصوصاً در بین مردمی که دارای تکنولوژی ابتدایی هستند، با روشی علمی به تحلیل کشد. همچنین، مطالعه عمیق مقولات اجتماعی چون تکنولوژی یا فرهنگ مادی و پویش اقتصادی، مؤسسات اجتماعی، زندگی زناشویی، نهاد دین، دولت، هنر، جادو، توانایی‌ها، تنوع رفتار و شکل پذیری طبع انسانی را بر عهده می‌گیرد و در مطالعات خود از داده‌ها و اطلاعات مردم نگاری کمک می‌گیرد. مردم نگاری تنها جنبه توصیفی دارد و مجموعه‌ای از داده‌ها و اطلاعات را بدون تحلیل و به صورت عکسبرداری وقایع و پدیده‌ها فراهم می‌کند که مورد استفاده مردم‌شناسی قرار می‌گیرد. مردم‌شناسی فرهنگی با زبان‌شناسی علمی نیز سروکار دارد و از نتیجه تحقیقات آن برخوردار می‌شود. بدین ترتیب حوزه بررسی این شاخه از مردم‌شناسی، شامل همه دستاوردهای بشری یا نظام فرهنگ انسانی است.
نظریه‌ها و مکاتب
از اختصاصات علوم انسانی و اجتماعی وجود متفکران و کارشناسان بسیاری است که هر یک از آنها از نظریه‌های خاصی برخوردار هستند. در این علم، نظریه‌ها و مکاتب چهارگانه زیر را می‌توان مطرح ساخت:
مکتب تکاملی (تطورگرایی)
اساس و اصول این نظریه بر این اصل استوار است که فرهنگ جامعه بشری از آغاز تا به امروز ثابت نبوده و تغییر و تحول یافته‌است. به سخن دیگر اصل حرکت یا پویایی، اساس و زیربنای این تئوری را تشکیل میدهد. بنابراین آنچه که در این مکتب مورد بررسی است جامعه و فرهنگ انسانی است که از مرحله ساده به پیچیده سیر کرده‌است. برخی از پیروان این مکتب عبارتند از: ادوارد تایلر (Edward Tylor)، فرایزر (Frazer)، گوردن چایلد (Gordon Child)، لسلی وایت (Lessley White)، جولیون استوارد (Jolion Steward)، لوئیز هنری مورگان.
مکتب اشاعه
نظریه‌های اشاعه از انتقاداتی که به تکاملیون و تحولیون، خصوصاً نظریه سیر یک خطی و موازی تحولات فرهنگی می‌شد به وجود آمد، در قرن نوزدهم ظهور کرد و تا قرن بیستم تداوم یافت. نقطه حرکت محوری این نظریه، تأمل بر تغییرات فرهنگی از یک سو و توجه به شباهت‌های فرهنگی از سوی دیگر است و برخلاف نظریه تکامل فرهنگی، بیشتر جوامع همیشه در جهت سیر تکاملی نیست و گاهی جنبه قهقرایی دارد. پیروان این نظریه معتقدند که برای شناخت خصوصیات هر فرهنگ باید تاریخ آن را مورد مطالعه قرار داد و ارتباط آن را با جوامع دیگر کشف کرد. به عقیده آنها ابداعات و اختراعات محدود بوده، از این رو مرکزیت خاصی برای اشاعه اولین فرهنگ‌ها می‌شناسند. پیدایش تئوری اشاعه بنیادها به مطالعات تاریخی متکی است و به همین سبب به مکتب تاریخی نیز شهرت دارد - در کشورهای مختلف اروپا و آمریکا منشاء نظریات گوناگونی گردید که به سه جریان فکری آلمانی، انگلیسی و آمریکایی معروف است.
«وبگاه» واژه مصوب گروه واژه‌گزینی فرهنگستان زبان و ادب فارسی برای واژه «وب‌سایت» (Website) در زبان انگلیسی می‌باشند.
هنجار
هَنجار در اصطلاح دانش جامعه‌شناسی به یک الگوی رفتاری گفته می‌شود که روابط و کنش‌های اجتماعی را تنظیم می‌کند، اکثریت جامعه خود را به آن پایبند می‌دانند و در صورتی که شخصی آن را رعایت نکند، جامعه او را مجازات می‌کند.
هنجارهای درونی، هنجارهایی هستند که در صورت عدم رعایت آنها، مجازات رسمی و مشخصی وجود ندارد. هنجارهای بیرونی، هنجارهایی هستند که برای اعضای یک جامعه از پیش تعیین گشته است. ترس از مجازات و میل درونی، اعضای جامعه را به پیروی از هنجار ترغیب می‌کند. اگر هنجارها در جامعه‌ای ثبات نداشته باشند، و یا با برخی نظم‌های دیگر اجتماعی در تضاد و تعارض باشند، افراد جامعه کمتر از هنجارها پیروی خواهند کرد. هنجارها در جوامع مختلف، ممکن است متفاوت یا حتی متضاد باشند. بی‌هنجاری باعث از بین رفتن استحکام نظام اجتماعی می‌شود. انواع دیگر قاعده‌مندی‌های نظام اجتماعی، عادتها و رسمها هستند.
فضای مجازی
فضای مجازی واژه‌ای است که در دهه ۱۹۸۰ وارد ادبیات علمی تخیلی شد و شاغلان در زمینه کامپیوتر و علاقه‌مندان به سرعت آن را به کار بردند و در دهه ۱۹۹۰ رایج شد. در این دوره، استفاده از اینترنت، شبکه و مخابرات دیجیتال سریعاً در حال رشد بود و لفظ فضای مجازی می‌توانست بسیاری از ایده‌ها و پدیده‌های نوظهور را نمایندگی کند.
لفظ مادر فضای مجازی سایبرنتیک است که از κυβερνήτης یونانی باستان به معنای فرماندار یا راننده مشتق شده، واژه‌ای که نوربرت وینر برای کار پیشگامانه اش در مخابرات الکترونیک و علم کنترل به کار برد.
وب‌نوشت
وب‌نوشت یا وبلاگ که به آن تارنوشت ، تارنگار یا بلاگ (به انگلیسی: Blog) هم می‌گویند، نوعی از صفحات اینترنتی است با محتوای شخصی که مطالب آن بر مبنای زمانی که ثبت شده گروهبندی و به ترتیب از تازه‌ترین رخداد به قدیم ارائه می‌گردد. نویسندهٔ وب‌نوشت، وب‌نویس یا تارنویس نامیده می‌شود و ممکن است بیش از یک نفر باشد، وب‌نویس به گزارش مداوم رویدادها، خاطرات، و یا عقاید یک شخص یا یک سازمان می‌پردازد. واحد مطالب در وب‌نوشت، پست است، در حالی که واحد مطالب در وبگاه صفحه می‌باشد. معمولاً در انتهای هر مطلب، برچسب تاریخ و زمان، نام نویسنده و پیوند ثابت به آن یادداشت ثبت می‌شود. فاصلهٔ زمانی بین مطالب وب‌نوشت لزوماً یکسان نیست و زمان نوشته‌شدن هر مطلب به خواست نویسندهٔ وب‌نوشت بستگی دارد. مطالب نوشته شده در یک وب‌نوشت همانند محتویات یک وبگاه معمولی در دسترس کاربران قرار می‌گیرد. در بیشتر موارد وب‌نوشت‌ها دارای روشی برای دسترسی به بایگانی یادداشت‌ها هستند (مثلاً دسترسی به بایگانی بر حسب تاریخ یا موضوع). بعضی از وب‌نوشت‌ها امکان جستجو برای یک واژه یا عبارت خاص را در میان مطالب به کاربر می‌دهند.
واژه‌شناسی و واژه‌گزینی
واژهٔ وبلاگ اولین‌بار توسط یورن بارگر استفاده شد که یک هم‌آمیزی از دو واژهٔ وب و لاگ است. واژهٔ لاگ، واژه‌ای‌ست از ریشه واژهٔ یونانی لوگاس که در قرون میانه در معنای دفتر گزارش سفر کشتی‌ها به کار می‌رفته‌است. لاگ در زبان تخصصی رایانه به پرونده‌هایی گفته می‌شود که گزارش وقایع رخ‌داده در رایانه را ثبت می‌کنند. بلاگ نیز شکل کوتاه‌شده وبلاگ است.
انواع وب‌نوشت‌ها
به جز نوع نوشتاری وب‌نوشت، با گسترش روزافزون فناوری‌های اینترنتی، سامانه‌های نوینی از وب‌نوشت‌ها نیز گسترش پیدا کرده‌است.
در حال حاضر وب‌نوشت‌ها به صورت‌های مختلفی مانند وب‌نوشت عکسی، ویدئو بلاگ، فلش بلاگ، پادکست و صدا بلاگ نیز وجود دارند.
تاریخ وب‌نویسی
نخستین وب‌نوشت دنیا SCRIPTING NEWS متعلق به دیوید واینر بود. در آغاز سال ۱۹۹۹ ۲۳ وب‌نوشت در اینترنت وجود داشت و در عرض چند ماه تعداد آنها به میلیون‌ها وب‌نوشت رسید که از نقاط مختلف جهان می‌نوشتند.
وب‌نوشت‌های فارسی
در ایران نخستین وب‌نوشت را سلمان جریری دانشجوی ۲۳ ساله مهندسی کامپیوتر دانشگاه صنعتی امیرکبیر، در ۱۶ شهریور ۱۳۸۰ ایجاد کرد و موج وب‌نویسی در مهرماه ۱۳۸۰، توسط حسین درخشان روزنامه نگار مقیم تهران مقاله‌ای با عنوان«چگونه در اقیانوس اطلاعاتی این روزها غرق نشویم» در مجله دنیای کامپیوتر در ایران آغاز شد. نخستین وب‌نوشت فارسی زبان ایرانی با استفاده از «بلاگ اسپات» و دوماه پس از یازدهم سپتامبر ۲۰۰۱ راه اندازی شد. چندماه بعد نخستین ارائه‌دهندهٔ خدمات وب‌نوشت فارسی یعنی «پرشین بلاگ» راه اندازی شد. در سال اول حدود ۱۰۰ وب‌نوشت ایجاد شد و سال‌های بعدی با ایجاد سرویس‌های پرشین بلاگ، بلاگ اسکای و بلاگفا به ده‌ها هزار رسید.
طبق اطلاعات مندرج در سایت بلاگ سنسوس، در سال ۲۰۰۸ وب‌نوشت‌های فارسی در رتبه دهم زبان‌های وب‌نوشتی رایج در جهان قرار داشتند. گزارش‌های جدید نشان میدهد که در مجموع بیش از ۴٫۵ میلیون وب‌نوشت فارسی به ثبت رسیده که در میان آنها بیش از ۴۵۰ هزار وب‌نوشت فعال وجود دارد. در حال حاضر در ایران بیش از هشت میلیون وب‌نوشت ثبت شده وجود داشته و ایران از این حیث جایگاه دهم را در جهان داراست.
در میان افغانان نخستین وب‌نوشت را ضیا افضلی به نام «غزل امروز افغانستان» از کانادا نوشته‌است. نخستین وب‌نوشتی که از داخل افغانستان نوشته شده‌است را وحید پیمان ایجاد کرد.
ارائه‌دهنده خدمات وب‌نوشت
وبگاه ارائه‌دهندهٔ خدمات وب‌نوشت یک نوع وبگاه است که با کمک آن می‌توان به سادگی وب‌نوشت ایجاد کرد. بسیاری از این وبگاههای ارائه کنندهٔ این نوع خدمات، از نرم‌افزارهای وب‌نوشت معروف استفاده می‌کنند. به عنوان نمونه وردپرس دات کام از نرم‌افزار وردپرس استفاده می‌کند. مزیت این نوع وبگاهها در آن است که کاربر خود مجبور به میزبانی و پیکربندی نرم‌افزار نیست. در مقابل، تمام تنظیمات نرم‌افزار وب‌نوشت هم برای کاربر در دسترس نخواهد بود.
این نوع وبگاهها خدمات مختلفی را ارائه می‌کنند. متداول‌ترین این خدمات، امکان ایجاد وب نوشت نوشتاری است. برخی از این وب‌نوشت‌ها امکان ایجاد وب‌نوشت عکسی (فتوبلاگ)، وب‌نوشت صوتی (پادکست)، و یا وب‌نوشت ویدیوئی (ویدئوبلاگ) را نیز ارائه می‌کنند.
ارائه‌دهندگان خدمات وب‌نوشت فارسی
وبگاههای ارایه کنندهٔ خدمات وب‌نوشت به فارسی، ابتدا متمرکز بر خدمات وب‌نوشت متنی بودند اما تدریجاً انواع دیگر خدمات، نظیر میزبانی پادکست و وب‌نوشت‌های تصویری را نیز ارائه کردند.
اولین وب‌نوشت دهندهٔ تماماً فارسی، پرشین‌بلاگ است که در ۲۳ خرداد ۱۳۸۱ کار خود را رسماً آغاز کرد. تا پیش از آن، وب‌نوشت دهنده‌های چند زبانه نظیر بلاگر را می‌شد برای وب‌نوشت‌های فارسی به کار گرفت. در طول سال‌های دههٔ ۸۰ و ۹۰ خورشیدی، برتعداد وب‌نوشت دهنده‌های تماماً فارسی افزوده شد. آمار رسمی از تعداد این وبگاهها موجود نیست اما گمان می‌رود که حدود ۳۵۰ وب‌نوشت دهندهٔ تماماً فارسی مشغول فعالیت‌اند.
از جمله ارائه‌دهندگان خدمات وب‌نوشت به فارسی می‌توان به بلاگ اسکای، بلاگفا، پارسی بلاگ، پرشین‌بلاگ و میهن بلاگ اشاره کرد.
روابط اجتماعی
روابط اجتماعی یک واژه فراگیر بوده و شامل سیاست اجتماعی و مدیریت اجتماعی است که هر دو با زمینه‌های علوم سیاسی و علوم اقتصادی پیوند نزدیکی دارند.
مباحث سیاست اجتماعی عموماً آشکارا مورد توجه قرار می گیرند. کسانیکه در این جُستارها شرکت می‌کنند باید دارای دیدگاه‌های خاصی باشند تا بتوانند بحث را همراهی کنند.
روابط اجتماعی اینگونه نیست و بر روی روشهای مدیریت اجتماعی که با استفاده از نمونه‌های تاریخی و نتایج ثبت شده شکل می‌گیرد، متمرکز است.
روابط اجتماعی را می‌توان به صورت مدیریت مفید روابط حقوقی و فرهنگی تعریف کرد. (جرمی کین، همکار بنیاد EPPA، مشاوران روابط اجتماعی سراسر اروپا)
عملگرایی به چگونگی و تفسیر عمومی روابط اجتماعی می‌پردازد.
فهرست موضوعات روابط اجتماعی:
حکومت، دولت، شیوه‌های حکومت
جمهوری
مردم‌سالاری
پادشاهی
امنیت
جرم، دادرسی جنایی
نظامی
دفاع غیرنظامی، آمادگی اضطراری، گروه‌های پاسخگو در موقعیتهای اضطراری
قانونی، بی‌قانونی
سلامت عمومی، آلودگی، معاملات اوراق بهادار
سیاست صنعتی، سیاست سرمایه گذاری، مالیات، تعرفه گمرکی و تجارت
بودجه
وضع مالیات (مالیات بندی)
سوسیالیسم (اشتراک‌باوری)
فن‌سالاری (حکومت مهندسان و دانشمندان علوم)
مدیریت
درجات روابط اجتماعی
جامعه‌شناسی
جامعه‌شناسی دانش بررسی جامعه است. این رشته علمی به بررسی جوامع بشری، برهم‌کنش‌های آنها، و فرایندهایی که جوامع را در وضعیت جاری‌شان نگاه داشته یا تغییر میدهد، می‌پردازد. هدف این حوزه علمی پرداختن به تجزیه جامعه به بخش‌های تشکیل دهنده‌اش مانند انجمن‌ها، نهادها، گروه‌های هم‌جنس، هم‌نژاد، یا هم‌سن، و بررسی نحوه برهم‌کنش فعال این اجزاء با همدیگر است. علاوه بر اینها، این علم موضوعاتی مانند طبقه اجتماعی، قشربندی، جنبش اجتماعی، تغییرات اجتماعی و بی نظمی‌هایی مانند جرم، انحراف، و انقلاب را مورد تحقیق قرار میدهد.
از آنجایی که در مقایسه با بقیه حیوانات، انسان کمتر تحت تأثیر و کنترل غرایز می‌باشد، بخش زیادی از رفتارهای او توسط ساختارهای اجتماعی کنترل می‌شود. این موضوع ضرورت وجود ارگانهای اجتماعی (از قبیل ارگانهای اقتصادی، مذهبی، آموزشی، سیاسی،...) جهت مشخص کردن رفتارها و تصمیمات انسانها را نشان میدهد. رشته جامعه‌شناسی به بررسی نحوه‌های تأثیر ارگانهای اجتماعی بر رفتار انسانها، برهم‌کنش ارگانهای اجتماعی مختلف با یکدیگر، تشکیل، فرسودگی و نابودی آنها می‌پردازد. از آنجایی که جامعه‌شناسی به رفتار ما به عنوان موجوداتی اجتماعی توجه دارد، زمینه پژوهش آن از واکاوی (تحلیل) تماس‌های کوتاه میان افراد ناشناس در خیابان گرفته تا بررسی روندهای اجتماعی جهانی، همه را دربر می‌گیرد. جامعه‌شناسی، علم شناخت جامعه و همچنین ساختارها، روابط درون آن، نهادهای آن و واقعیت‌های اجتماعی است.
ابن خلدون مؤسس «علمی از تشکیلات اجتماعی» بوده که به آنچه امروزه جامعه‌شناسی خوانده می‌شود شباهت دارد؛ چنانچه برخی از محققین ابن خلدون را پدر جامعه‌شناسی می‌شناسند. بگفته دانشنامه بریتانیکا جامعه‌شناسی در اواخر قرن ۱۹ میلادی بواسطه کارهای امیل دورکیم در فرانسه، ماکس وبر و گئورگ زیمل در آلمان، رابرت پارک و آلبیون وودبری اسمال در آمریکا ظهور کرد. جامعه‌شناسی در ایران توسط غلامحسین صدیقی (تولد: ۱۲۸۴ هجری شمسی) در سال ۱۳۱۷ هجری شمسی بنیان نهاده شد.
جامعه‌شناسان از روشهای مشاهده‌ای مختلف، نظرسنجی و مصاحبه، تحلیل‌های آماری، آزمایش‌های کنترل شده، و روشهای دیگر بهره می‌جویند.
تاریخچه
ابوزید عبدالرحمن بن محمد بن خلدون تاریخ‌نگار، جامعه‌شناس، مردم‌شناس و سیاست‌مدار مسلمان است. وی را از پیشگامان تاریخ‌نگاری به شیوهٔ علمی و از پیشگامان علم جامعه‌شناسی می‌دانند که حدود ۴۰۰ سال پیش از اگوست کنت - مؤسس علمی به نام جامعه‌شناسی (به فرانسوی: La sociologie) در فرانسه - می‌زیست. ابن‌خلدون این علم جدید را عمران نام نهاد.
وی در ۴۲ سالگی به نگارش کتابی پیرامون تاریخ جهان رو آورد که مقدمهٔ آن بیش از خود کتاب شناخته شده‌است. این کتاب، به دلیل سبک بدیع و نگرش نوینش، توجهات بسیاری را به خود جلب داشت و از دلایل اصلی شهرت وی است. کتاب او با نام «مقدمه ابن خلدون» در ایران شهرت دارد و توسط محمد پروین گنابادی به فارسی ترجمه شده‌است.
او به عنوان بزرگترین اندیشمند شرق شناخته می‌شود. در کتاب مقدمه وی از تکرار تاریخ در یک چرخه شش نسلی سخن گفته. این چرخه از آغاز یک اجتماع با تکیه بر کشاورزی سپس فنون آغاز می‌شود. در آخرین مرحله اجتماع چنان قدرتمند می‌شود که مردم آن به هنر و موسیقی روی می‌آورند و پس از آن مردم از فرط امنیت و بی نیازی تعصب خود را نسبت به جامعه از دست می‌دهند تا اینکه قوم دیگری آن جامعه را از خارج فتح می‌کند و در اینجا تاریخ بر همین منوال تکرار می‌شود. او برای مثال می‌گوید که پارس‌ها از عرب‌ها شکست خوردند عرب‌ها از ترکان غزنوی و سلجوقی و ترکان نیز از مغول‌ها شکست خوردند. اگرچه عقاید ابن خلدون تحت تأثیر افکار افلاطون و به خصوص سیاست ارسطو است اما این دانشمند توانسته با اندیشه یونانی و با نگاه ژرف و تجربه طولانی خویش به عنوان سیاست‌مداری کارکشته تئوری‌های نوین جامعه‌شناسی خود را توسعه دهد.
از ابن خلدون به عنوان بنیانگذار علم تاریخ هم یاد می‌شود. او در همین کتاب برای نخستین بار شیوه‌هایی علمی برای استخراج حقیقت از منابع دست اول را طراحی کرده.
قرون ۱۸ و ۱۹ میلادی
بنا شده بود بهره جسته‌است. واژهٔ فرانسوی Sociologie نخستین بار در ۱۸۳۷ توسط اگوست کنت فیلسوف فرانسوی ابداع شد، هر چند او را مؤسس رشتهٔ علمی جامعه‌شناسی به‌حساب نمی‌آورند. کنت با الهام گرفتن از علم فیزیک و ملاحظه موفقیت آن، هدفش را یافتن قوانین همواره صادق حاکم بر جوامع انسانی توسط یک روشی علمی تعریف کرد. کنت در ابتدا علم‌اش را فیزیک اجتماعی نامید، اما بعدها نام آن‌را به جامعه‌شناسی تغییر داد. او می‌خواست چیزی مشابه آنچه در فیزیک انجام شده بود را در جوامع انسانی پیاده‌سازی کند. افراد دیگری نیز در قرن ۱۹ میلادی (همانند کارل مارکس) بودند که خود را جامعه‌شناس نمی‌خواندند ولی امروزه به عنوان پایه‌گذاران این رشته شناخته می‌شوند. جدا از این افراد، در قرن ۱۹ میلادی روشهای مطالعات آماری نیز تدوین شد که بعدها در تدوین رشته جامعه‌شناسی مورد استفاده قرار گرفت.
شناخته شدن به عنوان یک رشته دانشگاهی و توسعه
جامعه‌شناسی برای اولین بار در سال‌های ۱۸۸۰ و ۱۸۹۰ میلادی به عنوان یک رشته دانشگاهی شناخته شده و در دانشگاه‌ها شروع به تدریس شدن کرد. اولین مکتب جامعه‌شناسی مکتب دورکیم بود. این مکتب که توسط جامعه‌شناس فرانسوی امیل دورکیم تأسیس شد تأکید زیادی بر وجود واقعیت‌های در سطح اجتماع داشت که مستقل از ویژگی‌های روانی مختلف تک تک افراد. جهت تلاش برای یافتن این حقیقت‌ها و ارتباط آنها با هم، این گروه از جامعه‌شناسان شروع به بررسی جوامع انسانی بدوی کردند. در فرانسه و در کشورهای انگلیسی زبان تلاش بر این بود که مدل‌های از ساختارهای اجتماعی به تقلید از آنچه در رشته فیزیک انجام می‌شود ارائه کنند.
اقتصاددان و مورخ ماکس وبر در تثبیت جامعه‌شناسی به عنوان یک رشته دانشگاهی در آلمان در دهه‌های اول قرن بیستم نقش عمده‌ای بازی کرد. جامعه‌شناسان آلمانی بر خلاف جامعه‌شناسان فرانسوی و انگلیسی زبانان بجای تقلید از روش مدل سازی رایج در علوم فیزیکی بیشتر متاثر از تحلیل‌های تاریخی و تحت تأثیر دیدگاه‌های مارکسیستی قرار داشتند. در بریتانیا رشته جامعه‌شناسی تا حدود سال‌های ۱۹۶۰ میلادی تنها در یک مؤسسه آموزشی (The London School of Economics) تدریس می‌شد، و علاقه‌ها بیشتر به یافتن تغییرات تکاملی جامعه بریتانیا و حل مسائل مربوط به اداره حکومت محدود می‌شد.
در ایران
جامعه‌شناسی در ایران توسط غلامحسین صدیقی (تولد: ۱۲۸۴ هجری شمسی) در سال ۱۳۱۷ هجری شمسی بنیان نهاده شد. صدیقی که مدرک دکترای خود را در فلسفه و علوم اجتماعی از دانشگاه پاریس اخذ کرده بود، پس از بازگشت به ایران در دانشسرای عالی دانشگاه تهران به تدریس جامعه‌شناسی و تاریخ فلسفه پرداخت. تلاش‌های اصلی صدیقی «اشاعه و کاربردی نمودن شناخت علمی پدیده‌های اجتماعی و بستر سازی و برپایی ساختارهای سازمانی مناسب برای توسعه علوم اجتماعی» بود.
زیررشته‌های جامعه‌شناسی
برای مدت طولانی جامعه‌شناسان به واکاوی تغییرات تاریخی جوامع غربی و تحلیل روابط و وابستگی‌های بین مؤسسات اجتماعی مختلف و ملزومات زندگی اجتماعی مانند اقتصاد، حکومت، خانواده و مذهب می‌پرداختند. به عبارت دیگر، تلاش جامعه‌شناسان ادغام نظریات و داده‌های جمع آوری شده و اکتشافات علوم اجتماعی مختلف بود. امروزه این موضوعات در زیررشته نظریه‌های جامعه‌شناسی مورد بررسی قرار می‌گیرند. این زیررشته همچنین مفاهیم اصلی زندگی اجتماعی را مورد تحلیل قرار میدهد و بر خلاف تحلیل‌های قرن ۱۹ میلادی، تأکید زیادی روی جمع‌آوری داده‌های آماری و تحقیقات میدانی دارد.
نمونه‌هایی از زیر رشته‌های جامعه‌شناسی عبارتند از ازدواج و خانواده، برابری اجتماعی و طبقه بندی اجتماعی، روابط نژادی، رفتارهای منحرف، جوامع شهری، و مؤسسات پیچیده.
نظریه‌های جامعه‌شناسی
نظریه‌های جامعه‌شناسی چهارچوب‌های نظری هستند که جامعه‌شناسان از آنها برای توضیح و تحلیل فعالیت‌ها، فرایندها و ساختارهای اجتماعی استفاده می‌کنند. نظریه‌های جامعه‌شناسی به سه دسته کلی تقسیم می‌شوند. دسته اول نظریاتی هستند که با الهام از روش اتخاذ شده در علوم طبیعی، و با هدف یافتن قوانین جامع حاکم بر اجتماع انسانها ایجاد شد. نظریه پردازان در این رشته تلاش دارند که روابط علت و معلولی حاکم بر جوامع انسانی را کشف کنند. قوانین و مدل‌های پیشنهاد شده می‌بایست بگونه‌ای بیان شده باشند که صحت آنها آزمایش پذیر باشد. به عبارت دیگر جمع‌آوری داده‌ها این نظریات را تأیید و یا تکذیب بکند. از تحقیقات بعدی در این زمینه را بنا نهاد. دسته دیگری از نظریات اجتماعی بجای بررسی داده‌های تجربی فرایندهای اجتماعی، مسائل پایه‌ای‌تر و درونی‌تر را مورد بحث قرار می‌دهند. برخی از این مطالعات به خصوص به بررسی «رفتار» و «نظم» می‌پردازند و سعی در پاسخ به سؤالاتی مانند آنچه در زیر آمده می‌کنند: آیا رفتارهای اجتماعی عملگرا و هدفگرا هستند یا اینکه توسط ملاحظات زیبایی شناسی، عاطفی و اخلاقی شکل گرفته و هدایت می‌شوند؟ آیا الگوهایی که در رفتارهای اجتماعی مشاهده می‌شود ناشی از کنترلی است که مؤسسات بر اشخاص از طرق اخلاقی و یا اعمال زور دارند، یا اینکه ناشی از مذاکرات عملی است که بین افراد مختلف هنگامی که باید تصمیمی لحظه‌ای در شرایط غیر قابل پیشبینی شده در زندگی روز مره بگیرند، می‌باشد؟ نظریات در این دسته بر نقش عاطفه در رفتار و نیاز به هماهنگی در ایجاد نظم تأکید دارند. دسته سوم از نظریات بصورت غیر مستقیم از روشهای هرمنیوتیک سعی در یافتن معانی و قصدهای متونی را می‌کند که در یک جامعه به شهرت رسیده‌اند، و از این طریق و بصورت غیر مستقیم سعی در پاسخ به سؤالات مورد علاقه جامع شناسان می‌کند.
روشهای تحقیق
گروهی از روشهای تحقیق در علوم اجتماعی به صورت کلی و در جامعه‌شناسی بصورت خاص بر پایه مقایسه و تطبیق بنا شده‌اند. بگفته غلامرضا غفاری - عضو هیأت علمی دانشکده علوم اجتماعی دانشگاه تهران- «در واقع می‌توان گفت که اساساً علم و شناخت از طریق مقایسه حاصل می‌شود اما موضوعی که وجود دارد، اختلاف بر سر سطح این مقایسه‌ها است». توصیفات نیز در واقع گونه‌ای از مقایسه هستند زیرا هرگونه توصیف نسبت دادن یک ویژگی خاص به یک شئ است؛ که این خود وجود اطلاعات قبلی راجع به آن ویژگی را خواهان است (بنابراین گونه‌ای از مقایسه و تطبیق صورت می‌پذیرد). بدین سان یکی از روشهای غالب تحقیق در جامعه‌شناسی مقایسه دو جامعه با یکدیگر و یا مطالعه یک جامعه در سطوح مختلف (در سطح کلان و گاهی درون سیستم‌ها) می‌باشد. اما به نظر میرسد مهمترین روش تحقیق در جامعه شناسی روش پیمایش باشد که طی آن محقق با دریافت اطلاعات از یک نمونه کوچک با روشهای علمی آن اطلاعات را با استفاده از روشهای آماری مربوطه به جامعه اصلی تعمیم میدهد. گروهی از روشهای تحقیق دیگر در پی شناسایی متغیرهای مستقل و کشف الگوهای ارتباطی میان متغیرها می‌باشد.
جمع آوری داده‌ها
استفاده از اوراق بایگانی: از مکتوبات تاریخی مانند زندگی نامه‌ها، دفترچه خاطرات، و روزنامه‌های قدیمی بهره می‌جوید.
تحلیل محتوا: از مصاحبه‌ها، پرسشنامه‌هایی که به شکل علمی طراحی شده‌اند استفاده می‌جوید. کتب و وسایل ارتباط جمعی جهت بررسی نحوه ارتباطات بین مردم و پیام‌هایی که به هم می‌فرستند می‌تواند مفید باشد.
انسان‌شناسی
Āntropoloźi(به انگلیسی: anthropology) علم انسان است. که حوزهٔ گسترده‌ای را از فرهنگ تا تاریخ تکامل انسان در برمی‌گیرد. ریشه‌های آن در علوم‌انسانی، علوم طبیعی و علوم اجتماعی است. ماهیت انسان‌شناسی از دیرباز، مقایسهٔ بین فرهنگی بوده‌است، و نسبی‌گرایی فرهنگی اصل اساسی‌ای در روش تحقیق انسان‌شناسی شده‌است.
مردم‌شناسی علم است و از این رو قادر به تبیین، پیش بینی و کنترل روابط پایدار بین نمودهای حوزه فرهنگ انسانی یا جامعه بشری است.
تعریف
Āntropoloźi، معنی اصطلاح اتنولوژی است و از سال ۱۷۸۷ «شوان Chavanne» سویسی آن را به کار برده‌است. این رشته، اکنون برای مطالعه جوامع ابتدایی و انسان فسیل در کنار انسان‌شناسی جسمانی به کار می‌رود. مردم‌شناسی زندگی اجتماعی و حیات فکری و فرهنگ انسان را با توجه به سیر تاریخی و مناسبات طبیعی و اجتماعی بررسی می‌کند و ویژگی‌های جسمانی و زندگی فکری و فرهنگی انسان‌های نخستین و جوامع ابتدایی را می‌کاود. می‌توان گفت این علم آیینه تمام نمای جامعه معاصر است یعنی می‌تواند علل به وجود آمدن سازمان‌ها و بنیان‌های کهن فرهنگی جامعه بشری را که برخی در جوامع معاصر رایج و برخی دیگر متروک شده‌اند کشف نماید.
انسان‌شناسی یا مردم‌شناسی
تحقیقات و نظرات متخصصان این رشته‌ها نشان داده‌است که هرجا مطالعه درباره انسان به صورتی عمومی و کلی و همه‌جانبه‌است اصطلاح آنتروپولوژی، و هر جا به صورتی منطقه‌ای، محدود و مربوط به یک زمینه‌است، اصطلاح اتنولوژی به کار می‌رود. در سال ۱۳۴۹ «شورای وضع و قبول لغات و اصطلاحات اجتماعی» با در نظر گرفتن همه جوانب و مراتب، اصطلاح انسان‌شناسی را در مقابل کلمه آنتروپولوژی، به مفهوم وسیع کلمه (مطالعه عمومی انسان، شامل جسمانی، باستانی، تاریخی، اجتماعی و فرهنگی) و اصطلاح مردم‌شناسی را در مقابل کلمه اتنولوژی، به معنی مطالعه هر یک از نهادهای انسانی (اقتصادی، اجتماعی، دینی، سنتی و فرهنگی) در محدوده معین برگزید.
آغاز علم مردم‌شناسی
آغاز علم مردم‌شناسی را باید در نیمهٔ قرن نوزدهم قرار داد. در این زمان است که برای نخستین بار با ظهور گروهی از نهادها روبه رو می‌شویم که تلاش می‌کنند از مجموعهٔ داده‌های گردآوری شده به وسیلهٔ جهانگردان، میسیونرها و فاتحان از یک سو و مجموعهٔ تفکرات فلسفی و اجتماعی گروهی از اندیشمندان اروپایی دربارهٔ آن داده‌ها و دربارهٔ ذات و سرنوشت انسان از سوی دیگر، دست به تألیف زده و علمی تازه را با مکانیسم‌ها و روش‌شناسی خاص آن به وجود بیاورند. مردم‌شناسی عمدتاً در کشورهای انگلیس، فرانسه و ایالات متحد آمریکا پدید آمد و رشد کرد. در انگلیس مردم‌شناسی فرهنگی که از داشتن هدف‌های استعماری نیز برکنار نبود به مطالعه اقوام آفریقایی و آسیایی دست یازید و در فرانسه عموماً مردم‌شناسی جنبه فلسفی به خود گرفت و به کار میدانی چندانی دست نزد. برجسته‌ترین مردم‌شناس فرانسوی، لوی استراوس است که بر روش تحقیق علمی تأکید کرد و به زبان‌شناسی و تفسیر اسطوره‌ها پرداخت. در ایالات متحده آمریکا، فرانز بوآس، مالینفسکی، کروبر، مارگارت مید، روث بندیکت، لسلی وایت و دیگران به مطالعات مردم‌شناسی دامنه‌داری دست زدند و سپس امکان تزاید این میراث اصیل معرفتی را به دیگران وا نهادند. بدین ترتیب شاهد آن هستیم که از نیمهٔ دوم قرن نوزدهم مردم‌شناسی یا انسان‌شناسی، چه به مفهوم شناخت موجودیت بیولوژیک انسان و چه به عنوان شناخت موجودیت فرهنگی انسان، وارد محافل علمی می‌شود.
هدف
هدف مردم‌شناسی مشاهده جوامع برای شناخت «واقعه‌های اجتماعی» ست، که به ثبت و ضبط این واقعه‌ها پرداخته و آمارهای مربوط را تدوین و برقرار می‌سازد و به انتشار اسناد و مدارک معتبر می‌پردازد.
شاخه‌ها
مردم‌شناسی به شاخه‌هایی چون مردم‌شناسی زیستی، مردم‌شناسی فرهنگی تقسیم می‌پذیرد و هریک از این تقسیمات نیز بخش‌های متنوع دیگری را در بر می‌گیرد.
مردم‌شناسی زیستی (کالبدی)
در این رشته، که مردم‌شناسی جسمانی هم نامیده می‌شود، خصوصیات جسمانی انسان و رابطه آن با رفتارهای اجتماعی و فرهنگی او همیشه مورد توجه خاص بوده‌است. مردم‌شناسی جسمانی، مسائلی مثل نژاد و اختلافات نژادی در رابطه با خصوصیات جسمانی، مقایسه واندازه‌گیری اعضاء بدن را با استفاده از بیومتری (زیست سنجی)، آنتروپومتری (انسان سنجی)، مورفولوژی انسانی، آندوکرینولوژی (شناخت فعالیت غدد داخلی)، فیزیولوژی مقایسه‌ای و ژنتیک مورد مطالعه قرار میدهد و در مطالعات خود هم به شناخت و مقایسه استخوان بندی انسان پرداخته و هم به بررسی ویژگی‌هایی نظیر رنگ پوست، شکل مو، چشم و غیره نظر دارد. مردم‌شناسی زیستی، از طریق مطالعه تشریحی اقوام زنده و مقایسه آن با آثار باقی‌مانده مربوط به انسان‌های پیشین به چگونگی تغییرات زیستی که در سیر حیات انسانی رخ داده‌است وقوف می‌یابد.(از تئوری داروین تا امروز)
مردم‌شناسی فرهنگی
کار مردم‌شناسی فرهنگی عمدتاً بررسی ظهور، تحول و تأثیر فرهنگ در زندگی آدمی‌است. مردم‌شناسی فرهنگی که گاهی مردم‌شناسی اجتماعی نیز خوانده شده در پی آن است تا تنوعات وسیع آداب و رسوم و صور گوناگون حیات اجتماعی را مخصوصاً در بین مردمی که دارای تکنولوژی ابتدایی هستند، با روشی علمی به تحلیل کشد. همچنین، مطالعه عمیق مقولات اجتماعی چون تکنولوژی یا فرهنگ مادی و پویش اقتصادی، مؤسسات اجتماعی، زندگی زناشویی، نهاد دین، دولت، هنر، جادو، توانایی‌ها، تنوع رفتار و شکل پذیری طبع انسانی را بر عهده می‌گیرد و در مطالعات خود از داده‌ها و اطلاعات مردم نگاری کمک می‌گیرد. مردم نگاری تنها جنبه توصیفی دارد و مجموعه‌ای از داده‌ها و اطلاعات را بدون تحلیل و به صورت عکسبرداری وقایع و پدیده‌ها فراهم می‌کند که مورد استفاده مردم‌شناسی قرار می‌گیرد. مردم‌شناسی فرهنگی با زبان‌شناسی علمی نیز سروکار دارد و از نتیجه تحقیقات آن برخوردار می‌شود. بدین ترتیب حوزه بررسی این شاخه از مردم‌شناسی، شامل همه دستاوردهای بشری یا نظام فرهنگ انسانی است.
نظریه‌ها و مکاتب
از اختصاصات علوم انسانی و اجتماعی وجود متفکران و کارشناسان بسیاری است که هر یک از آنها از نظریه‌های خاصی برخوردار هستند. در این علم، نظریه‌ها و مکاتب چهارگانه زیر را می‌توان مطرح ساخت:
مکتب تکاملی (تطورگرایی)
اساس و اصول این نظریه بر این اصل استوار است که فرهنگ جامعه بشری از آغاز تا به امروز ثابت نبوده و تغییر و تحول یافته‌است. به سخن دیگر اصل حرکت یا پویایی، اساس و زیربنای این تئوری را تشکیل میدهد. بنابراین آنچه که در این مکتب مورد بررسی است جامعه و فرهنگ انسانی است که از مرحله ساده به پیچیده سیر کرده‌است. برخی از پیروان این مکتب عبارتند از: ادوارد تایلر (Edward Tylor)، فرایزر (Frazer)، گوردن چایلد (Gordon Child)، لسلی وایت (Lessley White)، جولیون استوارد (Jolion Steward)، لوئیز هنری مورگان.
مکتب اشاعه
نظریه‌های اشاعه از انتقاداتی که به تکاملیون و تحولیون، خصوصاً نظریه سیر یک خطی و موازی تحولات فرهنگی می‌شد به وجود آمد، در قرن نوزدهم ظهور کرد و تا قرن بیستم تداوم یافت. نقطه حرکت محوری این نظریه، تأمل بر تغییرات فرهنگی از یک سو و توجه به شباهت‌های فرهنگی از سوی دیگر است و برخلاف نظریه تکامل فرهنگی، بیشتر جوامع همیشه در جهت سیر تکاملی نیست و گاهی جنبه قهقرایی دارد. پیروان این نظریه معتقدند که برای شناخت خصوصیات هر فرهنگ باید تاریخ آن را مورد مطالعه قرار داد و ارتباط آن را با جوامع دیگر کشف کرد. به عقیده آنها ابداعات و اختراعات محدود بوده، از این رو مرکزیت خاصی برای اشاعه اولین فرهنگ‌ها می‌شناسند. پیدایش تئوری اشاعه بنیادها به مطالعات تاریخی متکی است و به همین سبب به مکتب تاریخی نیز شهرت دارد - در کشورهای مختلف اروپا و آمریکا منشاء نظریات گوناگونی گردید که به سه جریان فکری آلمانی، انگلیسی و آمریکایی معروف است.
3:17 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 در برنامه‌های تعبیه شده و سیستم‌های عامل؛ و بقیه برنامه‌ها معمولاً برای نوشتن انواع دیگر برنامه‌ها کاربرد دارند. روشهای مختلفی برای سنجش محبوبیت زبان‌ها، هر یک متناسب یا یک ویژگی محوری متفاوت پیشنهاد شده‌است:
شمارش تعداد تبلیغات شغلی که از آن زبان نام می‌برند.
تعداد کتاب‌های آموزشی و شرح دهندهٔ آن زبان که فروش رفته‌است.
تخمین تعداد خطوطی که در آن زبان نوشته شده اند- که ممکن است زبان‌هایی را که در جستجوها کمتر پیدا می‌شوند دست کم گرفته شوند.
شمارش ارجاع‌های زبان(برای مثال، به اسم زبان) در موتورهای جستجوهای اینترنت.
طبقه بندی‌ها هیچ برنامه غالبی برای دسته بندی زبان‌های برنامه نویسی وجود ندارد. یک زبان مشخص معمولاً یک زبان اجدادی ندارد. زبان‌ها معمولاً با ترکیب المان‌های چند زبان پیشینه بوجود می‌آیند که هربار ایده‌های جدید درگردشند. ایده‌هایی که در یک زبان ایجاد می‌شوند در یک خانواده از زبان‌های مرتبط پخش می‌شوند، و سپس از بین خلاهای بین خانواده‌ها منتقل شده و در خانواده‌های دیگر ظاهر می‌شوند.
این حقیقت که این دسته بندی ممکن است در راستای محورهای مختلف انجام شوند، این وظیفه را پیچیده تر می‌کند؛ برای مثال، جاوا هم یک زبان شیءگرا(چون به برنامه نویسی شیءگرا تشویق می‌کند) و زبان همزمان(چون ساختارهای داخلی برای اجرای چندین جریان موازی دارد) است. پایتون یک زبان اسکریپتی شیءگراست.
در نگاه کلی، زبان‌های برنامه نویسی به مثال‌های برنامه نویسی و یک دسته بندی بر اساس محدوده استفاده تقسیم می‌شوند. مثال‌ها شامل برنامه نویسی رویه‌ای، برنامه نویسی شیءگرا، برنامه نویسی کاربردی، وبرنامه نویسی منطقی؛ برخی زبان‌ها ترکیب چند مثالند. یک زبان اسمبلی مثالی از یک مدل مستقیم متضمن معماری ماشین نیست. با توجه به هدف، زبان‌های برنامه نویسی ممکن است همه منظوره باشند، زبان‌های برنامه نویسی سیستمی، زبان‌های اسکریپتی، زبان‌های محدوده مشخص، زبان‌های همزمان/ گسترده(و یا ترکیب اینها). برخی زبان‌های همه منظوره تا حد زیادی برای اهداف آموزشی طراحی شده‌اند.
یک زبان برنامه نویسی ممکن است با فاکتورهای غیر مرتبط به مثال‌های برنامه نویسی دسته بندی شود. برای مثال، غالب زبان‌های برنامه نویسی کلمات کلیدی زبان انگلیسی را استفاده می‌کنند، در حالیکه تعداد کمی این کار را نمی‌کنند. سایر زبان‌ها ممکن است براساس داخلی بودن یا نبودن دسته بندی شوند.
زبان برنامه نویسی یک مکانیزم ساخت یافته برای تعریف داده‌ها، و عملیات یا تبدیل‌هایی که ممکن است بطور اتوماتیک روی آن داده انجام شوند، فراهم می‌کند. یک برنامه نویس از انتزاعات آماده در زبان استفاده می‌کند تا مفاهیم به کار رفته در محاسبات را بیان کند. این مفاهیم به عنوان یک مجموعه از ساده‌ترین عناصر موجود بیان می‌شوند(مفاهیم ابتدایی نامیده می‌شوند).
زبان‌های برنامه نویسی با غالب زبان‌های انسانی تفاوتی دارد و آن این است که نیاز به بیان دقیق تر و کامل تری دارد. هنگام استفاده از زبان‌های طبیعی برای ارتباط با دیگر انسانها، نویسندگان و گویندگان می‌توانند مبهم باشند و اشتباهات کوچک داشته باشند، و همچنان انتظار داشته باشند که مخاطب آنها متوجه شده باشد. اگرچه، مجازا، رایانه‌ها "دقیقاً آنچه که به آنها گفته شده را انجام می‌دهند." و نمی‌توانند "بفهمند" که نویسنده دقیقاً چه کدی مد نظر نویسنده بوده‌است] البته امروزه برنامه‌هایی برای انجام این کار تولید شده‌اند و تلاش‌های بسیاری در این زمینه انجام شده ولی هنوز به نتیجهٔ رضایت بخشی نرسیده است[. ترکیب تعریف زبان، یک برنامه، و ورودی برنامه بطور کامل رفتار خروجی را به هنگام اجرای برنامه (در محدوده کنترل آن برنامه) مشخص می‌کند. برنامه‌های یک رایانه ممکن است در یک فرایند ناپیوسته بدون دخالت انسان اجرا شوند، یا یک کاربر ممکن است دستورات را در یک مرحله فعل و انفعال مفسر تایپ کند.در این حالت "دستور"ها همان برنامه‌ها هستند، که اجرای آنها زنجیروار به هم مرتبطند.به زبانی که برای دستور دادن به برنامه‌ای استفاده می‌شود، زبان اسکریپت می‌گویند. بسیاری از زبان‌ها کنار گذاشته شده‌اند، برای رفع نیازهای جدید جایگزین شده‌اند، با برنامه‌های دیگر ترکیب شده‌اند و در نهایت استعمال آنها متوقف شده‌است. با وجود اینکه تلاش‌هایی برای طراحی یک زبان رایانه" کامل" شده‌است که تمام اهداف را تحت پوشش قرار دهد، هیچ یک نتوانستند بطور کلی این جایگاه را پر کنند. نیاز به زبان‌های رایانه‌ای گسترده از گستردگی زمینه‌هایی که زبان‌ها استفاده می‌شوند، ناشی می‌شود:
محدوده برنامه‌ها از متون بسیار کوچک نوشته شده توسط افراد عادی تا سیستم‌های بسیار بزرگ نوشته شده توسط صدها برنامه نویس است
توانایی برنامه نویس‌ها: از تازه کارهایی که بیش از هر چیز به سادگی نیاز دارند تا حرفه‌ای‌هایی که با پیچیدگی قابل توجهی کنار می‌آیند.
برنامه‌ها باید سرعت، اندازه و سادگی را بسته به سیستم‌ها از ریزپردازندها تا ابر رایانه‌ها متناسب نگه دارند.
برنامه‌ها ممکن است یک بار نوشته شوند و تا نسل‌ها تغییر نکنند، و یا ممکن است پیوسته اصلاح شوند.
در نهایت، برنامه نویس‌ها ممکن است در علایق متفاوت باشند: آنها ممکن است به بیان مسائل با زبانی خاص خو گرفته باشند.
یک سیر رایج در گسترش زبان‌های برنامه نویسی این است که قابلیت حل مسائلی با درجات انتزاعی بالاتری را اضافه کنند. زبان‌های برنامه نویسی اولیه به سخت‌افزار رایانه گره خورده بودند. همانطور که زبان‌های برنامه نویسی جدید گسترش پیدا کرده‌اند، ویژگی‌هایی به برنامه‌ها افزوده شده که به برنامه نویس اجازه دهد که ایده‌هایی که از ترجمه ساده به دستورات سخت‌افزار دورتر هستند نیز استفاده کند. چون برنامه نویس‌ها کمتر به پیچیدگی رایانه محدود شده‌اند، برنامه‌های آنها می‌تواند محاسبات بیشتری با تلاش کمتر از سوی برنامه نویس انجام دهند. این به آنها این امکان را میدهد که کارایی بیشتردر واحد زمان داشته باشند. "پردازنده‌های زبان طبیعی" به عنوان راهی برای ازبین بردن نیاز به زبان‌های اختصاصی برنامه نویسی پیشنهاد شده‌اند. هرچند، این هدف دور است و فواید آن قابل بحث است. "ادسگر دیجسترا" موافق بود که استفاده از یک زبان رسمی برای جلوگیری از مقدمه سازی ساختارهای بی معنی واجب است، و زبان برنامه نویسی طبیعی را با عنوان "احمقانه" رد کرد، "آلن پرلیس" نیز مشابها این ایده را رد کرد. مطابق با متدولوژی نامتجانس استفاده شده توسط 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 در برنامه‌های تعبیه شده و سیستم‌های عامل؛ و بقیه برنامه‌ها معمولاً برای نوشتن انواع دیگر برنامه‌ها کاربرد دارند. روشهای مختلفی برای سنجش محبوبیت زبان‌ها، هر یک متناسب یا یک ویژگی محوری متفاوت پیشنهاد شده‌است:
شمارش تعداد تبلیغات شغلی که از آن زبان نام می‌برند.
تعداد کتاب‌های آموزشی و شرح دهندهٔ آن زبان که فروش رفته‌است.
تخمین تعداد خطوطی که در آن زبان نوشته شده اند- که ممکن است زبان‌هایی را که در جستجوها کمتر پیدا می‌شوند دست کم گرفته شوند.
شمارش ارجاع‌های زبان(برای مثال، به اسم زبان) در موتورهای جستجوهای اینترنت.
طبقه بندی‌ها هیچ برنامه غالبی برای دسته بندی زبان‌های برنامه نویسی وجود ندارد. یک زبان مشخص معمولاً یک زبان اجدادی ندارد. زبان‌ها معمولاً با ترکیب المان‌های چند زبان پیشینه بوجود می‌آیند که هربار ایده‌های جدید درگردشند. ایده‌هایی که در یک زبان ایجاد می‌شوند در یک خانواده از زبان‌های مرتبط پخش می‌شوند، و سپس از بین خلاهای بین خانواده‌ها منتقل شده و در خانواده‌های دیگر ظاهر می‌شوند.
این حقیقت که این دسته بندی ممکن است در راستای محورهای مختلف انجام شوند، این وظیفه را پیچیده تر می‌کند؛ برای مثال، جاوا هم یک زبان شیءگرا(چون به برنامه نویسی شیءگرا تشویق می‌کند) و زبان همزمان(چون ساختارهای داخلی برای اجرای چندین جریان موازی دارد) است. پایتون یک زبان اسکریپتی شیءگراست.
در نگاه کلی، زبان‌های برنامه نویسی به مثال‌های برنامه نویسی و یک دسته بندی بر اساس محدوده استفاده تقسیم می‌شوند. مثال‌ها شامل برنامه نویسی رویه‌ای، برنامه نویسی شیءگرا، برنامه نویسی کاربردی، وبرنامه نویسی منطقی؛ برخی زبان‌ها ترکیب چند مثالند. یک زبان اسمبلی مثالی از یک مدل مستقیم متضمن معماری ماشین نیست. با توجه به هدف، زبان‌های برنامه نویسی ممکن است همه منظوره باشند، زبان‌های برنامه نویسی سیستمی، زبان‌های اسکریپتی، زبان‌های محدوده مشخص، زبان‌های همزمان/ گسترده(و یا ترکیب اینها). برخی زبان‌های همه منظوره تا حد زیادی برای اهداف آموزشی طراحی شده‌اند.
یک زبان برنامه نویسی ممکن است با فاکتورهای غیر مرتبط به مثال‌های برنامه نویسی دسته بندی شود. برای مثال، غالب زبان‌های برنامه نویسی کلمات کلیدی زبان انگلیسی را استفاده می‌کنند، در حالیکه تعداد کمی این کار را نمی‌کنند. سایر زبان‌ها ممکن است براساس داخلی بودن یا نبودن دسته بندی شوند.
ساعت : 3:17 pm | نویسنده : admin
|
گرافیکسولوژی |
مطلب قبلی