Corpus ID: 16909310

The Bulletin of Symbolic Logic

@inproceedings{Rossberg2015TheBO,
  title={The Bulletin of Symbolic Logic},
  author={M. Rossberg and P. Ebert},
  year={2015}
}
We discuss the typography of the notation used by Gottlob Frege in his Grundgesetze der Arithmetik. §1. Background to the Grundgesetze der Arithmetik. Grundgesetze der Arithmetik was to have been the pinnacle of Gottlob Frege’s life’s work — a rigorous demonstration of how the fundamental laws of classical pure mathematics of the natural and real numbers can be derived from principles which, in Frege’s view,were purely logical.His logical system, calledBegriffsschrift, i.e., “concept-script… Expand
20 Citations

Figures from this paper

Sierpinski's onto mapping and partitions
Model-theoretic Characterizations of Existential Rule Languages
A sound interpretation of Leśniewski's epsilon in modal logic KTB
Semigroup-valued metric spaces
A weak variant of Hindman’s Theorem stronger than Hilbert’s Theorem
  • L. Carlucci
  • Mathematics, Computer Science
  • Arch. Math. Log.
  • 2018
EPPA for two-graphs and antipodal metric spaces
...
1
2
...

References

SHOWING 1-10 OF 62 REFERENCES
...
1
2
3
4
5
...