You don’t often see women in histories of musical instrument making, but they were there. Find out about the instruments in our Collection that come from firms where women were involved in…

This session covered: why use software like Nvivo importing data files creating and using nodes for coding basic but very useful outputs for sharing and discussion with supervisors: coded data…

Gentzen's rules provide a complete system that does not require the cut rule. For many logical systems, cut elimination (showing that uses of the cut rule may be eliminated from any sound proof)…

Using meta-/object-level contrapositions, we can derive all 15 sound syllogisms from Barbara.

This is an old recording of Lecture 2, from 2019.

In this video, we get syllogisms for free! We see how some simple reasoning allows us to derive three more syllogisms.

In this video on syllogisms, we introduce the logic of negation.

This is the third video on Syllogisms. We use Venn diagrams to show that barbara is sound.