Re: [Philweb] kuzer einwurf

Danke Waldemar, ich erlaube mir zu schreiben, dass du von einem Ideal ausgehst (Ideale sind jederzeit lobenswerte Anregungen), aber die Frage hast du mit einer Ignoratio elenchi belegt, ich wage nicht zu schreiben: mit einem Red Herring (https://de.wikipedia.org/wiki/Red_Herring_(Rhetorik)). Mir fällt ein, auch ein ignoratio elenchi, weil ich mich gerade damit beschäftige: Wie wäre es statt der schwarzen Raben mit: Alle Ideale sind lobenswerte Anregungen. Kontraposition: Nicht lobenswerte Anregungen sind keine Ideale. Noch eine Frage an die Logiker, Mathematiker und Programmierer: Ich vermute, dass zu jedem Satz ein entsprechend programmiertes Computerprogramm alle weiteren logisch daraus folgenden Sätze ausdrucken könnte. Irre ich? Das wären nicht viele. Irre ich? Und zudem wie wäre es analog mit einem mathematischen Satz, einer Formel, einem naturwissenschaftlichen Satz? Wo liegen solche Programme vor? Bei Beantwortung (nicht mit einer ignoratio elenchi) schreibe ich eine interessante Folgerung, das verspreche ich hiermit. Joseph Hipp