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

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

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

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

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

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

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

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

علم به حضوری و حصولی تقسیم می‌شود. در علم حضوری، علم و معلوم عین هم هستند؛ اما در علم حصولی، علم غیر از معلوم است. علم حصولی را به حضور صورت شیء در عقل تعریف کرده‌اند. علم حصولی به تصور و تصدیق تقسیم می‌شود. در باب ماهیت تصدیق، دیدگاه‌های مختلفی مطرح است که می‌توان آنها را به سه دسته کلی، تقسیم کرد. یک گروه تصدیق را امری مرکب و اعم از حکم و تصورات محکوم‌علیه و محکوم‌به می‌دانند. دسته دوم تصدیق ...

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