We want to make sure that something like the Cambridge Analytica scandal cannot happen again. We should not cut down our AI applications, but improve on them and use them for what they are meant for: not to replace us, but to help us.
Schlagwort: Logik
Logicalytica.
4 xor 2.
"I'm afraid," he said at last, "that the Question and the Answer are mutually exclusive. Knowledge of one logically precludes knowledge of the other. It is impossible that both can ever be known about the same universe."
Douglas Adams: Life, the Universe and Everything
It might be a class, but not the whole.
The set of all people who are confused by set theory might confuse them.
Formalities.
Expect lots of weird symbols and stuff, as the project is on formal logic. 😉
Puzzlogicollecting.
A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these
serve much the same purpose as is served by experiments in physical science.