RESEARCH BASE
Search 3,721 documents across 34 fields — every claim tier-rated by evidence
3,633 are the core, quality-scored corpus (34 lettered sections — see How We Work); the remaining 88 are cross-corpus synthesis documents (68 InterDocs, 12 Connections, 8 Theories) also indexed here.
478 results for "type theory" — page 4 of 24
T_4_07 — Social Identity Theory and Prejudice
Social Identity Theory (SIT) explains how individuals derive self-concept from group memberships and how this drives intergroup behavior — including prejudice, discrimination, and conflict. Developed by Henri Tajfel and
T_4_08 — Behavioral Economics and Nudge Theory
Behavioral economics integrates psychology into economic models, challenging the rational agent (homo economicus) assumption of classical economics. The field was established by Daniel Kahneman and Amos Tversky's Prospec
T_2_03 — Attachment Theory — Bowlby, Ainsworth & Social Bonds
Attachment theory, developed by John Bowlby (1958, 1969) and empirically validated by Mary Ainsworth (1978), proposes that humans are biologically predisposed to form close emotional bonds with caregivers — and that the
T_1_04 — Developmental Psychology — From Piaget to Attachment Theory
Developmental psychology traces psychological changes across the human lifespan, from prenatal development through aging. Jean Piaget's cognitive stage theory, Lev Vygotsky's sociocultural approach, John Bowlby's attachm
T_1_06 — Cognitive Development — Piaget, Vygotsky, Theory of Mind
Cognitive development — how human minds grow in their capacity to think, reason, solve problems, and understand the world — has been dominated by two foundational theories: Jean Piaget's constructivist stage theory (1936
T_1_01 — Jungian Archetypes and the Collective Unconscious
Carl Gustav Jung (1875–1961) developed analytical psychology as a departure from Freudian psychoanalysis, proposing that beneath the personal unconscious lies a collective unconscious—a shared psychic substrate containin
T_1_07 — Emotion Theory and Affect
Emotion theory addresses one of psychology's most fundamental and contested questions: What are emotions, where do they come from, and how many are there?
T_3_14 — Cognitive Load Theory: Working Memory, Schema Acquisition, and Instructional Design
Cognitive Load Theory (CLT) — developed by John Sweller (University of New South Wales, 1988–present) — is the most influential theory connecting cognitive architecture (specifically the severe limitations of working mem
B_5_17 — Trickster Archetype: Coyote, Loki, Anansi, and the Sacred Fool
The Trickster is one of the most universal archetypes in global mythology — a boundary-crossing figure who disrupts order, steals fire or knowledge for humanity, and operates outside conventional moral categories. From C
ZD_1_02 — Information Theory — Shannon, Entropy, and the Bit
Claude Shannon's 1948 paper "A Mathematical Theory of Communication" is one of the most consequential scientific publications of the 20th century. It defined information quantitatively — measured in bits — independent of
ZD_1_10 — Automata Theory and Formal Languages
Automata theory studies abstract computational machines and the classes of languages they recognize, forming the mathematical backbone of computer science. The Chomsky hierarchy (1956–59) classifies formal languages into
ZD_1_13 — Kolmogorov Complexity and Algorithmic Information Theory
Kolmogorov complexity (also called algorithmic complexity, descriptive complexity, or program-size complexity) — the length of the shortest computer program (on a fixed universal Turing machine) that produces a given str
ZD_1_04 — Coding Theory & Error Correction
Coding theory — the mathematics of reliable communication over unreliable channels — was founded by Claude Shannon (1948), who proved the existence of channel capacity (a maximum rate at which information can be transmit
ZD_3_05 — Compiler Theory and Parsing
Compiler theory — the science of translating high-level programming languages into machine-executable code — is one of the most mathematically rigorous and practically impactful subfields of computer science. Compilers b
ZD_5_01 — Graph Theory and Algorithms
Graph theory — the mathematical study of graphs (networks of vertices/nodes connected by edges/links) — is one of the most widely applicable branches of mathematics, modeling everything from social networks and transport
ZD_4_02 — Game Theory, Strategic Interaction, and Cooperation
Game theory is the mathematical study of strategic interaction among rational agents, founded by John von Neumann and Oskar Morgenstern's Theory of Games and Economic Behavior (1944) and revolutionized by John Nash's equ
ZD_4_13 — Network Science: Graph Theory, Small Worlds, and Scale-Free Networks
Network science is the study of complex systems represented as networks (graphs) — collections of nodes (vertices) connected by edges (links) — encompassing social networks (people connected by friendships, collaboration
ZD_2_05 — Robotics and Control Theory
Robotics integrates mechanical engineering, electrical engineering, computer science, and control theory to design, build, and program machines that sense, reason, and act in the physical world. Control theory — the math
L_3_05 — Blood Type Genetics and the ABO System
Blood group genetics represents one of the earliest and most clinically important applications of Mendelian inheritance in human biology. Karl Landsteiner's discovery of the ABO blood group system (1900–1901) — which ear
P_2_17 — Philosophy of Law: Jurisprudence and Legal Theory
Jurisprudence — the philosophical study of law's nature, authority, and relationship to morality — addresses foundational questions: What makes a rule a "law"? Is law necessarily connected to morality? How should judges
BROWSE BY SECTION — 3,721 documents across 34 fields