Logik und Mathematik (eBook)

TEIL I: Freges Logik und sein logizistisches Programm MICHAEL DUMMETT 13
The Context Principle: Centre of Frege’s Philosophy 15
„Nicht aufs Gerathewohl und aus Neuerungssucht“: Die Begriffsschrift 1879 und 1893 32
Über die Architektonik von Freges Grundgesetzen der Arithmetik und die Entstehungszeit des zweiten Bandes 50
Frege’s Waagerechter und die Logik der Begriffsumfänge 61
Wahrheits- und Falschheitsfunktionen in der Begriffsschrift der Grundgesetze 70
Gibt es einen Dualismus in Freges Quantifikationskonzeption? 80
Frege und Leibniz 94
A Theory of Complex Numbers in the Spirit of Grundgesetze 105
Logicism and the Concept of Logic 124
Die formale Arithmetik und die Begriffsschrift als Spiele 132
Invarianztheoretische Überlegungen zu Freges Definition durch Abstraktion 142
Frege’s Non-Logical Basis of Arithmetic 150
Remarks on the Frege-Hilbert Dispute 162
TEIL II: Philosophie und Semantik 175
Begriffe als Gegenstände der Rede 177
Logik und Begriff 192
Über das Verhältnis von Beispiel und Begriff bei Frege und Wittgenstein 205
Frege and Critical Thinking 213
Argument and Proof 223
Freges außerwissenschaftliche Quellen seines logischen Denkens 231
Frege’s Fundamental Philosophical Mistakes 238
Ist die Bedeutung einer Aussage ihr Wahrheitswert oder ein Sachverhalt? 244
Logical Laws and the Word “True” 253
Frege on Truth and Meaning 261
Frege und das Wahrheitsproblem 272
The Genesis of Grelling’s Paradox 281
Ist Frege’s Realitätsbegriff defizitär? 293
„Das Vorkommen des Wortes »ich« in einem Satze gibt noch zu einigen Fragen Veranlassung ...“ 303
Frege’s Sinn and Utterance Meaning 315
Frege, Notational Attitudes, and the Problem of Polymorphism 326
‘Linguistic’ Facts 336
TEIL III: Logik und Information 345
Gaggle Theory Applied to Intuitionistic, Modal, and Relevance Logics 347
Handling Inconsistent Information. Towards a Logic of Rational Discourse 381
Many-Valued Logic with Partially Sound Rules of Inference 397
Nonmonotonic Reasoning and its Relation to Probabilistic Reasoning 406
On the Ordering of a Causal Relation 420
Welche Negation vererbt die Wertlücke? 430
Mehrdimensionale Gültigkeits- und Inkonsistenzbegriffe 442
Die vierwertigen Systeme der materialen Implikation 456
Formalization and Goedelization of Non-Circular Frege-Language 467
Nominalistischer Logizismus 472
Information als Konstruktion 482
Der Informationsgehalt empirischer Modelle – zur Logik des semantischen Informationsbegriffs 496
Concepts-Processing as a Procedure of Analog-Digital Conversion and Digital-Analog Approximation 508
An Interactive Prover for Gentzen-Like System 512
Data Dependencies for Grounded Fregean Logics 520
Zahl und Numerale. Analyse natürlichsprachlicher Numeralkonstruktionen 529
Personenregister 543
Sachregister 549
Autorenverzeichnis 563