Werbung
 Übersetzung für 'Schließens' von Deutsch nach Englisch
natural deduction calculusKalkül {n} des natürlichen Schließens <KdnS>
natural deduction systems Systeme {pl} des natürlichen Schließens [Logikkalkül]
2 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Anwendungsbeispiele Deutsch
  • Nach Hume ist es also problematisch von mehreren Beobachtungen auf die Gültigkeit eines induktiven Schließens folgern zu wollen.
  • Axiomfreie Kalküle sind zum Beispiel die Systeme natürlichen Schließens oder Baumkalküle.
  • 1934 präsentiert Gerhard Gentzen sein System des natürlichen Schließens und den Sequenzenkalkül.
  • Auf dem Deduktionstheorem beruhen unter anderem die Kalküle des natürlichen Schließens.
  • Galitsch behandelte in seinen Vorlesungen nicht nur die klassischen syllogistischen Schlussformen, sondern auch Probleme induktiven und analogen Schließens.

  • Im Einzelnen handelt es sich um die Sequenzenkalküle LJ und LK, die Systeme des natürlichen Schließens NJ und NK (J ist jeweils der intuitionistische und K der klassische Kalkül), die Bethschen Baumkalküle (Tableaux) und die Dialogische Logik.
  • Dieser Zusammenhang ist im Kalkül des natürlichen Schließens auch als Negationseinführung bekannt.
  • Drei Arten des logischen Schließens werden unterschieden: Deduktion, Induktion und Abduktion.
  • Der Fokus auf Schlussregeln anstelle von Axiomschemata ist ein wichtiges Merkmal des natürlichen Schließens.
  • Auch in Disjunktiven Syllogismus sind Fehlschlüsse im Sinne einer "Erschleichung" möglich, bei der das Verhältnis zwischen dem Mittelbegriff und den anderen Begriffen bei näherer Betrachtung nicht den Anforderungen des syllogistischen Schließens genügt.

  • Für einen Kalkül des natürlichen Schließens für die Prädikatenlogik sind zusätzliche Einführungs- und Beseitigungsregeln für die Quantoren erforderlich.
  • An Enquiry into Relevance and Validity“ hat Hartmann eine philosophisch begründete Semantik für die Relevanzlogik entwickelt und deren formale Umsetzung in Kalkülen des natürlichen Schließens dargelegt.
  • Das begründete Urteil hielt Rutkowski für den wichtigsten Bestandteil des Schließens, weil sein Wesen gerade in der Entscheidung besteht, ob es gerechtfertigt ist, ein Urteil aufgrund eines anderen Urteils zu fällen.
  • Im Gegensatz dazu stehen Systeme des Natürlichen Schließens, unter anderem das von Gentzen entwickelte System oder der Fitch-Kalkül.
  • Jahrhundert haben Theoretiker, wie Hans Reichenbach und Rudolf Carnap, versucht, formal exakte Theorien des induktiven Schließens zu entwickeln.

  • Kalküle des natürlichen Schließens umfassen üblicherweise eine größere Zahl von Schlussregeln; für weitere Beispiele üblicher Schlussregeln siehe daher den Artikel Systeme natürlichen Schließens.
  • Wir bezeichnen im Folgenden wie üblich die Ableitbarkeitsrelation des zugrundegelegten logischen Kalküls (Sequenzenkalkül, Kalkül des natürlichen Schließens) mit [...]; sei [...] die zugehörige Inferenzoperation, die also jeder Menge M von Axiomen die zugehörige "Theorie" [...] zuordnet.
Werbung
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!