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

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

فارابی و ابن سینا در آثار خود برای شرطی متصل اقسام بسیاری برشمرده و مباحث متنوعی در آثار پیروان خود پدید آورده اند. دو قسم مهم از این اقسام، عبارت است از «لزومی» و «اتفاقی» که هر کدام به اقسام جزئی تری تقسیم می شوند. در این مقاله، به شرطی لزومی و برخی از اقسام آن خواهیم پرداخت. چهار مبحث مهم درباره شرطی لزومی، عبارت است از 1. نسبت شرطی لزومی با شرطی اتفاقی و شرطی عام، 2. تجزیه و تحلیل اقسام شرط...

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

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

در پایان نامه حاضر، مطالعات صورت گرفته را بر پایه مقاله interactions که در سال 2007 توسط roy exel در مجله journal of functional analysis جلد 244 در صفحات 26-62 به چاپ رسیده است انجام می دهیم و در آن فرض شده است که c*-جبر b و *-زیر جبر بسته a از b و ایزومتری جزئی s در b داده شده باشد و s با a بر هم کنش دارد به این معنی است که sas* = v(a)ss* s*as = h(a)s*s که در آن v و h عملگرهای خطی مثبت روی ...

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

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