Proč jsou některé tautologie zajímavé a jiné nikoli?

Ayer to připisuje tomu, že některé výroky prostě překračují jistou hranici toho, co může být umězenému rozumu jasné, i když samy o sobě jasné jsou. Celý anglický originál je tady.

But can we really allow that these theorems which fill so many books serve no other purpose than to say in a round about fashion „A =A“? (...) The true explanation is very simple. The power of logic and mathematics to surprise us depends, like their usefulness, on the imitations of our reason. A being whose intellect was infinitely powerful would take no interest in logic and mathematics. For he would be able to see at a glance everything that his definitions implied, and, accordingly, could never learn anything from logical inference which he was not fully conscious of already. But our intellects are not of this order. It is only a minute proportion of the consequences of our definitions that we are able to detect at a glance. Even so simple a tautology as „91 x 79 = 7189“ is beyond the scope of our immediate apprehension. To assure ourselves that „7189“ is synonymous with „91 x 79“ we have to resort to calculation, which is simply a process of tautological transformation that is, a process by which we change the form of expressions without altering their significance.

A. J. Ayer – Language, Truth and Logic

Ale můžeme skutečně připustit, že tyto teorémy, které naplňují tolik knih, neslouží žádnému jinému účelu, než oklikou říkat „A = A“? (...) Skutečné vysvětlení je velice jednoduché. To, že nás logika a matematika dokáží překvapovat, stejně tak jako jejich užitečnost, vychází z omezení našeho rozumu. Bytost, jejíž intelekt by měl nekonečnou moc, by se o logiku a matematiku nezajímala. Byla by totiž schopna jediným pohledem obsáhnout všechny důsledky svých definic, a nemohla by se tudíž z logických odvození nikdy dozvědět nic, co by si už plně neuvědomovala. Ale naše intelekty nejsou tohoto řádu. Jediným pohledem jsme schopni zjistit jenom mizivou část důsledků našich definic. I tak jednoduchá tautologie jako „91 x 79 = 7189“ hranice našeho bezprostředního nahlédnutí přesahuje. Abychom se ujistili, že „7189“ je synonymní s „91 x 79“, musíme se pustit do počítání, které je prostě procesem tautologické transformace – tj. procesem, při němž měníme formu výrazu, aniž bychom měnili jeho význam.

A. J. Ayer – Jazyk, pravda a logika