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

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

ترجمه ماشینی: گزیده ای از تاریخ منطق صوری در این نسخه از قابل‌توجه‌ترین تاریخ منطق رسمی که تاکنون منتشر شده است، البته با توافق کامل نویسنده، از این فرصت استفاده شده است تا در نسخه اصلی، برخی تنظیمات لازم انجام شود. با این حال، تنها در 36، تعداد قسمت های ذکر شده به دلیل معرفی موضوع جدید تغییر کرده است. آن تغییرات به شرح زیر است. درباره ناشر کتاب فراموش شده صدها هزار کتاب کمیاب و کلاسیک را منتشر می کند. در www.forgottenbooks.com بیشتر بیابید این کتاب بازتولید یک اثر مهم تاریخی است. Forgotten Books از پیشرفته‌ترین فناوری برای بازسازی دیجیتالی اثر استفاده می‌کند و در عین حال عیوب موجود در نسخه قدیمی را ترمیم می‌کند و فرمت اصلی را حفظ می‌کند. در موارد نادر، نقصی در نسخه اصلی، مانند نقص یا صفحه گم شده، ممکن است در نسخه ما تکرار شود. با این حال، ما اکثریت قریب به اتفاق نواقص را با موفقیت ترمیم می کنیم. هرگونه نقصی که باقی می ماند عمداً برای حفظ وضعیت چنین آثار تاریخی باقی می ماند.

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

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

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

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

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