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

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

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

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

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