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

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

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...

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

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