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

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

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

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

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

یکی از ادله واقع گرایان برای اثبات وجود کلی ها در جهان خارج، برهانِ «ارجاع به مجردات» (abstract reference) است. طبق این برهان، جملات صادق بسیاری در زبان وجود دارند که ظاهرا دربارة کلی ها سخن می گویند. به عقیدة واقع گرایان، صدق این گونه جملات قابل تبیین نخواهد بود مگر آنکه کلی ها در جهان خارج وجود داشته باشند. کارنپ بر اساس نظریة «درجات زبانِ» خود، این برهان را مورد نقد قرار داده و استدلال می کند ...

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

یکی از ادله واقع گرایان برای اثبات وجود کلی ها در جهان خارج، برهانِ «ارجاع به مجردات» (abstract reference) است. طبق این برهان، جملات صادق بسیاری در زبان وجود دارند که ظاهرا دربارة کلی ها سخن می‌گویند. به عقیدة واقع گرایان، صدق این گونه جملات قابل تبیین نخواهد بود مگر آنکه کلی ها در جهان خارج وجود داشته باشند. کارنپ بر اساس نظریة «درجات زبانِ» خود، این برهان را مورد نقد قرار داده و استدلال می‌کند ...