payamvha/North_RAG huggingface dataset:
وزارت کشور گردیده و در انتظار بررسی و صدور به‌سر می‌برد. جبهه متحد کرد نهادی است که با هدف‌های زیر بنیاد و نامگذاری شده است: جبهه متحد کرد معتقد است که مردم ایران صاحبان این سرزمین اند و تعیین سیاست‌های کلی و مسیر مدیریت کشور در اختیار و صلاحیت آن‌ها است که به مدیران ومسئولین مملکتی که خود انتخاب می‌کنند، تفویض می‌گردد. جبهه معتقد است که نمایندگان مجلس ومسئولین مملکتی، خادم مردم و مأمور انجانم و اجرای منویات ملت‌اند. مسئولین کشور وظیفه دارند در مقابل مردم، پاسخگو باشند. جبهه در چند سال گذشته، توانسته است
پاسخگو باشند. جبهه در چند سال گذشته، توانسته است افکار وایده‌ها وسیاست‌های خود ا در مسیر بیان معضلات مزمن وارائه راه حل‌های ممکن و متین برای حل مشکلات، به مردم و مسئولین ارائه داده وازهرطریق ممکن تلاش نموده است، پلی ارتباطی بین مردم و مسئولین باشد. از جمله اقدامات بارز و تأثیرگذار «جبهه» بوده است. پذیرش صحت محتوا و مواد ده‌گانه تدوین شده از جانب جبهه متحد کرد، توسط دکترحسن روحانی، کاندیدای ریاست جمهوری و انتشار آن تحت عنوان «بیانیه شماره ۳ در مورد حقوق اقوام و مذاهب» منجر به تقویت اعتماد مردم، ایجاد شور
و مذاهب» منجر به تقویت اعتماد مردم، ایجاد شور انتخاباتی فراگیرو امید به تغییرو بهبود هرچه بیشتر فضای سیاسی – اجتماعی در کشور گردید. امری که به ریختن بیش از ۵/۵ میلیون رأی به نفع ایشان، به صندوق‌های رأی و قطعی نمودن پیروزی ایشان در دور اول انتخابات گردید.
شیوا ارسطویی ( – ) داستان‌نویس، مترجم و شاعر ایرانی بود. او داستان‌نویسی را اوایل دهه ۱۳۷۰ (خورشیدی) نزد رضا براهنی آموخته بود و کارشناسی بهداشت و کارشناسی ارشد مترجمی زبان انگلیسی داشت. او یکی از امضاکنندگان بیانیه ۱۳۴ نویسنده بود. مجموعه داستان‌های "آمده بودم با دخترم چای بخورم"، "آفتاب مهتاب" و "من دختر نیستم" و رمان‌های "بی‌بی شهرزاد" و "افیون" از آثار او هستند. فعالیت‌ها. شیوا ارسطویی در حوزه‌های گوناگونی از جمله ادبیات، ترجمه و سینما فعالیت داشت. او در گفتگویی در سال ۱۳۸۴ به وضعیت پیچیدهٔ زنان ایرانی
گفتگویی در سال ۱۳۸۴ به وضعیت پیچیدهٔ زنان ایرانی پس از انقلاب ۱۳۵۷ به‌ویژه زنان نویسنده و هنرمند، اشاره کرده و گفت: «انسان بودن در این شرایط مشکل است، زن بودن مشکل‌تر. این یک واقعیت است و نمی‌شود انکارش کرد.» تدریس. ارسطویی سابقهٔ تدریس داستان‌نویسی در دانشگاه هنر تهران و دانشگاه فارابی را داشت و پس از آن در یکی از دانشگاه‌های غیرانتفاعی هنر در حال تدریس بود. او همچنین سال‌ها کارگاه داستان‌نویسی وانکا را برگزار کرد. سینما. شیوا ارسطویی از نخستین روزهای جنگ ایران و عراق به عنوان امدادگر داوطلب در جبهه حضور
ایران و عراق به عنوان امدادگر داوطلب در جبهه حضور داشته و به همین علت در چند فیلم دفاع مقدس به عنوان مشاور کارگردان فعالیت کرده بود. او همچنین بازیگری در چند فیلم کوتاه را تجربه کرد. بیانیه ۱۳۴ نویسنده. شیوا ارسطویی یکی از امضاکنندگان بیانیه ۱۳۴ نویسنده بود که در آن خواستار آزادی اندیشه، بیان و نشر آثار خود شده و به سانسور اعتراض کرده بودند. در اردیبهشت ۱۳۹۴ حراست و نماینده پلیس امنیت، کتاب "من و سیمین و مصطفی" نوشته شیوا ارسطویی را با وجود داشتن مجوز انتشار ناشر از نمایشگاه کتاب تهران آن سال جمع‌آوری
ناشر از نمایشگاه کتاب تهران آن سال جمع‌آوری کردند. جایزه. مجموعه داستان "آفتاب مهتاب" شیوا ارسطویی در سال ۱۳۸۲ موفق به کسب جایزهٔ ادبی یلدا و همچنین جایزه ادبی هوشنگ گلشیری شد. مرگ. شیوا ارسطویی در شامگاه ۱۷ اردیبهشت ۱۴۰۴ در ۶۴ سالگی درگذشت. برخی منابع احتمال مرگ خودخواسته مطرح کرده‌اند، هرچند علت مرگ وی به‌طور رسمی تأیید نشده است.
فریبا وَفی (زادهٔ ۱ بهمن ۱۳۴۱ در تبریز) رمان‌نویس و نویسنده داستان کوتاه ایرانی است. او نوشتن را از دوران نوجوانی آغاز کرد. هشت رمان و پنج مجموعه‌داستان کارنامه ادبی او را تشکیل می‌دهند. زندگی. فریبا وفی (زادهٔ ۱ بهمن ۱۳۴۱ در تبریز) نویسنده و داستان‌نویس ایرانی است. او نوشتن را از دوران نوجوانی آغاز کرد و داستان‌های کوتاهش در نشریات ادبی دههٔ ۱۳۶۰، از جمله «آدینه» و «دنیای سخن»، منتشر شد. هشت رمان و پنج مجموعه‌داستان کارنامه ادبی او را تشکیل می‌دهند. آثار او را انتشارات نشر مركز و نشر چشمه به چاپ
آثار او را انتشارات نشر مركز و نشر چشمه به چاپ رسانده‌اند.آثار او با استقبال خوانندگان و منتقدان روبرو شده و به چاپ‌های متعددی رسیده است. آدم‌های زندگی قبلی تازه‌ترین رمان اوست که در سال ۱۴۰۴ توسط نشر چشمه منتشر شده‌است. رمان پرندهٔ من (۱۳۸۱) جوایزی چون گلشیری و یلدا را به‌دست آورده و از سوی جایزهٔ مهرگان ادب و جایزه اصفهان مورد تقدیر قرار گرفته و تاکنون به چاپ سی‌وهشتم رسیده‌است. رمان رویای تبت (۱۳۸۴) برندهٔ جایزهٔ بهترین رمان بنیاد هوشنگ گلشیری و لوح تقدیر جایزهٔ مهرگان ادب شده‌است. مجموعه‌داستان بی‌باد،
جایزهٔ مهرگان ادب شده‌است. مجموعه‌داستان بی‌باد، بی‌پارو برندهٔ نخستین دورهٔ جایزهٔ احمد محمود شده‌ است. رمان ترلان (۱۳۸۲) در سال ۲۰۱۷ جایزهٔ لیبراتور (LiBeraturpreis) آلمان را دریافت کرده است. آثار وفی به زبان‌های گوناگون از جمله انگلیسی، فرانسوی، ایتالیایی، اسپانیایی، ترکی، کردی، گرجی، نروژی، آلمانی (پنج اثر)، ارمنی و عربی و ...ترجمه شده‌اند. او عضو کانون نویسندگان ایران و انجمن قلم آلمان (PEN Zentrum Deutschland) است. وفی در سال ۲۰۲۰ با دریافت DAAD Artists-in-Berlin Program fellowship به آلمان رفت و
Program fellowship به آلمان رفت و اکنون ساکن برلین است. پیوند به بیرون. زمان از دست رفته، (گفتگو)
اصل موضوع تصریح (به انگلیسی: Axiom schema of specification )از جمله اصولی که در نظریه اصل موضوعی مجموعه‌ها مورد نیاز است اصول موضوعی است که بتوانند وجود مجموعه‌های جدید را تضمین نموده و مجموعه‌های جدید را برای ما تولید کنند. در نظریه اصل موضوعی مجموعه‌ها همه نتایج و تعاریف بر پایه اصول موضوع تعریف شده‌است و هر مطلب در مورد مجموعه‌ها یا باید از اصول موضوع منتج شده باشد. بحث غیررسمی. تقریباً تمامی اصول موضوع نظریه اصل موضوعی مجموعه‌ها (بجز مثلاً اصل موضوع گسترش) از جمله اصولی هستند که به منظور تولید
گسترش) از جمله اصولی هستند که به منظور تولید مجموعه‌های جدید از مجموعه‌های قبل طرح شده‌اند. اولین و مهم‌ترین اصول از این اصول مجموعه ساز، "اصل موضوع تصریح" (Axiom of specification) است، که به اصل موضوع تصریح گاهی "اصل موضوع زیرمجموعه" (Axiom of subset) نیز می‌گویند. این اصل به‌طور ساده بیان می‌کند هر حکم یا خاصیت معقول در مورد اعضای یک مجموعه، زیرمجموعه‌ای از آن مجموعه را تعیین می‌کند. حال قبل از بیان دقیق این اصل به یک مثال می‌پردازیم. فرض کنید A مجموعه همه مردان باشد. در این صورت گزاره نمای « x متاهل
همه مردان باشد. در این صورت گزاره نمای « x متاهل است. » گزاره نمایی در مورد اعضای A است که برای برخی از عناصر A گزاره‌ای درست و برای برخی دیگر از عناصر A نادرست است. حال با به کارگیری این جمله در مورد اعضای مجموعه A زیرمجموعه‌ای از A تولید می‌شود که همان « مردان متاهل » است. برای نمایش این زیرمجموعه از مجموعه A از نماد { x متاهل است :x∈A} استفاده می‌شود. همچنین { x متاهل نیست :x∈A} بر مجموعه مردان مجرد دلالت دارد. به همین صورت مجموعه {پدر x آدم(ع) است|x∈A} مجموعه دو عضوی "هابیل" و "قابیل" را مشخص می‌کند.
مجموعه دو عضوی "هابیل" و "قابیل" را مشخص می‌کند. اصل موضوع تصریح. اصل موضوع تصریح بیان می‌کند اگر (P(x گزاره نمایی در مورد متغیر x باشد، در این صورت: یا در قالب عبارات ملموس تر متناظر با هر مجموعه A و هر گزاره نما(P(xمجموعه‌ای چون B هست که اعضای آن دقیقاً همان عناصری از مجموعه A هستند که در شرط (P(x صدق می‌کنند. مجموعه B را به صورت formula_2 نمایش می‌دهیم همچنین اصل موضوع گسترش یگانگی مجموعه B را تضمین می‌کند. در مورد استفاده از "اصل موضوع تصریح" توجه به این نکته لازم است که برای تعیین یک مجموعه، در نظر
این نکته لازم است که برای تعیین یک مجموعه، در نظر گرفتن یک شرط یا خاصیت چون (P(x کافی نمی‌باشد بلکه باید مجموعه‌ای نیز باشد که بتوان خاصیت را برای عضوهای آن تعریف کرد. و خلاصه اینکه برای مشخص کردن یک مجموعه کافی نیست وردی بخوانیم، بلکه لازم است مجموعه‌ای در دست داشته باشیم که ورد را برای اعضای آن مجموعه بخوانیم. با این توضیح واضح است که شرط با شرط تفاوت دارد. شرط اول یک مجموعه را مشخص نمی‌کند بلکه حالتی کاذب از "اصل موضوع تصریح" است ولی شرط دوم یک مجموعه را مشخص می‌کند چون در آن شرط (P(x در مورد اعضای یک
مشخص می‌کند چون در آن شرط (P(x در مورد اعضای یک مجموعه خاص به کار رفته‌است. این نکته دقیقاً همان چیزی است که از بروز پارادکسها همچون پارادکس راسل جلوگیری می‌کند. اصول موضوع مجموعه ساز دیگر (همانند اصل موضوع زوج سازی، اصل موضوع اجتماع، اصل موضوع مجموعه توانی و...) حالات خاص کاذبی از اصل موضوع تصریح می‌باشند. همه آن‌ها وجود مجموعه‌ای را بیان می‌کنند که توسط یک شرط خاص مشخص می‌شوند؛ اگر قبلاً وجود مجموعه‌ای که شامل همه عناصر مشخصی باشد معلوم باشد، در این صورت وجود مجموعه‌ای که فقط شامل آن عناصر باشد در واقع
وجود مجموعه‌ای که فقط شامل آن عناصر باشد در واقع به عنوان حالت خاصی از "اصل موضوع تصریح" نتیجه می‌شود. اگر (P(x گزاره نمایی در مورد x باشد به‌طوری‌که xهایی که در (P(x مشخص می‌شوند تشکیل یک مجموعه بدهند، در این صورت می‌توان آن مجموعه را به صورت formula_5 نمایش دهیم.
مهدی سهیلی (زاده ۷ تیر ۱۳۰۳ – درگذشته ۱۸ مرداد ۱۳۶۶) شاعر و نویسنده ایرانی بود. او سال‌ها در رادیو ایران برنامه اجرا کرد. او در زمینه نمایش نامه‌نویسی نیز فعالیت داشته‌است. زندگی‌نامه. مهدی سهیلی شاعر و نویسنده ایرانی در هفتم تیر ماه سال ۱۳۰۳ در تهران متولد شد. نیای مادرش «اصفهانی» و نیای پدرش «تهرانی» بود. در ۱۹۵۷ چند اثر از وی را در مسکو به چاپ رساندند. او سال‌ها در رادیو ایران برنامه اجرا کرد. او در زمینه نمایش نامه‌نویسی نیز فعالیت داشته‌است. وی در ۱۸ مرداد ۱۳۶۶ در سن ۶۳ سالگی درگذشت.
شَهرنوش پارسی‌پور (زادهٔ ۲۸ بهمن ۱۳۲۴ در تهران) داستان‌نویس و مترجم چپ گرای ایرانی است. داستان‌های پارسی‌پور به زبان‌های گوناگون دنیا ترجمه شده‌است. او از سوی هجدهمین همایش پژوهش‌های زنان در آمریکا، به عنوان زن سال برگزیده شد. پارسی‌پور همچنین برندهٔ جایزهٔ بیتای ۲۰۱۶ است. او در اواخر دهه ۱۳۷۰ و چندی پس از انتشار کتاب "زنان بدون مردان" و ممنوع شدن آن در ایران، به آمریکا کوچ کرد و در حومهٔ سان فرانسیسکو زندگی می‌کند. زندگی. شهرنوش پارسی‌پور در شهر تهران از مادری تهرانی و خانه‌دار و پدری شیرازی که قاضی
از مادری تهرانی و خانه‌دار و پدری شیرازی که قاضی دادگستری بود متولد شد. او در رشتهٔ علوم اجتماعی در سال ۱۳۵۲ از دانشگاه تهران دانش‌آموخته شد و سپس برای ادامهٔ تحصیل در رشته زبان و فرهنگ چینی وارد دانشگاه سوربن شد. پارسی‌پور در سال ۱۳۴۶ با ناصر تقوایی ازدواج کرد و در سال ۱۳۵۲ از او جدا شد. سپس در سال ۱۳۵۹ به ایران بازگشت. پارسی‌پور نویسندگی را از ۱۳ سالگی آغاز کرد و از ۱۶ سالگی داستان‌هایش با نام مستعار در گاهنامه‌های گوناگون به چاپ می‌رسید. نخستین رمان او "سگ و زمستان بلند" نام دارد که در تابستان ۱۳۵۳ کار
و زمستان بلند" نام دارد که در تابستان ۱۳۵۳ کار نوشتن آن پایان یافت. پارسی‌پور همچنین در تلویزیون ملی ایران تهیه‌کننده برنامه «زنان روستایی» بود و در بهمن ۱۳۵۳ در اعتراض به اعدام خسرو گلسرخی و کرامت‌الله دانشیان و دستگیری نویسندگانی مانند غلامحسین ساعدی، هوشنگ گلشیری، فریده لاشایی و پرویز زاهدی از تلویزیون استعفاء داد. مدتی پس از استعفاء او را بازداشت کردند و ۵۴ روز را در زندان سپری کرد. پس از زندان به فکر مهاجرت به کانادا افتاد اما منصرف شد. بار دوم در مرداد ۱۳۶۰ با اینکه خود وابسته به هیچ سازمان سیاسی
۱۳۶۰ با اینکه خود وابسته به هیچ سازمان سیاسی نبود، به خاطر همراه داشتن نشریات متعلق به برادرش در خودرو، هنگام ملاقات با خواهر زندانیش دستگیر شد و برای ۴ سال دیگر به زندان افتاد. پارسی‌پور پس از آزادی، به کار ترجمه و تأسیس کتاب‌فروشی در زیرزمینی در خیابان سنایی مشغول شد. بعد از چاپ کتاب "زنان بدون مردان"، کمیته منکرات او را احضار کرد و دربارهٔ کتاب و اینکه چرا از بکارت نوشته‌است او را بازجویی و زندانی کردند. پس از آن بود که شهرنوش به آمریکا مهاجرت کرد. در مصاحبه‌ای که واکنش‌های بسیاری برانگیخت، پارسی‌پور
مصاحبه‌ای که واکنش‌های بسیاری برانگیخت، پارسی‌پور عنوان کرد که با صیغه (متعه) موافق است و اگر مردهایی هستند که از این قانون سوءاستفاده می‌کنند، مسئله‌ای دیگر است که باید جداگانه بررسی شود. نوشته‌ها. شناخته‌ترین کارِ پارسی‌پور در ایران "طوبا و معنای شب" و بیرون از ایران "زنان بدون مردان" است. درخواست کمک مردمی (۱۳۹۷). در اسفند ۱۳۹۷ پارسی‌پور با انتشار ویدئویی در فیس‌بوک دربارهٔ مشکلات مالی‌اش در سن ۷۳ سالگی نوشت. در این ویدئو او توضیح می‌دهد که از پس هزینه‌های زندگی بر نمی‌آید. این ویدئو واکنش کاربران
زندگی بر نمی‌آید. این ویدئو واکنش کاربران شبکه‌های اجتماعی را برانگیخت و موجب شد تعدادی از چهره‌های فرهنگی، پویشی اینترنتی برای کمک به این نویسندهٔ مشهور راه‌اندازی کنند. این پویش ۴ روز بعد با ۳۰۹۶۰ دلار تکمیل شد.
منطق موجهات که نوعی منطق صوری است که ابتدا در دهۀ ۶۰ میلادی گسترش یافت، منطق گزاره‌ها و منطق محمولات را به گونه‌ای گسترش می‌دهد که شامل عملگرهایی برای بیان وجهیت باشند. یک موجهه - واژه‌ای برای تبیین وجهیت - جهت دهندهٔ یک اظهار است. برای مثال اظهار «جان خوشحال است» می‌تواند اینطور تعبیر شود که جان معمولاً خوشحال است؛ در آن صورت، عبارت «معمولاً» به عنوان یک موجهه عمل می‌کند. موجهات آلِتیکِ سنتی یا موجهات صدق، شامل امکان («امکاناً formula_1»، «این امکان وجود دارد که formula_1»)، ضرورت («ضرورتاً formula_1»،
دارد که formula_1»)، ضرورت («ضرورتاً formula_1»، «واجب است که formula_1») و عدم امکان («به‌طرزی غیرممکن، formula_1» «غیر ممکن است که formula_1"»") هستند. دیگر وجهیاتی که در منطق موجهات صوری‌سازی شده‌اند، از جمله می‌توان به موجهات زمانی (به‌ویژه «این طور بود که formula_1»، «همواره این بوده‌است که formula_1»، «این خواهد بود که formula_1»، «همیشه اینگونه خواهد بود که formula_1") موجهات دیانتیک یا منطق موجهات فقهی (به‌طور خاص، «واجب است که formula_1» و «مجاز است که formula_1»)، موجهات معرفتی یا موجهات دانش
است که formula_1»)، موجهات معرفتی یا موجهات دانش («اینگونه شناخته شده‌است که formula_1") و موجهات دوکزاتیک یا موجهات باورپذیری («باور بر این است که formula_1») اشاره کرد. یک منطق موجهات صوری، وجهیات را با استفاده از عملگرهای وجهی نمایش می‌دهد. برای نمونه «ممکن است امروز باران بیاید» و «این امکان هست که امروز باران بیاید» هر دو حاوی مفهوم امکان هستند. در منطق موجهات این مسئله به عنوان یک عملگر، یعنی «امکاناً»، به جملهٔ «امروز باران خواهد بارید» متصل می‌شود. عملگرهای وجهی مقدماتی یگانی، معمولاً با مربع
عملگرهای وجهی مقدماتی یگانی، معمولاً با مربع «formula_15» برای «ضرورتاً» و لوزی «formula_16» برای «امکاناً» نوشته می‌شوند. در یک منطق موجهات کلاسیک، هر کدام از این‌ها می‌تواند با استفاده از دیگری و به کمک عمل نقیض بازنویسی شود: بنابراین «"ممکن است" که امروز باران بیاید اگر و تنها اگر "ضروری نباشد" که امروز باران "نیاید»"؛ و «"ضروری" است که امروز باران بیاید اگر و تنها اگر "ممکن نباشد" که امروز باران "نیاید»". نمادهای جایگزین مورد استفاده برای عملگرهای وجهی، «L» برای «ضرورتاً» و «M» برای «امکاناً» است.
«L» برای «ضرورتاً» و «M» برای «امکاناً» است. معناشناسی. نظریۀ مدل. معناشناسی منطق موجهات معمولاً به‌صورت زیر داده می‌شوند: ابتدا یک "قاب" را تعریف می‌کنیم که متشکل از یک مجموعۀ ناتهی "G "است که اعضای آن عموماً جهان‌های ممکن نامیده می‌شوند، و یک رابطۀ دوتایی "R "که بین جهان‌هایی از "G "برقرار است (یا نیست). این رابطۀ دوتایی را رابطۀ دسترس‌پذیری گویند. برای مثال "w R u" بدان معنی است که جهان "u" از جهان "w" دسترس‌پذیر است. به عبارتی، وضعیت اموری که به عنوان "u" می‌شناسیم، یک امکان زنده برای "w" است. این یک
"u" می‌شناسیم، یک امکان زنده برای "w" است. این یک زوج formula_19 برخی از طرز نمایش‌ها از منطق موجهات، دارای یک ثابتِ در "G" موسوم به «جهان واقع» نیز هستند است که اغلب با نماد formula_20 نشان داده می‌شود. سپس با مشخص کردن ارزش صدق همۀ گزاره‌ها در هر یک از جهان‌های " G،" قاب را به یک "مدل "تعمیم می‌دهند. این کار را با تعریف یک رابطۀ "v" بین جهان‌های ممکن و گزاره‌های مثبت انجام می‌دهیم. اگر یک جهان "w" موجود باشد که چنین است که formula_21، در آن صورت، "P" در "w "درست است. یک مدل، بنابراین یک سه‌تایی مرتب
در "w "درست است. یک مدل، بنابراین یک سه‌تایی مرتب formula_22 است. سپس صدق یک فرمول در یک جهان از مدل را به نحوی بازگشتی و به‌صورت زیر تعریف می‌کنیم. بر طبق این معناشناسی، یک حقیقت نسبت به یک جهان ممکن "w ضروریست،" اگر در هر جهان که از سوی "w "در دسترس است، برقرار باشد؛ و "ممکن است،" اگر در یک جهان که از w در دسترس است، برقرار باشد. امکان، در نتیجه بستگی به رابطه دسترس‌پذیری "R "دارد که به ما اجازه می‌دهد طبیعت نسبیِ امکان را تببین کنیم. برای مثال ما ممکن است بگوییم که با توجه به قوانین فیزیک، ممکن نیست
است بگوییم که با توجه به قوانین فیزیک، ممکن نیست انسان با سرعتی بیشتر از سرعت نور سفر کند، اما اگر شرایط دیگری حاکم بود، شاید چنین چیزی ممکن می‌شد. با استفاده از رابطه دسترس‌پذیری، می‌توان این سناریو را به شرح زیر ترجمه کرد: در تمامی جهان‌های قابل دسترس از جهان ما، چنین نیست که انسان‌ها بتوانند سریعتر از سرعت نور حرکت کنند، اما جهان قابل دسترس "دیگری، "از "آن جهان‌ها" قابل دسترس است که از جهانِ خود ما در دسترس نیست، اما در آن، انسان‌ها می‌توانند با سرعت بیش از نور حرکت کنند. همچنین باید توجه کرد که تعریف □
از نور حرکت کنند. همچنین باید توجه کرد که تعریف □ باعث می‌شود برخی جملات به طرز پوچی درست باشند؛ چرا که وقتی از «هر جهانی که در دسترس "w "است» صحبت می‌کند، تعبیر ریاضیاتی واژه «هر» را تضمینی می‌گیرد. (نگاه کنید به درستی پوچ). از این رو اگر جهان "w" به هیچ جهان دیگری دسترسی نداشته باشد، هر جمله آغاز شونده با □ درست است. سیستم‌های مختلف منطق موجهات، به واسطه ویژگی‌های روابط دسترسی پذیری متناظرشان از هم متمایز می‌شوند. چندین سیستم مطرح شده‌اند (اغلب به نام "شرایط قاب"). یک رابطه دسترسی پذیری: منطق‌هایی که از
قاب"). یک رابطه دسترسی پذیری: منطق‌هایی که از این شرایط قاب‌ها منجر می‌شوند، عبارتند از: خاصیت اقلیدسی به همراه بازتابی، تقارنی و تعدی را نتیجه می‌دهند. (همچنین خاصیت اقلیدسی می‌تواند از تقارنی و تعدی بدست آید) از این رو اگر رابطه دسترسی پذیری "R" بازتابی و اقلیدسی باشد، ثابت می‌شود که "R" متقارن و متعدی نیز هست؛ لذا برای مدل‌های S5، رابطه "R" یک رابطه هم‌ارزی است؛ چرا که "R" بازتابی، متقارن و متعدی است. می‌توان ثابت کرد که این قاب همان مجموعه از جملات معتبر را اثبات می‌کند که قابهایی که در آنها، همه
معتبر را اثبات می‌کند که قابهایی که در آنها، همه جهان‌ها، دیگر جهان‌های "W "را می‌بینند (یعنی، "R" یک رابطه «تام» است) است. این، "گراف وجهی" را بدست می‌دهد که تماماً کامل است (یعنی یال (روابط) بیشتری نمی‌تواند اضافه شود). برای مثال در هر منطق موجهات مبتنی بر شرایط قاب: اگر قاب مبتنی بر رابطه تام را در نظر بگیریم، تنها می‌توان گفت می‌توانیم بند دسترسی پذیری را از شرط دومی نادیده بگیریم چون در چنین قاب‌های تامی، برای هر "w" و "u" ای بدیهیست که "w R u". اما توجه داشته باشید که این در مورد همه قاب‌های S5
توجه داشته باشید که این در مورد همه قاب‌های S5 برقرار نیست، چرا که می‌توانند شامل چند بخش باشند که به‌طور کامل با هم در ارتباطند، اما با این حال از یکدیگر مجزا هستند. همه این سیستم‌های منطقی را می‌تواند به صورت اصل موضوعی تعریف کرد، آنگونه که در بخش بعدی نشان داده شده. برای نمونه، در S5 اصول موضوعه formula_40, formula_41 و formula_42 (متناظر با "تقارنی"،" تعدی" و" بازتابی") برقرارند، در حالی که حداقل یکی از این اصول موضوعه در هر یک از دیگر منطقهای ضعیف تر برقرار نیست. سیستم‌های اصل موضوعه‌ای. نخستین صوری
برقرار نیست. سیستم‌های اصل موضوعه‌ای. نخستین صوری سازی‌ها از منطق موجهات، اصل موضوعه‌ای بودند. از زمانی که سی. آی. لویس در سال ۱۹۱۰ بر روی این زمینه شروع به کار کرد، جایگزین‌های متعدد با خواص بسیار متفاوتی ارائه شده‌است. هیوز و کرسول (۱۹۹۶) به عنوان مثال، ۴۲ منطق موجهات نرمال و ۲۵ مورد غیر نرمال را توصیف می‌کنند. زیمان (۱۹۷۳) برخی از سیستم‌هایی را که هیوز و کرسوِل به آن‌ها نپرداخته‌اند را مطرح می‌کند. نگرش‌های مدرن از منطق موجهات با افزودن دو عملگر منفرد به حساب گزاره‌ها آغاز می‌شود، یکی دال بر «ضرورت» و
حساب گزاره‌ها آغاز می‌شود، یکی دال بر «ضرورت» و دیگر بر «امکان» است. نمادگذاری لویس، که از آن زمان بسیار به کار می‌رود، توسط یک پیشوند «جعبه» ("p□") که محدوده اش با پرانتز مشخص شده‌است، به «ضرورتاً "p"» اشاره می‌شود. به همین ترتیب، یک «الماس» (یا "دیاموند") پیشوندیِ ("p◇")، نشان دهنده «امکاناً "p"» است. بدون در نظر گرفتن نماد، هر یک از این اپراتورها در منطق موجهات کلاسیک در غالب دیگری تعریف پذیر است: از این رو □ و ◇ یک جفت اپراتورهای دوگان را تشکیل می‌دهند. در بسیاری از منطق‌های موجهات، اپراتورهای ضرورت و
در بسیاری از منطق‌های موجهات، اپراتورهای ضرورت و امکان مشابه زیر از قوانین دمورگان در جبر بولی را ارضاء می‌کنند: اینکه دقیقاً چه اصول موضوعه و قواعدی باید به حساب گزاره‌ها اضافه شود تا یک سامانه به دردبخور از منطق موجهات داشته باشیم، بحثی فلسفیست که اغلب بر اساس قضایایی که افراد مایلند ثابت کنند، برانگیخته می‌شود؛ یا در علوم کامپیوتر، وابسته به نوع محاسبات یا سیستم استنتاجی ایست که افراد مایلند مدل‌سازی کنند. بسیاری از منطقهای وجهی، که مجموعاً تحت عنوان منطقهای وجهی نرمال شناخته می‌شوند، شامل قاعده و اصل
وجهی نرمال شناخته می‌شوند، شامل قاعده و اصل زیر هستند: ضعیف‌ترین منطق موجهات نرمال، که به افتخار سول کریپکی (به انگلیسی: Saul Kripke) به "K "نامگذاری شده" "است، به بیانی ساده، همان منطق گزاره‌ای بعلاوهٔ □، قاعده N و اصل K" "است. "K" ضعیف است، به این معنی که قادر به تشخیص اینکه آیا یک گزاره ضروریست است یا وجهاً ضروری، نیست. در واقع، اینکه اگر "p"□ درست باشد آنگاه "p"□□ درست است، یک قضیه در K نیست؛ یعنی اینکه حقایق ضروری «الزاماً ضروری»اند. اگر چنین سرگشتی‌هایی خیالات و ساختگی اند، این نقصِ "K" نقصی بزرگ
خیالات و ساختگی اند، این نقصِ "K" نقصی بزرگ نیست. در هر صورت پاسخ‌های متفاوت به اینگونه سوالات، منجر به سیستم‌های مختلف از منطق می‌گردند. اضافه کردن اصول موضوعه به "K"، منجر به دیگر سیستم‌های وجهی معروف می‌گردند. در "K" نمی‌توان ثابت کرد که اگر گزاره «"p "ضروری است» صادق باشد، آنگاه "p "صادق است. اصل T برای درمان این نقص ارائه شده‌است: T در اکثر، و نه همهٔ منطقهای وجهی برقرار است. منبع Zeman (1973) چند مورد استثنا مانند "S10" را توصیف می‌کند. دیگر اصول موضوعه مقدماتی معروف، عبارتند از: این‌ها منجر به
موضوعه مقدماتی معروف، عبارتند از: این‌ها منجر به سیستم‌هایی می‌شوند (اصول موضوعه، پر رنگ (bold) شده‌اند و سیستم‌ها کج نوشته شده‌اند (italic): "K" تا "S5"،" "سلسله‌ای تو در تو از سیستم‌ها را می‌سازند که هستهٔ منطقهای وجهی نرمال را تشکیل می‌دهند. اما قوانین یا مجموعه‌ای از قوانین خاص ممکن است مناسب سیستم‌های خاص باشند. برای مثال در منطق فقه، formula_45 (اگر واجب است که "p"، در آنصورت مجاز است که "p") مناسب به نظر می‌رسد، اما احتمالاً نباید formula_44 را در آن گنجاند. در واقع، انجام این کار یعنی مرتکب شدن به
گنجاند. در واقع، انجام این کار یعنی مرتکب شدن به مغالطه طبیعت (یعنی بیان اینکه آنچه طبیعیست، خوب هم هست؛ با گفتن اینکه که اگر "p" درست است "p" باید مجاز باشد). سیستمِ فعلاً مورد استفادهٔ "S5،" به بیانی ساده، همه حقایق وجهی را ضروری می‌داند. برای مثال اگر "p" ممکن باشد، در آنصورت «ضروریست» که ممکن باشد. همچنین اگر "p" ضروری باشد، ضروریست که "p" ضروری باشد. دیگر سیستم‌های منطق موجهات نیز فرموله شده‌اند؛ جزئاً به این خاطر که "S5" همهٔ وجهیات مورد علاقه را توصیف نمی‌کند. نظریه اثبات ساختاری. حساب دنباله‌ای و
نمی‌کند. نظریه اثبات ساختاری. حساب دنباله‌ای و سیستم‌های استنتاج طبیعی، برای چندین منطق موجهات توسعه یافته‌اند، اما ثابت شده که ترکیب جامعیت و دیگر ویژگی‌های خوب مورد انتظار از نظریات اثبات ساختاری مانند خلوص (اینکه نظریه اثبات، مفاهیمی فرا-منطقی مانند برچسب‌ها را تولید نکند) و تحلیلی بودن (اینکه قواعد منطقی، یک اثبات تحلیلی شفاف را حمایت کنند)، دشوار است. برای بدست آوردن جامعیت، حساب پیچیده تری بر روی منطق موجهات به کار گرفته شده‌است. روش‌های تصمیم‌گیری. تابلو تحلیلی، محبوب‌ترین روش تصمیم را برای منطقهای
تحلیلی، محبوب‌ترین روش تصمیم را برای منطقهای وجهی فراهم می‌کنند. مناقشات. نیکولاس رشر استدلال کرده که برتراند راسل، منطق موجهات را رد کرده و این امر، برای چند دهه منجر به بی اشتیاقی به تئوری منطق موجهات شده‌است. اما ژان دژنوسکا خلاف این دیدگاه را باور دارد، که می‌گوید یک سیستم موجهاتی که دژنوسکا آن را "MDL" می‌نامد، در کارهای راسل شرح داده شده‌است؛ هر چند راسل بر این باور بود که مفهوم وجهیت از «خلط بین گزاره‌ها و گزاره‌نماها» می‌آیند، آنگونه که او در "تحلیل موضوع "می‌نویسد. آرتور نورمن پرایور به دست
"تحلیل موضوع "می‌نویسد. آرتور نورمن پرایور به دست پرورده‌اش روث بارکن هشدار داد که خود را برای مناظرات با ویلارد ون اورمان کواین در مورد منطق موجهات دارای سور آماده کند، با توجه به تعصباتی که وی در برابر منطق موجهات داشت.
سیّد ابراهیم نبوی معروف به داور ( – ) فعال سیاسی، نویسنده و طنزنویس ایرانی بود. نبوی از منتقدان سیاسی خارج از ایران بود که در ایالات متحدهٔ آمریکا زندگی می‌کرد. او بین سال‌های ۱۳۶۱ تا ۱۳۶۴ مدیر دفتر سیاسی وزارت کشور بود. ابراهیم نبوی با وبگاه‌های خبری رادیو زمانه، روز آنلاین، روزنامه آنلاین و هفته‌نامهٔ "گویا" همکاری می‌کرد و برای مدتی هر سه‌شنبه یکی از میهمانان ثابت برنامهٔ زن امروز در بخش فارسی صدای آمریکا بود. نبوی در شامگاه سه‌شنبه ۲۵ دی ۱۴۰۳ بر اثر افسردگیِ ناشی از غربت خودکشی کرد. زندگی و خانواده.
ناشی از غربت خودکشی کرد. زندگی و خانواده. ابراهیم نبوی در ۲۲ آبان ۱۳۳۷ در آستارا زاده شد. خانواده او برای ادامه زندگی در سال ۱۳۳۹ به تهران نقل مکان کردند، سپس برای زندگی به رفسنجان رفتند و در سال ۱۳۴۶ به جیرفت رفتند. در سال ۱۳۴۷ خانواده او به کرمان نقل مکان کرد و سرانجام او در سال در سال ۱۳۵۶ برای ادامه تحصیل به دانشگاه شیراز رفت. آشنایی او با آثار علی شریعتی باعث شد در دانشگاه جامعه‌شناسی بخواند. نبوی پیرو جلال آل احمد بود و به واسطه وی، با افکار احمد فردید نیز آشنا شد. ابراهیم نبوی در سال ۱۳۵۹ ازدواج
نیز آشنا شد. ابراهیم نبوی در سال ۱۳۵۹ ازدواج کرد. نخستین دختر او در سال ۱۳۶۱ و دومین دخترش در سال ۱۳۶۲ و سومین دخترش در سال ۱۳۷۰ زاده شدند. زندگی سیاسی. ابراهیم نبوی به خاطر انقلاب ۱۳۵۷ از خانواده پدری خود تقریباً جدا شد. او پس از انقلاب، تحصیل در رشته جامعه‌شناسی را در دانشگاه تهران به پایان رساند و به همراه دیگر همفکران خود مانند عباس عبدی به دولت پیوست. و در سال ۱۳۶۱ مسئولیت اداره دوم سیاسی را در اداره کل سیاسی وزارت کشور بر عهده گرفت و تا سال ۱۳۶۴ مدیر دفتر سیاسی این وزارتخانه شد. در این دوران تمرکز او
سیاسی این وزارتخانه شد. در این دوران تمرکز او بر تحلیل رفتار سیاسی گروه‌های تروریستی بود. نبوی در سال ۱۳۶۳ عضو شورای طرح و برنامه شبکه اول صداوسیما شد. نبوی برای مدت کوتاه دو سال به شیراز بازگشت و پس از آن دوباره به تهران رفت و فعالیت در مطبوعات سیاسی اصلاح‌طلب را آغاز کرد. استندآپ کمدی. ابراهیم نبوی در دهه ۱۳۷۰ با سفر به فرانسه برای نخستین بار و سپس به کانادا، آلمان و فرانسه در هفت شهر، برنامه‌های استندآپ کمدی اجرا کرد. در سال ۱۳۸۱ برای اجرای برنامه استندآپ کمدی به جمهوری آذربایجان و سپس سوئد، نروژ،