In this talk I will give an introduction to combinatorial proofs, explain the motivation behind, and discuss what it means for a proof to be "without syntax". The main emphasis will be on combinatorial proofs for classical and intuitionistic propositional logic.