دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Professor Dr. Dr. Wolfgang Stegmüller, Dr. Matthias Varga von Kibéd (auth.) سری: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie 3 ISBN (شابک) : 9783642617232, 9783642617225 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1984 تعداد صفحات: 538 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 21 مگابایت
کلمات کلیدی مربوط به کتاب انواع ساختار منطق: منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Strukturtypen der Logik به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انواع ساختار منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این قصد با این واقعیت تقویت شد که تعداد فزایندهای از دانشجویان ریاضی در دانشگاه مونیخ، منطق را بهعنوان خردسال با من انتخاب کردند. از آنجایی که این نامزدها معمولاً زمان یا فرصتی برای شرکت در رویدادهای من نداشتند، این آرزوی قابل درک بوجود آمد که من باید \"چیزی به صورت مکتوب بنویسم\" که آنها بتوانند با خود به خانه ببرند. در نهایت، دانش معایب آموزشی بسیاری از کتاب های منطق وجود داشت. در بیشتر آنها فقط رویه های نحوی و معنایی خاص پرداخته می شود. اگر به عنوان مثال به عنوان مثال، اگر در یک اثر فقط روش بدیهی، در اثر دیگر فقط استدلال طبیعی و در اثر سوم فقط محاسبات اجزای مثبت/منفی ارائه شود، حتی برای یک ریاضیدان باتجربه نیز دشوار است که معادل بودن این محاسبات را ببیند. اگر نظاممندیهای معناشناسی نیز به میزان قابلتوجهی از یکدیگر منحرف شوند، احتمالاً یک غیرریاضیدان حتی این تصور را به دست میآورد که کتابهای مورد بحث با موضوعات مختلفی سروکار دارند. اما این تنها یک روی سکه است. برعکس، کتابهای بیشتری با کلمه «منطق» در عنوان شامل حوزههایی میشوند که برای بررسی منطق اهمیت دارند، اما بسیار فراتر از چارچوب منطق هستند، مانند مثال. ب- نظریه بازگشت، نظریه مجموعه های بدیهی یا نظریه اثبات هیلبرت. با فشار دادن این حد، دشوار است که بفهمیم چرا نباید موارد بیشتری را شامل شود. به طور فزاینده ای z. به عنوان مثال، اصطلاحات جبری نقش مهمی در بررسی های منطقی دارند.
Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verständliche Wunsch auf, ich möge "etwas Schriftliches verfassen", das man mit nach Hause nehmen könne. Hinzu kam schließlich noch das Wissen um didaktische Nachteile vieler Logik-Bücher. In den meisten von ihnen werden nur spezielle syntaktische und semantische Verfahren behandelt. Wenn z. B. in einem Werk ausschließlich die axiomatische Methode, in einem weiteren allein das natürliche Schließen und in einem dritten nur der Kalkül der PositivfNegativ-Teile vorgeführt wird, so fällt es selbst einem routinier ten Mathematiker schwer, die Gleichwertigkeit dieser Kalkülisierungen einzusehen. Weichen dann auch noch die Systematisierungen der Se mantik erheblich voneinander ab, so wird ein Nichtmathematiker ver mutlich sogar den Eindruck gewinnen, die fraglichen Bücher handelten von verschiedenen Gegenständen. Doch dies ist nur die eine Seite der Medaille. In immer mehr Bücher, die das Wort ,Logik' im Titel tragen, werden nämlich umgekehrt mehr oder weniger ausführlich Bereiche einbezogen, die zwar für Untersuchungen zur Logik von Wichtigkeit sind, die jedoch weit über den Rahmen der Logik hinausführen, wie z. B. Rekursionstheorie, axiomatische Mengenlehre oder Hilbertsche Beweis theorie. Zieht man die Grenze einmal so weit, so ist nicht zu erkennen, warum nicht noch viel mehr einbezogen werden sollte. In zunehmendem Maße spielen z. B. algebraische Begriffe eine wichtige Rolle bei logischen Untersuchungen.
Front Matter....Pages N1-XV
Einleitung: Inhaltsübersicht....Pages 1-23
Vorbereitungen....Pages 24-46
Front Matter....Pages 47-47
Junktoren....Pages 49-72
Quantoren....Pages 73-96
Kalküle....Pages 97-204
Semantiken: Spielarten der denotationellen und nicht-denotationellen Semantik....Pages 205-230
Normalformen....Pages 231-259
Identität....Pages 260-279
Theorien....Pages 280-291
Front Matter....Pages 293-293
Kompaktheit....Pages 295-314
Das Fundamentaltheorem der Quantorenlogik....Pages 315-329
Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeitsbeweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ....Pages 330-341
Unvollständigkeit und Unentscheidbarkeit....Pages 342-374
Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der Wahrheit....Pages 375-402
Abstrakte Semantik: Semantische Strukturen und ihre Isomorphie-Arten....Pages 403-457
Auszeichnung der Logik erster Stufe: Die Sätze von Lindström....Pages 458-499
Back Matter....Pages 499-526