Matematické Fórum

Při řešení předchozího problému jsem se zamyslel, jak vlastně ve formální logice formulovat tvrzení, která odpovídají na otázky různého typu - jako "proč", "jak", apod.

Např. lze chápat svět M jako model nějaké teorie, případně lze s každým prvkem m z M svázat ještě čas a nějakým způsobem popisovat dvojici (m,t) - stav individua m v čase t.
Pak bychom dle mého mohli pomocí nějakých funkcí či predikátů (relací) tvořit funkce odpovídající otázkám typu "kdy?", "co?", "kam?", ..., a predikáty odpovídající otázkám typu "byl? / nastal? / přijel?"...

Ovšem není zřejmé, jak vyjádřit odpovědi na otázku "proč?" a "jak?" (možná i další). Možná je to proto, že na tyto otázky existuje mnoho "typů" odpovědí, kdežto na ostatní nikoli - na otázku "kdy?" odpovídáme v podstatě určením času, na otázku "komu?" odpovídáme určením individua, kterého se otázka týká, apod. kdežto - jak vypadá odvověď na otázku "proč?" a nebo "jak?"

Nevím, zda jsem formuloval problém dost jasně, kdyžtak to doupřesním, pokud budou nějaké negativní ohlasy. Snad celý text nebude působit jako nesmysl...