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.

4 results for "Frege"

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
P_5_05 Verified Philosophy & Meaning

P_5_05 — Philosophy of Language

The philosophy of language asks: How do words and sentences get their meaning? How does language connect to reality? Can thought exist without language? Is meaning determined by the speaker's intention, by social convent

philosophy of language meaning reference sense Frege Russell
P_5_06 Verified Philosophy & Meaning

P_5_06 — Philosophy of Mathematics

The philosophy of mathematics investigates the nature of mathematical objects, the status of mathematical truth, and the relationship between mathematics and the physical world. The fundamental question is: Are mathemati

philosophy of mathematics mathematical realism Platonism mathematics nominalism formalism logicism
V_2_07 Verified Mathematics & Information

V_2_07 — Formal Logic: Aristotle to Turing

Formal logic — the systematic study of valid inference — spans 2,400 years from Aristotle's syllogistic (c. 350 BCE) to Turing's computation theory (1936). Aristotle's Organon established the syllogism as the fundamental

logic formal logic Aristotle syllogism Boolean algebra Frege