I've recently read that Saul Kripke has had a huge impact in philosophy over the last century, especially philosophy of language and "truth". My question is wether reading his works (or studying it through other texts) is something you would recommend to a person with a pure math background and not really used to "philosophical reasoning" (by which I mean that reading through a proof is much much easier than following some deductions in philosophy).
I am very interested in knowing exactly what Kripke has done and why it is important. If you are going to make some recommendations asume I know enough math (Goldblatt's Topoi: The categorial analysis of logic introduces Kripke semantics) and I am at least familiar with some of the history of philosophy of language and logic (Russell, Wittgenstein, ...).
In summary, I want to know if reading his works will be something different than reading a math book on set theory and only leave with the "math" part of it.