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.

  • 1
    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. – Conifold Dec 15 '20 at 5:22
  • There is the syntactic and semantic. – Elliot Dec 15 '20 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. – Marino Proton Dec 15 '20 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 '20 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 '20 at 11:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.