فرض کنیم g یک گروه متناهی و d(g)دنباله درجات رئوس گراف اول آن باشد. در این صورت گروه g را k-تشخیص پذیر توسط مرتبه و دنباله درجات رئوس گراف اول گوییم هرگاه k گروه غیر یکریخت مانند h وجود داشته باشد به طوری که |g|=|h| و d(g)=d(h). حال اگر k=1 آن گاه گوییم گروه g تشخیص پذیر است. در این رساله نشان می دهیم که گروه خطی خاص تصویری psl_3(2^n به ازای n=4,5,6,7,8,10,12 تشخیص پذیر است. سپس به رده بندی ...

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

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

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

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

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

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