„Aussageschema“ – Versionsunterschied
| [ungesichtete Version] | [ungesichtete Version] |
Die Seite wurde neu angelegt: „<p>Der Ausdruck '''Aussageschema''' (auch: Aussagenschema; Plural: Aussageschemata) wird zum Teil als [https://de.wikipedia.org/wiki/Synonymie Synonym] für den Ausdruck [https://de.wikipedia.org/wiki/Aussageform Aussageform] verwendet, ist aber spezifisch ein Begriff der [https://de.wikipedia.org/wiki/Aussagenlogik Aussagenlogik] und bedeutet einen Ausdruck, der [https://de.wikipedia.org/wiki/Variable_(Logik) Aussagenvariablen] oder Variablen für [https…“ |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
[[Aussage]]{{–}}[[Schema]] {{agrie.-dt.}} '[[Aussageform]]' | |||
Der Ausdruck '''Aussageschema''' (auch: Aussagenschema; Plural: Aussageschemata) wird zum Teil als [[Synonymie|Synonym]] für den Ausdruck [[Aussageform]] verwendet, ist aber spezifisch ein Begriff der [[Aussagenlogik]] und bedeutet einen Ausdruck, der [[Aussagenvariable|Aussagenvariablen]] oder [[Logikvariablen|Variablen]] für [[aussagenlogische Formeln]] enthält und der in eine Aussage übergeht, wenn man diese Variablen durch beliebige Aussagen ersetzt.<p>Das Aussageschema ist strikt von den in ihm vorkommenden [[Aussagevariablen]] zu unterscheiden.0<ref><span class="reference-text">Lorenzen, Formale Logik, 4. Aufl. (1970), S. 32 f.</span></ref></p><p>In der [[Aussagenlogik]] ist ein Aussageschema [[syntaktisch]] gleich gebaut wie eine [[Logikaussage|logische Aussage]]:</p><p>Per [[Induktion (Philosophie)|Induktion]] über den Aufbau unterscheidet man</p> | |||
#Manchmal findet man in der Literatur, dass in der Definition der Syntax zur Bildung des Aussageschemas nur eine Teilmenge der [ | *''[[Atomarformeln|atomare Formeln]]'' (atomare Aussageschemata): Diese sind [[Aussagenvariablen]] (x,y,...), deren Wahrheitswert möglicherweise nicht bekannt ist. | ||
*''[[zusammengesetzte Formeln]]'' ([[zusammengesetzte Aussageschemata]]): Sind 𝑝, 𝑞 Formeln, so auch ¬𝑝,𝑝 ⋁ 𝑞, 𝑝 ⋀ 𝑞, 𝑝 → 𝑞, 𝑝 ↔︎ 𝑞, | |||
#Manchmal werden bei den atomaren Aussageschemata auch die Wahrheitswerte ⊤ (wahr) und ⊥ (falsch) zugelassen. | |||
#Manchmal findet man in der Literatur, dass in der Definition der Syntax zur Bildung des Aussageschemas nur eine Teilmenge der [[Junktoren]] ¬, ⋁, ⋀, →, ↔︎ zugelassen ist, darunter auf jeden Fall ¬. Die übrigen Junktoren werden dann meistens aus diesen abgeleitet und als Abkürzung gewertet. | |||
#Durch die Belegung aller freien Variablen wird aus dem Aussageschema eine logische Aussage. | #Durch die Belegung aller freien Variablen wird aus dem Aussageschema eine logische Aussage. | ||
<div class="mw-heading mw-heading2"> | <div class="mw-heading mw-heading2"> | ||
| Zeile 12: | Zeile 14: | ||
*Spies, Einführung in die Logik (2004), S. 15 | *Spies, Einführung in die Logik (2004), S. 15 | ||
*Detel, Grundkurs Philosophie I: Logik (2007), S. 70 | *Detel, Grundkurs Philosophie I: Logik (2007), S. 70 | ||
{{Anmrkng Enzlnchws}} | |||
Version vom 16. August 2024, 11:22 Uhr
Aussage–Schema Vorlage:agrie.-dt. 'Aussageform'
Der Ausdruck Aussageschema (auch: Aussagenschema; Plural: Aussageschemata) wird zum Teil als Synonym für den Ausdruck Aussageform verwendet, ist aber spezifisch ein Begriff der Aussagenlogik und bedeutet einen Ausdruck, der Aussagenvariablen oder Variablen für aussagenlogische Formeln enthält und der in eine Aussage übergeht, wenn man diese Variablen durch beliebige Aussagen ersetzt.
Das Aussageschema ist strikt von den in ihm vorkommenden Aussagevariablen zu unterscheiden.0[1]
In der Aussagenlogik ist ein Aussageschema syntaktisch gleich gebaut wie eine logische Aussage:
Per Induktion über den Aufbau unterscheidet man
- atomare Formeln (atomare Aussageschemata): Diese sind Aussagenvariablen (x,y,...), deren Wahrheitswert möglicherweise nicht bekannt ist.
- zusammengesetzte Formeln (zusammengesetzte Aussageschemata): Sind 𝑝, 𝑞 Formeln, so auch ¬𝑝,𝑝 ⋁ 𝑞, 𝑝 ⋀ 𝑞, 𝑝 → 𝑞, 𝑝 ↔︎ 𝑞,
- Manchmal werden bei den atomaren Aussageschemata auch die Wahrheitswerte ⊤ (wahr) und ⊥ (falsch) zugelassen.
- Manchmal findet man in der Literatur, dass in der Definition der Syntax zur Bildung des Aussageschemas nur eine Teilmenge der Junktoren ¬, ⋁, ⋀, →, ↔︎ zugelassen ist, darunter auf jeden Fall ¬. Die übrigen Junktoren werden dann meistens aus diesen abgeleitet und als Abkürzung gewertet.
- Durch die Belegung aller freien Variablen wird aus dem Aussageschema eine logische Aussage.
Literatur
- Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Aussagenschema
- Spies, Einführung in die Logik (2004), S. 15
- Detel, Grundkurs Philosophie I: Logik (2007), S. 70
Einzelnachweise
- ↑ Lorenzen, Formale Logik, 4. Aufl. (1970), S. 32 f.