Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf]

Posted by perihelions on Tuesday November 11, 2025 @05:22PM
from the tug.org dept.

https://www.tug.org/TUGboat/tb36-3/tb114wermuth.pdf

( 6 comments | 2 points | on HN )

Re:Typesetting the "Begriffsschrift" by Gottlob Frege in Pla... by fjfaase on Tuesday November 11, 2025 @06:12PM (#45894202)

Begriffsschift was the first formal notation for second order logic.

[ Parent | on HN ]

Re:Typesetting the "Begriffsschrift" by Gottlob Frege in Pla... by jjgreen on Thursday November 20, 2025 @01:55PM (#45996243)

Easier in LaTeX

[ Parent | on HN ]

Re:Typesetting the "Begriffsschrift" by Gottlob Frege in Pla... by lapcat on Thursday November 20, 2025 @02:58PM (#45996923)

Way back in my university days, we wrote Begriﬀsschrift proofs by hand in logic class.

[ Parent | on HN ]

Re:Typesetting the "Begriffsschrift" by Gottlob Frege in Pla... by jgalt212 on Thursday November 20, 2025 @03:18PM (#45997127)

There should be a list of the most complicated docs ever typeset in LaTeX or TeX. I'm sure this one is up there.

[ Parent | on HN ]

Re:Typesetting the "Begriffsschrift" by Gottlob Frege in Pla... by David-Henrry on Thursday November 20, 2025 @03:40PM (#45997401)

Typesetting Frege's Begriffsschrift in Plain TeX demands custom macros for unique logical notation, tall fractional symbols, and vertical alignment; font choices and macro design preserve semantic clarity and historical accuracy.

[ Parent | on HN ]

Re:Typesetting the "Begriffsschrift" by Gottlob Frege in Pla... by sohkamyung on Friday November 21, 2025 @03:00AM (#46002253)

I wonder if Typst [1] can handle this.

[1] https://typst.app

[ Parent | on HN ]