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í
