Hello. My name is Hunan and I'm a recent graduate from Berkeley with a BA in Philosophy. During the last three years I have had the opportunity to be taught and challenged by some of the very best scholars in the field. My goal in life is to teach philosophy, logic and philosophy of science at a reputable university. My first passion is logic and anything related to it, including analytic or formal philosophy, pure mathematics, theoretical computer science, and theoretical linguistics. My second passion is programming (or coding, as it's now called).
As a tutor, I can help students with logic, philosophy, or programming. My degree is in philosophy, so I have a fair amount of experience with it. I can't help you with ethics or political philosophy, but I can help you with philosophies of mathematics, science, mind, and language. I have been programming for the last 9 years, first with C/C++, then with Scheme, Java, PHP and various, more modern, languages. I've taken a fair amount of logic and logic-related courses and have gotten top grades in them. I have a lot of experience helping friends with their logic courses. The hardest logic course is the first one, often called `elementary' or `symbolic' logic, because it's unfamiliar. A solid understanding of the language and the methods of elementary logic will allow you to move on to some of the more interesting and advanced parts of logic.
Since schools often choose different textbooks and different authors follow different notational conventions, I should mention briefly not the names of books that I'm familiar with, but the logical subjects that I can help you with: (1) propositional or sentential logic, (2) first-order logic (predicates, quantification, identity) (3) propositional modal logic (esp. temporal and epistemic flavors), (4) first-order modal logic, (5) theories of sets (ZFC, NF, ML), relations, functions (combinatory logic, lambda calculus), and types, (6) second-order logic, (7) intuitionistic, provability, and relevance logics, (8) axiomatic systems, and so on. If you're interested in a logical subject I didn't list, just ask me anyway, because the list is incomplete and underspecified.
I'm looking forward to working with you,
back to top