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

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

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

در زبان روسی، ویژگی گزاره­ای در یک جمله می­تواند توسط مصدر بیان شود. در این صورت جمله  ساختاری یک­رکنی خواهد داشت. از آنجایی که مصدر، یک عمل بالقوه را بیان می­کند، بنابراین در ابراز معانی مجازی یا غیر مستقیم کاربرد فراوان خواهد داشت. مصدر در جمله یک­ رکنی یا ساختار تک­ظرفیتی می­تواند بیان کنندة معانی ای چون: «ناگزیر و قریب الوقوع بودن عمل با مصدر быть، موافقت اجباری گوینده با نظر مخاطب با مصدر ...

چکیده: در این پایان نامه بعد از تعریف مفهوم کنترل، روابط و قضایای مربوطه را بررسی و به معرفی سیستم dcl-pc می پردازیم که منطقی برای استدلال درباره توانایی عوامل و ائتلافی از عوامل با استفاده از انتقال کنترل بین عوامل می باشد. پایه منطقی dcl-pc سیستم cl-pc می باشد. این سیستم منطقی است برای همکاری بین عوامل که عوامل مجموعه ای از متغییرهای گزاره ای را کنترل می کنند و توانایی ارزشدهی به متغییرها ر...

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

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

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

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