این مقاله به دنبال دو هدف است: نخست برقراری ارتباطی میان معنای «موجود» و موجودیت وجود؛ و دوم تنظیم استدلالی نو در دفاع از موجودیت وجود. استدلال خواهد شد که بنا بر فرض‌های معقولی که مورد قبول صدرا نیز هستند، میان ادعای اشتقاق معنایی «موجود» و موجودیت وجود رابطة نزدیکی وجود دارد. برای این کار ابتدا از این تز دفاع خواهد شد که در حضور فرض‌های معقول و مورد پذیرش صدرا، «موجود» به معنای اشتقاقی بر چیز...

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

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

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

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

ما در این رساله به مطالع? مسأل? عکس عملگر های استورم لیوویل با پارامتر ویژه که وابسته به شرایط مرزی است می پردازیم، به طوری که در معادله زیر صدق کنند (1) و این معادله به همراه شرایط مرزی زیر می باشد (2) (3) یا (4) که در شرایط بالا فرض های زیر را داریم (k=1,2) و یک تابع حقیقی مقدار و متعلق به l^2[0, ] است و نیز طیف می باشد.

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

چکیده: هدف علم مسئلۀ مورد مناقشه بین رئالیست‌ها و مخالفانشان است. رئالیست‌ها معتقدند هدف علم دستیابی به نظریه‌هایی است که توصیف و تبیین صادقی از جهان به‌دست دهند. برای پاسخ به این مسئله که چرا باید هدف فعالیت علمی و معرفتی را چنان‌که رئالیست‌ها اصرار دارند رسیدن به صدق قرار دهیم پاسخ‌های متنوعی داده شده است. این مقاله بر آن است برای این مسئله پاسخی کانتی را در زمینة بحث رئالیسم علمی بازس...

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