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

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

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

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

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

منطق وجهی به عنوان یک زبان برای بحث در مورد فضاهای توپولوژیک، حدود 60 سال سابقه دارد. در اصل انگیزه های اولیه این تحقیق و مطالعه صرفاً ریاضی بوده است ولی اخیراً کاربردهای علم کامپیوتر نیز دلایل دیگری به آن افزوده است. از مهمترین موضوعات در منطق وجهی گسترش زبان های وجهی و مطالعه قدرت بیان آنها می باشد. مراجع [1و2و3و4] در بردارنده بخشی ازاین تلاشها می باشد. در چشم انداز زبانهای فضایی زبان های وجه...

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

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

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

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