جستجوي پيشرفته | کتابخانه مجازی الفبا

رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظام‌های منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظام‌های جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطق‌دانان سینوی و مبتنی بر کاربرد معمول زبان طبیعی صورت پذیرفته است. بر پایه این بررسی، سه روایت متمایز از قواعد منطق شرطی لزومی سینوی قابل تشخیص است. دو روایت از این سه را می‌توان بر مبنای ترکیبی از منطق ربط، منطق زمان، منطق مرتبه دوم و مبتنی بر پیش‌فرض حقیقی بودن لزومی‌های به کار رفته در شرطی سینوی صورت‌بندی نمود. روایت سوم در نظام‌های موجود در منطق جدید قابل صورت‌بندی نیست.

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

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

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

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

چکیده ندارد.

چکیده ندارد.