در این مقاله مدل توجیهی را که گیرسون در مقاله «تخیل­پذیری و توجیهِ وجهیِ الغاءپذیر» (2005) برای توجیهِ باورهای وجهی ارائه می­کند بررسی می­کنم. مدل توجیه پیشنهادی گیرسون مبتنی بر تخیل­پذیری است. گیرسون تخیل­پذیری را بر اساسِ تصور تحلیل می­کند. گیرسون با پذیرشِ شباهت­هایِ برخی از مولفه­های شرح­اش با مدل یبلو (1993)، ادعا می­کند که از چند جهت بحث را پیش برده است. یکی از این پیشرفت­ها از نظر گیرسون این ا...

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

در این مقاله مدل پیشنهادی ایچیکاوا و جارویس (2011) برای تبیین کسب معرفت وجهی (یا امکان کسب چنین معرفتی) با استفاده از تصور را بررسی کرده­ام. ایچیکاوا و جارویس پس از تعریفِ مفهوم «تصور منسجم» ادعا می­کنند که با تصور منسجم، گرچه به امکان متافیزیکی نمی­رسیم اما به نوع دیگری از امکان، یعنی امکان مفهومی دست می­یابیم. ایشان در توضیح این­که چه گزاره­ای ممکن مفهومی است از انگاره «استلزام مفهومی» استفاده...

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

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

هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی ...

در زبان روسی به واژه ای که به تنهایی و یا به کمک دیگر واژه های دیگر بتوانند نقش گزاره را ایفا نماید‘ شبه گزاره می گویند. واژه های شبه گزاره در زبان روسی کلماتی هستند که نهاد واقعی جمله را معمولاً در حالت به ای قرار میدهند. در این گونه جملات‘ در صورتیکه فعل همراه با شبه گزاره ‘ بکار رفته باشد‘ تحت تأثیر خاصیت نحوی شبه گزاره‘ فعل جمله به صورت مصدر بیان می شود. در زبان روسی شبه واژه می تواند قید وی...

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

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