# There is more than just 1 type of logic

Gottlob Frege, C.S. Peirce, and Ernst Schröder introduced quantification to propositional logic and constructed a ‘first-order predicate logic’. Also, you have heard of fuzzy logic right? It doesn’t mean confused thinking, but it is really about a widening of the traditional boundaries of logic. 1 plus 1 may equal 2, but there is a whole lot more we can know about logic, and more still that other intelligence can ascertain about something we originally felt wast unique and fundamental – after all you can say bogus in many languages right?

Idea:There is more than just 1 type of logicLink:https://www.quora.com/What-is-the-differen...Just found the response on Quora about a similar question, how philosophical and mathematical logic differ. I have pasted one answer below as it tickled me.

“When I was getting my PhD, we had a joint logic seminar with both philosophical and mathematical logicians. I would say the most striking difference is what part of the talk they are interested in.

When a mathematical logician gives a talk in front of an audience that contains philosophical logicians, it often goes something like this. There is a brief introduction, including a couple of definitions. For the mathematical logician, this is just boring routine stuff, something you need to go through before you write down the theorem and gets to the interesting part, the neat techniques he or she invented to prove it.

However, as soon as the definitions are shown, the philosophers raise their hands and want to discuss whether this is the “right” definition. For them, the definition is supposed to clarify what you are studying; the definition itself should captures some underlying basic truth. The mathematical logician just doesn’t care about that. He or she will rather be thinking something along the lines of “Clearly it is the right definition, because that is the definition that lets us prove this extremely cool theorem that I haven’t even gotten to write down yet! Shut up and let me get on with it!””

Idea:There is more than just 1 type of logicLink:https://math.stackexchange.com/questions/1...Philosophical and mathematical – but they are really the same thing. however there is a difference in how they are taught and used. From stack exchange… “The main difference between “Logic in Philosophy” and “Mathematical Logic” is that in the former case logic is used as a tool, while in the latter it is studied for its own sake.”

Idea:There is more than just 1 type of logicLink:https://www.psychologicalscience.org/publi...I blame Spock. Mr, not Dr. Fake news at the most fundamental level.

Wait up, logic is more of a study of things, not a set of particular rules. However nobody knows what it really is. From Wikipedia also… “There is no universal agreement as to the exact definition and boundaries of logic, hence the issue still remains one of the main subjects of research and debates in the field of philosophy of logic”.

Idea:There is more than just 1 type of logicLink:https://en.wikipedia.org/wiki/Higher-order...Hmm, I thought this was a silly idea, but I just read on Wikipedia otherwise. That “In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics.”