Instructional Design Models and Theories: Subsumption Theory. The Subsumption Learning Theory was developed in 1963 by the American psychologist David Ausubel.

The theory focuses on how individuals acquire and learn large chunks of information through visual means or text materials. As opposed to many other instructional theories, which are psychology-based models applied to instructional design, the Subsumption Theory was originally developed exclusively for instructional design. It prescribes a way of creating instructional material that helps learners organize their content in order to make it meaningful for transfer.

The goal here is for learners to have the necessary background that will help them solve any problem and also retain this knowledge. According to the concept set forth by Ausubel, the acquisition of knowledge is based on the actual processes that occur during learning. The 2 Types of Subsumption Theory The 4 Key Principles of Subsumption Theory The key principles of the Subsumption Learning Theory are the following: References. Subsumption Theory. Ausubel's theory is concerned with how individuals learn large amounts of meaningful material from verbal/textual presentations in a school setting (in contrast to theories developed in the context of laboratory experiments).

According to Ausubel, learning is based upon the kinds of superordinate, representational, and combinatorial processes that occur during the reception of information. A primary process in learning is subsumption in which new material is related to relevant ideas in the existing cognitive structure on a substantive, non-verbatim basis. Cognitive structures represent the residue of all learning experiences; forgetting occurs because certain details get integrated and lose their individual identity. A major instructional mechanism proposed by Ausubel is the use of advance organizers: Ausubel's theory has commonalities with Gestalt theories and those that involve schema (e.g., Bartlett< ) as a central principle. Application Example Principles References Ausubel, D. (1963). Colligate. English[edit] Etymology[edit] Latin colligatus, past participle of colligare (“to collect”).

Verb[edit] colligate (third-person singular simple present colligates, present participle colligating, simple past and past participle colligated) Mathematical logic. For Quine's theory sometimes called "Mathematical Logic", see New Foundations.

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science.[1] The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science (particularly in the ACM Classification) mathematical logic encompasses additional topics not detailed in this article; see Logic in computer science for those.

Subsume. English[edit] Etymology[edit] From Late Latin subsumō, equivalent to the Latin sub- (“sub-”) and sūmō (“to take”), confer the English consume.

Verb[edit] subsume (third-person singular simple present subsumes, present participle subsuming, simple past and past participle subsumed) Related terms[edit] Category theory. A category with objects X, Y, Z and morphisms f, g, g ∘ f, and three identity morphisms (not shown) 1X, 1Y and 1Z.

Several terms used in category theory, including the term "morphism", differ from their uses within mathematics itself. In category theory, a "morphism" obeys a set of conditions specific to category theory itself. Thus, care must be taken to understand the context in which statements are made. An abstraction of other mathematical concepts[edit] The most accessible example of a category is the category of sets, where the objects are sets and the arrows are functions from one set to another.

The "arrows" of category theory are often said to represent a process connecting two objects, or in many cases a "structure-preserving" transformation connecting two objects. Categories now appear in most branches of mathematics, some areas of theoretical computer science where they can correspond to types, and mathematical physics where they can be used to describe vector spaces. Subsumption. Subsumption may refer to: A minor premise in symbolic logic (see syllogism)The Liskov substitution principle in object-oriented programmingSubsumption architecture in roboticsA subsumption relation in category theory, semantic networks and linguistics, also known as a "hyponym-hypernym relationship" (Is-a)Formal and real capitalist subsumption describes different processes whereby capital comes to dominate an economic process.

Coined in Karl Marx's Capital, Volume I.