نتایج جستجو برای: صوری سازی منطقی
تعداد نتایج: 114070 فیلتر نتایج به سال:
چشم انداز برنامه نویسی سیستم های مولکولی برای اجرای عملیات و قدرت پردازش موازی مولکول های دی.ان.ای، محققان را به سوی طراحی مدارهای بیوشیمیایی ترکیبی جذب کرده است. از آنجاکه ساخت رایانه ای با قدرت پردازش موازی خواسته ی این تکنولوژی بوده است، رایانه مولکولی نقطه عطفی در این مسیر محسوب می گردد. در این تحقیق ابتدا یکی از پیشرفته ترین مدل های موجود، تشریح شده است. سپس، با استفاده از این مدل ...
کتاب ارتباط شناسی تألیف جناب آقای دکتر محسنیان راد از کتاب های مغتنم است که مشتمل بر اهم نظریات علم ارتباطات، تعریفی نو از ارتباط و نیز تبیین مدلی جدید از ایشان در این علم است. این کتاب ارزشمند، سال هاست در دانشگاه های کشور مورد استفاده استادان و دانشجویان و منبع آزمون های تحصیلات تکمیلی در رشته ارتباطات است؛ اما نقایص صوری، ساختاری و محتوایی متعددی در آن وجود دارد که این نوشتار با هدف اصلاح ای...
ابنسینا موضوع نفس و مباحث آن را سرلوحة پیگیریهای فلسفی خود قرار داده تبیینهای او در این به شیوهای است که متفکران پس از نتوانند بدون توجه نظریات وی مسائل بررسی کنند. یکی موضوعهای در این میدان تفصیل پرداخته قوای باطنی است. قوة واهمه پیشتازان طرح قوه میان قواست. درکتابهایش مانند شفا اشارات کارکرد برای جایگاه آن مشخص کرده نگارنده مقاله جستاری وکارایی ویژگیهای نتایجی دیدگاه احکام نازل رس...
دستور مونتاگیو و نظریه ی زبانی چامسکی ، برای تبیین ساخت زبان بشری ، طراحی شده اند. به همین دلیل در هر دو نظریه ، خلاقیت زبانی مورد توجه است . در تحلیل چامسکی ، خلاقیت به روشن شدن سازوکار ذهن یاری می رساند . اما مونتاگیو می کوشد تا بر خلاف این نظریه ی زبانی اثبات کند که خلاقیت زبانی جنبه ی کمی دارد و توصیف ریاضی – منطقی آن ممکن است . در هر دو نظریه ، بر همگانی بودن زبان هم تاکید شده است . همچنین...
به رغم تأکید منطق دانان مسلمان بر نقش ابزاری اصول و قواعد منطقی در سایر علوم اکتسابی و در تمامی حوزه های اندیشه ی بشری، تاکنون تلاش درخور توجهی برای تثبیت این جایگاه و عملی کردن آن صورت نگرفته است. ازاین رو نگارنده در این نوشتار، بر آن است تا میزان اثربخشی این معرفت و مهارت را در فرآیند نظریه پردازی در تمامی مراحل آن، از تکوین و تدوین نظریه گرفته تا اثبات و دفاع از آن و نیز استنتاج فرضیه های جد...
لوئیس کرول در مقالة «لاکپشت به آشیل چه گفت؟» یکی از بنیانهای منطق را زیر سؤال میبرد و در گفتوگویی خیالی این مسئله را مطرح میکند که اصولاً چرا باید از مقدمات یک استدلال به نتیجه رسید. آیا منطق بهتنهایی میتواند توجیهکنندة استفاده از منطق نیز باشد یا باید کاربرد منطق را در خارج از علم منطق توجیه کرد. در این مقاله، به دو رویکرد کلی در پاسخ به این سؤال توجه میشود. نخست، رویکردی کاملاً منطقی ...
کتاب ارتباطشناسی تألیف جناب آقای دکتر محسنیانراد از کتابهای مغتنم است که مشتمل بر اهم نظریات علم ارتباطات، تعریفی نو از ارتباط و نیز تبیین مدلی جدید از ایشان در این علم است. این کتاب ارزشمند، سالهاست در دانشگاههای کشور مورد استفاده استادان و دانشجویان و منبع آزمونهای تحصیلات تکمیلی در رشته ارتباطات است؛ اما نقایص صوری، ساختاری و محتوایی متعددی در آن وجود دارد که این نوشتار با هدف...
در بخش دوم به عنوان آغاز بحث ، به تعریف زبان، فلسفه، و منطق پرداخته شده است ، تا بدین طریق ضمن ارائه، تعریفی مشخص از موضوع های مورد بحث ، اصول موضوع و ویژگیهای ثانوی، از تعریف متمایز گردند. بخش سوم، به بررسی آراء مندرج در فلسفه های زبان واقع گرا و تجربه گرا، اختصاص یافته است . در اولین وهله اندیشه های ریاضی - منطقی زبان در قالب نظریه،مجموعه ها، و اندیشه های و اصل بیان شده است . سپس ذکر گردیده ا...
بر اساس دیدگاه تجربه گرایان منطقی، که به دیدگاه مورد قبول شهرت دارد، نظریة علمی مجموعه ای از گزاره هاست که در منطق مرتبة اول صورت بندی می شوند. مطابق با دیدگاه رقیب که با نام دیدگاه معنایی یا غیرگزاره ای شناخته می شود، نظریة علمی مجموعه ای از مدل هاست. در این مقاله سعی می شود نشان داده شود که دیدگاه مورد قبول نمی تواند الگوی قابل قبولی از تعین نیروهای تعمیم یافته در مکانیک کلاسیک ارائه کند. بر ...
در این مقاله دیدگاه های پیتر برگر در عرصۀ سیاستگذاری بیان شده است. براساس دیدگاه او، که معتقد است سه فرایند برونی سازی،عینی سازی،و درونی سازی، به شکل دیالکتیکی فرهنگ را می سازد، میتوان دیالکتیک این گزاره های متناقض را به کمک سلسله روندهای منطقی توضیح داد و آن ها را به منزلۀ ظرفیت و دلالت نظریۀ فرهنگی برگر در عرصۀ سیاستگذاری به شمار آورد. این روندهای منطقی عبارت اند از نمونه سازی، نهادینه کردن، ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید