الف. موضوع و طرح مسئله: زبان همچون تمامی نظامها، دارای لایه های مختلف ساختاری است که کارکردی مخصوص به خود دارند و افزون بر این، در تعامل با یکدیگرند. دستیابی به الگوهای عملکرد این نظامهای درون زبانی برای درک کارکرد زبان و ایجاد امکان مدلسازی آن حائز اهمیّت است، به ویژه الگوهایی که بتوانند عملکرد سطوح مختلف را فارغ از نظام یک زبان خاص توضیح دهند. ریاضیات به عنوان علمی که روابط و مفاهیم پیچیده را...

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

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

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

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

چکیده ندارد.