In this work Frege presented for the first time what we would recognise today as a logical system with negation, implication, universal quantification, essentially the idea of truth tables etc., but what would not be recognisable today is the notation which Frege used.
Sa ganitong trabaho Frege ipinapahayag sa unang panahon kung ano ang aming nais na kinikilala ngayon bilang isang makatuwirang sistema sa pagtanggi, pahiwatig, ng daigdig ng dami, mahalagang ang mga ideya ng katotohanan tables atbp, ngunit kung ano ay hindi recognisable ngayon ay ang notasyon na Frege ginagamit.