概念文字

简介

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.

联系

批评了

• 工具论约公元前350年年 · 亚里士多德

被承接于

• 论涵义与指称1892 · 戈特洛布·弗雷格
• 数学原理1910 · 伯特兰·罗素
• 逻辑哲学论1921 · 路德维希·维特根斯坦

戈特洛布·弗雷格 的更多作品

• 1884算术基础
• 1892论涵义与指称

出现在

• 旅程 ‘语言转向’ · 第 1 站，共 10 站