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

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

اگر کسی فیلسوف باشد و بخواهد مشکل فلسفی حل کند، باید دید که آن مشکل عبارت از چیست؟ تصور رایج قدیمی این است که احساس باید تابع عقل باشد. بنابر قضاوت قدیمی معرفت و به‌ویژه اخلاق در بستر تاریخ یا به‌مثابه پیشین، صوری و عقلی و یا به‌مثابه نسبی، تجربی و عاطفی بوده است. از این‌رو بود که فیلسوفی مانند امانوئل کانت عقل صوری را از میان تقسیم‌بندی صورت-ماده،[1] یگانه راه رسیدن به معرفت قطعی و یقینی دانست...

No Abstarct

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

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

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

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

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