چکیده شناخت ماهیت و چیستی زبان به‌دلیل پیچیدگی و گستردگی آن امری دشوار است و از دیرباز ذهن دانشمندان را به خود مشغول کرده است. فارابی، با اطلاق «علم اللسان» بر همة علوم زبانی، نخستین‌بار ترتیب علوم زبانی را در یک نظام واحد فراهم کرد. فارابی در بیان جایگاه زبان و منطق می‌گوید: «جایگاه منطق در ارتباط با عقل چون مرتبه و جایگاه دستور زبان است در ارتباط با زبان». در فصل اول کتاب احصاء‌العلوم، به مس...

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

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

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

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

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

در تحقیق حاضر حل عددی معادلات حاکم بر جریان گرانی در قالب شارش تبادلی (lock-exchange) با استفاده از روش فشرده مرتبه چهارم عرضه می‌شود. برای سنجش توانایی روش فشرده مرتبه چهارم در مسائل غیر‌خطی که به حالت واقعی نزدیک‌تر هستند از مسئله موردی جریان گرانی در قالب شارش گرانی تبادلی به‌صورت جریان گرانی مسطح و استوانه‌ای استفاده می‌کنیم. در این کار علاوه بر عرضه نحوه اِعمال روش فشرده مرتبه چهارم به معاد...

در تحقیق حاضر حل عددی معادلات حاکم بر جریان گرانی در قالب شارش تبادلی (lock-exchange) با استفاده از روش فشرده مرتبه چهارم عرضه می شود. برای سنجش توانایی روش فشرده مرتبه چهارم در مسائل غیر خطی که به حالت واقعی نزدیک تر هستند از مسئله موردی جریان گرانی در قالب شارش گرانی تبادلی به صورت جریان گرانی مسطح و استوانه ای استفاده می کنیم. در این کار علاوه بر عرضه نحوه اِعمال روش فشرده مرتبه چهارم به معاد...

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

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