Temporální diskurz a logika

‚in the future‘). Ve významu vět s těmito výrazy by figurovali konstrukce podobné λt‘
[Minulý wt t‘], přičemž proměnná t by byla vázána přední lambdou.
Oněm temporálním vlastnostem okamžiků jsou zcela analogické temporální vlastnosti
intervalů „minulý“, „budoucí“, definice (Minulý (οτ) , Budoucí (οτ) / (ο(οτ)) τω ):
[Minulý (οτ) wt i] ≡ [∀.λt‘ [[i t‘] → [t‘ < t]]]
// λwλt.λi
[Budoucí (οτ) wt i] ≡ [∀.λt‘ [[i t‘] → [t‘ > t]]]
// λwλt.λi
Při uplatnění ≤, ≥ bychom mohli mluvit o intervalech (dobách) dobíhajících, nastávajících.
V případě ‚současná (doba)‘ sice víme, že máme v definiens uvést podmínku [i t], nicméně
bychom měli v konsekventu nějak omezit velikost onoho intervalu, aby k současným
intervalům nebylo řazeno např. naše tisíciletí, či dokonce celá epocha. Jinými slovy, se
slovem ‚současný‘ se váže vágnost ohledně toho, jak velký takový současný interval může
být (a též jaký je poměr okamžiku před a okamžiků po t). Pro ilustraci způsobu, jak s touto
vágností naložit uvažme, že v přítomný okamžik t se „současnost“ týká všech okamžiků (vč.
t) až o 60 menších, dále pochopitelně okamžiku t, a taktéž 40 okamžiků až o 40 větších. Nuže
Současný -60+40(οτ) / (ο(οτ)) τω ; 60, 40 / τ):
[Současný -60+40(οτ) wt i] ≡ [∀.λt‘ [ [i t‘] → [ [t‘ ≥ [t - 60]] ∧ [i t] ∧ [t‘ ≤ [t + 40]] ] ]]
// λwλt.λi
SUBSTANTIVA JAKO PROSTŘEDKY REFERENCE NA TŘÍDY ČASOVÝCH OKAMŽIKŮ
V této sekci letmo prodiskutujeme skupinu temporálních substantiv jako např. ‚den‘ či
‚včera‘. Při snaze o přesnou definici narazíme na obtížné úskalí. To se zakládá na tom, že
nemáme doopravdy pojmenovány prvky reálné osy. Nemůžeme pak říci, že určitý den je
třída okamžiků mezi jistým určitým okamžikem a dalším určitým okamžikem. Z jiného
hlediska téhož: nevíme z přesně kterých jednotlivých časových okamžiků se sestává určitá
vteřina. Na druhou stranu se zdá, jako bychom v přirozeném uvažování takovýmito
přesnými jmény disponovali – každý přece ví, kolik má den hodin, kolik hodina minut atd.,
každý ví, že všechny dny jsou rovnopočetnými třídami okamžiků. Jak už jsme naznačili,
dokud není perfektně interpretována reálná osa (tj. který prvek τ reprezentuje který časový
18