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

گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل‌گری» و «قواعد ساختاری» تقسیم می‌کند. مقصود وی از قواعد عمل‌گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان‌کنندة ویژگی‌های مبنایی یک استدلال است به‌‌ گونه‌ای که هر تغییری در آن‌ها سبب تغییر کل سیستم می‌شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل‌گری قابل حصول است این نکته زیربنای رویکرد...

گنتزن قواعد سیستم منطقی را به دو دسته «قواعد عمل گری» و «قواعد ساختاری» تقسیم می کند. مقصود وی از قواعد عمل گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان کننده ویژگی های مبنایی یک استدلال است به  گونه ای که هر تغییری در آن ها سبب تغییر کل سیستم می شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل گری قابل حصول است این نکته زیربنای رویکرد ...

این پایان نامه به بحث در مورد شبه bck-جبرهای شبه ضربی موضعی می پردازد. در این پایان نامه در فصل اول ابتدا تعاریف اولیه ای از ساختارهای مرتبط و سپس تعاریف و مثال هایی از bck-جبرهای کرندار و جابجایی آورده شده است و در ادامه تعاریف و ویژگی های شبه bck-جبرها و خاصیت شبه ضربی آن ها ارائه شده و سیستم های استنتاجی را معرفی نموده و خواص جدید سیستم های استنتاجی از شبه bck-جبر شبه ضربی ارائه نموده و مورد...

پیش از ظهور منطق جدید، نظام منطقیِ رایج بی‌بدیل می‌نمود. اما منطق کلاسیک، با نظام‌های متعددی روبه‌روست که خود را منطقی و هماورد منطق کلاسیک می‌دانند. این نظام‌ها، اغلب مبتنی بر پیش‌فرض‌های خاص فلسفی هستند و قواعد منطقی متفاوتی را طرح می‌کنند. در مواجهه با این نظام‌ها، پرسشی فلسفی مطرح می‌شود مبنی بر اینکه آیا اساساً کثرت در نظام و/یا قواعد منطقی ممکن است؟ فیلسوفان منطق جدید، پاسخ‌های متنوعی به ای...

متدولوژی به طور کلی عامل یا وسیله شناخت هر علم، از جمله حقوق بین الملل است.متدولوژی حقوق بین الملل دارای دو مفهوم موسع و مضیق است.در مفهوم موسع، عبارت است از روشهایی که برای رسیدن به شناخت علمی حقوق بین الملل از آنها استفاده می شود، اما در مفهوم مضیق، متدولوژی حقوق بین الملل؛یعنی روشهای مورد استفاده برای شناخت هنجارها یا قواعد حقوق بین الملل.هدف متدولوژی حقوق بین الملل در مفهوم مضیق آن، شناخت ق...

متدولوژی به طور کلی عامل یا وسیله شناخت هر علم، از جمله حقوق بین‌الملل است.متدولوژی حقوق بین‌الملل دارای دو مفهوم موسع و مضیق است.در مفهوم موسع، عبارت است از روشهایی که برای رسیدن به شناخت علمی حقوق بین‌الملل از آنها استفاده می‌شود، اما در مفهوم مضیق، متدولوژی حقوق بین‌الملل؛یعنی روشهای مورد استفاده برای شناخت هنجارها یا قواعد حقوق بین‌الملل.هدف متدولوژی حقوق بین‌الملل در مفهوم مضیق آن، شناخت ق...