[FOM] Begriffsschrift Editor

[Philip Ebert]

Dear all,

a first version of a formulae editor for Frege's Begriffsschrift to  
(easily) construct and output formulae in either xml or latex (to be  
used with an updated version of the Begriffsschrift style file) can be  
downloaded here:

http://weka.ucdavis.edu/~ahwiki/bin/view/Arche/ 
BegriffsschriftSoftwareDownload (software + style file)

It includes the usual (small) bugs which need to be addressed in a  
later version.

We hope the software will be useful to Frege scholars and Logician's  
interested in Frege's formalism

More info on the begriff.sty - file can be found here:

http://weka.ucdavis.edu/~ahwiki/bin/view/Main/BegriffsschriftLaTeX

Best wishes,
Marcus Rossberg & Philip Ebert

_______________

Philip Ebert
PhD Student/Research Assistant
AHRC Research Centre for the Philosophy of Logic,
Language, Mathematics and Mind
School of Philosophical and Anthropological Studies
The University of St. Andrews
St Andrews, KY16 9AL
Scotland

tel. ++44-1334-461775
email: pae1 at st-andrews.ac.uk
webpage: www.st-andrews.ac.uk/~pae1