برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

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

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

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

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

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

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

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

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

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