Hey, I was wondering if anyone here was interested in Lojban at all. It's a constructed language, and its grammar is based on predicate logic. It was designed to be logical and unambiguous, and it was made partly to test the Sapir-Whorf hypothesis of linguistics, which says that the nature of a language affects the thought patterns of the speakers of the language. If it is true, then learning to think in Lojban could help people think in logic better.

I'm in the process of learning it, but none of my friends are, so it's a little tricky finding people to practice with.

If you want to read about it more, you can go to www.lojban.org