威弗里德·纽梅尔 通用逻辑。亚里士多德、莱布尼茨、布尔、弗雷格、皮亚诺、康托尔、泽梅洛/语言逻辑对经典逻辑的综合。基于莱布尼茨和皮亚诺思想的语法演算。（通用逻辑。Eine Synthesis klasischer Logiken von Aristoteles，Leibniz，Boole，Frege，Peano，Cantor，Zermelo/Verbale Logik.Ein Grammatik-Kalkül nach Ideen von Leibnix und Peano。） （德语） Zbl 1506.03004号 哲学文本与研究122.希尔德斯海姆：Georg Olms出版社（ISBN 978-3-487-15927-0/pbk）。xii，280页。(2020). 出版商描述：Die Universallogik behandelt Die wichtigsten klassischen Logiken der Geschichte，stallt sie in aktueller symbicacher Notation in Kalkülform dar und vereinigt sie zu einer geschichtsübergreifenden Logik，Dieältere Vorstufen optiiert。Sie将，wie der Titel signalisiert，das Leibniz-Programm einer universalen logischen Kalkülsprache weiter voranteiben。他认识到了亚里士多德的拉赫曼逻辑和灵感的来源。Jahrhunderts Frege zur Entwicklung der Prädikatenlogik und Peano zur Entwicklung der Klassenlogik，在Mengenlehre von Cantor und Zermelo verdrängt wurde死前。历史学家Ansätze und Kalküle dieser Logiker werden hier an hand der Quellen aufgearbeitet und in einen radikal vereinfachten，aber wesentlich leistungsfähigeren Universalkalkenbett。语言逻辑在einer logischen Grammatik zuräzisen logischen-Verbalsprache aus中的通用逻辑。Sie aktualisiert Ideen von Leibniz und Peano，der das Leibniz-程序aufgriff und die Weichen stellte für eine leistungsfähige Verbalsprache，die gleichwertig zur Symbolsprache ist。这是基恩数学（keine mathematische Kunstsprache），也是克恩斯蒂克（Kernstück der bekanntenten Umgangsspache）的最新作品。在grammatikalisch präzisierter形式中，die eine eindeutige Formalisierung sicherstellt，is es ein nützliches Werkzeug für alle，die sich exakt und verständlich ausdrücken wollen。 MSC公司： 03-03 数学逻辑和基础的历史 03Bxx号 一般逻辑 03年05月 逻辑和基础的哲学和批判性方面 传记参考： 亚里士多德;戈特弗里德·威廉·莱布尼茨;乔治·布尔;戈特洛布·弗雷格;朱塞佩·皮亚诺;乔治·坎托;恩斯特·泽梅洛 PDF格式BibTeX公司 XML格式引用 \textit{W.Neumaier}，通用。Eine Synthese klasischer Logiken von Aristoteles、Leibniz、Boole、Frege、Peano、Cantor、Zermelo/Verbale Logik。Ein Grammatik-Kalkül nach Ideen von Leibniz und Peano（伊恩·格拉马提克·卡尔纳）。希尔德斯海姆：Georg Olms Verlag（2020；Zbl 1506.03004）