چکیده: در این پایان نامه بعد از تعریف مفهوم کنترل، روابط و قضایای مربوطه را بررسی و به معرفی سیستم dcl-pc می پردازیم که منطقی برای استدلال درباره توانایی عوامل و ائتلافی از عوامل با استفاده از انتقال کنترل بین عوامل می باشد. پایه منطقی dcl-pc سیستم cl-pc می باشد. این سیستم منطقی است برای همکاری بین عوامل که عوامل مجموعه ای از متغییرهای گزاره ای را کنترل می کنند و توانایی ارزشدهی به متغییرها ر...

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

این مقاله دو بخش دارد: بخش اول با تعریف سنتی معرفت در غرب می.آغازد و ضمن نگاهی اجمالی به ریشه تاریخی و تحلیل مؤلّفه.های سه گانه آن به مثال.های نقض گتیه و سپس واکنش.های مهم معرفت شناسان معاصر به آن می.پردازد. بخش دوم مقاله دربارهٴ تعریف معرفتِ گزاره.ای از منظر حکمای اسلامی و تفاوت آن با تعریف سنتی غرب، تقسیم معرفت به تصوری و تصدیقی (گزاره.ای)، تبیین معرفت گزاره.ای یقینی و ویژگی.های آن است و نشان ...

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

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

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

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...

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

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

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