Second-order logic
Videos
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and
Graffiti in Neukölln (Berlin) showing the simplest second-order sentence admitting nontrivial models, "∃φ φ".
Gottlob Frege
Videos
Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic p
Second-order logic
…logic and whose notation is most similar to the modern form (Putnam 1982). However, today most students of logic are more familiar with the works of Frege, who published his work several years prior to Peirce but whose works remained less known until Bertrand Russell and Alfred North Whitehead made them…
Frege, c. 1879
Frege's house at Forstweg 29 in Jena, shared with his neighbor Rudolf Hirzel