lol, imagine what you just described in a state machine. The hypothetical program is billed as an anti-terrorism measure, with a stealth payload to reduce irrational fear of terrorism. Those without the irrational fear will resist program implementation, as will those positively influenced by the program. At best the program would arrive at a fluctuating state of half implementation. This also would only ever be a private effort, as it would completely undermine the goals of the state.
I think the best we can hope for is free, high quality, approachable instruction in propositional logic. Now we only need to get people interested in PL... maybe sponsored product placement of SWI Prolog on daytime TV? :)
Actually, reducing irrational fear of terrorism can reduce incidence of terrorism - as terrorism becomes a less effective tool it will be employed less. "Refuse to be terrorized" isn't a bad meme.
Beyond that, one doesn't need to fear the first-order effects of terrorism in order to support such a program. Fearing damage done by undirected (or maliciously directed) overreaction to terrorism is plenty.
"This also would only ever be a private effort, as it would completely undermine the goals of the state."
I'm not convinced the state is quite that monolithic, but I think this is likely better as a private effort anyway.
I think the best we can hope for is free, high quality, approachable instruction in propositional logic. Now we only need to get people interested in PL... maybe sponsored product placement of SWI Prolog on daytime TV? :)