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

نظریۀ ارجاع مستقیم در باب اسامی خاص، متعاقب ناکارآمدی نظریه های توصیفی در تبیین ارجاع اسامی خاص مطرح شده است. امّا خود این نظریه با مشکلی اساسی روبرو بوده است. اگر تنها جزء معنی در یک اسم خاص، ارجاعِ آن است، چرا جایگزینی دو اسم خاص هم مرجع در جمله های نگرش گزاره ای به تغییر ارزش صدق جمله منجر می شود؟ پاسخ های فلاسفه و معنی شناسانِ طرفدار نظریۀ ارجاع مستقیم قانع کننده نبوده است. به نحوی که اکثر آن ...

سیطرۀ منطق گزاره ای بر مشی فلسفیِ ویتگنشتاین اول که در تعابیری چون تصویر، بازنمایی، تطابق و تناظر رخ می نمایانند از یک سو، و روح حاکم بر جریان تحلیلی با درون مایه های علم گرا، متافیزیک ستیز و منطق محورش از دیگر سو، دعویِ تاریخ گراییِ ویتگنشتاین و التفات وی به تلقی مرسوم هرمنوتیکی را به چالش می کشند. این در حالی است که دلالت های تاریخی نهفته در رویۀ زمینه گرایانۀ ویتگنشتاین دوم در سایه تعابیری چون ...

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

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

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

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

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