Complex sentence: That logic, a formal inference engine, or computer program, that can be designed so as to grant primacy to calculations, began with Frege's 1879 "Begriffsschrift" and Charles Peirce's writings on logic in the 1880s.
Split into simpler sentences: That logic, is a formal inference engine or computer program that can be designed so as to grant primacy to calculations. It began with Frege's 1879 "Begriffsschrift" and Charles Peirce's writings on logic in the 1880s.