Begriffsschrift

Wprowadzenie

Frege, then a 30-year-old lecturer in Jena, published this booklet of under a hundred pages in Halle in 1879. Its subtitle calls it a formula language of pure thought modelled on that of arithmetic. Instead of the traditional analysis into subject and predicate, it analyses sentences into function and argument, introduces a sign for generality – the quantifier – and writes conditionals and negation in a two-dimensional notation of strokes. On this basis Frege sets out the first fully formal system of quantificational logic, and in the third part defines what it means for one item to follow another in a series. Reviewers found the notation cumbersome; its importance was recognised only decades later, largely through Russell.

Powiązania

Krytykuje

• Organonok. 350 p.n.e. · Arystoteles

Podjęte w

• Sens i nominat1892 · Gottlob Frege
• Principia mathematica1910 · Bertrand Russell
• Traktat logiczno-filozoficzny1921 · Ludwig Wittgenstein

Więcej dzieł: Gottlob Frege

• 1884Podstawy arytmetyki
• 1892Sens i nominat

Pojawia się w

• Podróż „Zwrot lingwistyczny” · Przystanek 1 z 10