جستجوي پيشرفته | کتابخانه مجازی الفبا

این نسخه خطی مشتمل بر مجموعه دوکتاب: «کبری در منطق» اثر میر سید شریف جرجانی به زبان فارسی و «حاشیه ملا عبدالله» بر «تهذیب المنطق» تفتازانی به زبان عربی است.

ترجمه ماشینی: هندبوک تاریخچه منطق بهترین تکنیک های مدرن پژوهش تاریخی و تفسیری را برای توسعه منطق به ارمغان می آورد. منطق محاسباتی در قرن بیستم متولد شد و در همزیستی نزدیک با ظهور اولین کامپیوترهای الکترونیکی و اهمیت روزافزون علوم کامپیوتر، انفورماتیک و هوش مصنوعی تکامل یافت. با بیش از ده هزار نفر که در زمینه تحقیق و توسعه منطق و روش های مرتبط با منطق کار می کنند، با چندین ده کنفرانس بین المللی و چندین برابر کارگاه های آموزشی که به غنا و تنوع روزافزون این رشته می پردازند و با نقش و اهمیت اساسی این روش ها در حال حاضر فرض کنید در ریاضیات، علوم کامپیوتر، هوش مصنوعی، علوم شناختی، زبان‌شناسی، حقوق و بسیاری از زمینه‌های مهندسی که از تکنیک‌های مرتبط با منطق از جمله برای بیان و حل و فصل مسائل صحت استفاده می‌شود، این رشته به‌گونه‌ای متنوع شده است که حتی منطق‌دانان ناب که در دهه های اولیه قرن بیستم را به سختی می توان پیش بینی کرد. محاسبات منطقی، که جنبه مهمی از تفکر بشری را در بر می گیرند، اکنون با دقت ریاضی و پشتیبانی محاسباتی قابل بررسی هستند و رویاهای اولیه استدلال مکانیزه را بارور می کنند: «حساب حساب. کنفرانس دارتموث در سال 1956 - که عموماً به عنوان زادگاه هوش مصنوعی در نظر گرفته می شود - به صراحت امیدها را برای احتمالات جدیدی که ظهور ماشین های محاسباتی الکترونیکی ارائه می دهد ایجاد کرد: اکنون می توان جملات منطقی را روی ماشینی با تمام پیامدهای گسترده اجرا کرد که در نهایت منجر به برنامه نویسی منطقی، سیستم های استنباط برای ریاضیات و مهندسی، طراحی منطقی و تایید نرم افزار و سخت افزار کامپیوتر، پایگاه داده های قیاسی و سنتز نرم افزار و همچنین تکنیک های منطقی برای تجزیه و تحلیل در زمینه مهندسی مکانیک شد. این جلد برخی از زیر حوزه های اصلی منطق محاسباتی و کاربردهای آن را پوشش می دهد. فصول توسط مقامات برجسته در این زمینه انجمنی را فراهم می کند که در آن فیلسوفان و دانشمندان با هم تعامل دارند منبع مرجع جامع در مورد تاریخ منطق

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

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

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

از کتب مهم در فلسفه اسلامی. شهرستانی این کتاب را منبع اشکال‌های فخررازی بر حکماء می‌داند. 1. جلد اول کتاب المعتبر در علم منطق و مشتمل بر هشت مقاله است. 2.همان گونه که خود نویسنده در مقدمه‌اش بر کتاب گفته، در این کتاب ابتدا به امور منطقی پرداخته است و در ترتیب اجزا و مقالات و مسائل از ارسطو پیروی کرده است. 3. از مزایای این کتاب این است که نویسنده آن، مطالب سخت را با عبارت‌هایی کوتاه و رسا بیان کرده، که یا در کتاب‌های دیگر وجود ندارند یا در این حد کامل بیان نشده‌اند. 4. به طور کلی در جلد اول کتاب که حاوی مباحث منطقی است، درباره حدود و مقدمات آن، علوم و مباحث مربوط به تصدیق و تکذیب و ایجاب و سلب و قضایای کلی و جزئی و اقسام قضایا، قیاس و اشکال و طرق نتایج آنها، برهان و اقسام مقدمات و مطالب علوم و... بحث شده است.