Epistemology of logic during a walk

Scroll for English

Es gibt unendlich viele Systeme der Logik. Manche sind redundant und uninteressant.

Notorischerweise gilt das etwa vom System, das aus der Regel besteht, aus p lasse sich p&p folgern, sowie aus einer Prämisse: Sagen wir pv~p. Dieses System lässt zum Überdruss Konkatenationen des principium exclusi tertii generieren. Man hat das Gefühl, es zu gut zu kennen.

Was eine Logik interessant macht, sind die Blicke, die sie hinter die langweilige Sichtblende erlaubt.

Deshalb glaube ich, dass die Universale Logik zum Teil Pragmatik sein soll.

Enough with scrolling

There are infinitely many systems of logic. Some are redundant and uninteresting like the one that consists of the rule of inference: p entails p&p, and of exactly one premise; say pv~p. This system generates concatenations of the Principle of Excluded Middle ad nauseam.

Others are thrilling… Why is that so? I suppose because with them you can discover something behind the boredom.

A Universal Logic has to be partly pragmatics.

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s