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.
1,400 results for "philosophy of mathematics" — page 20 of 70
ZD_1_03 — Information as Fundamental Reality
Multiple converging lines of evidence suggest information, not matter or energy, may be the most fundamental constituent of reality. From Wheeler's "It from Bit" to the holographic principle (3D reality encoded on 2D bou
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
ZD_5_05 — Formal Methods: Mathematical Verification and Specification of Software
Formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems — using formal (mathematical) languages to describe system behavior and mathemat
Y_4_04 — Entoptic Phenomena and Phosphene Patterns
This document examines Entoptic Phenomena and Phosphene Patterns, a topic within the Consciousness research area. Key areas of investigation include Defining Entoptic Phenomena, Phosphenes: Light from Within, Heinrich Kl
Y_5_17 — Astral Projection Laboratory Research
Astral projection — the subjective experience of consciousness separating from the physical body and traveling independently — has been reported across virtually all human cultures throughout history, from ancient Egypti
H_2_14 — Funding Bias in Science: Who Pays, Who Decides, What Gets Studied
Scientific research is shaped not only by curiosity and methodology but by who funds it — and funders' priorities, interests, and incentive structures systematically influence what questions get asked, what methods are u
H_3_01 — Indigenous Knowledge Suppression — Colonialism and Epistemicide
Epistemicide — the systematic destruction of rival knowledge systems — is arguably the most devastating and least acknowledged consequence of global colonialism. Between 1492 and 1950, European colonial powers destroyed,
P_3_15 — Nietzsche: Eternal Recurrence, Will to Power, and the Übermensch
Friedrich Wilhelm Nietzsche (1844-1900) was a German philosopher, classical philologist, and cultural critic whose radical questioning of morality, religion, truth, and human meaning has made him one of the most influent
P_3_10 — Skepticism and Pyrrhonism
Skepticism — the philosophical position that knowledge is uncertain, limited, or impossible — is one of the oldest and most persistent currents in philosophy. Ancient Pyrrhonian skepticism (Pyrrho, ~360–270 BCE; Sextus E
P_3_09 — Nihilism, Absurdism, and Camus
Nihilism — from Latin nihil ("nothing") — is the philosophical position that life, existence, and values lack objective meaning, purpose, or intrinsic worth. It is not a single doctrine but a cluster of related positions
P_4_03 — Language, Naming, and the Creative Word
Across unrelated civilizations, language — specifically the spoken word — is understood as a creative force, not merely a communication tool. The Egyptian god Ptah creates the world through speech; the Hebrew God speaks
P_1_16 — AI Consciousness Philosophy: Can Machines Think, Feel, and Be Aware?
The question of whether artificial intelligence systems can be conscious — whether machines can genuinely think, have subjective experiences, or possess phenomenal awareness — is one of the deepest unsolved problems at t
P_1_06 — Personal Identity and Continuity
Personal identity — the question of what makes you you over time, and under what conditions you would cease to exist — is one of philosophy's most ancient and practically urgent problems. The core puzzle is persistence:
P_5_13 — Leibniz: Monads, Theodicy, and Pre-Established Harmony
Gottfried Wilhelm Leibniz (1646–1716) was among the most versatile intellects in Western history — a mathematician, philosopher, logician, diplomat, jurist, historian, and engineer who co-invented the infinitesimal calcu
P_5_07 — Hermeneutics and Interpretation Theory
Hermeneutics — the theory and practice of interpretation — originated in biblical and classical textual criticism but expanded through the 19th and 20th centuries into a comprehensive philosophical framework addressing h
P_2_11 — Deontological Ethics: Duty, Rights, and the Categorical Imperative
Deontological ethics (from Greek deon, "duty" or "obligation") is the family of moral theories holding that the rightness or wrongness of an action depends on the action's conformity to moral rules, duties, or rights — n
ZE_5_14 — Ethics of Promise and Contract: Trust, Binding Words, and Obligation
Promise-keeping is among the most fundamental moral obligations — yet its philosophical basis is surprisingly elusive. Why does uttering certain words ("I promise") create a binding moral obligation? The question has gen
ZE_1_14 — Platonic Ethics: Justice, the Good, and the Philosopher-King
Plato (c. 428–348 BCE) stands as one of the foundational architects of Western ethical philosophy. While his metaphysical doctrines — the Theory of Forms, the immortality of the soul, the cosmology of the Timaeus — are t
ZE_1_11 — Pragmatist Ethics
Pragmatist ethics — developed primarily by Charles Sanders Peirce (1839–1914), William James (1842–1910), John Dewey (1859–1952), and further by Richard Rorty (1931–2007) and Cornel West (b. 1953) — rejects the search fo
ZE_2_07 — Confucian Ethics and Li
Confucian ethics (rujia lunli), originating with Confucius (Kong Qiu, 551–479 BCE) and developed by Mencius (Mengzi, c. 372–289 BCE) and Xunzi (c. 310–235 BCE), constitutes one of the world's most enduring ethical tradit
BROWSE BY SECTION — 3,721 documents across 34 fields