symbolic logic
"Learning symbolic logic is like learning mathematics or a foreign language because it requires daily practice."
"Speaking of logic, Patrick Weed gave you an entertaining introduction to symbolic logic. Doing serious math or programming without knowing symbolic logic is like deciding to be a writer without knowing basic grammar. No, most writers don't get excited about grammatical details, but they sure do know them well enough to make jokes about those who don't. "

METAMIA is a free database of analogy and metaphor. Anyone can contribute or search. The subject matter can be anything. Science is popular, but poetry is encouraged. The goal is to integrate our fluid muses with the stark literalism of a relational database. Metamia is like a girdle for your muses, a cognitive girdle.