RESEARCH BASE

Search 3,721 documents across 34 fields — every claim tier-rated by evidence

3,721 Documents 34 Sections 43,625 Citations 34,852 Keywords Indexed 4 Evidence Tiers

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 1 of 24

ZD_1_14 Verified Information & Computation

ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence

Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t

type theory lambda calculus dependent types Curry-Howard Coq Lean
T_1_15 Credible Psychology & Social

T_1_15 — Schema Theory: Cognitive Frameworks, Scripts, and Knowledge Organization

Schema theory — the idea that the mind organizes knowledge into structured mental frameworks (schemas) that guide perception, memory, and reasoning — is one of the foundational concepts in cognitive psychology, linking w

schema schema theory Bartlett Piaget assimilation accommodation
ZA_4_22 Verified Physics & Quantum

ZA_4_22 — Superconductivity: BCS Theory to High-Temperature

Superconductivity — the complete vanishing of electrical resistance and the expulsion of magnetic fields below a critical temperature — was discovered by Heike Kamerlingh Onnes on April 8, 1911, in mercury at 4.2 K. The

superconductivity BCS theory Cooper pairs cuprate YBCO Meissner effect
U_2_19 Credible Art, Music & Culture

U_2_19 — Impressionism and Color Theory: Light, Perception, and the Science of Seeing

Impressionism — the most revolutionary art movement of the 19th century — emerged in Paris in the late 1860s–1870s through the work of Claude Monet (1840–1926), Pierre-Auguste Renoir (1841–1919), Camille Pissarro (1830–1

Impressionism color theory Monet Chevreul simultaneous contrast plein air
X_3_29 Verified Medicine & Healing

X_3_29 — Pain Neuroscience: Gate Theory & Beyond

Pain neuroscience has undergone a revolution since the mid-twentieth century, transforming our understanding from a simple hardwired alarm system to a dynamic, modifiable experience shaped by neural circuits, cognition,

pain gate control theory Ronald Melzack Patrick Wall nociception central sensitization
C_1_18 Credible Global Traditions

C_1_18 — The Wise Old Man / Mentor Archetype: Cross-Cultural Analysis

The Wise Old Man / Mentor archetype — identified by Carl Jung as the Senex or Mana personality — represents one of the most consistent character patterns in world mythology and narrative tradition. This figure appears as

wise-old-man mentor-archetype senex jung-archetype gandalf merlin
C_1_17 Credible Global Traditions

C_1_17 — Shadow Archetype in Mythology

The shadow archetype — the dark, rejected, and unconscious aspect of the personality — was theorized by Carl Gustav Jung as a universal feature of the human psyche that manifests across mythological traditions as the dar

shadow archetype Jung Set Mara Angra Mainyu shadow self
C_1_20 Credible Global Traditions

C_1_20 — The Shadow Archetype in World Mythology

The Shadow archetype, articulated by Carl Gustav Jung as a fundamental component of the psyche, manifests across world mythologies as the dark double, the rejected brother, or the monstrous other that heroes must confron

shadow-archetype jungian-psychology dark-double mythological-antagonist set-osiris caliban
K_1_17 Verified Consciousness

K_1_17 — Integrated Information Theory: Phi, Axioms & Empirical Tests

Integrated Information Theory (IIT), developed primarily by Giulio Tononi (University of Wisconsin–Madison) from 2004 to the present, proposes that consciousness is identical to integrated information — a quantity denote

integrated-information-theory iit phi giulio-tononi consciousness-axioms qualia-space
ZG_3_05 Verified Linguistics & Communication

ZG_3_05 — Language and Thought: Cognitive Semantics

The relationship between language and thought — whether the language we speak shapes, constrains, or determines how we perceive, categorize, and reason about the world — is one of the oldest and most debated questions in

linguistic relativity Sapir-Whorf hypothesis cognitive semantics Lakoff conceptual metaphor image schema
ZG_3_10 Verified Linguistics & Communication

ZG_3_10 — Semantics: Meaning, Reference, and Compositional Analysis

Semantics — the branch of linguistics concerned with meaning — investigates how words, phrases, and sentences encode and convey meaning, how meanings combine compositionally, and how linguistic meaning relates to the wor

semantics meaning reference sense denotation connotation
Q_4_08 Verified Cosmology & Physics

Q_4_08 — String Theory: Landscape, Extra Dimensions, and M-Theory

String theory is the leading candidate for a unified theory of all fundamental forces and particles — a framework in which the fundamental entities are not point particles but tiny, one-dimensional vibrating strings (ope

string theory superstring theory M-theory extra dimensions compactification Calabi-Yau
Q_4_23 Verified Cosmology & Physics

Q_4_23 — Chaos Theory and Nonlinear Dynamics: Deterministic Unpredictability and Complex Systems

Chaos theory is the branch of mathematics and physics studying deterministic systems whose long-term behavior is effectively unpredictable due to sensitive dependence on initial conditions — popularly known as the "butte

chaos theory nonlinear dynamics butterfly effect Lorenz attractor strange attractor fractal
ZC_3_12 Verified Social Science

ZC_3_12 — Colonialism and Postcolonial Theory

Colonialism — the practice of establishing political control over foreign territories, administering their peoples, and exploiting their resources for the benefit of the colonizing power — was the dominant global politic

colonialism postcolonial theory imperialism orientalism subaltern Edward Said
ZC_1_17 Credible Social Science

ZC_1_17 — Conspiracy Theory Epidemiology: Why People Believe and How Conspiracism Spreads

Conspiracy theories — explanatory frameworks that attribute significant events to the secret machinations of powerful, malevolent groups — are not a modern pathology but a recurring feature of human cognitive and social

conspiracy theory conspiracism misinformation social psychology epistemic threat motivated reasoning
ZC_1_13 Verified Social Science

ZC_1_13 — Psychology of Prejudice and Discrimination

Prejudice — negative attitudes toward a group and its members — operates through cognitive (stereotypes), affective (prejudice), and behavioral (discrimination) components. Research reveals both overt and subtle forms of

prejudice discrimination stereotypes implicit bias IAT racism
ZC_2_18 Credible Social Science

ZC_2_18 — Societal Collapse — Tainter's Complexity Theory

Joseph Tainter's The Collapse of Complex Societies (1988) proposed one of the most influential theoretical frameworks for understanding why civilizations fail: societies collapse when the marginal returns on increasing c

societal collapse Joseph Tainter complexity diminishing returns marginal productivity Roman Empire
ZC_2_19 Credible Social Science

ZC_2_19 — World-Systems Theory — Wallerstein

World-systems theory, developed by Immanuel Wallerstein (1930–2019) beginning with The Modern World-System I (1974), provides a macro-sociological framework for understanding global inequality, economic development, and

world-systems theory Immanuel Wallerstein core periphery semi-periphery dependency theory capitalist world-economy
G_4_13 Verified Modern Frameworks

G_4_13 — HADD and Agency Detection — Why We See Beings Everywhere

The Hyperactive Agency Detection Device (HADD) — a term coined by cognitive scientist Justin Barrett (2000) building on work by Stewart Guthrie (1993) and Pascal Boyer (2001) — refers to the proposed cognitive mechanism

HADD hyperactive agency detection device agency detection cognitive science of religion Barrett Boyer
G_3_11 Verified Modern Frameworks

G_3_11 — Information Theory and Biological Complexity

Information theory, founded by Claude Shannon (1948, A Mathematical Theory of Communication), provides a rigorous mathematical framework for quantifying information content, communication capacity, and complexity — conce

information theory Shannon entropy Kolmogorov complexity algorithmic information biological information DNA information content