استفاده از روش های مدل سازی نرم منجر به جواب منحصر به فرد نمی شود، وجود ابهام سبب می شود به جای یک پاسخ منحصر به فرد یک محدوده ی جواب برای هر گونه وجود داشته باشد که هر کدام از این جواب های ممکن به خوبی داده را بازسازی می کند. از طرفی روش هایی مثل rfa و mcr-als که از جمله روش های نرم هستند، یکی از این جواب های ممکن را بدست می آورند، در کار تحقیقاتی پیش رو عوامل موثر بر رسیدن به جواب های مختلف ن...

کیهان شناسی در آغاز کار خود پایة مشترک فلسفه، دین، و علم بوده است. در فرهنگ اسلامی، کیهان شناسی یا بر محوریت خلق از عدم (دیدگاه متکلمین) استوار شده بوده، یا مبتنی بر جهانی قدیم بوده است (دیدگاه فلاسفه)، و از مسئلة چندجهانی غالباً ذکری به میان نیامده است. در اوایل دهة 1970، پس از ارائة آن چه «اصل انسان محوری» نامیده می شود، ایدة چندجهانی وارد حوزة کیهان شناسی شد. در میان متفکران مسلمان متقدم دو ن...

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

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

در این مقاله با طرح دلالت شناسی سول کریپکی، فیلسوف و منطق دان آمریکایی معاصر در باب اسم های خاص و اسم های داستانی، به شرح و نقد آراء اومبرتو اکو فیلسوف، نشانه شناس و داستان نویس ایتالیایی در باب دلالت شناسی اسم های داستانی (fictional names) پرداخته ایم و در این میان، ردپای بعضی از مهم ترین این مباحث یعنی اسم های خاص واقعی را در آثار ابن سینا نشان داده ایم.

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

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