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

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

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

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

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

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

در این مقاله می‌کوشیم نشان دهیم دین حقیقی از نظر کانت همان اخلاق برخاسته از عقل عملی محض است  که از حیث منشأ و محتوا متفاوت با دین وحیانی است. نقش و شأن وجودی خدا و صفات آن نیز در این دو متفاوت است. قانون اخلاقی تعیّن‌بخش اراده و صادر از عقل عملی است. متعلق قانون اخلاقی به حکم عقل عملی محض خیر اعلی است و شرط تحقق آن فرض وجود خدای برخوردار از صفات متناسب با نیاز اخلاقی است. دین تصدیق به همه تکالی...

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

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

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