Diskussion:Kontingenz (Logik)

?!?

Das verstehen Leute, die eh schon wissen worum es geht. Sonst niemand. Bitte um Erbarmen! -- Ront 00:07, 14. Mär. 2010 (CET)

Naja, das Problem ist, dass sich Begriffe der formalen Logik im Grunde genommen auch nur streng formal erklären lassen. Man beschreibt ja keinen Gegenstand oder Ähnliches an Hand seiner prägnantesten Eigenschaften sondern ein nach einem rein formalen System definiertes Gedankenkonstrukt. Im zweiten Absatz heißt es: "Eine Neutralität ist ein logischer Ausdruck, der erfüllbar, aber nicht allgemein gültig ist." Meiner Meinung nach geht es nicht viel verständlicher. Es sei denn man findet ein anschauliches Beispiel. --stfn 23:59, 25. Mai 2010 (CEST)

Habs mal ein bisschen überarbeitet, die Sätze neu sortiert, ein paar Begriffe abgeändert und ein paar Links gesetzt. Ich hoffe es ist jetzt verständlicher. --stfn 00:17, 26. Mai 2010 (CEST)

Hallo Stefan, jetzt ist es viel besser, danke! Ich glaube für nicht formal geschulte Menschen ist es immer schwierig, wenn formale Definitionen, die den Anspruch auf vollständige und unzweideutige Darstellung haben, alleine stehen gelassen werden. Mit den von Dir beigefügten Sätzen kann man nun sogar verstehen, was der ursprüngliche Satz sagen will. --Ront 14:50, 29. Mai 2010 (CEST)

Prima, das freut mich! Wär trotzdem gut, wenn noch mal ein Experte drübergehen würde (von wegen Richtigkeit und Vollständigkeit), ich hab ja nur mit Online-Quellen gearbeitet. --stfn 14:53, 29. Mai 2010 (CEST)

Beispiel

Ein Beispiel aus der Aussagenlogik mit einer Wahrheitstabelle wäre vielleicht hilfreich. Ich bin leider nicht im Tabellenanlegen auf Wikipedia bewandert, aber eine einfache Neutralität wäre eigentlich schon ein atomarer Ausdruck mit einer Variable. Als Gegenbeispiele könnte man eine einfache Tautologie (beispielsweise $A\vee \neg A$, sprich "A ODER nicht A") und eine einfache Kontradiktion (beispielsweise $A\wedge \neg A$, sprich "A UND nicht A") aufzeigen. Auch Beispiele mit mehreren Variablen wären denkbar um zu zeigen, dass dies keine Sonderfälle sind. Keine Ahnung ob das hilfreich oder eher verwirrend wäre.--stfn 02:20, 26. Mai 2010 (CEST)

Neutralität vs Kontingenz

ist der Begriff Neutralität wirklich so verbreitet? Mir ist eigentlich immer (entsprechend den recht klassischen Begriffen Tautologie und Kontradiktion) der Begriff Kontingenz begegnet, siehe auch meine Einzelnachweise. Außerdem besteht meiner Meinung nach Verwechslungsgefahr mit dem neutralen Element der Algebra. Betrachtet man Aussagenlogik als Algebra, wäre wahr das neutrale Element vom logischen UND (X ∧ wahr <=> X für alle Ausdrücke X) und falsch das neutrale Element vom logischen ODER (X ∨ falsch <=> X für alle Ausdrücke X), vgl. auch Aussagenlogik: Algebraische Sicht.--stfn 15:01, 26. Mai 2010 (CEST)

habe den Artikel nach Kontingenz (Logik) verschoben. --stfn 16:24, 7. Jun. 2010 (CEST)

Modallogik

Zu ergänzen wäre noch die Definition aus der Modallogik. --stfn 15:55, 29. Mai 2010 (CEST)