Ok, danke. Hab auch noch was gelesen und ich sehe das jetzt so: durch unsere natürliche sprache und unser denken haben wir ein gefühl von logik. Versuchen wir Aussagen in unserer Sprache zu mathematisieren, stossen wir immer wieder schnell an grenzen, wie ich meine, oben zu sehen ist. Daher wird ein typischer mathematischer Prozess angestossen, es wird abstrahiert und man geht über zu formalen sprachen. Ein logischer schluss sieht dann etwa so aus:
Alle A sind B. C ist ein A. Also ist C ein B
Die deutschen wörter werden im fortschreitenden abstraktionsprozess noch durch einfache Zeichen ersetzt. Dadurch wird ein bestehender oder evtl fehlender bezug der konklusion zur prämisse offensichtlich. Lg, burki