Cyan_phoeniX said:
I learned this kind of stuff in logic (a philosophy unit) but i am surprised it is also learned in math units. Do you use PL (or QL) in maths or is it a different language and symbols?
What does PL and QL stand for?
Yeah, we also use the implies symbol ( ->, =>, <->, etc) and letters and stuff.
I'm not suprised that this is studied in philosophy. One afternoon I was drifting through the philosophy section of the uni library and picked up a book on its history. Believe it or not, mathematicians were apparently quite involved with the philosophers in the old days when maths was less formalised.
One person mentioned in the book was George Boole, a mathematician. He decided that even though it's very much a 'human' quality to be able to think and assess ourselves, etc, there are always a few rules that we follow when making a logical deduction. And so he made Boolean Algebra.
I think many philosophers of the past used to study maths, in particular geometry. Perhaps you've read about Descartes, for example?
Sorry guys, I didn't mean to take this thread so far off course! I guess what I'm trying to show is that maths isn't just numbers, it's formalised logic, it's patterns, it's accurate reasoning and it's fun! If you consider humans a thinking creature, then uni will develop you, whether or not you study maths.
Funny how no girls talk when maths is brought up. Oh well, I try.