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

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

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

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

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

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

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

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

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