Search for tag: "barbara"

Live Session - Formative feedback and Assignment Q&A

Live Session - Formative feedback and Assignment Q&A Pain - A Multidimensional Phenomenon

From  Ewelina Skala 0 likes 5 plays 0  

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 0 likes 11 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 2 likes 351 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 0 likes 292 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 0 likes 477 plays 0  

CL - 2019 Lecture 2

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

From  Claudia-Elena Chirita 0 likes 199 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 0 likes 491 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 0 likes 491 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 0 likes 506 plays 0