Archiv der Kategorie: Logik

Widerspruchsfreiheit

Durch Kommentare von Jörg und Roderich ist mir aufgefallen, dass ich den Begriff “abgeschlossenes System” bisher unbewusst mehrdeutig verwendet habe, und möchte daher an dieser Stelle meine Begriffsverwendung für mich und meine Leser präzisieren. Auf Wikipedia liest man über den … Weiterlesen

Veröffentlicht unter Logik | 16 Kommentare

Das Scheinwiderspruchs-Prinzip

Schneller als ich dachte bin ich an dem Punkt angelangt, an dem ich dem universalen binären Prinzip ein ergänzendes Prinzip zur Seite stellen kann: Ich nenne es das Scheinwiderspruchs-Prinzip. Formal würde ich es folgendermaßen formulieren: ∀ a: |{b: a ⇒ … Weiterlesen

Veröffentlicht unter Logik | 21 Kommentare

Das binäre Prinzip

Das Prinzip, das das abendländische Denken meinem jetzigen Kenntnisstand nach am weitestgehenden und folgenreichsten geprägt hat, kann folgendermaßen notiert werden: a ∨ ¬ a = 1 Es handelt sich um eine aussagenlogische Formel, die besagt, dass für jede Aussage a … Weiterlesen

Veröffentlicht unter Logik | 13 Kommentare