Theoretische Philosophie 3

Charakterisierung formaler Symbole unabhängig davon,
für was sie stehen.
Repräsentationshypothese:
– inhaltliche Interpretation mentaler Zustände,
– (eingeschränkte) Erfassbarkeit dieses Gehalts
durch formale Algorithmen.
Beispiel: Erhaltung der Wahrheit von Aussagen durch die
Regeln der Aussagenlogik.
Modus ponens: (p → q) ∧ p => q.
Die Anwendung syntaktischer Regeln erlaubt die Bildung
von wahren Aussagen aus wahren Aussagen.
Angebbarkeit von Algorithmen, die inhaltliche oder semantische
Beziehungen zwischen Interpretationen der
formalen Symbole respektieren.