Well I didnt have a question about syllogisms per se, but I was wondering if anyone here had any knowledge of syllogism based proofs for any particular philosophy of mathematics. During my summer reading I have grown tired of semi-popular math "philosophy" books written by physicists and sociologists/cognitive scientists that are little more than a history of mathematical philosophical thought, with very little actual proof based content as opposed to a liberal use of quotations giving mere assertions of a paticular philosophy of math outlook.
So does anyone know of any books or links that give real attempts at proofs for platonism/intuitionism, etc.?
Well I didnt have a question about syllogisms per se, but I was wondering if anyone here had any knowledge of syllogism based proofs for any particular philosophy of mathematics. During my summer reading I have grown tired of semi-popular math "philosophy" books written by physicists and sociologists/cognitive scientists that are little more than a history of mathematical philosophical thought, with very little actual proof based content as opposed to a liberal use of quotations giving mere assertions of a paticular philosophy of math outlook.
So does anyone know of any books or links that give real attempts at proofs for platonism/intuitionism, etc.?