Begriffsschrift (German for, roughly, "concept-writing") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that...

His contributions include the development of modern logic in the Begriffsschrift and work in the foundations of mathematics. His book the Foundations...

metamathematical reflection began with the work of Gottlob Frege, especially his Begriffsschrift, published in 1879. David Hilbert was the first to invoke the term...

things as may fairly find a place in ordinary Logic". Gottlob Frege's Begriffsschrift (1879) preceded Giuseppe Peano (1889), but Peano had no knowledge of...

predicate logic following the work of Gottlob Frege, in particular his Begriffsschrift (Concept Script; 1879). Syllogism, being a method of valid logical...

} appeared in Heyting in 1930 (compare to Frege's symbol ⫟ in his Begriffsschrift); the symbol ∼ {\displaystyle \sim } appeared in Russell in 1908; an...

the development of modern logic and formalised mathematics. Frege's Begriffsschrift (1879) introduced both a complete propositional calculus and what is...

announced the discovery to Gottlob Frege of the paradox in Frege's 1879 Begriffsschrift and framed the problem in terms of both logic and set theory, and in...

treating Begriffsschrift (Frege's logic) as a notational variant of quantificational logic, Macbeth proposes that reasoning in Begriffsschrift is more...

cardinal numbers (because they are all well-orderable in that case). Begriffsschrift contains an early formulation of the law of trichotomy Dichotomy Law...