https://finiteape.com/tags/ancestral-relation/ Recent content in Ancestral Relation on Finite Ape Hugo en-us Mon, 22 Jun 2026 00:00:00 +0000 https://finiteape.com/posts/frege-begriffsschrift-in-modern-notation/ Sun, 02 Mar 2025 00:00:00 +0000 https://finiteape.com/posts/frege-begriffsschrift-in-modern-notation/ <style> .frege-equation { display: grid; grid-template-columns: minmax(0, 1fr) 3.25rem; column-gap: 0.75rem; align-items: center; width: 100%; margin: 0.65rem 0; } .frege-equation__formula { min-width: 0; overflow-x: auto; overflow-y: hidden; padding: 0.05rem 0; -webkit-overflow-scrolling: touch; } .frege-equation__number { width: 3.25rem; justify-self: end; text-align: right; white-space: nowrap; font-variant-numeric: tabular-nums; } .frege-equation .MathJax_Display, .frege-equation .MathJax_Display > .MathJax, .frege-equation mjx-container[display="true"] { width: 100% !important; margin: 0 !important; text-align: left !important; } .frege-equation .MathJax_Display > .MathJax { display: block !important; } @media (max-width: 640px) { .frege-equation { grid-template-columns: minmax(0, 1fr) 2.8rem; column-gap: 0.35rem; } .frege-equation__formula { font-size: 0.9em; } .frege-equation__number { width: 2.8rem; } } </style> <p>Frege&rsquo;s <em>Begriffsschrift</em> is one of the most important works in the history of logic. Frege is also an extremely careful writer and, it is in general a delight to read his works. However, he uses a unique logical notation, which can be a little disorienting. So, when I started reading the work, I had to translate the formulas into standard modern notation: first in my mind, then on a piece of paper, and eventually by typing them out to make it easier to look them up. Let me show what a page looks like in the original notation:</p>