Episode 2 of 2
Logical Innovation
- When
- 1879
- Where
- Begriffsschrift formalism (intellectual development)
Begriffsschrift resolved ambiguities in quantifier scope and isolated logical inference principles.
Frege's formalism distinguished between sentences like 'every boy loves some girl' and 'some girl is loved by every boy'. It aimed to isolate genuinely logical principles of inference to avoid appealing to intuition in mathematical proofs.
Sources
- Gottlob Frege Wikipedia, revision of 2026-09-21
Machine-drafted from the cited Wikipedia passages and checked by a reviewing model, not by a human editor. Every passage cites the revision it was written from; dates and places follow those passages.