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

ترجمه ماشینی: Essentials of Symbolic Logic مقدمه ای مختصر و واضح برای موضوع است. این کتاب بر منطق جمله و منطق محمول تمرکز دارد و زمینه کاملی در راهبردهای اشتقاق در هر دو فراهم می کند. فصل آخر یک مرور مختصر از سایر رویکردها ارائه می دهد.

ترجمه ماشینی: مقدمه ای واضح، جامع و متوسط به زبان های منطقی، کاربردهای منطق نمادین در فیزیک، ریاضیات، زیست شناسی.

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

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

ترجمه ماشینی: Logic With Trees مقدمه ای جدید و بدیع برای منطق رسمی مدرن است. این شامل بحث هایی در مورد مسائل فلسفی مانند حقیقت، شرطی ها و منطق مدی، ارائه مطالب رسمی با وضوح، و ترجیح توضیحات و استدلال های غیررسمی به توسعه سختگیرانه ترسناک است. مثال‌ها و تمرین‌های کار شده، مبتدیان را در کتاب راهنمایی می‌کند، با پاسخ به تمرین‌های انتخابی که خوانندگان را قادر می‌سازد تا پیشرفت خود را بررسی کنند. منطق با درختان دانش‌آموزان را با: توضیح کامل و واضح از سیستم درخت حقیقت برای منطق مرتبه اول تجهیز می‌کند. اهمیت منطق و ارتباط آن با بسیاری از رشته های مختلف؛ مهارت‌های درک تکنیک‌های استدلال رسمی پیچیده لازم برای کشف متالوژیک پیچیده؛ توانایی مخالفت با این ادعا که استدلال "معمولی" به خوبی توسط منطق مرتبه اول رسمی نشان داده می شود.

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