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

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

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

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

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

this study investigated the potential role of age in inductive and deductive grammar learning among iranian foreign language learners. the experimental population consisted of our randomly selected samples including two groups of children (with age of exposure to english within 8-13), and two groups of adults (with age of exposure to english within 11-13). thus, the comparison was between ch...

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