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

هنگامی ‌که اصل 174 قانون اساسی، نظارت بر «حُسن جریان امور» را بر عهده سازمان بازرسی قرار داد، از جمله نخستین پرسش­هایی که از بدو امر در مجلس خُبرگان قانون اساسی طرح شد؛ این بود که مراد از «حُسن جریان امور» چیست؟ به رغم مباحث طرح شده در جلسات خُبرگان قانون اساسی، مکاتبات میان سازمان بازرسی و شورای نگهبان و نشست­های علمی برگزار شده توسط سازمان، همچنان ابهام در معنای «حسن جریان امور» باقی است. به عقید...

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

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

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