逻辑数学化论文

论文摘要逻辑史的变革是从逻辑数学化开始的。逻辑数学化的开端代表人物是17世纪的莱布尼茨,而弗雷格是数理逻辑的开创者。弗雷格与莱布尼茨一样都追求真理,不同的是莱布尼茨追求本体和推...