„logisch wahre Formel“ – Versionsunterschied
| [ungesichtete Version] | [ungesichtete Version] |
Die Seite wurde neu angelegt: „logisch wahre Formel {{lat.-dt.}} Abweichend findet sich bei Hans Reichenbach auch ‚logische Formel‘ als Kurzform für ‚logisch wahre Formel‘, also eine notwendig wahre Formel, deren Wahrheit nicht von der Interpretation der nicht-logischen Konstanten abhängig ist (''siehe auch'' Tautologie (Logik)).<ref><span class="reference-text">So wohl Hans Reichenbach, ''Grundzüge…“ |
K Textersetzung - „{{lat.-dt.}}“ durch „Sprachstufe::lat.-deu.“ |
||
| Zeile 1: | Zeile 1: | ||
[[logisch]] [[wahr|wahre]] [[Formel]] | [[logisch]] [[wahr|wahre]] [[Formel]] [[Sprachstufe::lat.-deu.]] | ||
Abweichend findet sich bei [[Hans Reichenbach (Physiker)|Hans Reichenbach]] auch ‚logische Formel‘ als Kurzform für ‚logisch wahre Formel‘, also eine notwendig wahre Formel, deren Wahrheit nicht von der Interpretation der nicht-logischen [[Konstante (Logik)|Konstanten]] abhängig ist (''siehe auch'' [[Tautologie (Logik)]]).<ref><span class="reference-text">So wohl Hans Reichenbach, ''Grundzüge der symbolischen Logik'' (1999), S. 35. Solche Formeln mit nur einer Aussagenvariablen oder -konstanten identifiziert Reichenbach mit den [https://de.wikipedia.org/wiki/Denkgesetze Denkgesetzen] der [https://de.wikipedia.org/wiki/Begriffslogik traditionellen Logik].</span></ref><ref>Q.: [[Logikformel]]</ref> | Abweichend findet sich bei [[Hans Reichenbach (Physiker)|Hans Reichenbach]] auch ‚logische Formel‘ als Kurzform für ‚logisch wahre Formel‘, also eine notwendig wahre Formel, deren Wahrheit nicht von der Interpretation der nicht-logischen [[Konstante (Logik)|Konstanten]] abhängig ist (''siehe auch'' [[Tautologie (Logik)]]).<ref><span class="reference-text">So wohl Hans Reichenbach, ''Grundzüge der symbolischen Logik'' (1999), S. 35. Solche Formeln mit nur einer Aussagenvariablen oder -konstanten identifiziert Reichenbach mit den [https://de.wikipedia.org/wiki/Denkgesetze Denkgesetzen] der [https://de.wikipedia.org/wiki/Begriffslogik traditionellen Logik].</span></ref><ref>Q.: [[Logikformel]]</ref> | ||
{{Anmrkng Enzlnchws}} | {{Anmrkng Enzlnchws}} | ||
Aktuelle Version vom 8. Juni 2025, 06:43 Uhr
logisch wahre Formel lat.-deu.
Abweichend findet sich bei Hans Reichenbach auch ‚logische Formel‘ als Kurzform für ‚logisch wahre Formel‘, also eine notwendig wahre Formel, deren Wahrheit nicht von der Interpretation der nicht-logischen Konstanten abhängig ist (siehe auch Tautologie (Logik)).[1][2]
Einzelnachweise
- ↑ So wohl Hans Reichenbach, Grundzüge der symbolischen Logik (1999), S. 35. Solche Formeln mit nur einer Aussagenvariablen oder -konstanten identifiziert Reichenbach mit den Denkgesetzen der traditionellen Logik.
- ↑ Q.: Logikformel