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

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

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

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

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

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

پژوهش حاضر به تحلیل و نقد آرای سینوت – آرمسترانگ در حوزه معرفت شناسی اخلاق با تأکید بر اندیشه اسلامی می پردازد. برای همین، ابتدا موضع سینوت - آرمسترانگ در مورد ارزش صدق و واقع گرائی اخلاقی تحلیل و نقد می شود. سپس سینوت – آرمسترانگ دیدگاه خود را با ترکیب و مصالحه ای بین شکاکیت اخلاقی آکادمیک، شکاکیت اخلاقی پیرهونی و شکاکیت اخلاقی میانه رو صورتبندی می کند. یعنی اگر نیهیلیسم اخلاقی به عنوان بدیلی ...

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

شکاکیت فلسفی درباره جهان خارج دیدگاهی معرفت­شناختی است که ادعا می­کند انسان علی‏الاصول نمی­تواند نسبت به گزاره­هایی که در مورد جهان خارج هستند معرفت داشته باشد. دسته­ای از استدلال‏هایی که به منظور اثبات موضع شکاکانه نسبت به جهان خارج ارائه شده است، بر اساس فرضیه­هایی شکل­گرفته که به فرضیه­های شکاکانه معروف‎اند. این فرضیه­ها تبیینی ممکن از اوضاع جهان هستند که با درک متداول ما از آن متفاوت است. ش...

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