1. Introduction  
2. Proof- vs Model-theoretic View of Logic  
3. Logic - Syntax  
4. Logic - Semantics  
5. Structure versus Parameter Learning  
6. Symbolic vs Sub-symbolic Representations  
7. Logic vs Probability vs Neural  
8. Tasks  
9. Open Challenges  