# Which academic discipline does logic belong to?

**URL:** <https://boards.straightdope.com/t/which-academic-discipline-does-logic-belong-to/960689>\
**Category:** Factual Questions\
**Created:** [March 8, 2022, 4:12pm UTC](https://boards.straightdope.com/t/which-academic-discipline-does-logic-belong-to/960689 "2022-03-08T16:12:25Z")\
**Posts on this page:** 1\
**Showing post:** 39

<div class="post-metadata">

**Author:** ![DPRK](https://avatars.discourse-cdn.com/v4/letter/d/4491bb/32.png) [@DPRK](https://boards.straightdope.com/u/DPRK)\
**Post date:** [March 9, 2022, 3:23am UTC](https://boards.straightdope.com/t/which-academic-discipline-does-logic-belong-to/960689/39 "2022-03-09T03:23:04Z")

</div>

I have to concede that, due to the way human minds work, memorizing an axiom will be much easier if that axiom makes intuitive sense.

For example, the following arbitrarily-chosen axiom is one of the basic reduction rules in the lambda-mu calculus:

(\mu \beta.u)v \; \triangleright\_c \; \mu \beta.u \bigl[[\beta](w v)/[\beta] w \bigr ]

Easy to remember? Depends on whether you can “wrap your head around it”, including the notation

---

_[View the full topic](https://boards.straightdope.com/t/which-academic-discipline-does-logic-belong-to/960689)._