Beste antwoord
Iemand vroeg me eens: “Wat is het tegenovergestelde van waarom?”, En ik antwoordde: “Omdat .
Nee, zei hij, het is waarom niet?
Ik was stomverbaasd over hoe correct dat was – al die tijd dacht ik omdat was het tegenovergestelde van “waarom?”, maar eigenlijk is het het antwoord op het woord.
Dat is wat ik leuk vind aan deze vraag: het dwong me om op een geheel nieuwe manier naar het concept “aantrekken” te kijken. In plaats van de antoniemen op te sommen – afstoten, afkeer, afstoten, enz. – moest ik nadenken over de relatie tussen afleiding en aantrekkingskracht:
- beide zijn staten van let op waar je aandacht op een specifieke manier in beslag wordt genomen; ook, door iets gedwongen te worden, aantrekkelijk of weerzinwekkend, dezelfde energie en observatiekrachten gebruikt;
- dingen die je aantrekken en dingen die je walgen, kunnen allebei afleiden, maar met heel verschillende resultaten: de eerste brengt je dichter bij iets, terwijl het laatste je doet schrikken om een haastige retraite te verslaan.
Bedankt voor deze tot nadenken stemmende vraag!
Antwoord
Uw definitie van “enige tijd” lijkt gelijk aan de uiteindelijke operator in de (lineaire) temporele logica. Dus gegeven een gebeurtenis \ phi dat er enige tijd plaatsvond, uitgedrukt als \ diamondsuit \ phi, dan is de negatie \ lniet \ diamondsuit \ phi. Dit laatste is gelijk aan \ square \ lnot \ phi, wat wordt geïnterpreteerd als nooit.
Update: het antoniem van always, uitgedrukt als \ square \ psi is \ lnot \ square \ psi. Dit laatste is gelijk aan \ diamondsuit \ lnot \ psi. Concreet voorbeeld: laat \ psi een worp zijn van een munt die resulteert in koppen. Dan betekent \ diamondsuit \ lnot \ psi dat je nu heads gooit, en mogelijk ook meerdere opeenvolgende worpen, maar dat er in de toekomst in ieder geval een worp is die niet leidt tot heads.
Update 2: een oefening, als je \ phi definieert als een worp die resulteert in staarten, dan \ phi = \ lnot \ psi. Wat is het antoniem van \ diamondsuit \ phi uitgedrukt in termen van \ psi?
Zie http://en.wikipedia.org/wiki/Linear\_temporal\_logic voor meer informatie over deze logische operatoren.