Náhodné myšlenky k logice

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

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

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