«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...

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

منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانی­الاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که به­دنبال پاسخ آری و یا نه برای تعمیم به تمام پدیده­ها می­باشد(همچون پوزیتیویسم)، منطق فازی جهان را همان­گونه که هست معرفی می­کند. م...

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

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

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

چکیده: باکتری اشریشیا کلی یک ارگانیسم فرصت طلب است که می تواند در طیور منجر به سندرم های کلی باسیلوز (کلی سپتی سمی، پریکاردیت، پری هپاتیت و سالپنژیت و...) گردد. اشریشیا کلی دارای 4 گروه فیلوژنتیکی شامل a، b1، b2 و d است. فیلوتایپینگ ایزوله های اشریشیا کلی روشی مناسب جهت بررسی نوع پراکندگی گروه های فیلوژنتیک ایزوله های اشریشیا کلی در مناطق مختلف می باشد. بررسی حاضر به منظور تعیین گروه های فیلوژ...

در این مقاله، تلاش‌های منطق‌دانان دورۀ اسلامی در تبیین رابطۀ میان دو بخش قیاسی و غیرقیاسی‌ِ قیاس خلف، مورد بررسی قرار می‌گیرند و با نگاه به آثار شارحان یونانی ارسطو مانند اسکندر افرودیسی و فیلوپونوس و اشاره به ناتوانی آنها در تبیین سخنان ارسطو در تحلیل اوّل، دو رویکرد کلی در این زمینۀ معرفی می‌شود. در رویکرد نخست که از سوی افضل‌الدین مرقی ارائه گردیده، رابطۀ میان دو بخش قیاسی و غیرقیاسیِ قیاس خلف ...

شمس الدین سمرقندی که در بحث قیاس شرطی دیدگاهی نو در برابر ابن‌سینا پیش نهاده است، از 19 ضرب منتج سینوی 12 ضرب را نامعتبر می‌داند. در مقالة دیگری نشان داده‌ایم که اگر تنها «کیفیت» گزاره‌ها را در نظر بگیریم میان قیاس‌های سمرقندی و منطق ربط مطابقت شگفت‌انگیزی وجود دارد. در این مقاله، اما، نشان می‌دهیم که اگر «کمیت» گزاره‌ها را نیز در نظر آوریم این مطابقت از میان می‌رود. دلیل این مسئله آن است که در...

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