Beste svaret
Noen spurte meg en gang: «Hva er motsatt av» Hvorfor? «», Og jeg svarte, «» Fordi . ”
“ Nei, ”sa han,“ det er Hvorfor ikke? ”
Jeg var kjedelig over hvor riktig det var – hele denne tiden tenkte jeg” fordi ” var motsatt av “hvorfor?”, men egentlig er det svaret på ordet.
Det er det jeg liker med dette spørsmålet: det tvang meg til å se på begrepet “tiltrekke” på en helt ny måte. I stedet for å liste antonymer – «frastøte», «avsky», «frastøting» osv. – fikk jeg tenke på forholdet mellom «distraksjon» og «tiltrekning»:
- begge er tilstander av tenk hvor oppmerksomheten din er opptatt på en bestemt måte å bli tvunget av noe, enten det er attraktivt eller opprørende, bruker den samme energien og kreftene til observasjon;
- ting som tiltrekker deg og ting som avskyr dere, kan begge være distraherende, men med veldig forskjellige resultater: det første trekker deg nærmere noe, mens sistnevnte skremmer deg til å slå en forhastet retrett.
Takk for dette tankevekkende spørsmålet!
Svar
Din definisjon av «litt tid» ser ut til å være lik den som til slutt operatøren i (lineair) tidslogikk. Så gitt en hendelse \ phi at det skjedde en stund, uttrykt som \ diamondsuit \ phi, så er negasjonen \ lnot \ diamondsuit \ phi. Sistnevnte er lik \ kvadrat \ lnot \ phi, som tolkes som aldri.
Oppdatering: antonymet til alltid, uttrykt som \ kvadrat \ psi er \ lnot \ kvadrat \ psi. Sistnevnte er lik \ diamondsuit \ lnot \ psi. Konkret eksempel: la \ psi være et kast av en mynt som resulterer i hoder. Da betyr \ diamondsuit \ lnot \ psi at du kaster hoder akkurat nå, og muligens flere påfølgende kast også, men at det i det minste er et kast i fremtiden som ikke resulterer i hoder.
Oppdatering 2: en øvelse, hvis du definerer \ phi som et kast som resulterer i haler, så \ phi = \ lnot \ psi. Hva er antonymet til \ diamondsuit \ phi uttrykt som \ psi?
Se http://en.wikipedia.org/wiki/Linear\_temporal\_logic for mer om disse logiske operatorene.