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

شرح و تفسیر مثنوی جلال الدّین محمد مولوی سابقه ای دیرین دارد، اما نکته حائز اهمیّت در شیوه شرح این تفاسیر، گرایش عرفانی آنها در توضیح محتوایی ابیات است. در شیوه تفسیری که برای تحلیل یکی از مشکلات مثنوی در این مقاله به کار گرفته شده است، کوشیده ایم تا حوزه معانی ابیات را از میان مباحث برون متنی نظیر مباحث و مسائل عرفانی، به الفاظ آن محدود و مدلّل سازیم. در این شیوه، مبنای معنایابی در شعر توجّه به صن...

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

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

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

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

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

-

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