TAS for Chomsky

Continuing the thoughts around expressing Chomsky’s ethical opinion regarding US military actions as expressed by the documentary that I watched during 2016-2017 break.

It became obvious that while propositional logic and set theory are comforting languages, they are not the most convenient when operationalizing an ethic. For example, there seem to be a need to distinguish these prescriptive targets: must do, must not do, may do, may not do.

\detokenize{must_do_actions}\subseteq \detokenize{may_do_actions}

\detokenize{must_not_do} = \detokenize{may_not_do}

It seems “may not do” is “not may do” due to common English use even though technically both expression should be subset relation. I.e. “You may not smoke” states “you must not smoke” instead of “you can choose not to smoke.” Although that imprecision is inconsequential to the current discussions.

So in fact the expression can be simplified by including do_not_do_ actions for each action in simple TAS. We must also impose a contemporaneous interpretation to a \in TAS as to mean a is an action viewed at some references moment, ostensibly now. 

Then, the predicate must\_do(a, p1, p2), reads “p1 must do a to p2” is expressed as ethical(a, p1, p2) \land \neg ethical(do\_not\_do\_a, p1, p2). may\_do is simply ethical.

may\_not\_do is \neg ethical
The need to restrict preposition to single moments in time is in retrospect necessary. All preposition can be sub-indexed with reference time: prescriptive proposition ethical_t means it is ethical at time t, while descriptive preposition do_t means something is done at time t. do_w(A,ally, axis) \implies ethical_u(A, axis, ally) \forall{w,u} \in WWII

That’s a mouthful. But at least we can avoid the pitfalls such as the “may not” fiasco we have in English.
(Disclaimer, I watched a thirdprty documentary about Chomsky. Some videoed statements were stitched together and I watched that. doesn’t mean I am writing to explain what he actually said or meant.)

Leave a Reply


WordPress.com Logo


Google photo


Twitter picture


Facebook photo


Connecting to %s