====== Náhodné myšlenky k logice ======

===== Argumenty "tady" a "teď" =====

Bylo by dobré místo w, t zavést speciální argumenty, které by znamenaly tento svět a tento čas.

===== Zrada v procedurálním izomorfismu =====

Pokud připustíme, že XXX je ekvivalentní \w\t [ XXX_w_t ], nepoškodí to nějak manipulaci pomocí funkce substituce?

===== Přejmenovat kontexty užití =====

  - extensionální užití -> primitivní / jednoduché (protože představuje primitivní datové typy)
  - intensionální užití -> komplexní / složené / funkční
  - hyperintensionální užití -> konstrukční / procedurální