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

مهمترین مبحث منطق، استدلال است که در کتب منطقی تحت عنوان حجت مورد بحث قرار می­ گیرد. قدما حجت را به سه دسته قیاس، استقراء و تمثیل تقسیم می کردند. در مورد اقسام و نوع تقسیم بندی حجت اشکالاتی مطرح شده است. از طرفی علاوه بر نظریه قیاس که بی شک شاهکار ارسطو است یکی دیگر از کارهای مهم ارسطو در حوزه منطق بحث «عکس»، «تناقض» و «تضاد» است. البته در ارغنون این مباحث به طور پراکنده مطرح شده اند. ابن سینا ...

زمینه و هدف: وارفارین پرکاربردترین داروی ضد انعقاد خوراکی است که برای پیشگیری و درمان در بیماران ترومبوآمبولی (thromboembolic) به کار می رود. هدف این مطالعه، تقویت دوز نگهدارنده وارفارین حداکثر برای مدت سه روز در جهت حذف اختلالات ایجاد شده در نسبت نرمال شده جهانی(international normalized ratio, inr) بود. روش بررسی: این مطالعه گذشته نگر از دی تا بهمن 1392 در بیمارستان قلب شهید رجایی تهران انجام ...

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

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

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

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

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