Graduate school to match interest in AI and Symbolic Logic?

<p>I'm currently an undergrad at RPI dual majoring in Computer Science and Cognitive Science, with a minor in Math. I've developed a passion for AI, symbolic logic, and algorithm study (I like theory), perhaps going in the direction of "Logic and Computation" or Philosophy during grad school. I also enjoy writing proofs (pure math ftw). I'm posting this to get suggestions for which colleges I should apply to for graduate school</p>

<p>Obviously you’re probably aware of Rutgers and NYU.</p>

<p>Other choices of excellence are UChicago, UCBerke, Cornell, Penn State, and UT.</p>

<p>Above all these of course, are the ivies (one of the greatest selling points of the ivies is their graduate pure math and phys courses).</p>

<p>Meh, I don’t know about ivies. The best school for philosophy and logic are actually predominantly research heavy state schools or nice private schools.
Carnegie Melon has a philosophy and computation program. It is really hardcore. Last year, they accepted two students. U of Pittsburgh has a good program too, but it is really cut throat.</p>