Please help establish the Logic StackExchange! Sign your name to push us into beta. =)
Also, check out the Systems Science Stack Exchange proposal!
Learning Mathematica and Prolog for logic programming. (Ubuntu 12.04LTS)

Philosophy
Q&A for those interested in logical reasoning
Stack Overflow
Q&A for professional and enthusiast programmers
Biology
Q&A for biology researchers, academics, and students
Area 51
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Mathematics
Q&A for people studying math at any level and professionals in related fields
Theoretical Computer Science
Q&A for theoretical computer scientists and researchers in related fields
Physics
Q&A for active researchers, academics and students of physics
English Language & Usage
Q&A for linguists, etymologists, and serious English language enthusiasts
Science Fiction & Fantasy
Q&A for science fiction and fantasy enthusiasts
Personal Productivity
Q&A for people wanting to improve their personal productivity
Russian Language & Usage
Q&A for students, teachers, and linguists wanting to discuss the finer points of the Russian language
Writers
Q&A for authors, editors, reviewers, professional writers, and aspiring writers
Martial Arts
Q&A for students and teachers of all martial arts
Computer Science
Q&A for students, researchers and practitioners of computer science
Ask Patents
Q&A for people interested in improving and participating in the patent system
Academia
Q&A for academics and those enrolled in higher education
Linguistics
Q&A for professional linguists and others with an interest in linguistic research and theory
Cognitive Sciences
Q&A for practitioners, researchers, and students in cognitive science, psychology, neuroscience, and psychiatry