marcusH
103 lines
5.3 KiB
Markdown
103 lines
5.3 KiB
Markdown
# Topic: Funktion · Operation · Wahrheitsfunktion · Wahrheitsoperation
|
||
|
||
**Wittgensteins zentrale Begriffsoperation** in Satzreihen 5.2 ff und 6 — und im aktuellen Material praktisch nicht erschlossen.
|
||
|
||
## Stand der Bearbeitung
|
||
|
||
**Im ODT-Material nur als Outline-Stichworte:**
|
||
- [[kap02-satz]] Z. 55: "Funktion vs. Operation" als Programmpunkt.
|
||
- [[expose-hp-schuett-old]] Z. 256: "Wahrheitsfunktion vs. Wahrheitsoperation" als Kap.-5-Stichwort.
|
||
- [[expose-hp-schuett]] Kap. 5 Roadmap (sehr knapp):
|
||
- "Elementarsatz Wahrheitsfunktion seiner selbst."
|
||
- "Wahrheitsoperation als Anwendung der Wahrheitsfunktionen auf die Elementarsätze."
|
||
- "Wahrheitsoperation als nicht materielle Regel zur Erzeugung eines Satzes aus einem anderen Satz in Satzgefügen."
|
||
- "Reduzierbarkeit der Wahrheitsfunktion aller Sätze auf die Wahrheitsfunktionen der Elementarsätze."
|
||
- "Logischer Schluss als Zeichenoperation (geometrische / mechanische Herleitung)."
|
||
|
||
**Keine ausgearbeiteten Texte.**
|
||
|
||
## Wittgensteins Begriffe (ABH)
|
||
|
||
### Funktion
|
||
- Vor allem aus Frege-Russell-Tradition. Funktion-Argument-Struktur als Satzbau.
|
||
- 3.318 "Den Satz fasse ich – wie Frege und Russell – als Funktion der in ihm enthaltenen Ausdrücke auf."
|
||
- 4.126 "Funktion" als ein "formaler Begriff".
|
||
- 5.25/5.251 "Operation ≠ Funktion. Eine Funktion kann nicht ihr eigenes Argument sein, wohl aber das Resultat einer Operation ihre eigene Basis."
|
||
|
||
### Operation
|
||
- 5.21 ff: Operation als Anwendung einer Form auf Sätze.
|
||
- **5.2521**: "Operation ist das, was geschehen muss, um aus dem einen Satz den anderen zu machen."
|
||
- 5.252 — nur Operationen können progressiv iterieren ("Stamm und Operation").
|
||
- 5.253 — Operation kann Wirkung anderer Operation aufheben.
|
||
- 5.254 — Operation kann verschwinden (z.B. Negation in ~~p).
|
||
|
||
### Wahrheitsfunktion
|
||
- 5 "Der Satz ist eine Wahrheitsfunktion der Elementarsätze."
|
||
- 5.01 — Elementarsätze sind Wahrheitsargumente.
|
||
- 5.234 ff — Wahrheitsfunktionen als Resultate von Operationen.
|
||
|
||
### Wahrheitsoperation
|
||
- 5.234 — Wahrheitsfunktionen entstehen durch Wahrheitsoperationen aus Elementarsätzen.
|
||
- 5.3 — Wahrheitsoperationen sind die Operationen, die aus Elementarsätzen Wahrheitsfunktionen erzeugen.
|
||
|
||
### Allgemeine Form
|
||
- **6** — "Die allgemeine Form der Wahrheitsfunktion ist: [p̄, ξ̄, N(ξ̄)]"
|
||
- 6.001 — die N-Operation (gemeinsame Verneinung) ist die einzige nötige Operation.
|
||
|
||
## Wittgensteins Pointe
|
||
|
||
- **Funktion = wesentlich begrifflich**: ein Argument-Schema mit fixer Stelle.
|
||
- **Operation = ein Übergang**: nicht Schema, sondern Verfahren der Erzeugung.
|
||
- **Anti-Frege/Russell**: Funktion allein reicht nicht — der Satz entsteht durch Operation, nicht durch Funktionsanwendung.
|
||
- **Reduktion**: alle Sätze als Resultat der N-Operation auf Elementarsätzen.
|
||
- **"Keine logischen Gegenstände"** (5.4): Verneinung, "und", "oder" sind keine Gegenstände, sondern Resultate von Operationen.
|
||
|
||
## Programmatik fürs Buch
|
||
|
||
Nach [[expose-hp-schuett]] Kap. 5:
|
||
- Anti-Frege-Argument: **Kritik an der Theorie Freges von der Bedeutung der Sätze und Funktionen**.
|
||
- Reduzierbarkeit der Wahrheitsfunktion aller Sätze auf die der Elementarsätze.
|
||
- Wahrheitsoperation als **nicht-materielle Regel**.
|
||
- Verbindung zur **Mathematik** ([[mathematik-cantor-goedel]]): Gleichung als Substitutionsoperation.
|
||
- Logischer Schluss als Zeichenoperation — "geometrische / mechanische Herleitung".
|
||
|
||
## Stellen im Pool
|
||
|
||
- [[expose-hp-schuett]] Z. 504-525, 535-555, 587-599.
|
||
- [[expose-hp-schuett-old]] Z. 256 (Outline).
|
||
- [[kap02-satz]] Z. 55 (Outline).
|
||
- [[chat-claude-03-projektübersicht]] Kap. 4 erwähnt Schlussregeln.
|
||
|
||
## Sekundärliteratur
|
||
|
||
- **Anscombe** Kap. 7 "Wittgenstein, Frege and Ramsey" — direkt für Funktions-Diskussion.
|
||
- **Anscombe** Kap. 8 "Operations" — **vermutlich der dichteste Anker** für dieses Thema. In `literatur/anscombe-introduction.md` verfügbar.
|
||
- **Anscombe** Kap. 9 "Formal Concepts and Formal Series" — Reihen / Iteration.
|
||
- **Anscombe** Kap. 10 "The General Form of Proposition" — Allgemeine Satzform (6).
|
||
- **Kenny** Kap. "The Criticism of Principia" — direkt zum Frege/Russell-Verhältnis.
|
||
- **Frege**: Funktion und Begriff (1891).
|
||
- **Russell**: Principles of Mathematics (1903).
|
||
|
||
## Anschlussstellen im Buch
|
||
|
||
- **Kap. 4 (Kalkül & Mathematik)**: Wahrheitsoperation als Zeichenoperation; Reduktion der Mathematik auf Tautologien; Gleichung als Substitution.
|
||
- **Kap. 2/3 (Satz/Sprache)**: Frege-Kritik bei der Bedeutungsfrage.
|
||
- **Kap. 5 (Grenzen)**: "Keine logischen Gegenstände" als Folge.
|
||
|
||
## Risiken / Schwierigkeit
|
||
|
||
- Sehr technisches Material. **Stil-Bruch zu "Abiturient lesbar"** droht.
|
||
- Frege/Russell-Vergleich muss präzise sein.
|
||
- Allgemeine Form der Wahrheitsfunktion (Satz 6) ist berüchtigt schwer.
|
||
|
||
## Offene Arbeitsfragen
|
||
|
||
- Wie das Verhältnis Funktion/Operation in **einem** klaren Bild zeigen?
|
||
- Welche Alltagsbeispiele tragen hier? (Brendel-Cluster reicht nicht — braucht Operations-Beispiel.)
|
||
- Was sagt Anscombe Kap. 8 genau dazu? → Lesen.
|
||
- Wie viel Mathematik-Notation kann der Haupttext vertragen?
|
||
- "Geometrische / mechanische Herleitung" — was meint W. konkret? (Beziehung zu Substitutionsmethode in 6.2 ff.)
|
||
|
||
## Verwandte Topics
|
||
[[satz-und-satzzeichen]] · [[mathematik-cantor-goedel]] · [[russell-und-frege-kritik]] · [[form]] · [[logischer-raum]] · [[bildtheorie]]
|