دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 6 نویسندگان: D. Hilbert, W. Ackermann (auth.) سری: Die Grundlehren der Mathematischen Wissenschaften 27 ISBN (شابک) : 9783642654015, 9783642654008 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1972 تعداد صفحات: 196 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب مبانی منطق نظری: منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Grundzüge der Theoretischen Logik به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی منطق نظری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
منطق نظری که منطق ریاضی یا نمادین نیز نامیده می شود، گسترش روش رسمی ریاضیات به حوزه منطق است. این زبان از زبان رسمی برای منطق مشابه با زبانی استفاده می کند که از دیرباز برای بیان روابط ریاضی استفاده می شده است. امروزه در ریاضیات استفاده از زبان معمولی در ساختن یک رشته ریاضی یک مدینه فاضله تلقی می شد. پیشرفت های بزرگی که از دوران باستان در ریاضیات حاصل شده است عمدتاً به این دلیل است که می توان یک فرمالیسم مفید و کارآمد پیدا کرد. - آنچه با زبان فرمول ها در ریاضیات به دست می آید، باید در منطق نظری نیز به دست آید، یعنی برخورد دقیق و علمی موضوع آن. حقایق منطقی که بین قضاوت ها، مفاهیم و غیره وجود دارد با فرمول هایی نشان داده می شود که تفسیر آنها عاری از ابهاماتی است که به راحتی می تواند در بیان زبانی ایجاد شود. گذار به نتیجهگیریهای منطقی، همانطور که از طریق استدلال اتفاق میافتد، به عناصر نهایی آن تجزیه میشود و به عنوان تبدیل رسمی فرمولهای اولیه بر اساس قوانین خاصی که مشابه قواعد محاسبه در جبر هستند ظاهر میشود. تفکر منطقی تصویر خود را در یک محاسبه منطقی می یابد. این محاسبه امکان رسیدگی موفقیت آمیز به مشکلاتی را که تفکر صرفاً مبتنی بر محتوا اصولاً با شکست مواجه می شود، می دهد. اینها عبارتند از ب.
Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum wesentlichen Teil mit dadurch bedingt, daB es gelang, einen brauchbaren und leistungsfahigen Fonnalismus zu finden. - Was durch die Formel sprache in der Mathematik erreicht wird, das solI auch in der theoretischen Logik durch diese erzielt werden, namlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten konnen. Der Dbergang zu logischen Folgerungen, wie er durch das SchlieBen geschieht, wird in seine letzten Elemente zerlegt und erscheint als fonnale Umgestaltung der Ausgangsfonneln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem LogikkalkUl. Dieser Kalkiil macht die erfolgreiche Inangriffnahme von Problemen moglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehort z. B.
Front Matter....Pages N1-VIII
Einleitung....Pages 1-2
Der Aussagenkalkül....Pages 3-42
Der Klassenkalkül....Pages 43-64
Der engere Prädikatenkalkül....Pages 65-140
Der erweiterte Prädikatenkalkül....Pages 141-182
Back Matter....Pages 183-188