GottlobFrege is the modern logic first ancestor, also is recognized for is analyzes the philosophy and the language philosophy founder.
弗雷格是现代逻辑的鼻祖，也被公认为分析哲学和语言哲学的创始人。
2
Presupposition theory was raised by GottlobFrege, the German philosopher in 1892. It's a concept of logic at the beginning, then introduced to linguistics domain later.