در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنهاشکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگرداندهشوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژهنمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول ...

مقدمه و اهداف هدف از این مطالعه بررسی روایی صوری، محتوا، و همگرای نسخه فارسی پرسشنامه   Children Participation Questionnaire (CPQ بود.  مواد و روش ها بررسی حاضر از نوع مطالعه متدولوژیکال بود که به سنجش روایی صوری، محتوا، و همگرای نسخه فارسی پرسشنامهChildren Participation Questionnaire (CPQ پرداخته، برای ترجمه از روش IQOLA استفاده شد. برای ارزیابی روایی همگرا از ابزار ارزیابی رفتار انطباقی واینل...

در این پایان نامه، در تلاش برای شفاف سازی معنای منطق at، یک معناشناسی جدید برای آن ارایه می شود. در جست و جوی یک معناشناسی درست& به بسیاری از منابع سردرگمی های گذشته پی می بریم.

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

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

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

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

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

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

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