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

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

ترجمه ماشینی : این جلد شامل نسخه اصلاح شده و به روز شده نویسندگان Ph.D. پایان نامه و بر روش های اثبات و اثبات قضیه برای منطق های شرطی و ترجیحی متمرکز است. منطق های شرطی بسط های منطق کلاسیک با استفاده از عملگر شرطی هستند که معمولاً به صورت => نشان داده می شود. منطق های شرطی تاریخچه ای طولانی دارند و اخیراً در چندین حوزه هوش مصنوعی از جمله بازنگری و به روز رسانی باورها، نمایش استنتاج های علّی در برنامه ریزی اقدام و رسمی سازی پرس و جوهای فرضی در پایگاه های داده قیاسی کاربرد پیدا کرده اند. منطق های شرطی نیز به منظور رسمی کردن استدلال غیر یکنواخت به کار گرفته شده است. مطالعه روابط بین منطق شرطی و استدلال غیر یکنواخت منجر به کار اساسی کراوس، لمان و ماگیدور شده است که به اصطلاح چارچوب KLM را معرفی کرده اند. بر اساس این چارچوب، یک پایگاه دانش غیرقابل ابطال با مجموعه محدودی از ادعاهای شرطی به شکل A |~ B نشان داده می‌شود، که خواندن شهودی آنها «معمولاً (معمولاً)، Aها B هستند» است. عملگر |~ غیر یکنواخت است به این معنا که A |~ B به معنای A و C |~ B نیست. منطق چارچوب KLM، که به عنوان منطق ترجیحی نیز شناخته می شود، امکان استنتاج ادعاهای شرطی جدید را از یک پایگاه دانش داده شده فراهم می کند. علیرغم اهمیت آنها، مکانیسم های قیاسی بسیار کمی برای منطق های شرطی و ترجیحی ایجاد شده است. نویسنده در این کتاب با معرفی روش‌های اثباتی (حساب‌های متوالی و جدولی) برای منطق‌های شرطی و ترجیحی و نیز اثبات‌کننده‌های قضیه‌ای که با اجرای محاسبات پیشنهادی به‌دست می‌آیند، تلاش می‌کند (تا حدی) خلأ موجود را پر کند. IOS Press یک ناشر بین المللی علمی، فنی و پزشکی کتاب های باکیفیت برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه ها است. برخی از حوزه هایی که ما در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر

ترجمه ماشینی: پس از انتشار در سال 1967، مبانی استنباط علمی به نسلی از دانشجویان و محققان در مورد مسئله استقراء، تفسیر احتمالات و نظریه تایید آموزش داد. پنجاه سال بعد، کتاب Wesley C.Salmon یکی از روشن ترین مقدمه ها برای این مشکلات اساسی در فلسفه علم باقی مانده است. سالمون با کتاب مبانی استنباط علمی، دیدگاهی منسجم از ماهیت استدلال علمی ارائه کرد، زیربنای فلسفی تحقیقات علمی را بررسی کرد و خوانندگان را با جنبش های کلیدی در معرفت شناسی و فیلسوفان برجسته قرن بیستم آشنا کرد - مانند کارل پوپر، رودولف. کارنپ، و هانس رایشنباخ-ارائه یک ارزیابی انتقادی و توسعه دیدگاه‌های متمایز خود در مورد موضوعاتی که امروزه هنوز از اهمیت اصلی برخوردار هستند. این نسخه سالگرد اثر بنیادی سالمون در فلسفه علم دارای مقدمه‌ای مفصل از کریستوفر هیچکاک است که به بررسی ریشه‌ها، تأثیرات و مضامین اصلی کتاب، تأثیر و تأثیرات ماندگار آن، اختلافاتی که مطرح کرد، و جایگاه آن در مطالعات جاری، می‌پردازد. بازبینی ایده‌های سالمون برای مخاطبان جدیدی از فیلسوفان، مورخان، دانشمندان و دانشجویان.