wahrheitswert
61Entscheidbarkeit — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat… …
62Entscheidungsproblem — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat… …
63Interpretation (Logik) — Eine Interpretation (von lat. interpretatio: Auslegung, Erklärung, Deutung) im Sinn der mathematischen Logik ordnet allen zunächst bedeutungslosen oder unbestimmten Ausdrücken einer formalen Sprache einen konkreten Wert zu. Dadurch erhält die… …
64Intuitionistische Logik — Der Intuitionismus (eine Art des Konstruktivismus) ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als freie, rein intuitive Tätigkeit des exakten Denkens angesehen wird und die den… …
65Intuitionistische Mathematik — Der Intuitionismus (eine Art des Konstruktivismus) ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als freie, rein intuitive Tätigkeit des exakten Denkens angesehen wird und die den… …
66Klassische Logik — Unter der klassischen Logik versteht man ein logisches System, das die Aussagen , die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den Identitätsbegriff enthält. Eine erste Axiomatisierung eines solchen Systems hat Gottlob Frege …
67Logischer Operator — Ein Logischer Operator ist eine Funktion, die einen Wahrheitswert liefert. Bei der zweiwertigen, booleschen Logik liefert er also wahr oder falsch, bei einer mehrwertigen Logik können auch entsprechend andere Werte geliefert werden. Logische… …
68Modell — eines Maikäfers, Größe ca. 40 cm, Museum für Naturkunde Berlin Ein Modell ist ein beschränktes Abbild der Wirklichkeit. Nach Herbert Stachowiak (Allgemeine Modelltheorie, 1973, S. 131 133, s. Lit.) ist es durch mindestens drei Merkmale… …
69Prädikatssymbol — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite, Abschnitt Überarbeitungsbedarf (war: Überschneidung mit Quantor) angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung …
70Realismus (Philosophie) — Der Begriff Realismus umfasst eine Vielzahl philosophischer Positionen, nach denen vom menschlichen Bewusstsein unabhängige Phänomene existieren, die auf uns einwirken und die wir sprachlich bezeichnen können. Dabei werden realistische Thesen… …
