Logic

The Continued Exercise of Reason: Public Addresses by George Boole

Lectures, many never before published, that offer insights into the early thinking of the mathematician and polymath George Boole. George Boole (1815–1864), remembered by history as the developer of an eponymous form of algebraic logic, can be considered a pioneer of the information age not only because of the application of Boo...

• Nao |
• 2018 |
• pdf |
• 35.19MB |
• 242pages

Einführung in die mathematische Logik (6th Edition)

Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben....

Mathematical Logic On Numbers, Sets, Structures, and Symmetry

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classica...

Formal Theories of Truth

Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three leading philosopher-logicians now present a concise overview of the main issues and ideas in formal theories of truth. Beall, Glanzb...

Theories, Sites, Toposes

The genesis of this book, which focuses on geometric theories and their classifyingtoposes, dates back to the author’s Ph.D. thesis The Duality between GrothendieckToposes and Geometric Theories [12] defended in 2009 at the Universityof Cambridge.The idea of regarding Grothendieck toposes from the point of view of thestructures ...

• Walicki |
• 2017 |
• pdf |
• 6.94MB |
• 287pages

現代思想 2017年6月臨時増刊号 総特集◎ゲーデル (1st Edition)

Modern Thoughts - Gödel【シリーズ現代思想の数学者たち】20世紀最大の数学者・ゲーデルに迫る。証明不可能な命題は常に存在し、誰も自身の無矛盾を証明することはできない―ー。20世紀以後の数学および哲学の展開を規定するメルクマールとなったゲーデルの「不完全性定理」。本特集では、数学・哲学・物理学等の視点から、その尽きせぬポテンシャルを再検証する。ゲーデルによる重要論考および詳細な解説も収録。初版刊行から10年。多数のご要望にお応えして待望の復刊。目次*【ゲーデルによる論文】数学基礎論における幾つかの基本的定理とその帰結/数学は言語の構文論か【討議/論考】竹内外史/森毅/田中一之+岡本賢吾/野崎昭弘/新井敏康渕野昌/照井一成/小川芳範/...

More Precisely: The Math You Need to Do Philosophy (2nd)

From the PrefaceAnyone doing philosophy today needs to have a sound understanding of a wide range of basic mathematical concepts. Unfortunately, most applied mathematics texts are designed to meet the needs of scientists. And much of the math used in the sciences is not used in philosophy. You're looking at a mathematics booktha...

Основы логики и аргументации

Учебное пособие подготовлено в соответствии с государственными образовательными стандартами высшего профессионального образования и предназначено для студентов гуманитарных вузов. Рассматриваются основные формы мышления в тесной связи с приемами и методами аргументации. Освещается история становления учения об аргументации, пока...