Search for tag: "syllogism"

16 Media

CL - Lecture 4a - Aristotle's Rules duration 5 minutes 23 seconds CL - Lecture 4a - Aristotle's Rules CL - Lecture 4a - Aristotle's Rules	CL - Lecture 4a - Aristotle's Rules Our first video is a recap of last week's materials. inf1a introduction to computation informatics 1 computation and logic aristotle syllogism things 's rules names column diagram forms positions syllogisms variables notation kind fact left idea venn yesterday simplicity assumption From Haoran Peng 0 likes 559 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3j - Aristotle's Syllogisms duration 3 minutes 22 seconds CL - Lecture 3j - Aristotle's Syllogisms CL - Lecture 3j - Aristotle's Syllogisms	CL - Lecture 3j - Aristotle's Syllogisms We describe the traditional presentation of the syllogisms, and introduce Aristotle's existential assumption, on the basis of which he derives nine more syllogisms. These are not sound in our… inf1a introduction to computation informatics 1 computation and logic syllogism existential assumption rules logic aristotle assumption rule things srp conclusion p. bottom summary negations predicates syllogisms geeks fats pen srs proof fs From Haoran Peng 0 likes 460 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3g - Making more rules with… duration 5 minutes 1 second CL - Lecture 3g - Making more rules with… CL - Lecture 3g - Making more rules with contrapositions	CL - Lecture 3g - Making more rules with contrapositions Using meta-/object-level contrapositions, we can derive all 15 sound syllogisms from Barbara. inf1a introduction to computation informatics 1 computation and logic contraposition sound syllogism rule rules assumption assumptions conclusion b. scotland alcohol bottom thing things c. barbara positions control answer position level knots From Haoran Peng 0 likes 477 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3f - Presenting your justifications… duration 3 minutes 6 seconds CL - Lecture 3f - Presenting your justifications… CL - Lecture 3f - Presenting your justifications and counterexamples	CL - Lecture 3f - Presenting your justifications and counterexamples In this video, we label each region in the Venn diagram with a number from 0 to 7. We can then present our justifications and counter-examples by referring to those 8 regions. inf1a introduction to computation informatics 1 computation and logic syllogism venn diagram binary conclusion proof counterexamples premises model rule argument sum things codes method task universe rules m5 blue csa vc a. From Haoran Peng 0 likes 490 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3e - Constructing a Counterexample duration 3 minutes 44 seconds CL - Lecture 3e - Constructing a Counterexample CL - Lecture 3e - Constructing a Counterexample	CL - Lecture 3e - Constructing a Counterexample In the last video, we showed a rule is sound using Venn diagrams. In this video, we will again use Venn diagrams to construct counter-examples for unsound rules. inf1a introduction to computation informatics 1 computation and logic syllogism counter-example unsound model things kinds conclusion possibilities thing premises examples moment collection predicates b. assumption fall power letters cubed c. ice pay From Haoran Peng 0 likes 508 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3d - Using Venn Diagrams to show a… duration 3 minutes 56 seconds CL - Lecture 3d - Using Venn Diagrams to show a… CL - Lecture 3d - Using Venn Diagrams to show a Syllogism is Sound	CL - Lecture 3d - Using Venn Diagrams to show a Syllogism is Sound Given a syllogistic rule, how do we show that it is sound? Here we show that using Venn diagrams. inf1a introduction to computation informatics 1 computation and logic syllogism sound venn diagram bit flowers fungi plants mathematician argument mathematicians programmers half parts detroit things syllogisms diagrams venn exercise break counterexample question From Haoran Peng 0 likes 476 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3c - Aristotle's Square of… duration 1 minute 46 seconds CL - Lecture 3c - Aristotle's Square of… CL - Lecture 3c - Aristotle's Square of Opposition	CL - Lecture 3c - Aristotle's Square of Opposition This is how Aristotle organised his propositions. inf1a introduction to computation informatics 1 computation and logic syllogism aristotle isp language negation sentence eye contradictions things sum egg b. words grave propositions From Haoran Peng 0 likes 441 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3b - Particular Propositions duration 2 minutes 23 seconds CL - Lecture 3b - Particular Propositions CL - Lecture 3b - Particular Propositions	CL - Lecture 3b - Particular Propositions You have already met Aristotle's universal propositions, universal assertion, "every a is b", and universal denial, "no a is b". The negations of these are his particular… inf1a introduction to computation informatics 1 computation and logic syllogism particular proposition b. language things turnstile symbols side thing negation isp logic greek expressions rules reason man room examples turnstiles nox position From Haoran Peng 0 likes 500 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3a - Contraposition of Propositions duration 3 minutes 27 seconds CL - Lecture 3a - Contraposition of Propositions CL - Lecture 3a - Contraposition of Propositions	CL - Lecture 3a - Contraposition of Propositions Last week we used object-level contraposition to derive four new syllogisms, starting from Barbara. This week we will use meta-level contraposition to derive two more new syllogisms from each of the… inf1a introduction to computation informatics 1 computation and logic syllogism contraposition level side satisfies things alcohol scotland propositions logic argument thing rules statement influence turnstile c. arabia countries exercise break From Haoran Peng 0 likes 795 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 2019 Lecture 2 duration 34 minutes 26 seconds CL - 2019 Lecture 2 CL - 2019 Lecture 2	CL - 2019 Lecture 2 This is an old recording of Lecture 2, from 2019. inf1a introduction to computation informatics 1 computation and logic logic syllogism 2019 things diagram rule rules b. region satisfies conclusion reptiles form barbara euler universe fact alcohol scotland negation thing idea From Claudia-Elena Chirita 0 likes 200 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 2.e - Aristotelian Syllogisms.… duration 5 minutes 25 seconds CL - Lecture 2.e - Aristotelian Syllogisms.… CL - Lecture 2.e - Aristotelian Syllogisms. Another Example	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. inf1a introduction to computation informatics 1 computation and logic logic syllogism barbara venn diagram syllogisms diagrams region reptiles snakes instance transformations form union euler bsc derivation kind disjoint level arguments From Claudia-Elena Chirita 0 likes 493 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 2.d - Negation and Contraposition of… duration 7 minutes 48 seconds CL - Lecture 2.d - Negation and Contraposition of… CL - Lecture 2.d - Negation and Contraposition of Predicates	CL - Lecture 2.d - Negation and Contraposition of Predicates In this video on syllogisms, we introduce the logic of negation. inf1a informatics 1 introduction to computation logic computation and logic syllogism negation contraposition rule a. satisfies predicates truth aristotle algebra b. diagrams predicate relation sets denial affirmation things notation bottom barbara From Claudia-Elena Chirita 0 likes 492 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 2.c - Aristotle’s Universal… duration 2 minutes 57 seconds CL - Lecture 2.c - Aristotle’s Universal… CL - Lecture 2.c - Aristotle’s Universal Propositions	CL - Lecture 2.c - Aristotle’s Universal Propositions In this video on syllogisms, we present a new form of proposition -- universal denial. Introducing negation gives a new syllogism as an instance of barbara. inf1a introduction to computation informatics 1 computation and logic logic syllogism aristotle proposition region b. affirmation asb forms notation things diagram venn socrates propositions form snake denial english counter x. satisfies From Claudia-Elena Chirita 0 likes 486 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 2.b - Aristotelian Syllogisms. First… duration 4 minutes 10 seconds CL - Lecture 2.b - Aristotelian Syllogisms. First… CL - Lecture 2.b - Aristotelian Syllogisms. First Example	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. inf1a introduction to computation informatics 1 computation and logic logic aristotle syllogism barbara sound diagram region venn diagrams universe regions rule union hypothesis element asb socrates fact conclusion premises predicates reason From Claudia-Elena Chirita 0 likes 507 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 2.aa - Aristotelian Syllogisms. Venn… duration 12 minutes 6 seconds CL - Lecture 2.aa - Aristotelian Syllogisms. Venn… CL - Lecture 2.aa - Aristotelian Syllogisms. Venn diagrams	CL - Lecture 2.aa - Aristotelian Syllogisms. Venn diagrams This is the second video on Syllogisms. We return to discuss the relationship between Euler and Venn diagrams, and introduce some notation.Having watched this video, you should be able to count… inf1a informatics 1 introduction to computation computation and logic logic syllogism aristotle venn diagrams diagram things regions euler region notation predicates b. a. statement examples exercise c. fact binary place areas possibilities From Claudia-Elena Chirita 0 likes 519 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 2.a - Aristotelian Syllogisms. Euler… duration 9 minutes 32 seconds CL - Lecture 2.a - Aristotelian Syllogisms. Euler… CL - Lecture 2.a - Aristotelian Syllogisms. Euler diagrams	CL - Lecture 2.a - Aristotelian Syllogisms. Euler diagrams This is the first video on Syllogisms. We start by introducing barbara, the simplest classical syllogism, and the proposition, "all a are b", known as universal affirmation. We briefly … inf1a introduction to computation informatics 1 computation and logic logic syllogism aristotle euler diagrams things socrates property man properties region venn universe diagram c. regions predicates b. kinds individual circle subsets notation From Claudia-Elena Chirita 0 likes 606 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English