# Search for tag: "barbara"

#### Women Instrument Makers

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…

From  Calum Macphail on August 25th, 2021 0 likes 7 plays 0

#### Dissertaion festival: introduction to NVivo for qualitative data analysis

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…

From  Marshall Dozier on November 6th, 2020 1 likes 90 plays 0

#### CL - Barbara

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)…

From  Haoran Peng on October 21st, 2020 0 likes 288 plays 0

#### CL - Lecture 3g - Making more rules with contrapositions

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

From  Haoran Peng on October 3rd, 2020 0 likes 466 plays 0

#### CL - 2019 Lecture 2

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

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 193 plays 0

#### CL - Lecture 2.e - Aristotelian Syllogisms. Another Example

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

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 474 plays 0

#### CL - Lecture 2.d - Negation and Contraposition of Predicates

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

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 479 plays 0

#### CL - Lecture 2.b - Aristotelian Syllogisms. First Example

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

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 492 plays 0