# Is there more than one form of logic in mathematics?

Is there more than one form of logic in mathematics? I would be inclined that mathematics only cover one type of formal logic, but I would be interested to know if there are variants thereof or completely different logics than what we're taught in university. In philosophy, there are several logics, but in mathematics it seems there's only one, or at least only one that's prevalent.

• Hard to say what you mean by "form of logic", but there are parts of mathematics that are based on non-classical logics, constructive mathematics and paraconsistent mathematics are the most prominent. Dec 15, 2020 at 5:22
• There is the syntactic and semantic. Dec 15, 2020 at 5:45
• Mathematics is not limited to any kind of logical system since it doesn't describe directly any phenomena. Scientist uses mathematical tools to interpret and describe the phenomena they're studying. In fact, with math, you can conceive any kind of logic! Richard Feynman described this nicely in his lectures on the character of physical law. Dec 15, 2020 at 6:47
• Welcome to SE Philosophy! Thanks for your contribution. Please take a quick moment to take the tour or find help. You can perform searches here or seek additional clarification at the meta site. Don't forget, when someone has answered your question, you can click on the arrow to reward the contributor and the checkmark to select what you feel is the best answer.
– J D
Dec 19, 2020 at 11:05
• Please be aware that questions and answers are subject to editing and closure, and that reflects the site's policies on acceptable questions and NOT a personal attack. What to avoid in questions. Anything closed can be edited to bring it within guidelines. Keeping questions on-topic. Additional clarification at MetaPhil.
– J D
Dec 19, 2020 at 11:05