quietlyleaving: thats very true, logic is one of two pillars of mathematics (3 if you count in human imagination; piller two is sets). But what im getting at is that if i should point out resources for someone who wanted to study logic, i would point to great logicians like Boole who formalized logic and created a useull language (boolean algebra), and i would point to mathematicians who has studied the limits of such systems, such as Turing, Tarski and Gödel.
I am saying this out of a position of ignorance, but if philosophy provide the foundation (not in the historical sence). of modern logic, what is that then?