出处:哲学卷 • 逻 辑 学 • 外国逻辑史
词条 | 弗雷格 |
释义 | 弗雷格 弗雷格(Gottlob Frege ,1848—1925) 德国数学家、逻辑学家,数理逻辑奠基人之一。格丁根大学哲学博士。长期任耶拿大学教授。1879年著《概念演算》一书,第一次表述了具有现代形式的数理逻辑命题演算体系,在数理逻辑的发展上有重要贡献。在《算术基础》和《算术基本法则》中,试图从逻辑中导出算术,以奠立算术的基础。他还把他提出的涵义和所指的理论推广到命题上,提出了外延论题:当某个命题的一部分用具有同样所指但有不同涵义的表达式去替换时,命题的真值保持不变。并进一步研究了外延论题不适用的状况,为内涵逻辑的建立指明了方向。 出处:哲学卷 • 逻 辑 学 • 外国逻辑史 弗雷格(Gottlob 出处:数理化力学卷 • 数 学 • 人物及著作 弗雷格(Gottlob Frege ,1848—1925) 德国数学家、逻辑学家,数理逻辑奠基人之一。格丁根大学哲学博士。长期任耶拿大学教授。1879年著《概念演算》一书,第一次表述了具有现代形式的数理逻辑命题演算体系,在数理逻辑的发展上有重要贡献。在《算术基础》和《算术基本法则》中,试图从逻辑中导出算术,以奠立算术的基础。他还把他提出的涵义和所指的理论推广到命题上,提出了外延论题:当某个命题的一部分用具有同样所指但有不同涵义的表达式去替换时,命题的真值保持不变。并进一步研究了外延论题不适用的状况,为内涵逻辑的建立指明了方向。 出处:哲学卷 • 外国哲学史 • 西方哲学 • 现代哲学 • 人 物 • 德 国 |
随便看 |
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。