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

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

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

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