1 / 25

Categorical propositions and classes

Categorical propositions and classes. Basic connectives and truth. Assertions, called statements or propositions, are declarative sentences that are either true or false New statements can be obtained from existing ones in two ways. Transform a given statement p into the statement  p

wholguin
Download Presentation

Categorical propositions and classes

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Categorical propositions and classes

  2. Basic connectives and truth • Assertions, called statements or propositions, are declarative sentences that are either true or false • New statements can be obtained from existing ones in two ways. • Transform a given statement p into the statement p • Combine two or more statements into a compound statement

  3. LIKE • “If I weigh more than 120 pounds, then I shall enroll in an exercise class” • p: I weigh more than 120 pounds • q: I shall enroll in an exercise class • the four cases of pq

  4. A word of caution • In our everyday language, we often find situations where an implications is used when the intention actually calls for a biconditional. • If you do your homework, then you will get to watch the PK movie.

  5. SIMPLE SENTENCES noun-verb-direct object structure with a quantifying prefix.

  6. A categorical proposition and A Class Any proposition that can be interpreted as asserting a relation of inclusion or exclusion, complete or partial, between two classes. A class is defined as a collection of all objects which have some specified characteristic in common. This is no more complicated than observing that the class of "lightbulbs" all have the common characteristic of "being a lightbulb."

  7. Categorical propositions are simple sentences composed in a noun-verb-direct object structure with a quantifying prefix. The first noun is the subject (S), the direct object is the predicate (P). The verb is called the copula and is almost always a conjugation of the verb "to be." In most cases sentences using other verbs can be rewritten using the verb "to be." The predicate (also known as a direct object) is typically either a noun or an adjective.

  8. Categorical propositions The building blocks of categorical logic, which goes back to Aristotle’s fundamental work in the 4th century BC. Aristotle developed his logic as a foundation for science. His system of logic was based on classification: what is the relationship between one class of objects and another?

  9. A proposition that relates two classes, or categories, is called a categorical proposition. The two classes in question are denoted by the subject term and the predicate term. Categorical propositions assert that either all or part of the class denoted by the subject term is included in or excluded from the class denoted by the predicate term.

  10. Types of categorical propositions Four types • All stand-up • No stand-up • Some stand-up • Some stand-up

  11. we can have four class relations in the various kinds of categorical propositions: Utilizing the classes, "people" and "good beings": a. complete inclusion>>>"All people are good beings.“ b. complete exclusion>>>"No people are good beings.“ c. partial inclusion>>>"Some people are good beings.“ d. partial exclusion>>>"Some people are not good beings."

  12. Standard-form categorical propositions • universal affirmative A • universal negative E • particular affirmative I • particular negative O

  13. Standard forms of categorical propositions 1.   All S are P               (A proposition) 2.   No S are P               (E proposition) 3.   Some S are P           (I proposition) 4.   Some S are not P    (O proposition)

  14. 'S' represent the subject  and • 'P' predicate terms. Note that this is different from the grammatical subject and predicate. The grammatical subject contains the quantifier (All), while the subject term does not. 'No', 'All', and 'Some' are quantifiers. 'Are' and 'are not' are copulas.

  15. The quantifier Indicators of "how much" are called quantity indicators (quantifiers)and three quantifiers are used in categorical propositions: All none and some

  16. QUALIFIERS Indicators of affirmative and negative are quality indicators (qualifiers) and specifically are "are," "are not," "is," "is not," and "no,“ Note that "no" is both a quantifier and a qualifier.

  17. QUALITY The quality of a categorical proposition is determined by whether the asserted class relation is one of exclusion or inclusion (i.e., affirmative or negative).

  18. QUALITY Categorical propositions can have one of two qualities. The proposition is either affirmative or negative. Affirmative propositions are represented by the letters A and I from the LatinAffIrmo. Negative propositions are represented by the letters E and O from the Latin nEgO.

  19. QUANTITY  The quality of a categorical proposition is determined by whether or not it refers to all members of its subject class (i.e.,universalor particular). The question "How many?" is asking for quantity.

  20. Quantity Categorical propositions may refer to all, some, or no members of a category. Propositions which refer to all or none are termed universal propositions. Propositions which refer to some are termed particular propositions.

  21. All The diagram for "all" is an open, unfilled circle. ALL

  22. None The diagram for "none" is an open, filled, darkened, or cross-hatched circle. That "all" is an empty circle and "none" is a filled in circle can be confusing later on in the course. The filled-in circle is equivalent to an "erased" circle. That category no longer exists. In these documents the circle is a darkened circle, on a white board or sheet of paper the category is usually "cross-hatched" with diagonal lines.

  23. NONE

  24. Some The diagram for "some" is an open, unfilled, circle with a single "X" in the circle.

  25. Some not The diagram for "some (are) not" a member is an open, unfilled, circle with a single "X" outside the circle

More Related