Do A ∈{A1, A2, ... An} ?
Although in this case, I don't think there's any harm to come from doing more than one of A1 through An; wouldn't "at least one" work better?
I got that usage of 'XOR' from one of Pinker's books I believe. But given my utilitarianism, I'm postponing my knowledge so that those who suffer mohammed-level pain stop experiencing it, and using simple 'OR'
Meta-Proposal of which this entry is a subset:
The Shortcut Reading Series is a series of less wrong posts that should say what are the minimal readings, as opposed to the normal curriculum, that one ought to read to grasp most of the state of the art conceptions of humans about a particular topic. Time is finite, there is only so much one person can read and thus we need to find the geodesic path to epistemic enlightenment and show it to Less Wrong readers.
Exemplar:
“How not to be a Naïve Computationalist”, the Shortcut Reading Series post in philosophy of mind and language:
This post’s raison d’etre is to be a guide for the minimal amount of philosophy of language and mind necessary for someone who ends up thinking the world and the mind are computable (such as Tegmark, Yudkowsky, Hofstadter, Dennett and many of yourselves) The desired feature which they have achieved, and you soon will, is to be able to state reasons, debugg opponents and understand different paradigms, as opposed to just thinking that it’s 0 and 1’s all the way down and not being able to say why.
This post is not about Continental/Historical Philosophy, about that there have been recommendations in http://lesswrong.com/lw/3gu/the_best_textbooks_on_every_subject/
The order is designed.
What is sine qua non, absolutely necessary, is in bold and OR means you only have to read one, the second one being more awesome and complex.
Language and Mind:
What you cannot find here you probably will on Google or Library.nu (if anyone has a link to Beyond Belief (EDIT: Found it!), post it, it is the only hard to find one)
Congratulations, you are now officially free from the Naïve philosophical computationalism that underlies part of the Less Wrong Community. Your computationalism is now wise and well informed.
Feel free now to delve into some interesting computational proposals such as
Dealing with complexity is an inefficient and unnecessary waste of time, attention and mental energy. There is never any justification for things being complex when they could be simple. - Edward de Bono
There are many realms and domains in which the quote above should not be praised. But I think I have all philosophy majors with me when I say that there must be a simpler way to get to the knowledge level we reach upon graduation.
Finally, having wasted substantial amounts of time reading those parts that should not be read of philosophy, and not intending to do the same mistake in other areas, I ask you to publish a selection of readings in your area of expertise, The Sequences are a major rationality shortcut, and we need more of that kind.