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

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

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

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

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