Generalisierung (Logik)

Generalisierung (Logik)

Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet

  • in der Logik und Wissenschaftstheorie die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion)
  • auch das Resultat einer Generalisierung (Gattungsbegriffe, Urteile oder Gesetze)
  • in der Logik auch die Verallgemeinerung einer Aussageform durch einen Allquantor





Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Generalisierung (Psychologie) — Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet in der Logik und Wissenschaftstheorie die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion) auch das… …   Deutsch Wikipedia

  • Generalisierung — Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet in der Logik und Wissenschaftstheorie für die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion) in der Logik …   Deutsch Wikipedia

  • Generalisierung — Ge|ne|ra|li|sie|rung 〈f. 20〉 Verallgemeinerung, Vereinfachung ● sich nur in Generalisierungen ergehen * * * Ge|ne|ra|li|sie|rung, die; , en (bildungsspr.): das Generalisieren; Verallgemeinerung: vor en sollte man sich hüten. * * * Generalisierung …   Universal-Lexikon

  • Substitution (Logik) — Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden: das Substituendum (lat: „das zu Ersetzende“): der Ausdruck …   Deutsch Wikipedia

  • Polykontexturale Logik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… …   Deutsch Wikipedia

  • Generalisieren — Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet in der Logik und Wissenschaftstheorie die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion) auch das… …   Deutsch Wikipedia

  • Generalisiert — Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet in der Logik und Wissenschaftstheorie die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion) auch das… …   Deutsch Wikipedia

  • Verallgemeinerung — Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet in der Logik und Wissenschaftstheorie die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion) auch das… …   Deutsch Wikipedia

  • Typinferenz nach Hindley-Milner — Hindley Milner (HM) ist ein klassisches Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda Kalkül. Es wurde erstmals von J. Roger Hindley[1] beschrieben und später von Robin Milner[2] wiederentdeckt. Luis Damas trug eine… …   Deutsch Wikipedia

  • Güntherlogik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”