title: ساحل

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


title: ساحل

text: واژگان «کران»، «کرانه» و «کنار» همگی برگرفته از پارسیگ هستند که به ترتیب کَران (karān-kl'n)، کَنارَگ (kanārag-k'nlk) و کَنار (kanār-k'nl) می‌باشند. همچنین واژه کران در زبان‌های سغدی (kirān-kyr'n) و پهلوانیگ (karān-kr'n) نیز بازتاب یافته‌اند. «کرانه دریا» به صورت "دریابار" هم گفته شده‌است و همچنین به صورت محاوره‌ای "لب دریا" نیز خوانده می‌شود.


title: جو ستریانی

text: جوزف "جو" سَچ سَتریانی (زادهٔ ۱۵ ژوئیه ۱۹۵۶ در وست بری) آهنگساز و نوازندهٔ نامدار گیتار الکتریک است. او در سال ۲۰۰۸ دربین ۱۰۰ نوازنده برتر تاریخ گیتار در رتبه ۲ قرار گرفت


title: جو ستریانی

text: ستریانی در وست‌بوری ایالت نیویورک آمریکا زاده شد. تبار وی به کشور ایتالیا باز می‌گردد. در سال ۱۹۷۰ میلادی، هنگامی که ۱۴ سال بیشتر سن نداشت، پس از شنیدن خبر درگذشت جیمی هندریکس اسطوره و گیتاریست برجستهٔ راک آن سال‌ها و آشنا شدن با موسیقی او، به راک و نوازندگی گیتار علاقه‌مند شد. او استاد کسانی همچون کرک همت از گروه متالیکا و استیو وای بوده‌است. اولین آلبومی که او تهیه نمود نه از این زمین نام داشت که در سال ۱۹۸۶ درهای سبک راک را به سوی جهانیان گشود. او بنیانگذار شیوه جدید و لهجه خاصی از نوازندگی در نوع خود است که منبع الهام برای بسیاری از نوازندگان هارد راک و هوی متال است. صدای دیستروشن ملودی‌ها، جیغ‌ها، سوت‌های نت‌ها و نحوه کار با دسته لرزاننده سیم‌های گیتار ( فلویدرز ) خاص خود او می‌باشد. کمتر کسی پیدا می‌شود که با یک بار گوش کردن شیفته کارهای او نشده باشد.


title: جو ستریانی

text: گیتارهای سری جِی‌اِس آیبانز و اَمپ‌های سری جِی‌اِس‌ایکس پیوی سیگنچر جو ستریانی هستند و در طراحی و ساخت آن‌ها نیازهای نوازندگی ستریانی لحاظ شده‌است ولی هم‌اکنون تولید این آمپلی‌فایرها متوقف شده و جو مدتی است از آمپ‌های JVM410 که جزو محصولات شرکت مارشال هستند، استفاده می‌کند. گیتارهای سری جِی‌اِس در مدل‌های جِی‌اِس ۱۰۰، جِی‌اِس ۹۰۰، جِی‌اِس ۱۰۰۰، جِی‌اِس ۱۲۰۰، جِی‌اِس ۲۰۰۰ و جِی‌اِس ۲۴۰۰ تولید می‌شوند و به غیر از مدل جِی‌اِس ۱۰۰ در همهٔ آن‌ها پیکاپ دیمارزیو استفاده شده‌است.


title: جو ستریانی

text: این سری از گیتارها دو پیکاپ جلو و دو پیکاپ در عقب دارند و هیچ‌کدام در وسط پیکاپ ندارند هر چند قابل ذکر است که در موقع ضبط آلبوم «Surfing with the alien» اصلاً مدل JS وجود نداشته وخودش هم با مدل‌های پائین تر Ibanez که حتی پیکاپ وسط داشته قطعه «Satch boogie» را اجرا کرده‌است.


title: جو ستریانی

text: دسته گیتار او غالباً Rosewood و ۲۲ فرت هستند. سیستم مکانیکی Tremolo bar در کلیه این گیتارها (Floyd Rose - Edge Pro Bridge) می‌باشد و در سر دسته حتماً Lock وجود دارد. جو از سیم ۰۰۹ جهت سیم یک و ۰۴۲ جهت سیم شش استفاده می‌نماید و گیتارش را استاندارد یعنی E کوک می‌کند.


title: جو ستریانی

text: قطر فرت‌ها از فرت‌های Fender کمی قطورتر هستند (۶۱۰۵/۷۷).


title: جو ستریانی

text: جو از پیک Dunlop ضخیم استفاده می‌کند و اغلب آن را با زاویه ۴۵ درجه در دست می‌گیرد تا اصطکاک مضراب با سیم‌ها به حداقل ممکن برسد و همچنین در این زاویه Screamها خوش صداتر ارائه می‌گردند. اصولاً از مچ مضراب می‌زند و اغلب انگشت کوچک خود را بر روی بدنه گیتار تکیه می‌دهد و گاه در سرعت‌های بالا همچون Al di meola دست را از آرنج با حرکتی سریع در خود می‌چرخاند. (چیزی شبیه به حرکت دست هنگام چرخاندن کلید) و جهت اطمینان از حفظ فاصله دلخواه و جلوگیری از فرورفتن بیش از حد مضراب به درون سیم‌ها اغلب با انگشتان a-m و e به نرمی سطح گیتار را می‌خراشد.


title: جو ستریانی

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


title: جو ستریانی

text: او از هر دو روش کلاسیک و جَز به میزان برابر استفاده می‌کند. در فرم نوازندگی جَز شصت از بالا بر دسته گیتار قلاب می‌شود و سایر انگشتان نیز از پایین و به صورتی زاویه‌دار بر روی سیم‌ها می‌نشینند. ستریانی زمانی از این شیوه استفاده می‌کند که بخواهد تکنیک‌های بِندینگ یا ویبراتو را اجرا کند.


title: جو ستریانی

text: چیکن فوت نام اَبَرگروهی است که ستریانی به همراه سمی هیگار (خواننده پیشین ون هیلن)، مایکل آنتونی (بِیسیست پیشین ون هیلن) و چد اسمیت (درامر رد هات چیلی پپرز) در سال ۲۰۰۸ تشکیل دادند. از این سوپربند دو آلبوم به نام‌های "Chickenfoot" و "III" منتشر شده‌است.


title: جو ستریانی

text: Not of This Earth (1986)


title: جو ستریانی

text: Surfing with the Alien (1987)


title: جو ستریانی

text: Flying in a Blue Dream (1989)


title: جو ستریانی

text: The Extremist (1992)


title: جو ستریانی

text: Time Machine (1993)


title: جو ستریانی

text: Joe Satriani (1995)


title: جو ستریانی

text: Crystal Planet (1998)


title: جو ستریانی

text: Engines of Creation (2000)


title: جو ستریانی

text: Strange Beautiful Music (2002)


title: جو ستریانی

text: Is There Love in Space? (2004)


title: جو ستریانی

text: Super Colossal (2006)


title: جو ستریانی

text: Professor Satchafunkilus and the Musterion of Rock (2008)


title: جو ستریانی

text: Black Swans and Wormhole Wizards (2010)


title: جو ستریانی

text: Unstoppable Momentum (2013)


title: جو ستریانی

text: Shockwave Supernova (2015)


title: جو ستریانی

text: What Happens Next (2018)


title: جو ستریانی

text: Shapeshifting (2020)


title: جو ستریانی

text: The Elephants of mars (2022)


title: زندگی دیگران

text: زندگی دیگران فیلمی آلمانی و اولین فیلم بلند فلوریان هنکل فون دونرسمارک و برنده جایزه اسکار بهترین فیلم غیر انگلیسی‌زبان سال ۲۰۰۶ است. فیلم با بودجه کمی حدود ۲ میلیون دلار در آلمان ساخته شده و حدود ۱۰۰ میلیون دلار فروش داشته‌است. این فیلم بیش از ۳۰ جایزه از جمله جایزه اسکار بهترین فیلم خارجی زبان سال ۲۰۰۶ را به دست آورده و با استقبال منتقدان و مخاطبان روبرو شده‌است.


title: زندگی دیگران

text: اولریش موهه بازیگر نقش "گئرد ویسلر"، در تاریخ ۲۷ ژوئیه ۲۰۰۷ بر اثر سرطان معده در گذشت. زندگی شخصی او شباهت‌های زیادی با زندگی شخصیت‌های فیلم دارد. در زمانی که او ستاره تئاتر آلمان شرقی بود، از سوی اشتازی (پلیس امنیتی آلمان شرقی) زیر نظر قرار گرفته بود. موئه بعدها متوجه می‌شود همسر سابقش «جِـِنی گروئل من» هنرپیشه آلمانی، به عنوان خبررسان برای پلیس امنیتی کار می‌کرده‌است.


title: زندگی دیگران

text: "گئرد وایسلر" (با کد شناسائی: HGW XX/7)، بازجوی ارشد اشتازی، پلیس امنیت جمهوری دمکراتیک آلمان و یکی از باورمندان به حکومت سوسیالیستی آلمان شرقی است. او مأمور زیر نظر گرفتن زندگی "گئورگ دریمن" یک کارگردان تئاتر می‌شود که مقامات ارشد نیروی امنیتی، به توصیه وزیر فرهنگ و هنر آلمان شرقی، در پی یافتن بهانه‌ای برای ایجاد محدودیت و خانه‌نشین کردن وی هستند. آن‌ها مأموریت یافتن مدرکی مبتنی بر «ناهنجاری» گئورگ دریمن را به گئرد وایسلر، بازجوی ارشد پلیس امنیتی اشتازی محول می‌کنند.


title: زندگی دیگران

text: تیمی ویژه از مأموران اشتازی با کارگذاری وسایل شنود در تمامی نقاط خانه "گئورگ دریمن" اقدام به زیر نظر گرفتن "گئرد وایسلر" می‌کنند. با شروع شنود و کنترل نامحسوس خانه وی، "گئرد وایسلر" با رازهای نهفته دربارهٔ مسائل پیرامونی "گئورگ" و دوست دخترش و همچنین مقاصد وزیر فرهنگ در از میان بردن "گئورگ دریمن" و همچنین واقعیت‌های نهفته در نظام‌های دیکتاتوری روبرو می‌شود که باعث فروریختن تمامی باورهایش به سیستم فاسد حکومت پلیسی و تحول عقیدتی گسترده در عقاید و رفتارش می‌گردد. وی در گزارش‌هایش از فعالیت‌های نویسندگی گئورگ "دریمن" صرف نظر می‌کند و عملاً در سقوط دیوار برلین نقش ایفا می‌کند. با اینکه این دو نفر هیچ وقت یکدیگر را از نزدیک ملاقات نمی‌کنند ولی بعدها گئورگ "دریمن" از "گئرد وایسلر" در کتابش تقدیر می‌کند.


title: شیکاگو (فیلم ۲۰۰۲)

text: شیکاگو نام یک فیلم موزیکال آمریکایی محصول ۲۰۰۲ به کارگردانی راب مارشال و با بازی رنه زلوگر، ریچارد گی‌یر و کاترین زتا جونز است.


title: شیکاگو (فیلم ۲۰۰۲)

text: شیکاگو نامزد دریافت ۱۳ جایزه اسکار شد و در مجموع توانست ۶ جایزه اسکار را به خود تعلق دهد.


title: شیکاگو (فیلم ۲۰۰۲)

text: این فیلم بر اساس یک تئاتر موزیکال به نام شیکاگو ساخته شده که ترانه‌های آن (ساخته جان کندر (John Kander)) در این فیلم استفاده شد.


title: شبکه دانشگاهی

text: شبکهٔ پردیسی یا شبکهٔ دانشگاهی ، «شبکه‌ای رایانه‌ای» است که از اتصال چند «شبکه محلی» (LAN) که همه آنها محدود به یک ناحیه جغرافیایی هستند ساخته می‌شود، مانند محوطه یک دانشگاه، یک مجموعه صنعتی یا یک پایگاه نظامی. می‌توان آن را به عنوان یکی از انواع «شبکه‌های کلان‌شهری» (MAN) به حساب آورد که عموماً محدود به ناحیه‌ای کوچک‌تر از اندازه معمول یک شبکه کلان‌شهری است.


title: شبکه دانشگاهی

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


title: پیج‌رنک

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


title: پیج‌رنک

text: پیج رنک که به اختصار PR می‌گویند، برای اولین‌بار در سال ۱۹۹۶ میلادی توسط سرگئی برین ابداع گردید. پیج رنک نتیجه تجزیه و تحلیل لینک‌های ورودی به یک سایت است. پیج رنک رتبه‌ای است که گوگل برای یک سایت بین اعداد ۰ تا ۱۰ در نظر می‌گیرد. هرقدر این عدد نزدیک به ۱۰ باشد، نشان‌دهنده این است که این سایت لینک‌های ورودی زیادی دارد و سایت‌های زیادی به این سایت لینک داده‌اند؛ اما تنها در کل دنیا چند وب‌سایت با رنک ۱۰ وجود دارند که گوگل، ویکی‌پدیا، فیسبوک از تعداد محدود آن هستند.


title: پیج‌رنک

text: به دلیل سوء‌استفاده‌هایی که مدیران سایت‌ها از اطلاعات ارائه‌شده توسط پیج رنک می‌کردند، در سال ۲۰۱۶ این اطلاعات از دسترس عموم خارج شد. اما بسیاری معتقدند که موتور جستجوی گوگل هنوز هم از پیج رنک به عنوان یکی از فاکتورهای رتبه‌بندی وب‌سایت‌ها استفاده می‌کند.و بسیاری معتقد هستند که پیج رنک گوگل منسوخ شده است.


title: پیج‌رنک

text: برای افزایش پیج رنک، سایت شما باید از وب‌سایت‌های معتبر لینک داشته باشد. همچنین باید ساختار url سایت شما به نحوی چیده شود، که در نزدیک‌ترین حالت ممکن به صفحه اصلی باشد. تولید محتوای با‌کیفیت به این پروسه کمک خواهد کرد.


title: پیج‌رنک

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


title: پیج‌رنک

text: الکسا یک سایت نسبتاً معتبر بین‌المللی برای ارائه رتبه سایت‌ها از نظر بازدید است. این سایت الگوریتم بالا بردن رتبه سایت‌ها را بر اساس تعداد درست بازدید‌کنندگان انجام می‌دهد. این رتبه‌بندی شماره‌ای بین ۱ تا چند میلیون می‌باشد که هر چه این شماره به یک نزدیک‌تر باشد، رتبه وب‌سایت شما بالاتر می‌باشد.


title: پیج‌رنک

text: ماز در حال حاضر با توجه به کاهش اهمیت رنکینگ الکسا و پیج رنک گوگل، اهمیت بالایی پیدا کرده و مدیران سایت‌ها به آن اهمیت بسیاری می‌دهند. سایت ماز، سایت‌ها را به دو مقدار DA و PA، از ۰ تا ۱۰۰ تقسیم‌بندی می‌کند. تعداد بسیار محدودی در دنیا، رنک ۱۰۰ ماز دارند؛ گوگل، توئیتر و ویکی‌پدیا فارسی در سایت ماز رنک ۱۰۰ را دارند.


title: لاک‌پشت‌های نرم‌کاسه

text: لاک‌پشتان نرم‌کاسه یا لاک‌پشتان لاک‌نرمیا لاک‌پشتان لاک‌صاف یا لاک‌پشتان سه‌چنگالی، خانواده‌ای از لاک‌پشت‌ها از بالاخانوادهٔ نرم‌کاسه‌واران (Trionychoidea) است.


title: لاک‌پشت‌های نرم‌کاسه

text: برخی از بزرگ‌ترین لاک‌پشت‌های آب شیرین در جهان از این خانواده هستند.


title: لاک‌پشت‌های نرم‌کاسه

text: Wikipedia contributors, "Trionychidae," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Trionychidae&oldid=179762133 (accessed January 6, 2008).


title: درعیه

text: دِرعیّه شهری در عربستان سعودی، مرکز شهرستان درعیه که در شمال غربی ریاض قرار گرفته، از سال ۱۷۴۴ تا ۱۸۱۸ میلادی پایتخت نخستین دودمان و اقامتگاه اصلی خاندان سعود بود که توسط ابراهیم محمد علی پاشا در سال ۱۸۱۸ این شهر ویران شد.


title: درعیه

text: ویکی‌پدیا انگلیسی


title: درعیه

text: Dir'iyyah and the first Saudi state / William Facey / London, 1997.


title: شهرستان درعیه

text: شهرستان درعیه یکی از شهرستان‌های استان ریاض در عربستان سعودی است.


title: شهرستان درعیه

text: این شهرستان نخستین شهرستان کشور پادشاهی سعودی بود. پایتخت پیشین آل سعود یعنی شهر درعیه مرکز این شهرستان است.


title: شهرستان درعیه

text: گور صحابه‌ای که در جنگ‌های ارتداد با مسیلمه و بنی حنیفه کشته شدند در این شهرستان قرار دارد.


title: شهرستان درعیه

text: دانشکده افسری ملک عبدالعزیز نیز در این شهرستان قرار دارد.


title: اصل موضوع گسترش

text: اصل موضوع تساوی یا به عبارات ضعیف‌تر و دورتر اصل موضوع گسترش یا اصل موضوع هم‌مصداقی (Axiom of extensionality) یکی از اصول موضوع "زرملو - فرنکل" است، که به نظریهٔ اصل موضوعی مجموعه‌ها تعلق داشته، و در شاخه‌هایی از منطق، ریاضیات، و علوم کامپیوتر مورد استفاده قرار می‌گیرد.


title: اصل موضوع گسترش

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


title: اصل موضوع گسترش

text: در منطق سنتی و کلاسیک مفهوم Extension یا Extensionality به موضوعی اشاره می شود که شامل بعد مفهومی برای کلیت یک چیز است یا اصطلاحات اغلب به عنوان پیش فرض‌های کلی برای پوشش تمام موضوع به کار می رود.


title: اصل موضوع گسترش

text: یکی از مفاهیم اصلی در نظریهٔ مجموعه‌ها که در بررسی‌های کاملاً اصل موضوعی از جمله عمده‌ترین مفاهیم اولیه و تعریف نشده محسوب می‌شود مفهوم تعلق یا عضویت است. اگر A یک مجموعه باشد و x متعلق A باشد (x عنصر A است یا A شامل x است) می‌نویسیم x ∈ A. نماد نماد عضویت است و برگرفته از حرف یونانی ε (اپسیلون) است و توسط پئانو مورد استفاده قرار گرفته شده‌است.


title: اصل موضوع گسترش

text: یکی از روابط مهم میان مجموعه‌ها که تا حدی مقدماتی تر از تعلق است، تساوی دو مجموعه است. اگر دو مجموعه A و B باشند می‌نویسیم A = B و در غیر این صورت می‌نویسیم A ≠ B.


title: اصل موضوع گسترش

text: برای پاسخ به این سؤال اصل موضوعی بنا می‌کنیم که به درستی رابطه بین تساوی و تعلق را در مجموعه‌ها نشان می‌دهد.


title: اصل موضوع گسترش

text: مطابق اصل موضوع گسترش


title: اصل موضوع گسترش

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


title: اصل موضوع گسترش

text: این اصل نشان می‌دهد هر مجموعه با مصداقیت خود (اعضای خود) دقیقاً مشخص می‌شود. همچنین با توجه به مفهوم زیرمجموعه می‌توان اصل موضوع گسترش را به گونه‌ای دیگر فرمول بندی نمود.


title: اصل موضوع گسترش

text: می‌دانیم که اگر مجموعه A زیرمجموعه، مجموعه B باشد می‌نویسیم A ⊆ B و این بدان معنی است که هر عضو A، متعلق به B نیز می‌باشد. حال اگر برای هر دو مجموعه دلخواه A و B داشته باشیم A ⊆ B و B ⊆ A آنگاه بدیهی است که طبق تعریف هر عضو A در B و هر عضو B در A موجود است و لذا اعضای A و B یکسان هستند. پس:


title: اصل موضوع گسترش

text: دو مجموعه باهم مساوی‌اند اگر و فقط اگر هر یک زیر مجموعه دیگری باشد. به عبارت دیگر اگر A و B دو مجموعه باشند A = B اگر و فقط اگر A ⊆ B و B ⊆ A


title: اصل موضوع گسترش

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


title: پل ریچارد هالموس

text: پل ریچارد هالموس (۲۰۰۶–۱۹۱۶) ریاضیدان مجاری-آمریکایی بود که در مورد نظریه احتمال، آمار، نظریه عملگرها، فضاهای هیلبرت، منطق ریاضی و بسیاری دیگر از مباحث ریاضیات تالیفات متعددی داشته‌است.


title: پل ریچارد هالموس

text: پل ریچارد هالموس در سوم مارس ۱۹۱۶ چشم به جهان گشود.


title: پل ریچارد هالموس

text: هالموس لیسانس خود از دانشگاه ایلینوی دریافت کرد و مدرک کارشناسی ارشد خود را در رشته فلسفه و ریاضیات کسب کرد. او مدرک تحصیلی خود را طی سه سال کسب کرد و در سن ۱۹ سالگی فارغ‌التحصیل شد و سپس برای کسب مدرک دکترا (Ph.D) در رشته فلسفه شروع به تحصیل کرد اما بعد از کمی مشکلات به ریاضیات گروید و در سال ۱۹۳۸ فارغ‌التحصیل شد.


title: پل ریچارد هالموس

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


title: پل ریچارد هالموس

text: هنگامی که او در مؤسسه بود اولین کتاب خود را به نام «فضاهای برداری با بعد متناهی» نوشت که به سرعت به عنوان یک کتاب ریاضی خوب شهرت یافت.


title: پل ریچارد هالموس

text: هالموس در دانشگاه ساراکوز، دانشگاه شیکاگو در سالهای ۱۹۴۶ تا ۱۹۶۰، دانشگاه میشیگان، دانشگاه کالیفورنیا در سانتا باربا در حدود سال ۱۹۷۷، دانشگاه هاوایی و دانشگاه ایندیانا تدریس کرده‌است.


title: پل ریچارد هالموس

text: از زمان بازنشستگی او از دانشگاه ایندیانا در سال ۱۹۸۵ تا هنگام فوتش، او به دپارتمان ریاضیات دانشگاه سانتا کلارا پیوست.


title: پل ریچارد هالموس

text: وی در دوم اکتبر سال ۲۰۰۶ معادل با دوم مهرماه سال ۱۳۸۵ درگذشت.


title: پل ریچارد هالموس

text: در یک سری از مقالات که در کتاب "منطق جبری" او در سال ۱۹۶۲ به تازگی به چاپ رسید، هالموس جبرهای پلی‌آدیک را اختراع کرد، یک نسخه جبری از منطق مقدماتی که با جبرهای استوانه‌ای معروف آلفرد تارسکی و دانشجویانش متفاوت بود. یک نسخه مقدماتی از جبر پلی‌آدیک، در جبر بولی تکین توضیح داده شده‌است. علاوه بر کمک‌های اصلی او در ریاضیات، هالموس یک توضیح دهنده غیرعادی و جذاب برای ریاضیات دانشگاهی است. او درست در سن سیزده سالگی به آمریکا آمد و با این حال لهجه مجاری خود را حفظ کرده بود. او به کرسی استادی کمیته "انجمن ریاضیات آمریکا" نشست که کتاب راهنمایی با شیوه AMS برای ریاضیات آکادمیک نوشت که در سال ۱۹۷۳ منتشر شد. در سال ۱۹۸۳، او جایزه استیل AMS را برای توضیح و قدرت بیان خود کسب کرد.


title: پل ریچارد هالموس

text: در مقاله‌ای در "دانشمند آمریکایی"(۵۶(۴): ۳۷۵–۳۸۹)، هالموس در این باره بحث کرد که ریاضیات یک هنر خلاق است و بهتر است ریاضیدانان به عنوان هنرمند شمرده شوند، نه خرد کننده‌های اعداد! او همچنین پیشنهاد تقسیم ریاضیات به دو رشته ریاضی‌شناسی و علوم ریاضی فیزیک را مطرح ساخت و بعلاوه در مورد اینکه ریاضیدانان و نقاش‌ها تا چه حد به طور شبیه به هم کار و فکر می‌کنند صحبت کرد.


title: پل ریچارد هالموس

text: هالموس در سال ۱۹۸۵ در کتاب "من می‌خواهم یک ریاضیدان باشم" که شرحی از خودش است، روشن ساخته‌است که چه چیزی علت علاقه او برای اینکه یک ریاضیدان آکادمیک قرن بیستم آمریکا باشد بوده‌است. او این کتاب را یک شرح زندگی نمی‌داند بلکه او را یک "شرح کار ریاضی خود" یا "automathography" می‌خواند چرا که او در این کتاب به زندگی خود به عنوان یک ریاضیدان می‌پردازد. در این سرگذشت، هالموس ادعا می‌کند که اولین کسی است که از نماد ▄ کیوئی‌دی (نمادی که در انتهای برهان قضیایا به شکل یک مربع سیاه توپر می‌آورند و به آن در انگلیسی "آخر برهان" یا سنگ قبر هم می‌گویند Unicode U+۲۲۰E. استفاده کرده‌است و به همین دلیل به ▄ گاهی "هالموس" نیز می‌گویند.


title: بهاءالدین ادب

text: بهاءالدّین ادب (زادهٔ ۱۳۲۴ در سنندج – درگذشتهٔ ۲۵ مرداد ۱۳۸۶ در تهران) سیاستمدار و نمایندهٔ مجلس شورای اسلامی از حوزه انتخابیّه سنندج، کامیاران و دیواندره بود. ادب نمایندهٔ دوره‌های پنجم و ششم مجلس شورای اسلامی بود، امّا در انتخابات دورهٔ هفتم، صلاحیت وی مانند برخی از نامزدهای جناح اصلاح‌طلب و کاندیداهای مستقل، مورد تأیید شورای نگهبان قرار نگرفت.


title: بهاءالدین ادب

text: بهاءالدّین ادب در اوایل سال ۱۳۸۴ حزبی را با عنوان جبهه متحد کرد با همکاری جمعی از فعّالان سیاسی و فرهنگی کُرد بنیاد نهاد. وی همچنین هیئت مؤسس بانک کارآفرینان و مؤسس و رئیس سازمان نظام مهندسی در ایران بود. او همچنین مدتی نایب رئیس فدراسیون بسکتبال ایران بود.


title: بهاءالدین ادب

text: بهاءالدین ادب به همراه ۱۲۶ تن دیگر از نمایندگان مجلس ششم، از جمله امضاکنندگان نامه موسوم به جام زهر به رهبر جمهوری اسلامی در بهار سال ۱۳۸۲بود که طی آن با اشاره به حمله نظامی آمریکا به عراق شرایط کشور را با وضعیت ایران در زمان اشغال در جنگ جهانی دوم مقایسه کرده و مدعی شده بودند برای نجات کشور فرصت چندانی باقی نمانده‌است.


title: بهاءالدین ادب

text: ادب در سال ۱۳۸۶ بر اثر بیماری سرطان در بیمارستان مهر تهران درگذشت و در بهشت محمدی شهر سنندج به خاک سپرده شد. نام بهاءالدین ادب بعد از سال‌ها همچنان در بین کردها به نیکی یاد می‌شود و هرساله به مناسبت سالگرد درگذشت وی، مراسمی به صورت خودجوش توسط مردم کردستان برگزار می‌شود و یاد و خاطره‌اش را گرامی می‌دارند.


title: خرمالویی

text: خرمالویی نام یک رنگ است. رنگ خرمالویی از یکی از پرده‌های رنگ قرمز و همچنین از پرده‌های رنگ نارنجی به شمار می‌آید. این رنگ به رنگ میوه رسیده درخت خرمالو تشبیه شده.


title: جبهه متحد کرد

text: جبهه متحد کرد حزبی است سیاسی که هدف خود را پیشبرد برنامه‌های توسعه اقتصادی و اجتماعی در کشور ایران و از جمله مناطق کرد نشین، تأمین رفاه مردم و جلوگیری از تبعیض قرار داده. این جبهه در اوایل سال ۱۳۸۴ با همکاری جمعی از فعالان سیاسی و فرهنگی کرد بنیان نهاده شد.


title: جبهه متحد کرد

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


title: جبهه متحد کرد

text: این جبهه شورای رهبری ۲۵ نفره‌ای از ۵ استان (تهران، کردستان- کرمانشاه- ایلام- آذربایجان غربی) دارد که در تهران مدیریت می‌گردد.


title: جبهه متحد کرد

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


title: جبهه متحد کرد

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


title: جبهه متحد کرد

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


title: جبهه متحد کرد

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


title: جبهه متحد کرد

text: جبهه متحد کرد نهادی است که با هدف‌های زیر بنیاد و نامگذاری شده‌است:


title: جبهه متحد کرد

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


title: جبهه متحد کرد

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


title: جبهه متحد کرد

text: از جمله اقدامات بارز و تأثیرگذار «جبهه» بوده‌است.


title: جبهه متحد کرد

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


title: شیوا ارسطویی

text: شیوا ارسطویی (اردیبهشت ۱۳۴۰، تهران) داستان‌نویس، مترجم و شاعر ایرانی است. مجموعه داستان‌های «آمده بودم با دخترم چای بخورم»، «آفتاب مهتاب» و «من دختر نیستم» و رمان‌های «بی‌بی شهرزاد» و «افیون» از آثار اوست.


title: شیوا ارسطویی

text: ارسطویی سابقهٔ تدریس داستان‌نویسی در دانشگاه هنر تهران و دانشگاه فارابی را داشته، و اکنون در یکی از دانشگاه‌های غیرانتفاعی هنر در حال تدریس است. همچنین ده سال است کارگاه داستان‌نویسی وانکا را برگزار می‌کند.


title: شیوا ارسطویی

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


title: فریبا وفی

text: فریبا وَفی (زادهٔ ۱ بهمن ۱۳۴۱ در تبریز) رمان‌نویس و نویسنده داستان کوتاه ایرانی است. رمان‌های "پرندهٔ من" و "رؤیای تبت" از آثار او، برندهٔ چند جایزهٔ ادبی معتبر در ایران شده‌اند. داستان‌هایی از فریبا وَفی به زبان‌های روسی، سوئدی، عربی، ترکی، ژاپنی، انگلیسی و آلمانی ترجمه شده‌است.


title: فریبا وفی

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


title: اصل موضوع تصریح

text: اصل موضوع تصریح (به انگلیسی: Axiom schema of specification )از جمله اصولی که در نظریه اصل موضوعی مجموعه‌ها مورد نیاز است اصول موضوعی است که بتوانند وجود مجموعه‌های جدید را تضمین نموده و مجموعه‌های جدید را برای ما تولید کنند. در نظریه اصل موضوعی مجموعه‌ها همه نتایج و تعاریف بر پایه اصول موضوع تعریف شده‌است و هر مطلب در مورد مجموعه‌ها یا باید از اصول موضوع منتج شده باشد.


title: اصل موضوع تصریح

text: تقریباً تمامی اصول موضوع نظریه اصل موضوعی مجموعه‌ها (بجز مثلاً اصل موضوع گسترش) از جمله اصولی هستند که به منظور تولید مجموعه‌های جدید از مجموعه‌های قبل طرح شده‌اند. اولین و مهم‌ترین اصول از این اصول مجموعه ساز، "اصل موضوع تصریح" (Axiom of specification) است، که به اصل موضوع تصریح گاهی "اصل موضوع زیرمجموعه" (Axiom of subset) نیز می‌گویند.


title: اصل موضوع تصریح

text: این اصل به‌طور ساده بیان می‌کند هر حکم یا خاصیت معقول در مورد اعضای یک مجموعه، زیرمجموعه‌ای از آن مجموعه را تعیین می‌کند. حال قبل از بیان دقیق این اصل به یک مثال می‌پردازیم.


title: اصل موضوع تصریح

text: فرض کنید A مجموعه همه مردان باشد. در این صورت گزاره نمای « x متاهل است. » گزاره نمایی در مورد اعضای A است که برای برخی از عناصر A گزاره‌ای درست و برای برخی دیگر از عناصر A نادرست است.


title: اصل موضوع تصریح

text: حال با به کارگیری این جمله در مورد اعضای مجموعه A زیرمجموعه‌ای از A تولید می‌شود که همان « مردان متاهل » است. برای نمایش این زیرمجموعه از مجموعه A از نماد { x متاهل است :x∈A} استفاده می‌شود. همچنین { x متاهل نیست :x∈A} بر مجموعه مردان مجرد دلالت دارد.


title: اصل موضوع تصریح

text: به همین صورت مجموعه {پدر x آدم(ع) است|x∈A} مجموعه دو عضوی "هابیل" و "قابیل" را مشخص می‌کند.


title: اصل موضوع تصریح

text: اصل موضوع تصریح بیان می‌کند اگر (P(x گزاره نمایی در مورد متغیر x باشد، در این صورت:


title: اصل موضوع تصریح

text: یا در قالب عبارات ملموس تر متناظر با هر مجموعه A و هر گزاره نما(P(xمجموعه‌ای چون B هست که اعضای آن دقیقاً همان عناصری از مجموعه A هستند که در شرط (P(x صدق می‌کنند.


title: اصل موضوع تصریح

text: مجموعه B را به صورت formula_2 نمایش می‌دهیم همچنین اصل موضوع گسترش یگانگی مجموعه B را تضمین می‌کند.


title: اصل موضوع تصریح

text: در مورد استفاده از "اصل موضوع تصریح" توجه به این نکته لازم است که برای تعیین یک مجموعه، در نظر گرفتن یک شرط یا خاصیت چون (P(x کافی نمی‌باشد بلکه باید مجموعه‌ای نیز باشد که بتوان خاصیت را برای عضوهای آن تعریف کرد. و خلاصه اینکه برای مشخص کردن یک مجموعه کافی نیست وردی بخوانیم، بلکه لازم است مجموعه‌ای در دست داشته باشیم که ورد را برای اعضای آن مجموعه بخوانیم.


title: اصل موضوع تصریح

text: با این توضیح واضح است که شرط


title: اصل موضوع تصریح

text: با شرط


title: اصل موضوع تصریح

text: تفاوت دارد.


title: اصل موضوع تصریح

text: شرط اول یک مجموعه را مشخص نمی‌کند بلکه حالتی کاذب از "اصل موضوع تصریح" است ولی شرط دوم یک مجموعه را مشخص می‌کند چون در آن شرط (P(x در مورد اعضای یک مجموعه خاص به کار رفته‌است.


title: اصل موضوع تصریح

text: این نکته دقیقاً همان چیزی است که از بروز پارادکسها همچون پارادکس راسل جلوگیری می‌کند.


title: اصل موضوع تصریح

text: اصول موضوع مجموعه ساز دیگر (همانند اصل موضوع زوج سازی، اصل موضوع اجتماع، اصل موضوع مجموعه توانی و...) حالات خاص کاذبی از اصل موضوع تصریح می‌باشند. همه آن‌ها وجود مجموعه‌ای را بیان می‌کنند که توسط یک شرط خاص مشخص می‌شوند؛


title: اصل موضوع تصریح

text: اگر قبلاً وجود مجموعه‌ای که شامل همه عناصر مشخصی باشد معلوم باشد، در این صورت وجود مجموعه‌ای که فقط شامل آن عناصر باشد در واقع به عنوان حالت خاصی از "اصل موضوع تصریح" نتیجه می‌شود.


title: اصل موضوع تصریح

text: اگر (P(x گزاره نمایی در مورد x باشد به‌طوری‌که xهایی که در (P(x مشخص می‌شوند تشکیل یک مجموعه بدهند، در این صورت می‌توان آن مجموعه را به صورت formula_5 نمایش دهیم.


title: مهدی سهیلی

text: مهدی سهیلی (زاده ۷ تیر ۱۳۰۳ - درگذشت ۱۸ مرداد ۱۳۶۶) شاعر و نویسنده ایرانی بود. او سال‌ها در رادیو ایران برنامه اجرا کرد. او در زمینه نمایش نامه‌نویسی نیز فعالیت داشته‌است.


title: مهدی سهیلی

text: مهدی سهیلی شاعر و نویسنده ایرانی در هفتم تیر ماه سال ۱۳۰۳ در تهران متولد شد. نیای مادرش «اصفهانی» و نیای پدرش «تهرانی» بود. در ۱۹۵۷ چند اثر از وی را در مسکو به چاپ رساندند. او سال‌ها در رادیو ایران برنامه اجرا کرد. او در زمینه نمایش نامه‌نویسی نیز فعالیت داشته‌است. وی در ۱۸ مرداد ۱۳۶۶ در سن ۶۳ سالگی درگذشت.


title: شهرنوش پارسی‌پور

text: شَهرنوش پارسی‌پور (زادهٔ ۲۸ بهمن ۱۳۲۴ در تهران) داستان‌نویس و مترجم ایرانی است. داستان‌های پارسی‌پور به زبان‌های گوناگون دنیا ترجمه شده‌است. او از سوی هجدهمین کنفرانس پژوهش‌های زنان در آمریکا، به عنوان زن سال برگزیده شد. پارسی‌پور همچنین برندهٔ جایزهٔ بیتای ۲۰۱۶ است. او در اواخر دهه ۷۰ خورشیدی و مدتی پس از انتشار کتاب «زنان بدون مردان» و ممنوع شدن آن در ایران، به آمریکا کوچ کرد. این نویسنده اکنون در حومهٔ سانفرانسیسکو زندگی می‌کند.


title: شهرنوش پارسی‌پور

text: شهرنوش پارسی‌پور در شهر تهران از مادری تهرانی و خانه‌دار و پدری شیرازی که قاضی دادگستری بود متولد شد. او در رشتهٔ علوم اجتماعی در سال ۱۳۵۲ از دانشگاه تهران دانش‌آموخته شد و سپس برای ادامهٔ تحصیل در رشته زبان و فرهنگ چینی وارد دانشگاه سوربن شد. پارسی‌پور در سال ۱۳۴۶ با ناصر تقوایی ازدواج کرد و در سال ۱۳۵۲ از او جدا شد. سپس در سال ۱۳۵۹ به ایران بازگشت. پارسی‌پور نویسندگی را از ۱۳ سالگی آغاز کرد و از ۱۶ سالگی داستان‌هایش با نام مستعار در گاهنامه‌های گوناگون به چاپ می‌رسید. نخستین رمان او "سگ و زمستان بلند" نام دارد که در تابستان ۱۳۵۳ کار نوشتن آن پایان یافت.


title: شهرنوش پارسی‌پور

text: پارسی‌پور همچنین در تلویزیون ملی ایران تهیه‌کننده برنامه «زنان روستایی» بود و در بهمن ۱۳۵۳ در اعتراض به اعدام خسرو گلسرخی و کرامت‌الله دانشیان و دستگیری نویسندگانی مانند غلامحسین ساعدی، هوشنگ گلشیری، فریده لاشایی و پرویز زاهدی از تلویزیون استعفاء داد. مدتی پس از استعفاء او را بازداشت کردند و ۵۴ روز را در زندان سپری کرد. پس از زندان به فکر مهاجرت به کانادا افتاد اما منصرف شد. بار دوم در مرداد ۱۳۶۰ با اینکه خود وابسته به هیچ سازمان سیاسی نبود، به خاطر همراه داشتن نشریات متعلق به برادرش در خودرو، هنگام ملاقات با خواهر زندانیش دستگیر شد و برای ۴ سال دیگر به زندان افتاد.


title: شهرنوش پارسی‌پور

text: پارسی‌پور پس از آزادی، به کار ترجمه و تأسیس کتاب‌فروشی در زیرزمینی در خیابان سنایی مشغول شد. بعد از چاپ کتاب "زنان بدون مردان"، کمیته منکرات او را احضار کرد و دربارهٔ کتاب و اینکه چرا از بکارت نوشته‌است او را بازجویی و زندانی کردند. پس از آن بود که شهرنوش به آمریکا مهاجرت کرد.


title: شهرنوش پارسی‌پور

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


title: شهرنوش پارسی‌پور

text: شناخته‌ترین کارِ پارسی‌پور در ایران "طوبا و معنای شب" و بیرون از ایران "زنان بدون مردان" است.در اسفند ۱۳۹۷ پارسی‌پور با انتشار ویدئویی در فیس‌بوک دربارهٔ مشکلات مالی‌اش در سن ۷۳ سالگی نوشت. در این ویدئو او توضیح می‌دهد که از پس هزینه‌های زندگی بر نمی‌آید. این ویدئو واکنش کاربران شبکه‌های اجتماعی را برانگیخت و موجب شد تعدادی از چهره‌های فرهنگی، پویشی اینترنتی برای کمک به این نویسندهٔ مشهور راه‌اندازی کنند. این پویش ۴ روز بعد با ۳۰۹۶۰ دلار تکمیل شد.


title: منطق موجهات

text: منطق موجهات که نوعی منطق صوری است که ابتدا در دهه ۶۰ میلادی گسترش یافت، منطق گزاره‌ها و منطق محمولات را به گونه‌ای گسترش می‌دهد که شامل اُپراتورهایی برای تبیین وجهیت باشند. یک موجهه - واژه‌ای برای تبیین وجهیت - جهت دهندهٔ یک اظهار است. برای مثال اظهار «جان خوشحال است» می‌تواند اینطور تعبیر شود که جان معمولاً خوشحال است؛ در آن صورت، عبارت «معمولاً» به عنوان یک موجهه عمل می‌کند. موجهات آلِتیکِ سنتی یا موجهات صدق، شامل امکان («امکاناً "p"»، «این امکان وجود دارد که "p"»)، ضرورت («ضرورتاً "p"»، «واجب است که "p"») و عدم امکان («به طرزی غیرممکن، "p"» «غیر ممکن است که "p»") هستند. دیگر وجهیاتی که در منطق موجهات صوری سازی شده‌اند، از جمله می‌توان به موجهات زمانی (به ویژه «این طور بود که "p"»، «همواره این بوده‌است که "p"»، «این خواهد بود که "p"»، «همیشه اینگونه خواهد بود که "p"") موجهات دیانتیک یا منطق موجهات فقهی (به‌طور خاص، «واجب است که "p"» و «مجاز است که "p"»)، موجهات معرفتی یا موجهات دانش («اینگونه شناخته شده‌است که "p"") و موجهات دوکزاتیک یا موجهات باورپذیری («باور بر این است که "p"») اشاره کرد.


title: منطق موجهات

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


title: منطق موجهات

text: عملگرهای وجهی مقدماتی تک متغیره معمولاً با «□» برای «ضرورتاً» و «◇» برای «امکاناً» نوشته می‌شوند. در یک منطق وجهی کلاسیک، هر کدام از این‌ها می‌تواند با استفاده از دیگری و به کمک عمل نفی بازنویسی شود: بنابراین "ممکن است" که امروز باران بیاید اگر و تنها اگر "ضروری نباشد" که امروز باران "نیاید"؛ و "ضروری" است که امروز باران بیاید اگر و تنها اگر "ممکن نباشد" که امروز باران "نیاید". نمادهای جایگزین مورد استفاده برای اپراتورهای وجهی، «L» برای «ضرورتاً» و «M» برای «امکاناً» است.


title: منطق موجهات

text: معناشناسی منطق موجهات معمولاً به‌صورت زیر داده می‌شوند: ابتدا یک "قاب" را تعریف می‌کنیم که متشکل از یک مجموعه ناتهی "G "است که اعضای آن عموماً جهان‌های ممکن نامیده می‌شوند، و یک رابطه دوتایی "R "که بین جهان‌هایی از "G "برقرار است (یا نیست). این رابطه دوتایی را رابطه دسترس‌پذیری گویند. برای مثال "w R u" بدان معنی است که جهان "u" از جهان "w" دسترس‌پذیر است. به عبارتی، وضعیت اموری که به عنوان "u" می‌شناسیم، یک امکان زنده برای "w" است. این یک زوج formula_3 برخی از طرز نمایش‌ها از منطق موجهات، دارای یک ثابتِ در "G" موسوم به «جهان واقع» نیز هستند است که اغلب با نماد formula_4 نشان داده می‌شود.


title: منطق موجهات

text: سپس با مشخص کردنارزش صدق همه گزاره‌ها در هر یک از جهان‌های " G،" قاب را به یک "مدل "تعمیم می‌دهند. این کار را با تعریف یک رابطه "v" بین جهان‌های ممکن و گزاره‌های مثبت انجام می‌دهیم. اگر یک جهان "w" موجود باشد که چنین است که formula_5، در آنصورت "P" در "w "درست است. یک مدل، بنابراین یک سه تایی مرتب formula_6 است.


title: منطق موجهات

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


title: منطق موجهات

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


title: منطق موجهات

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


title: منطق موجهات

text: می‌توان ثابت کرد که این قاب همان مجموعه از جملات معتبر را اثبات می‌کند که قابهایی که در آنها، همه جهان‌ها، دیگر جهان‌های "W "را می‌بینند (یعنی، "R" یک رابطه «تام» است) است. این، "گراف وجهی" را بدست می‌دهد که تماماً کامل است (یعنی یال (روابط) بیشتری نمی‌تواند اضافه شود). برای مثال در هر منطق وجهی مبتنی بر شرایط قاب: اگر قاب مبتنی بر رابطه تام را در نظر بگیریم، تنها می‌توان گفت می‌توانیم بند دسترسی پذیری را از شرط دومی نادیده بگیریم چون در چنین قاب‌های تامی، برای هر "w" و "u" ای بدیهیست که "w R u". اما توجه داشته باشید که این در مورد همه قاب‌های S5 برقرار نیست، چرا که می‌توانند شامل چند بخش باشند که به‌طور کامل با هم در ارتباطند، اما با این حال از یکدیگر مجزا هستند.


title: منطق موجهات

text: همه این سیستم‌های منطقی را می‌تواند به صورت اصل موضوعی تعریف کرد، آنگونه که در بخش بعدی نشان داده شده. برای نمونه، در S5 اصول موضوعه formula_24, formula_25 و formula_26 (متناظر با "تقارنی"،" تعدی" و" بازتابی") برقرارند، در حالی که حداقل یکی از این اصول موضوعه در هر یک از دیگر منطقهای ضعیف تر برقرار نیست.


title: منطق موجهات

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


title: منطق موجهات

text: نگرش‌های مدرن از منطق موجهات با افزودن دو عملگر منفرد به حساب گزاره‌ها آغاز می‌شود، یکی دال بر «ضرورت» و دیگر بر «امکان» است. نمادگذاری لویس، که از آن زمان بسیار به کار می‌رود، توسط یک پیشوند «جعبه» ("p□") که محدوده اش با پرانتز مشخص شده‌است، به «ضرورتاً "p"» اشاره می‌شود. به همین ترتیب، یک «الماس» (یا "دیاموند") پیشوندیِ ("p◇")، نشان دهنده «امکاناً "p"» است. بدون در نظر گرفتن نماد، هر یک از این اپراتورها در منطق موجهات کلاسیک در غالب دیگری تعریف پذیر است: از این رو □ و ◇ یک جفت اپراتورهای دوگان را تشکیل می‌دهند.


title: منطق موجهات

text: در بسیاری از منطق‌های موجهات، اپراتورهای ضرورت و امکان مشابه زیر از قوانین دمورگان در جبر بولی را ارضاء می‌کنند: اینکه دقیقاً چه اصول موضوعه و قواعدی باید به حساب گزاره‌ها اضافه شود تا یک سامانه به دردبخور از منطق موجهات داشته باشیم، بحثی فلسفیست که اغلب بر اساس قضایایی که افراد مایلند ثابت کنند، برانگیخته می‌شود؛ یا در علوم کامپیوتر، وابسته به نوع محاسبات یا سیستم استنتاجی ایست که افراد مایلند مدل‌سازی کنند. بسیاری از منطقهای وجهی، که مجموعاً تحت عنوان منطقهای وجهی نرمال شناخته می‌شوند، شامل قاعده و اصل زیر هستند: ضعیف‌ترین منطق وجهی نرمال، که به افتخار سول کریپکی (به انگلیسی: Saul Kripke) به "K "نامگذاری شده" "است، به بیانی ساده، همان منطق گزاره‌ای بعلاوهٔ □، قاعده N و اصل K" "است. "K" ضعیف است، به این معنی که قادر به تشخیص اینکه آیا یک گزاره ضروریست است یا وجهاً ضروری، نیست. در واقع، اینکه اگر "p"□ درست باشد آنگاه "p"□□ درست است، یک قضیه در K نیست؛ یعنی اینکه حقایق ضروری «الزاماً ضروری»اند. اگر چنین سرگشتی‌هایی خیالات و ساختگی اند، این نقصِ "K" نقصی بزرگ نیست. در هر صورت پاسخ‌های متفاوت به اینگونه سوالات، منجر به سیستم‌های مختلف از منطق می‌گردند.


title: منطق موجهات

text: اضافه کردن اصول موضوعه به "K"، منجر به دیگر سیستم‌های وجهی معروف می‌گردند. در "K" نمی‌توان ثابت کرد که اگر گزاره «"p "ضروری است» صادق باشد، آنگاه "p "صادق است. اصل T برای درمان این نقص ارائه شده‌است: T در اکثر، و نه همهٔ منطقهای وجهی برقرار است. منبع Zeman (1973) چند مورد استثنا مانند "S1" را توصیف می‌کند.


title: منطق موجهات

text: دیگر اصول موضوعه مقدماتی معروف، عبارتند از: این‌ها منجر به سیستم‌هایی می‌شوند (اصول موضوعه، پر رنگ (bold) شده‌اند و سیستم‌ها کج نوشته شده‌اند (italic): "K" تا "S5"،" "سلسله‌ای تو در تو از سیستم‌ها را می‌سازند که هستهٔ منطقهای وجهی نرمال را تشکیل می‌دهند. اما قوانین یا مجموعه‌ای از قوانین خاص ممکن است مناسب سیستم‌های خاص باشند. برای مثال در منطق فقه، formula_29 (اگر واجب است که "p"، در آنصورت مجاز است که "p") مناسب به نظر می‌رسد، اما احتمالاً نباید formula_28 را در آن گنجاند. در واقع، انجام این کار یعنی مرتکب شدن به مغالطه طبیعت (یعنی بیان اینکه آنچه طبیعیست، خوب هم هست؛ با گفتن اینکه که اگر "p" درست است "p" باید مجاز باشد).


title: منطق موجهات

text: سیستمِ فعلاً مورد استفادهٔ "S5،" به بیانی ساده، همه حقایق وجهی را ضروری می‌داند. برای مثال اگر "p" ممکن باشد، در آنصورت «ضروریست» که ممکن باشد. همچنین اگر "p" ضروری باشد، ضروریست که "p" ضروری باشد. دیگر سیستم‌های منطق وجهی نیز فرموله شده‌اند؛ جزئاً به این خاطر که "S5" همهٔ وجهیات مورد علاقه را توصیف نمی‌کند.


title: منطق موجهات

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


title: منطق موجهات

text: تابلو تحلیلی، محبوب‌ترین روش تصمیم را برای منطقهای وجهی فراهم می‌کنند.


title: منطق موجهات

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


title: منطق موجهات

text: آرتور نورمن پرایور به دست پرورده‌اش روث بارکن هشدار داد که خود را برای مناظرات با ویلارد ون اورمان کواین در مورد منطق موجهات دارای سور آماده کند، با توجه به تعصباتی که وی در برابر منطق موجهات داشت.


title: سید ابراهیم نبوی

text: سید ابراهیم نبوی (متولد ۲۲ آبان ۱۳۳۷، آستارا) فعال سیاسی، نویسنده و طنزنویس ایرانی است. نبوی از منتقدان سیاسی خارج از ایران می‌باشد که در حال حاضر در کشور آمریکا اقامت دارد. او بین سال‌های ۱۳۶۱ تا ۱۳۶۴ مدیر دفتر سیاسی وزارت کشور بوده است. در حال حاضر با وبگاه‌های خبری رادیو زمانه، روز آنلاین، روزنامه آنلاین و هفته‌نامه گویا همکاری می‌کند و هر سه‌شنبه یکی از میهمانان ثابت برنامه زن امروز در شبکه فارسی صدای آمریکا است.


title: سید ابراهیم نبوی

text: ابراهیم نبوی در ۲۲ آبان ۱۳۳۷ در شهر آستارا متولد شد. سفر و ادامه زندگی در شهر تهران در سال ۱۳۳۹، سفر و زندگی در شهر رفسنجان در سال ۱۳۴۶ سفر و زندگی در شهر جیرفت در سال ۱۳۴۷ سفر و زندگی در شهر کرمان در سال ۱۳۴۸، سفر به شیراز برای ادامه تحصیل در سال ۱۳۵۶، ازدواج در سال ۱۳۵۹، تولد اولین فرزند دختر در سال ۱۳۶۱، تولد دومین فرزند دختر در سال ۱۳۶۲، سفر به تهران برای کار و ادامه تحصیل در سال ۱۳۶۱، ادامه تحصیل در دانشگاه تهران. تولد سومین دختر در سال ۱۳۷۰، سفر به شیراز برای مدت دو سال، بازگشت به تهران و فعالیت در مطبوعات سیاسی اصلاح طلب، رفتن به زندان در سال ۱۳۷۷ به دلیل فعالیت‌های مطبوعاتی به اتهام اقدام علیه امنیت کشور به مدت یک ماه. سفر به فرانسه برای اولین بار، سفر به عربستان سعودی و مکه و مدینه، سفر به کانادا، آلمان، فرانسه و اجرای اولین برنامه‌های استندآپ کمدی در هفت شهر. رفتن به زندان برای دومین بار در سال ۱۳۷۹ به اتهام اهانت به مسوولان حکومتی و توهین به نظام جمهوری اسلامی. ادامه فعالیت کاری و انتشار کتاب. سفر به جمهوری آذربایجان، سفر به امارات متحده عربی، سفر به عراق و سوریه شش ماه قبل از سقوط صدام حسین. سفر به کشورهای سوئد، نروژ، دانمارک، بلژیک، آلمان، فرانسه، اتریش برای اجرای برنامه استندآپ کمدی در این کشورها در سال ۱۳۸۱، بازگشت به ایران و احضار مجدد به کمیته اماکن به اتهام همکاری با ضدانقلاب در فعالیت‌های فرهنگی مؤسسه فرهنگی هنری تهران. خروج از کشور از بیست فروردین ۱۳۸۲ به کشور فرانسه. اقامت و زندگی در بلژیک. سفر به ایالات متحده آمریکا برای اجرای یازده برنامه استندآپ کمدی در ایالات مختلف این کشور.ابراهیم نبوی دو بار، یکبار در ۱۳۷۷ به دلیل فعالیت‌های مطبوعاتی به اتهام اقدام علیه امنیت کشور به مدت یک ماه و بار دیگر در به اتهام اهانت به مسئولان حکومتی و توهین به نظام جمهوری اسلامی در سال ۱۳۷۹ زندانی شد. وی در فروردین ۱۳۸۲ از کشور خارج شد و هم‌اکنون در بلژیک فعالیت می‌کند.


title: سید ابراهیم نبوی

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


title: دهستان بازرجان

text: دهستان بازرجان از دهستان‌های شهرستان تفرش در استان مرکزی ایران است.


title: دهستان بازرجان

text: مرکز این دهستان روستای بازرجان است.


title: نظریه طبیعی مجموعه‌ها

text: نظریه طبیعی مجموعه‌ها، یکی از چندین تئوری مجموعه هاست که در بحث بنیان‌های ریاضیات مطرح می‌شود.


title: نظریه طبیعی مجموعه‌ها

text: عبارت نظریهٔ طبیعی مجموعه‌ها یا نظریهٔ شهودی مجموعه‌ها، که نباید آن را با نظریه اصل موضوعی مجموعه‌ها اشتباه گرفت، در سال‌های حدود ۱۹۴۰ گه‌گاه مورد استفاده قرار می‌گرفت و در سال ۱۹۵۰ رسماً مورد استفاده قرار گرفت. در ریاضیات محض، نظریهٔ طبیعی مجموعه‌ها اولین پیشرفت و گسترش در نظریه مجموعه‌ها است، که بعدها به صورت دقیق‌تر در قالب نظریهٔ اصل موضوعی مجموعه‌ها بیان شد.


title: نظریه طبیعی مجموعه‌ها

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


title: نظریه طبیعی مجموعه‌ها

text: در ریاضیات، مجموعه‌ها اهمیت بسیار دارند. در واقع در ریاضیات جدید، بخش عمده‌ای از ابزارهای ریاضی همچون اعداد، رابطه‌ها، توابع بر پایهٔ مجموعه‌ها تعریف شده‌اند.


title: نظریه طبیعی مجموعه‌ها

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


title: نظریه طبیعی مجموعه‌ها

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


title: نظریه طبیعی مجموعه‌ها

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


title: نظریه طبیعی مجموعه‌ها

text: امروزه وقتی ریاضیدانان از نظریه مجموعه‌ها به عنوان یک شاخهٔ ریاضیات صحبت می‌کنند، به صورت معمول منظور آن‌ها نظریه اصل موضوعی مجموعه‌ها است. در استفاده‌های غیررسمی از نظریهٔ مجموعه‌ها در رشته‌های دیگر همانند رشته‌های مهندسی، معمولاً از نظریه طبیعی مجموعه‌ها استفاده می‌شود.


title: نظریه طبیعی مجموعه‌ها

text: البته لازم به توضیح است که برخی معتقدند که نظریهٔ مجموعه‌های جرج کانتور عملاً درگیر پارادکس‌ها نمی‌شود که خود مطلبی قابل بحث است. او از برخی از این پارادکس‌ها آگاه بود ولی آن‌ها را بیان نکرد چرا که معتقد بود این پارادکس‌ها نظریهٔ مجموعه‌های او را بی‌اعتبار می‌سازد. اطمینان در مورد این مطلب دشوار است چرا که او اصل موضوع یا قاعده‌ای را بیان نکرده‌است.


title: نظریه طبیعی مجموعه‌ها

text: فرگه به صورت صریح یک نظریهٔ اصل موضوعی ارائه داد که می‌توان آن را به عنوان شکل فرمول‌بندی شدهٔ نظریهٔ طبیعی مجموعه‌ها دانست. این همان تئوری فرمول‌بندی شده‌ای‌ست که برتراند راسل هنگامی که پارادکس خود را بیان کرد، به این تئوری استناد کرد.


title: نظریه طبیعی مجموعه‌ها

text: مطالعهٔ مجموعه‌ها از دیدگاه طبیعی (یا به عبارت دیگر مطالعه به صورت غیر صوری) به منظور بررسی و گسترش کاربردهای مجموعه‌ها و امکاناتی که به ما می‌دهند بسیار مفید است. به علاوه دانستن مفاهیم نظریهٔ مجموعه‌ها از دیدگاه طبیعی به عنوان قدم اول در فهم نظریه اصل موضوعی مجموعه‌ها، دارای اهمیت است.


title: نظریه طبیعی مجموعه‌ها

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


title: نظریه طبیعی مجموعه‌ها

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


title: نظریه طبیعی مجموعه‌ها

text: در نظریهٔ طبیعی مجموعه‌ها، مجموعه‌ها به عنوان یک دسته از اشیا مشخص توصیف می‌شوند. به این اشیا که مجموعه را تشکیل می‌دهند اعضا(members) یا عناصر(elements) مجموعه می‌گوییم. عضوهای مجموعه می‌توانند هر چیزی باشند: اعداد، افراد جامعه، مجموعه‌ها یا هر چیز دیگر. به عنوان مثال عدد ۴ یک عضو از مجموعهٔ اعداد صحیح است. به وضوح مجموعهٔ اعداد زوج مجموعه‌ای نامتناهی است. همین موضوع نشان می‌دهد که لزومی ندارد که همهٔ مجموعه‌ها متناهی باشند (تعداد متناهی عضو داشته باشند).


title: نظریه طبیعی مجموعه‌ها

text: اگر x یک شی متعلق به مجموعهٔ دلخواه A باشد می‌گوییم «مجموعهٔ A شامل عضو x است.» یا «x متعلق به مجموعه A است.» در این صورت می‌نویسیم x∈A که formula_1 نماد تعلق یا عضویت (membership) است که از حرف اپسیلون یونانی formula_2 گرفته شده و به وسیلهٔ پئانو معرفی شده‌است. اگر x عضوی از مجموعهٔ A نباشد می‌نویسم formula_3.


title: نظریه طبیعی مجموعه‌ها

text: دو مجموعهٔ مفروض A و B باهم برابر هستند هر گاه دقیقاً عضوهایشان یکسان باشد. به بیان دیگر هر عضو دلخواه مجموعهٔ A، در مجموعه B باشد و هر عضو دلخواه B در مجموعهٔ A موجود باشد (ر. ک اصل موضوع گسترش).


title: نظریه طبیعی مجموعه‌ها

text: بنابراین مجموعه به صورت کامل با اعضایش مشخص می‌شود. به عنوان مثال مجموعهٔ اعداد ۲٫۳٫۵ با مجموعهٔ تمام اعداد اول کوچکتر از ۶ برابر است. اگر A و B دو مجموعهٔ برابر باشند می‌نویسیم: A=B.


title: نظریه طبیعی مجموعه‌ها

text: مجموعه‌ای هم وجود دارد که دارای هیچ عضوی نمی‌باشد و به آن مجموعه تهی (empty set) یا پوچ (null set) می‌گوییم و آن را با نماد { } یا formula_4 نشان می‌دهیم. از آنجا که مجموعه دقیقاً با اعضایش شناخته می‌شود، می‌توان یکتا بودن مجموعهٔ تهی را تضمین کرد (ر. ک اصل موضوع مجموعه تهی).


title: نظریه طبیعی مجموعه‌ها

text: اگرچه مجموعهٔ تهی هیچ عضوی ندارد، با این‌حال، خود می‌تواند عضو مجموعه‌های دیگری قرار گیرد. از این‌رو زیرا Ø هیچ عضوی ندارد، اما دارای یک عضو است.


title: نظریه طبیعی مجموعه‌ها

text: معمولاً یک مجموعه را در صورت امکان به وسیلهٔ نوشتن اعضایش میان دو آکولاد { } مشخص می‌کنند که این روش روش تفضیلی یا نمایش با اعضا نام دارد. به این ترتیب مجموعهٔ {a,b}، مجموعه‌ای است که در آن a و b دو عضو مجموعه هستند. در نمایش مجموعه به دو نکته توجه داشته باشید:


title: نظریه طبیعی مجموعه‌ها

text: همچنین می‌توان یک مجموعه را با بیان خاصیت مشترک میان اعضایش مشخص کرد. برای این منظور از نماد مجموعه ساز {(x:P(x} یا {(x|P(x} استفاده می‌کنیم که مفهوم آن عبارت است از مجموعهٔ همهٔ عناصری مانند x که شرط (P(x برای آن‌ها برقرار است یا به عبارت دیگر گزاره‌نمای (P(x برای آن‌ها به گزاره‌ای درست تبدیل می‌شود. به عنوان مثال مجموعهٔ {x عددی حقیقی است :x}، مجموعهٔ اعداد حقیقی را معین می‌کند و مجموعهٔ {n عددی طبیعی؛ x: x=2n} مجموعهٔ اعداد طبیعی زوج را معین می‌کند.


title: نظریه طبیعی مجموعه‌ها

text: این شیوهٔ نمایش مجموعه‌ها نمایش با علایم ریاضی یا نمایش توصیفی نامیده می‌شود و بیشتر برای مجموعه‌های نامتناهی یا مجموعه‌هایی که با اعضا قابل نمایش نمی‌باشند به کار می‌رود.


title: نظریه طبیعی مجموعه‌ها

text: اگر A و B دو مجموعه باشند، می‌گوییم A زیرمجموعه یا جز B است هرگاه هر عضو A در B نیز موجود باشد. در این صورت می‌گوییم مجموعهٔ A زیرمجموعه یا جز B است یا B یک ابرمجموعه یا حاوی مجموعهٔ A است. همچنین اگر A زیرمجموعهٔ B باشد و در عین حال B دارای عضوی غیرمتعلق به A باشد، می‌گوییم A یک زیرمجموعهٔ حقیقی یا محض (سره) B است یا B یک ابر مجموعه حقیقی A است. به عنوان مثال مجموعهٔ اعداد طبیعی زیرمجموعه‌ای از اعداد صحیح است.


title: نظریه طبیعی مجموعه‌ها

text: نماد formula_12، علامت زیرمجموعه بودن است. به عنوان مثال می‌نویسیم formula_13.


title: نظریه طبیعی مجموعه‌ها

text: گزارهٔ «A زیرمجموعهٔ B است» را به صورت formula_14 نمایش می‌دهیم، همچنین گزارهٔ «B یک ابرمجموعهٔ A است» را به صورت formula_15 می‌نویسیم و اگر A یک زیرمجموعهٔ محض B باشد می‌نویسیم formula_16 یا formula_17.


title: نظریه طبیعی مجموعه‌ها

text: از تعریف زیرمجموعه نتیجه می‌شود که گزارهٔ «A زیرمجموعهٔ B است» معادل با گزارهٔ زیر است:


title: نظریه طبیعی مجموعه‌ها

text: نقیض گزارهٔ formula_14 را با formula_20 نشان می‌دهیم و معادل با این مطلب است که عضوی در A هست که متعلق به B نمی‌باشد یا به زبان منطق ریاضی


title: نظریه طبیعی مجموعه‌ها

text: با استفاده از مفهوم زیر مجموعه می‌توان تساوی دو مجموعه را به این صورت بیان کرد:


title: نظریه طبیعی مجموعه‌ها

text: همچنین اگر X یک مجموعه باشد، مجموعهٔ همه زیرمجموعه‌های X را مجموعهٔ توانی X می‌گوییم و آن را با(P(X نشان می‌دهیم. به عبارت دیگر formula_24. اگر X مجموعه‌ای n عضوی باشد، آنگاه X دارای 2 زیر مجموعه است.


title: نظریه طبیعی مجموعه‌ها

text: در هر بحث خاص مجموعه همهٔ عناصر مورد بحث را عضو یک مجموعهٔ کلی می‌گیریم و به آن مجموعهٔ جهانی(Universal set) یا مرجع (عام) می‌گوییم. توجه به این نکته لازم است که مجموعهٔ جهانی را نباید به عنوان مجموعه‌ای از همهٔ مجموعه‌ها در نظر گرفت چرا که در ادامه متوجه می‌شویم که چنین مجموعه‌ای وجود ندارد و فرض وجود آن ما را به تناقضاتی چون پارادکس راسل سوق می‌دهد. مجموعهٔ جهانی را با U ,V یا M نشان می‌دهیم.


title: نظریه طبیعی مجموعه‌ها

text: اگر U مجموعهٔ جهانی باشد و A یک زیرمجموعهٔ U باشد، در این صورت مجموعهٔ همه عناصری از U را که متعلق به A نباشند متمم یا مکمل مجموعهٔ A می‌گوییم و آن را با نمادهای A یا formula_25 یا formula_26 نشان می‌دهیم. پس formula_27 و formula_28


title: نظریه طبیعی مجموعه‌ها

text: اگر A و B دو مجموعه باشند می‌توانیم اعضای A و B را به‌طور همزمان در یک مجموعهٔ جدید به نام اجتماع دو مجموعهٔ A و B قرار دهیم. اجتماع دو مجموعهٔ A و B عبارت است از مجموعهٔ همهٔ عناصری که به حداقل یکی از دو مجموعهٔ A یا B متعلق باشند (ر. ک اصل موضوع اجتماع).


title: نظریه طبیعی مجموعه‌ها

text: اجتماع دو مجموعهٔ A و B را با نماد formula_29 نشان می‌دهیم و مطابق تعریف داریم:


title: نظریه طبیعی مجموعه‌ها

text: پس:


title: نظریه طبیعی مجموعه‌ها

text: به همین صورت اشتراک دو مجموعهٔ A و B عبارت است از مجموعهٔ همهٔ عناصری که به هر یک از دو مجموعهٔ A و B متعلق باشند. اشتراک دو مجموعهٔ A و B را به صورت formula_32 نشان می‌دهیم و مطابق تعریف داریم:


title: نظریه طبیعی مجموعه‌ها

text: حال می‌توانیم مفهوم متمم یک مجموعه را تعمیم دهیم و متمم یک مجموعهٔ مفروض را نسبت به یک مجموعهٔ دیگر بررسی کنیم. اگر A و B دو مجموعه باشند، مجموعهٔ همهٔ عناصری از A را که در مجموعهٔ B وجود ندارند متمم A نسبت به B یا تفاضل B از A می‌گوییم و به صورت A-B نشان می‌دهیم.


title: نظریه طبیعی مجموعه‌ها

text: به این ترتیب formula_34 و لذا


title: نظریه طبیعی مجموعه‌ها

text: نکتهٔ جالب توجه این است که برای هر مجموعهٔ X، مجموعه توانی X یک جبر بول تحت اعمال اجتماع و اشتراک است. برای مشاهدهٔ خواص و قضایای مربوط به اجتماع و اشتراک به جبر مجموعه‌ها رجوع کنید.


title: نظریه طبیعی مجموعه‌ها

text: در مورد زوج مرتب می‌توان بسیار بحث کرد اما در نظریهٔ طبیعی مجموعه‌ها برای هر دو شی a و b زوج (a,b) را که در آن ترتیب قرار گرفتن مؤلفه‌های اول و دوم مهم است یک زوج مرتب می‌گوییم. این تعریف نیاز ما را برای ادامه مطلب بر طرف می‌کند (برای بررسی این که واقعاً یک زوج مرتب چیست می‌توانید به مقالهٔ زوج مرتب یا نظریه اصل موضوعی مجموعه‌ها مراجعه کنید).


title: نظریه طبیعی مجموعه‌ها

text: از تعریف یک زوج مرتب متوجه می‌شویم که اگر (a,b) و (c,d) دو زوج مرتب باشند و (c,d)=(a,b)، باید داشته باشیم a=c و b=d. حال به بررسی یک عمل مهم بر روی مجموعه‌ها می‌پردازیم.


title: نظریه طبیعی مجموعه‌ها

text: اگر A و B دو مجموعه باشند، آنگاه حاصل ضرب دکارتی دو مجموعهٔ A و B را با نماد formula_36 نشان می‌دهیم و به صورت مجموعهٔ همهٔ زوج مرتب‌هایی که مؤلفهٔ اول آن‌ها عضو A و مؤلفهٔ دوم آن‌ها عضو B هستند تعریف می‌کنیم. به عبارت دیگر formula_37.


title: نظریه طبیعی مجموعه‌ها

text: مفهوم ضرب دکارتی را می‌توان توسعه داد و به تعداد نامتناهی از مجموعه‌ها هم نسبت داد. ضرب دکارتی اولین بار توسط ریاضیدان و فیلسوف فرانسوی رنه دکارت(René Descartes) معرفی شده‌است.


title: نظریه طبیعی مجموعه‌ها

text: برای برخی از مجموعه‌های خاص، اسامی خاصی به کار می‌بریم که باید آن‌ها را به خاطر سپرد:


title: نظریه طبیعی مجموعه‌ها

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


title: نظریه طبیعی مجموعه‌ها

text: اما به راستی چه مشکلی در نظریه‌ای که تا به حال ارائه دادیم وجود دارد؟ مشکل در ساختار مجموعه است و اینکه واقعاً مجموعه چیست؟ در نظریه‌ای که ارائه شد، برداشتی که از یک مجموعه می‌شود مانند کیسه‌ای است که تعدادی (متناهی یا نامتناهی) عضو را در آن قرار می‌دهیم. آیا به راستی هرچه که در بین دو { } قرار دهیم یک مجموعه نام دارد، یا به‌طور دقیق‌تر آیا می‌توانیم هر مجموعه‌ای را به دلخواه خودمان تشکیل بدهیم؟ آیا مجموعه مانند یک کیسه است که هر چه در آن قرار دهیم و اسم آن را یک مجموعه بگذاریم؟


title: نظریه طبیعی مجموعه‌ها

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


title: نظریه طبیعی مجموعه‌ها

text: خوب بیاید فرض کنیم هر مجموعه‌ای را می‌توان تشکیل داد. برای هر مجموعه ما می‌توانیم این سؤال عجیب را مطرح کنیم که آیا این مجموعه عضو خودش است یا نه؟


title: نظریه طبیعی مجموعه‌ها

text: طبیعی است که در هر مورد جواب بلی یا خیر است. حال بر اساس فرضی که کردیم بیاید همهٔ مجموعه‌هایی را که شامل خودشان نیستند در یک مجموعه قرار دهیم. یعنی مجموعهٔ همه مجموعه‌هایی که شامل خود نیست را تشکیل دهیم. این مجموعه را A نام‌گذاری می‌کنیم پس {X مجموعه‌ای باشد که عضو خودش نیست :A={X


title: نظریه طبیعی مجموعه‌ها

text: A نیز یک مجموعهٔ قابل قبول است و حق داریم سؤال را در مورد A نیز مطرح کنیم. آیا A عضو خودش است یا نه؟ بدیهی است که باید داشته باشیم formula_53 یا formula_54.


title: نظریه طبیعی مجموعه‌ها

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


title: نظریه طبیعی مجموعه‌ها

text: حال در نگاهی دیگر با همان فرض قبلی که می‌توان هر مجموعه‌ای را تشکیل داد بیاید فرض کنیم مجموعهٔ همهٔ مجموعه‌ها وجود دارد. چنین مجموعهٔ بزرگی را formula_59 می‌نامیم. در مورد اعضای مجموعهٔ formula_59 نیز می‌توان این سؤال را مطرح کرد که اگر A عضوی از formula_59 باشد آیا A عضو خودش است یا نه؟


title: نظریه طبیعی مجموعه‌ها

text: به عبارت دیگر گزاره‌نمای formula_62 یا خاصیت «عضو خود نبودن» را اختیار می‌کنیم و با اعمال آن روی اعضای formula_59 زیرمجموعه‌ای از اعضای formula_59 مشخص می‌شود. یعنی زیرمجموعه‌ای از formula_59 که دقیقاً شامل عناصری از formula_59 است که عضو خود نمی‌باشند. این زیرمجموعه را B می‌نامیم. در این صورت formula_67. حال چون formula_59 مجموعهٔ همهٔ مجموعه‌ها است، این سؤال پیش می‌آید که آیا formula_69؟


title: نظریه طبیعی مجموعه‌ها

text: اگر formula_69 آنگاه یا formula_71 یا formula_72. حال:


title: نظریه طبیعی مجموعه‌ها

text: formula_69 ما را به تناقض سوق می‌دهد و لذا formula_78 که این با توجه به اینکه formula_59 مجموعهٔ همهٔ مجموعه‌ها است، یک تناقض آشکار است چرا که مجموعه‌ای چون B یافت شد که عضو formula_59 نیست. پس اساساً فرض وجود مجموعهٔ همهٔ مجموعه‌ها نیز ما را به تناقض می‌کشاند و چنین مجموعه‌ای خوش تعریف نیست.


title: نظریه طبیعی مجموعه‌ها

text: برای اطلاعات بیشتر در مورد این پارادکس‌ها به پارادکس راسل یا پارادکس‌های نظریه مجموعه‌ها رجوع کنید.


title: ایلیا ابوماضی

text: ایلیا ابوماضی (۱۸۸۹، روستای المحیدثه منطقه بکفایه لبنان - ۱۹۵۷، نیویورک) شاعر لبنانی-آمریکایی است که از وی در کنار شاعرانی همچون جبران خلیل جبران، امین الریاحی و میخاییل نعیمه نام برده می‌شود.


title: ایلیا ابوماضی

text: تأسیس روزنامهٔ سیاسی - اجتماعی «السمیر» به زبان عربی در آمریکا از یک سو و هنر شاعری وی از سوی دیگر، نام او را بلندآوازه ساخته است. ابوماضی یکی از بنیان‌گذاران ادبیات اعراب دور از وطن (ادبیات مَهجَر) به حساب می‌آید. او و همفکرانش خواستار تحولی بنیادین در ادبیات معاصر عربی نبودند و در این راه به موفقیت‌های بزرگی دست یافتند یکی از بارزترین وجوه اندیشهٔ این شاعر، تأثیرپذیری وی از اندیشهٔ خیام و ابوالعلاء معری در زمینهٔ فلسفه هستی است. از دیگر مفاهیم کلیدی شعر وی عشق و زیباپرستی است. همچنین میهن‌پرستی به دلیل حساسیت‌های سیاسی دورهٔ حیات وی در اندیشه و بیان این شاعر اهمیت ویژه‌ای یافته است.


title: جنجال کاریکاتورهای محمد در یولاندز پستن

text: جنجال کاریکاتورهای محمد در یولاندز-پستن (یا بحران کاریکاتورهای محمد) (به دانمارکی: "Muhammedkrisen") بعد از این شروع شد که روزنامه دانمارکی "یولاندز-پستن" ۱۲ کاریکاتور ویراستاره در ۳۰ سپتامبر ۲۰۰۵ منتشر کرد، که بیش ترشان محمد، شخصیتی اصلی از دین اسلام را به تصویر می کشیدند. روزنامه اعلام کرد که این تلاشی بوده است تا به بحث در رابطه با نقد اسلام و خودسانسورگری کمک کند.


title: جنجال کاریکاتورهای محمد در یولاندز پستن

text: چاپ کاریکاتورهایی از محمد در این روزنامهٔ دانمارکی باعث واکنش شدید مسلمانان شد. این روزنامه پس از آن از اتهام هتک حرمت تبرئه شد.


title: جنجال کاریکاتورهای محمد در یولاندز پستن

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


title: جنجال کاریکاتورهای محمد در یولاندز پستن

text: این کاریکاتورهادر نشریات کشورهای فرانسه، اسپانیا، ایتالیا، آلمان، نروژ، هلند، سوئیس، لهستان و جمهوری چک چاپ شد. همچنین در سال ۲۰۰۸ پس از آنکه پلیس سه نفر را به اتهام توطئه برای قتل طراح کاریکاتورها دستگیر کرد چندین نشریه دانمارکی اقدام به چاپ مجدد این کاریکاتورها کردند. افزون بر دانمارک، نشریات در کشورهای سوئد، اسپانیا و هلند ضمن گزارش دستگیری مظنونین، کاریکاتورها را منتشر کردند.


title: قطع‌کن کوئل

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


title: قطع‌کن کوئل

text: در واقع نوعی سویچ بر روی دلکو در سامانه جرقه زنی است.


title: قطع‌کن کوئل

text: قطع کن کویل با قطع و وصل کردن جریان در کویل، ولتاژ کم باتری را به ولتاژ زیاد تبدیل می‌کند که به‌این‌ترتیب، ولتاژ لازم برای جرقه زدن شمع‌های خودرو و برای احتراق مخلوط سوخت و هوای درون سیلندر تأمین می‌شود. در واقع، کویل به عنوان یک ترانسفورماتور افزاینده عمل می‌کند. اجزای موتور درون‌سوز


title: علی‌اصغر بدیع‌زادگان

text: سید علی‌اصغر بدیع‌زادگان (زاده اردیبهشت ۱۳۱۹ در اصفهان - اعدام: ۴ خرداد ۱۳۵۱ در تهران) از اعضای هیئت مرکزی سازمان مجاهدین خلق از سال ۱۳۴۷ به بعد بود. وی یکی از بنیانگذاران سازمان مجاهدین خلق ایران است که در کنار محمد حنیف نژاد و سعید محسن سازمان مجاهدین خلق ایران را در سال ۱۳۴۴بنیان گذاشتند.


title: علی‌اصغر بدیع‌زادگان

text: بدیع زادگان تحصیلات ابتدایی و دبیرستان را در اصفهان، کرج و تهران گذراند. از سال ۱۳۳۷ در رشته مهندسی شیمی و دانشکده فنی دانشگاه تهران مشغول به تحصیل شد. در دوران دانشجویی تحت تأثیر سخنرانی‌های سیدمحمود طالقانی و مهندس مهدی بازرگان در فعالیت‌های جبهه ملی شرکت می‌کرد و در همین زمان با محمد حنیف نژاد و سعید محسن آشنا شد. او در سال ۱۳۴۳ به عنوان استادیار به استخدام دانشگاه تهران درآمد و در ۱۳۴۵ به سازمان مجاهدین پیوست. او از مرداد ۱۳۴۹ تا خرداد ۱۳۵۰ به عنوان "«مسئول هماهنگی‌ها و فعالیت‌های سازمان در خارج از کشور»" در پاریس، بیروت، امان و سوریه اقامت داشت و در اردوگاه‌های فتح دوره‌های آموزشی تیراندازی و ساختن مواد منفجره را گذراند.


title: علی‌اصغر بدیع‌زادگان

text: وی پس از خاتمه تحصیلاتش با عنوان استادیار شیمی به استخدام دانشکده فنی دانشگاه تهران درآمد.


title: علی‌اصغر بدیع‌زادگان

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


title: علی‌اصغر بدیع‌زادگان

text: وی در روز چهارم خرداد ۱۳۵۱ در حالیکه در اثر شکنجه فلج شده بود در میدان تیر چیتگر اعدام شد. محل دفن وی در قطعه ۳۳ بهشت زهرا در تهران است. پس از انقلاب در مدت کوتاهی نام دانشکدهٔ فنی دانشگاه تهران را به دانشکده فنی بدیع زادگان تغییر داده بودند.


title: اصل موضوع زوج‌سازی

text: اصل موضوع زوج سازی در ریاضیات بیان می‌کند به ازائ هر دو مجموعه، مجموعه سومی وجود دارد که آن دو مجموعه به آن تعلق دارند یا به عبارت دیگر اگر a و b دو مجموعه باشند، مجموعه‌ای چون A هست که a∈A و b∈A.


title: اصل موضوع زوج‌سازی

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


title: اصل موضوع زوج‌سازی

text: برای اولین قدم تا رسیدن به پاسخ این پرسش‌ها در نظریه اصل موضوعی مجموعه‌ها، به اصل موضوع مجموعه‌ساز دیگری نیازمندیم که اصل موضوع زوج سازی (Axiom of Pairing) نام دارد.


title: اصل موضوع زوج‌سازی

text: این اصل بیان می‌کند:


title: اصل موضوع زوج‌سازی

text: یا به ازائ هر دو مجموعه، مجموعهٔ سومی وجود دارد که آن دو مجموعه به آن تعلق دارند یا به عبارت دیگر اگر a و b دو مجموعه باشند، مجموعه‌ای چون A هست که a∈A و b∈A.


title: اصل موضوع زوج‌سازی

text: توجه داشته باشید که اصل موضوع زوج‌سازی بیان می‌کند A شامل a و b است ولی نمی‌گوید A دقیقاً شامل a و b است، اما با استفاده از اصل موضوع تصریح می‌توان مجموعه‌ای ساخت که دقیقاً شامل a و b باشد.


title: اصل موضوع زوج‌سازی

text: اگر a و b دو مجموعه باشند، برطبق اصل موضوع زوج‌سازی، مجموعه‌ای چون A وجود دارد که شامل a و b است. حال اگر اصل موضوع تصریح را بکار برده و مجموعه {x∈A:x=aΛx=b} را در نظر بگیریم، این مجموعه زیرمجموعه‌ای از A می‌باشد که فقط شامل دو عضو a و b بوده و عبارت است از {B={a,b.


title: اصل موضوع زوج‌سازی

text: پس در بیان نتیجه‌ای از اصل موضوع زوج‌سازی می‌توان گفت: برای هر دو مجموعهٔ دلخواه a و b مجموعه‌ای چون A وجود دارد که دقیقاً شامل a و b باشد یا {A={a,b.


title: اصل موضوع زوج‌سازی

text: اصل موضوع گسترش یکتا بودن مجموعه فوق را تضمین می‌کند و لذا یک مجموعه وجود دارد که دقیقاً شامل a و b است و همان‌طور که در قبل مشاهده کردید آن را به صورت {a,b} نشان می‌دهیم و به آن "زوج نامرتب" a و b می‌گوییم.


title: اصل موضوع زوج‌سازی

text: حال این امکان را داریم تا به برخی از سؤالاتی که در ابتدا مطرح کردیم پاسخ دهیم. فرض کنید a مجموعه‌ای دلخواه باشد. در این صورت می‌توان اصل موضوع زوج‌سازی را در مورد a و a بکار برد و زوج نامرتب {a,a} را تشکیل داد که همان مجموعهٔ تک عضوی {a} است. و در این حالت داریم {a∈{a. پس پاسخ این سؤال که آیا هر مجموعه عضو مجموعه‌ای دیگر است مثبت است.


title: اصل موضوع زوج‌سازی

text: و حالا، آیا به نظر شما برای هر تعداد مجموعهٔ دلخواه، مجموعه‌ای وجود دارد که شامل آن مجموعه‌ها باشد؟


title: اصل موضوع زوج‌سازی

text: ممکن است برای خوانندهٔ کنجکاو این سؤال پیش بیاید که آیا واقعاً نیازی به تعریف اصل موضوع زوج‌سازی وجود دارد؟ آیا نمی‌توان با استفاده از اصل موضوع تصریح و بیان یک شرط، مجموعه {a,b} را تولید کنیم؟ بیایید به این سؤال پاسخ دهیم!


title: اصل موضوع زوج‌سازی

text: فرض کنید (S(x گزاره نمای «x=a یا x=b» باشد (همانند قبل a و b مجموعه‌اند). می‌توان "اصل موضوع زوج سازی" را به این صورت تعریف کرد: « مجموعه‌ای چون B وجود دارد که x∈B اگر و فقط اگر x=b یا x=a » (*) در این صورت داریم {B={x:x=a∨x=b.


title: اصل موضوع زوج‌سازی

text: اما هنگامی که اصل موضوع تصریح برای مجموعه‌ای مفروض چون A به کار می‌رود وجود مجموعه‌ای چون B را بیان می‌کند که: x∈B اگر و فقط اگر x∈A و (x=a یا x=b)(**). که در این صورت داریم {B={x∈A:x=a∨x=b.


title: اصل موضوع زوج‌سازی

text: حال ببینیم بین (*) و (**) چه رابطه‌ای وجود دارد؟


title: اصل موضوع زوج‌سازی

text: در حقیقت با توجه به اصل موضوع تصریح مشخص می‌شود که رابطهٔ (*) حالت کاذبی از (**) است. چراکه در آن شرط (S(x در مورد یک مجموعه مشخص به‌کار نرفته است، و همان‌طور که در اصل موضوع تصریح بیان شده است برای تعیین یک مجموعه تنها بیان یک خاصیت چون (S(x کافی نمی‌باشد و این خاصیت باید برای اعضای یک مجموعه بکار رود تا مجموعه‌ای جدید را مشخص کند.


title: اصل موضوع زوج‌سازی

text: پس رابطهٔ (*) یک مجموعه را مشخص نمی‌کند و {B={x:x=a∨x=b یک مجموعه نمی‌باشد (معمولاً B و چنین اشیای ریاضی را کلاس یا رده می‌گویند).


title: اصل موضوع زوج‌سازی

text: پس چون بدون در نظر گرفتن "اصل موضوع زوج سازی" مجموعه‌ای در اختیار نداریم تا با بکار گیری (S(x برای اعضای آن مجموعهٔ B را بسازیم، تعریف "اصل موضوع زوج سازی" ضروری است.


title: اصل موضوع زوج‌سازی

text: در حقیقت هرآنچه از اصول موضوع مجموعه‌ساز در نظریه اصل موضوعی مجموعه‌ها بیان می‌کنیم، ازجمله اصل موضوع زوج‌سازی، اصل موضوع اجتماع و ... حالات کاذبی از اصل موضوع تصریح می‌باشند. چرا که همهٔ آن‌ها وجود مجموعه‌ای را با بیان یک خاصیت بیان می‌کنند، اما معلوج نمی‌باشد عضوهایی که باید در شرط صدق کنند از کجا آورده می‌شوند.


title: پیرو دلا فرانچسکا

text: پیرو دلا فرانچسکا (،; (۱۴۱۲ – ۱۲ اکتبر ۱۴۹۲) هنرمند و ریاضی‌دان دورهٔ رنسانس بود که هندسه را به‌طور عینی در نقاشیهایش وارد کرد.


title: پیرو دلا فرانچسکا

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


title: تنگه واشی

text: تنگه واشی یا تنگه ساواشی مکانی با جاذبه‌های گردشگری است که در مسیر جاده هراز پشت تونل وانا قرار دارد. کلمه واش ، در زبان مازندرانی ،به معنای چمن می باشد و تنگه واشی به معنای تنگه ای است که دارای دشت چمن است.


title: تنگه واشی

text: این مکان شامل دو تنگه است که تنگه اول به «واشی» و تنگه دوم به «سا» معروف است. در انتهای تنگه دوم آبشاری با ارتفاع ۱۵ متر قرار دارد. مسیر پیاده‌روی از ابتدای تنگه اول طی سه بخش انجام می‌شود.


title: تنگه واشی

text: بخش اول: مسیر تنگه اول تا ابتدای دشت ساواشی (حدود ۲۵۰متر)


title: تنگه واشی

text: بخش دوم:راهپیمایی دشت ساواشی (حدود ۱۷۰۰متر)


title: تنگه واشی

text: بخش سوم:مسیر تنگه دوم تا رسیدن به آبشار (حدود ۸۰۰متر)


title: تنگه واشی

text: برای رفتن به تنگه ساواشی در کیلومتری ۲ جاده فیروزکوه-تهران، پس از ورود به یک جاده فرعی و طی ۱۰ کیلومتر روستای جلیزجند نمایان می‌گردد. این روستا در حاشیه یک دشت سرسبز با مزارع گندم و سیب زمینی و باغات مختلف بنا شده‌است. بعد از عبور از روستا و طی ۴٫۵ کیلومتر در جاده‌ای که میان دشت و در کنار جوی‌های پر از آب زلال، احداث شده، محل پیاده‌روی تنگه ساوشی شروع می‌شود.


title: تنگه واشی

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


title: تنگه واشی

text: در تنگه واشی گیاه کمیاب باریجه که مصارف صنعتی و دارویی دارد می‌روید.


title: تنگه واشی

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


title: تنگه واشی

text: کتیبه واقع در تنگه ساواشی دارای ابعاد شش در هفت متر است که وقایع زمان فتحعلی شاه دور تا دور کتیبه روایت شده‌است. بزرگ‌ترین نقش برجسته این کتیبه‌ها، نقش شکارگاه با تصویر اسب، نیزه و شکارهایش است که در اطراف آن می‌توان عباس میرزا، علی قلی میرزا و علی نقی میرزا پسران فتحعلی شاه و همچنین نوادگانش را در حال شکار دید. این کتیبه که حدوداً ۱۸۵ ساله‌است به گونه‌ای در دل کوه حک شده که از بارش باران و تابش آفتاب در امان بوده‌است اما صنعت گردشگری به آن آسیب وارد نموده‌است.مراتع ساواشی متعلق به حاجی اسفندیار حامدی سنگسری از سال ۱۲۷۵ ه ق و علی اقا حامدی و سیامک حامدی بوده و قلمرو ایل عشایری سنگسری بودهعکس‌هایی از تنگه واشی عکس‌هایی دیکر از تنگه واشی


title: استدلال

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


title: استدلال

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


title: استدلال

text: هرچه همانندی میان دو پدیده بیشتر باشد، استدلال تمثیلی اُستوارتر و نیرومندتر است؛ اما نتیجهٔ آن هیچ‌گاه قطعی نیست. برای نقد استدلال تمثیلی می‌توان دو روش را به‌کار گرفت:


title: استدلال

text: ۱- نگاه کردن به جنبه‌های گوناگون؛ برای نمونه اگر کسی بگوید: «سخنان انسان‌های بزرگ که در گذشته می‌زیسته‌اند مانند مواد آرایشی‌اند که پس از مدتی دیگر نباید آن‌ها را استفاده کرد». می‌توانیم در پاسخ بگوییم: ما دربارهٔ سخنان آن‌ها گفت‌وگو می‌کنیم که پیامد اندیشهٔ بشر است نه دربارهٔ مواد آرایشی. آنگاه، به جنبه‌های گوناگونِ میان این دو پدیده بنگریم و بگوییم: برخی از سخنان بزرگان بخشی از اندیشه بشر را در بر می‌گیرند که پس از گذشتِ سده‌ها هنوز درست هستند.


title: استدلال

text: ۲- یافتنِ استدلالی دیگر دربرابرِ آن استدلال؛ روشِ رویارویی با استدلال تمثیلی نادرست، یافتنِ استدلال تمثیلی، دربرابر آن است؛ برای نمونه در رد استدلال گفته‌شده در بالا، می‌توان گفت: خیر، سخنان بزرگان همانند اشیایِ زیرخاکیِ ارزشمندی‌اند که بسیار گران‌ب‌ها هستند و چه‌بسا با گذشت زمان به ارزش آن‌ها افزوده می‌شود.


title: استدلال

text: استقرا نوعی استدلال است که در آن ذهن از جزء به کل سیر می‌کند. البته در منطق جدید این تعریف رد شده‌است. یعنی چند مورد جزئی را مشاهده می‌کند و سپس یک حکم کلی می‌دهد. مثلاً در چند مورد آب را حرارت می‌دهیم و می‌بینیم که در صد درجه سلسیوس (سانتی‌گراد) می‌جوشد و از این نتیجه می‌گیریم که هر آبی در صد درجه سلسیوس می‌جوشد.


title: استدلال

text: واژهٔ استقرا به معنای جست‌وجو، کاوش و در پِی چیزی رفتن است. ازآنجاکه در استقرا یک‌به‌یک جامعهٔ آماری را بررسی نمی‌کنیم و تنها نمونه‌هایی از آن را به‌کار می‌گیریم، پایهٔ استقرا براساس گمانه‌زنی است؛ برای نمونه: بیِنگارید که مادر یک خانواده هر روز ساعت ۱۲ نهار می‌پزد. به مدت یک هفته کار او را بررسی کردیم و نتیجه گرفتیم که مادر این خانواده هر روز ساعت ۱۲ نهار می‌پزد؛ اما، این نتیجه یقینی نیست چرا که تمام روزهای عمرِ این مادرِ خانواده را بررسی نکردیم و ممکن است روزی بیاید که در ساعت دیگری نهار بپزد؛ بنابراین، نتیجهٔ بدست‌آمده از استدلال استقرایی همواره یقینی نیست. استدلال استقرایی بر دو گونه است:


title: استدلال

text: ۱- استقرای تام; بررسی و پژوهیدنِ تمام موارد یک جامعه آماری و دادن یک حکم کلّی؛ برای نمونه: اگر میزان تیزهوشی تمام دانش‌آموزانِ یک کلاس را بررسی کنیم و به این نتیجه برسیم که همهٔ دانش‌آموزان آن کلاس، تیزهوش هستند؛ چنین نتیجه‌گیری برگرفته از استقرای تام است. در استقرای تام تمام موارد یک جامعهٔ آماری در اختیارِ ما قرار دارند. باید به این نکته توجه داشت که نتیجه در استقرای تام، یقینی است.


title: استدلال

text: ۱- استقرای ناقص; بررسی و پژوهیدنِ چندین مورد در یک جامعهٔ آماری که موارد بررسی‌نشده را هم نیز در بر می‌گیرد. برای نمونه بدون بررسی کردنِ تمام شهروندان یک کشور، چند تن از آن‌ها را دارای صفتی بدانیم و سپس حکم کنیم که تمام شهروندان آن کشور دارای آن صفت می‌باشند؛ به‌این دلیل که این بررسی تمام شهروندان آن کشور را دربرنمی‌گیرد نتیجهٔ برگرفته از استقرای ناقص گمانی و احتمالی است، نه یقینی.


title: استدلال

text: در استقرا معمولاً تمام موارد یک جامعهٔ آماری در اختیار ما قرار ندارند. ازاین‌رو، در استدلال استقرایی از قوی یا ضعیف بودن آن سخن می‌گوییم. در اینجا به دو مورد از ویژگی‌های یک استقرای قوی نگاه می‌اندازیم:


title: استدلال

text: ۱- نمونه‌ها باید تصادفی و گوناگون باشند و نشان‌دهندهٔ تمام موارد آن موضوع باشند. برای نمونه می‌خواهیم دربارهٔ نوع حکومت‌داری کشورها در دنیا پژوهش کنیم. اگر در این پژوهش تنها به سراغ چند کشور ویژه برویم، نتیجهٔ بدست‌آمده بیانگرِ نوع حکومت‌داری کشورها در دنیا نخواهد بود. مثلاً ممکن است تنها کشورهایی بررسی شود که حکومت‌داری آن‌ها براساس لیبرالیسم است و چنین استقرایی قوی نخواهد بود.


title: استدلال

text: ۲- شمارِ نمونه‌ها باید در سنجش با کل جامعهٔ آماری نسبت مناسبی داشته باشد. برای نمونه نتیجهٔ بدست‌آمده دربارهٔ نوع حکومت‌داری کشورها از ۳۰ کشور که از ۱۹۶ کشور برگرفته‌شده، نمی‌تواند نشان‌دهندهٔ نوع حکومت‌داری کشورها در دنیا باشد. اما اگر همین آمار از ۱۸۰ کشور گرفته‌شده بود، به میزان زیادی تعمیم‌پذیر به تمام کشورها در دنیا بود. توجه داشته باشید که اگر استدلال استقرایی را به درستی به‌کار نگیرید، ممکن است دچار تعمیم شتاب‌زده شوید.


title: استدلال

text: وقتی ذهن از قضیه‌های کلّی به نتیجه‌های جزئی می‌رسد و به عبارت مختصرتر از کلّ به جز می‌آید؛ آن را قیاس می‌نامند. مثال:


title: استدلال

text: یا در استدلال قیاسی از حداقل دو قضیهٔ درست، ضرورتاً و بدون هیچ تردیدی قضیهٔ درست دیگری به نام نتیجه به دست می‌آید.


title: استدلال

text: اساسی‌ترین و اعتمادپذیرترین شکل استدلال در منطق، استدلال قیاسی است؛ چرا که نتیجه‌دهی قیاس همواره یقینی است. قیاس گفته‌ای است که چند گزاره (منطق) را دربرمی‌گیرد؛ به‌گونه‌ای که اگر آن را بپذیریم، ذهن انسان از آن گزاره (منطق) وادار به پذیرش گفتهٔ دیگری یعنی نتیجه می‌شود. در این تعریف چند نکته درخور توجه است:این نوع استدلال را نوعی استدلال استقرایی می‌دانند. رُخدادی را در نظر بگیرید. برای بیان علت و چرایی چنین رخدادی می‌توانیم مجموعه‌ای از دلایل را اقامه کنیم. حال تمام این دلایل را یک‌به‌یک بررسی می‌کنیم. آن دلیلی که به‌بهترین شکل می‌تواند آن رُخداد را تبیین کند، به‌عنوان چرایی و دلیل آن رُخداد برگزیده می‌شود. واژهٔ رُبایشی، ترجمهٔ مناسبی برای واژهٔ انگلیسی Abductive می‌باشد زیرا به‌گونه‌ای از میان بهترین تبیین‌ها برای چرایی یک رُخداد، آن را که از همه بهتر است، می‌رُباییم. واژهٔ رُبایشی در اینجا معنای استعاره‌ای دارد و استعاره از برگزیدن بهترین تبیین از میان مجموعه‌ای از تبیین‌ها است.


title: استدلال

text: شکل صوری این استدلال چنین است:


title: استدلال

text: I مجموعه‌ای از اطلاعات (واقعیات، مشاهدات، مفروضات و…) است.


title: استدلال

text: H پدیده I را تبیین می‌کند.


title: استدلال

text: نظریهٔ دیگری نمی‌تواند به خوبی H؛ پدیده I را تبیین کند.


title: استدلال

text: بنابراین احتمالاً H صادق است.


title: استدلال

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


title: استدلال

text: یک استدلال از مجموعه‌ای از ادعاها تشکیل شده‌است و پرسش‌ها، اوامر، فریادها و اندرزها را نمی‌توان جزئی از استدلال دانست زیرا موجب هیچ ادعایی نمی‌شوند؛ اما باید آگاه باشیم که در زبان روزمره، اوامر و پرسش‌های دستوری و مانند آن ممکن است توان ایجاد ادعاها را داشته باشند. دو مثال:


title: استدلال

text: ۱- شما از دوستی می‌خواهید که در ساعت ۳ صبح در ساحل شما را ملاقات کند تا با هم یک زیردریایی را تماشا کنید و دوست شما با عصبانیت پاسخ می‌دهد "فکر می‌کنی من احمق هستم؟" این جملهٔ اخیر واقعاً نوعی پرسش نیست. اتفاقاً شما احمق به نظر خواهید رسید اگر سعی کنید به آن پاسخ جدی بدهید.


title: استدلال

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


title: توماس کارلایل

text: توماس کارلایل (؛ – ) یک زبان‌شناس، تاریخ‌نگار، مترجم، ریاضی‌دان، فیلسوف، مقاله‌نویس، و نویسنده اهل اسکاتلند بود


title: توماس کارلایل

text: در چهارم دسامبر ۱۷۹۵ به دنیا آمد و مهم‌ترین اثر او «تاریخ انقلاب کبیر فرانسه» (The French Revolution: A History) است که آن را در سال ۱۸۳۷ نوشت. توماس کارلایل، در پنجم فوریهٔ ۱۸۸۱ چشم از جهان فرو بست.


title: توماس کارلایل

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


title: توماس کارلایل

text: تبیین رابطهٔ خبرنگاری حرفه‌ای با کار تاریخ‌نگار، از دیگر ویژگی‌هایی است که در اندیشه و سبک تاریخ‌نگاری کارلایل حائز اهمیت است.


title: توماس کارلایل

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


title: توماس کارلایل

text: یکی از معروفترین آثار او، کتابی است که بر مبنای همین عقیده نوشته شده و عبارت است از: «درباره قهرمانان، قهرمان پرستی و نقش قهرمانی در تاریخ» (On Heroes, Hero-Worship, and the Heroic in History) که به اختصار «دلاوران و دلاورپرستی» (Heroes and Hero Worship) یا «قهرمانان» خوانده می‌شود. کارلایل در این کتاب، که در سال ۱۸۴۱ آن را چاپ کرد، دربارهٔ شخصیت و زندگانی برخی از قهرمانان تاریخ می‌پردازد که به باور او در اصلاح جامعه تأثیرگذار بوده‌اند، مانند: شکسپیر، ناپلئون بناپارت، مارتین لوتر…، و از آن جمله، فصلی را نیز به محمد اختصاص داده است.


title: شناخت

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


title: شناخت

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


title: شناخت

text: مقالهٔ اصلی: علوم شناخت


title: شناخت

text: این دسته از علوم میان‌رشته‌ای زمینه‌های علمی وسیع و گوناگونی همچون فلسفه، روان‌شناسی، هوش مصنوعی، علوم اعصاب، زبان‌شناسی، و مردم‌شناسی را به هم پیوند زده، به مطالعهٔ ذهن و هوش می‌پردازد. مبادی آغازین این گونه مطالعات پیرامون ذهن و هوش به دههٔ ۱۹۵۰ (م) بازمی‌گردد. از آن تاریخ است که دانشمندان در رشته‌های متعدد شروع به تنظیم وبسط نظریه‌های علمی مربوط به ذهن، بر اساس نمایش‌های پیچیده و شیوه‌های محاسباتی نموده‌اند.ویلهلم وونت به مفهوم «در خود فرورفتن» تأکید داشت: بررسی احوالات درونی فرد. با در خودفرورفتن، فرد باید به دقت و به صورت عینی توصیف شوند تا وونت آن اطلاعات را علمی تلقی کند. با اینکه خدمات وونت را به هیچ وجه نمی‌توان ناچیز تلقی کرد، روان‌شناسان مدرن متدهای او را خیلی شخصی قلمداد می‌کنند و ترجیح می‌دهند پروسه‌های عینی‌تری برای بررسی فرایند شناختی انسان داشته باشند.


title: شناخت

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


title: شناخت

text: ماری ویتون کالکینز یک روان‌شناس پیشرو و تأثیرگذار آمریکایی بود. کارهای او همچنین روی موضوع حافظه تمرکز داشت. نظریهٔ معروف «اثر تأخیر» را می‌توان از نتایج بررسی‌های او دانست. اثر تأخیر این است که فرد بیشتر احتمال دارد چیزی را به یاد بیاورد که بین یک سری از چیزها در آخر به فرد نشان داده می‌شود. نظریهٔ کالکینز خیلی به بررسی ابینگ‌هاوس که پیشتر از آن یاد شد نزدیک است.


title: شناخت

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


title: شناخت

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


title: شناخت

text: در روان‌شناسی واژهٔ شناخت معمولاً به همراه دیدگاه پردازش اطلاعات در حوزهٔ عملکرد روان‌شناسی فرد استفاده می‌شود. در حوزهٔ شناخت اجتماعی، این واژه برای توضیح رفتارها و حالات و برهمکنش‌های گروه استفاده می‌شود.


title: شناخت

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


title: موشانو کوسی

text: موشانو کوسی (武者小路 実篤) نویسنده و شاعر شهیر ژاپنی است . او در سال ۱۸۸۵ به دنیا آمد و در سال ۱۹۶۷ درگذشت.


title: اتو کردن پستان

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


title: غسل تعمید

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


title: غسل تعمید

text: امروزه غسل تعمید را با مسیحیت می‌شناسند، زیرا آیین غسل تعمید، نماد منزّه شدن از گناه، و پیوند فرد مؤمن با مسیحِ در حال مرگ، مسیحِ به خاک سپرده‌شده، و رستاخیز مسیح است. غسل تعمید در مسیحیت برگرفته از غسل تعمید داده شدنِ مسیح توسط یحیای تعمیددهنده در رود اردن است.


title: غسل تعمید

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


title: غسل تعمید

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


title: غسل تعمید

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


title: غسل تعمید

text: در قرن ۱۳ میلادی، به واسطهٔ دلایل یک متفکر مسیحی، پاپ قبول کرد که نوزادان و نیز کسانی که قبل از عیسی به دنیا آمده بودند و غسل تعمید داده نمی‌شدند به دوزخ نمی‌روند. البته هنوز مشکلی وجود داشت، و آن این‌که این افراد، بلاتکلیف بودند، زیرا لیاقت رفتن به بهشت را هم نداشتند.


title: غسل تعمید

text: در سال ۱۹۹۲ پاپ ژان‌پل دوم اصرار کرد که بر روی این موضوع تحقیق جدی‌تری شود. در سال ۲۰۰۷ پاپ بندیکت شانزدهم اعلام کرد که براساس مطالعات یک گروه بین‌المللی از متخصصان مسیحی، دلایل محکمی پیدا شده که نشان می‌دهد روح بچه‌های غسل تعمید داده‌نشده به بهشت می‌رود.


title: عشای ربانی

text: عشای رَبّانی یا شام خداوند یا آیین سپاسگزاری (به فرانسه: Eucharistie) یکی از هفت‌آیین مقدس (هفت‌راز) است که تقریباً در تمام فرقه‌های مسیحیت به انجام می‌رسد. به آن تقسیم مقدس (Holy Communion)، راز محراب (the Sacrament of the Altar)، راز خجسته (Blessed Sacrament) هم گفته شده‌است.


title: عشای ربانی

text: شیوه اجرای این آیین در میان فرقه‌های مختلف مسیحیان اندکی متفاوت است، اما چند مسئله در میان تمام فرقه‌ها مشترک می‌باشد.


title: عشای ربانی

text: منشأ این آیین به آخرین شامی بازمی‌گردد که عیسی مسیح در شب دستگیری خود توسط سربازان رومی با حواریون خود خورد. از آنجا که به باور مسیحیان سرشت او با سرشت «خداوند» یکی است.


title: عشای ربانی

text: در انجیل متی فصل ۲۶ آیات ۲۶تا۲۸ چنین آمده است: چون هنوز مشغول خوردن بودند، عیسی نان را برگرفت و پس از شکرگزاری، پاره کرد و به شاگردان داد و فرمود: «بگیرید، بخورید؛ این است بدن من.» سپس جام را برگرفت و پس از شکرگزاری آن را به شاگردان داد و گفت: «همهٔ شما از این بنوشید. این است خون من برای عهد [جدید] که به‌خاطر بسیاری به‌جهت آمرزش گناهان ریخته می‌شود. زمان این مراسم، در شب عید «پِسَح» (عید فطیر) یهودیان بود.


title: عشای ربانی

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


title: عشای ربانی

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


title: عشای ربانی

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


title: عشای ربانی

text: این آیین الهام‌بخش هنرمندان، سیاستمداران و… بوده‌است. یکی از معروفترین و جنجالی‌ترین تابلوهای نقاشی لئوناردو دا وینچی نقاش معروف ایتالیایی نیز در خصوص همین رویداد مذهبی است.


title: اصل موضوع مجموعه توانی

text: اصل موضوع مجموعه توانی از جمله اصول مجموعه ساز در نظریه اصل موضوعی مجموعه‌های تسرملو-فرانکیل است.


title: اصل موضوع مجموعه توانی

text: اگر {A={a,b،c یک مجموعه باشد در این صورت زیرمجموعه‌های مجموعهٔ A عبارت‌اند از:


title: اصل موضوع مجموعه توانی

text: حال ممکن است این سؤال پیش بیاید که آیا زیرمجموعه‌های مجموعهٔ A که در بالا فهرست شده‌اند تشکیل یک مجموعه می‌دهند؟


title: اصل موضوع مجموعه توانی

text: سعی می‌کنیم با فرض دانستن اصل موضوع زوج سازی و اصل موضوع اجتماع به این سؤال پاسخ دهیم. برطبق اصل موضوع زوج سازی،،{}} و ، و ،{a,b}} و ،{b,c}} همگی مجموعه‌اند و بنابر اصل موضوع اجتماع مجموعه‌های فوق یعنی ،{b},{c},{a,b},{a,c},{b,c},{a,b،c},{}} نیز یک مجموعه‌است که همان‌طور که مورد نظر ما بود مجموعه‌ای است دقیقاً شامل زیرمجموعه‌های مجموعه A.


title: اصل موضوع مجموعه توانی

text: پس در این حالت با استفاده از دو اصل موضوع از پیش پذیرفته شده و مقدماتی نشان دادیم که زیرمجموعه‌های A تشکیل مجموعه می‌دهند. به همین صورت با تعمیم روش فوق می‌توان این حکم را در مورد هر مجموعه متناهی دیگر نشان داد.


title: اصل موضوع مجموعه توانی

text: اما در مورد مجموعه‌های نامتناهی چه طور؟ مثلاً در مورد مجموعه اعداد طبیعی formula_1 می‌توان روش فوق را به کار برد؟


title: اصل موضوع مجموعه توانی

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


title: اصل موضوع مجموعه توانی

text: در این مورد با سؤالی کلی‌تر روبرو می‌شویم: آیا زیرمجموعه‌های هر مجموعه دلخواه تشکیل یک مجموعه می‌دهند؟


title: اصل موضوع مجموعه توانی

text: گاهی در ارتباط کار با مجموعه‌ها ممکن است نظر ما به سوی زیرمجموعه‌های یک مجموعه مفروض جلب شود و با زیرمجموعه‌های یک مجموعه بیشتر از خود آن مجموعه کار کنیم و لذا در دست داشتن مجموعه‌ای شامل همه زیرمجموعه‌های یک مجموعه دارای اهمیت است. پس پاسخ به سؤالات فوق بسیار مهم است و "اصل موضوع مجموعه توانی" (Axiom of power set) پاسخ گوی این پرسش است.


title: اصل موضوع مجموعه توانی

text: این اصل بیان می‌کند:


title: اصل موضوع مجموعه توانی

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


title: اصل موضوع مجموعه توانی

text: به عبارت دیگر برای هر مجموعه دلخواه X مجموعه‌ای چون formula_4 وجود دارد که شامل همه زیرمجموعه‌های X است یعنی اگر formula_5 آنگاه formula_6


title: اصل موضوع مجموعه توانی

text: اما مجموعه formula_4 که در بالا معرفی شد ممکن است بیش از حد نیاز ما بزرگ باشد و به جز زیرمجموعه‌های X شامل عناصری دیگر نیز باشد.


title: اصل موضوع مجموعه توانی

text: برای رفع این مشکل و تعیین مجموعه‌ای که دقیقاً شامل زیرمجموعه‌های مجموعهٔ X باشد اصل موضوع تصریح را در مورد اعضای مجموعه formula_4 به کار می‌بریم و مجموعه:


title: اصل موضوع مجموعه توانی

text: را تعریف می‌کنیم. این مجموعه مجموعه‌ای است که دقیقاً شامل زیر مجموعه‌های X است و حال با تجدید نمادگذاری قرار می‌دهیم:


title: اصل موضوع مجموعه توانی

text: و این مجموعه را مجموعه توانی X می‌نامیم و برای تأکید بستگی آن به مجموعه X آن را با (P(X نشان می‌دهیم.


title: اصل موضوع مجموعه توانی

text: اگر X مجموعه‌ای متناهی و n عضوی باشد چون تعداد زیرمجموعه‌های X برابر ۲ عدد است پس تعداد عضوهای مجموعه (P(X نیز برابر ۲ است. در تعمیم این خاصیت رابطه cardP(X)=۲ را در مورد عدد اصلی یک مجموعه و مجموعه توانی متناظر با آن می‌توان بیان کرد.که با فرمول p(x)محاسبه می‌شود که هر p fvh 2


title: زبان‌های آتاباسکی

text: زبان‌های آتاباسکی خانواده‌ای از زبان‌های سرخ‌پوستان آمریکای شمالی است.


title: زبان‌های آتاباسکی

text: خانوادهٔ زبان‌های آتاباسکی از دید شمار گویشوران دومین خانوادهٔ بزرگ زبان‌های سرخ‌پوستی آمریکایی شمالی پس از خانوادهٔ یوتو-آزتک است.ویکی‌پدیای انگلیسی.


title: البوکرکی، نیومکزیکو

text: البوکِرکی (به انگلیسی: Albuquerque) شهری در ایالت نیومکزیکو در ایالات متحده آمریکاست، و باوجود این‌که بزرگ‌ترین شهر این ایالت است اما مرکز این ایالت نیست.


title: البوکرکی، نیومکزیکو

text: البوکرکی در شمال مرکزی ایالت و در شهرستان برنالیو واقع شده‌است. کلان‌شهر البوکرکی ۵۴اُمین کلان‌شهر در ایالات متحده است. کناره شرقی شهر به کوهستان سندیا (Sandia) محدود شده و رودخانه ریو گرانده از سوی شمال به جنوب در میانه شهر جریان دارد.


title: البوکرکی، نیومکزیکو

text: باور عمومی بر این است که یک فرماندار محلی به نام «دون فرانسیسکو کوئروو ای والدِس» این شهر را که در آغاز دهکده‌ای بیش نبود به افتخار «دون فرانسیسکو فرناندز دلا کوئوا ای انریکه د کابررا»، که از ۱۶۵۳ تا ۱۶۶۰ نایب‌السلطنه منطقه «اسپانیای نو» بود نامگذاری کرده‌است. یکی از عنوان‌های اشرافی دلا کوئوا، دوک آلبوکرک بود که به شهر آلبوکرک در اسپانیا اشاره دارد. بعدها انگلیسی‌زبانان آلبوکرک را به صورت البوکرکی تلفظ کردند.


title: البوکرکی، نیومکزیکو

text: ریشه این نام از واژه لاتین alba quercus و به معنای بلوط سفید است و این درخت که از آن چوب‌پنبه تهیه می‌شود در منطقه شهر آلبوکرک اسپانیا به فراوانی یافت می‌شود و تصویری از بلوط سفید نیز در نشان آن شهر ترسیم شده‌است.


title: البوکرکی، نیومکزیکو

text: در ریشه‌یابی عوامانه غربی، برخی واژه آلبوکرک را با واژه عربی "البرقوق" به معنی آلو مرتبط پنداشته‌اند. آن کلمه عربی به زبان گالیسی اسپانیا راه یافته و به شکل albaricoque درآمده و معنی زردآلو گرفته‌است و برپایه یک داستان، دهکده اولیه البوکرکی نیومکزیکو در نزدیکی یک درخت زردآلو بنا شد و مرزبانان آن ناحیه این واژه را تحریف کرده و به صورت البوکرکی تلفظ کرده‌اند.