Содержание
- 2. Summary of Previous Lecture What is Categorical Logic? Elements of Categorical Logic Quantity Quality Distribution
- 3. Exercises Rephrase the following statements (When needed)into categorical proposition. Then individuate subject, predicate, copula, and quantifier.
- 4. 6. Heights always make me nauseous 7. The mosquitos are everywhere 8. Newborn babies aren’t potty-trained
- 5. TODAY’S PLAN Propositional Logic Historical Antecedents Modern Development The Basic Unit of Propositional Logic Connectives (Logical
- 6. Stoic philosophy The Stoics = influential and powerful school of thought KEY concepts: ataraxia and virtues
- 7. STOIC – someone who remain calm under difficult situations Yet, the Stoic is not a passive
- 8. STOICS: Important Contributions to Logic Crisippus / Aristotle rivalry Difference: Stoic logic was based on the
- 9. The Fundamental Logical notion (atomic) for the Stoics was not that of term but rather that
- 10. Atomic Units (Assertibles: ‘it is night’) can be enriched and expanded via connectives (as in propositional
- 11. Modern Development : Leibniz Gottfried Wilhelm Leibniz = philosopher and polymath Contributions to physics, engineering, philosophy,
- 12. Leibniz was born in Leipzig to prominent parents. Age 12 = fluent in Latin and Greek
- 13. Leibniz loved a luxurious life… ☺ However, at age 18 he lost his huge inheritance ,
- 14. English mathematician who helped establish modern propositional logic and whose algebra of logic, now called Boolean
- 15. Proposition! A proposition refers to the meaning of a claim. So, an argument may have many
- 16. EXAMPLE: Prof Farina is a clown and Prof Farina likes little kids How can symbolise this?
- 17. WHAT ARE THE DIFFERENT LOGICAL OPERATORS?* CONNECTIVES
- 19. DIFFERENCE BETWEEN SIMPLE STATEMENTS AND COMPOUND STATEMENT? So, negation can exist and be found in simple
- 20. IMPORTANT: Basic way to learn how to use logical operators and build complex statements
- 22. WHAT HAPPENS WHEN THERE ARE TWO CONNECTIVES IN THE SAME STATEMENTS? George is a clown and
- 23. What is the top logic operator?
- 28. A condition A is said to be necessary for a condition B, if (and only if)
- 29. EXAMPLE: Hilton’s opening a new hotel is a sufficient condition for Marriott’s doing so Hilton’s opening
- 30. Like in Algebra we need to be careful where we put our parenthesis and brackets
- 31. EXERCISES If MIG changing its logo implies that Sukhoi increases sales, then Antonov will reorganise If
- 32. I will not pass this class unless I go to class every day and do all
- 33. Getting up on time and getting ready quickly is sufficient for arriving at work on time.
- 35. Скачать презентацию