英文字典,中文字典,查询,解释,review.php


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       


安装中文字典英文字典辞典工具!

安装中文字典英文字典辞典工具!










  • Begriffsschrift – Wikipedia
    Das Titelblatt der Begriffsschrift Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik Es wurde 1879 mit dem Untertitel „Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens“ veröffentlicht und gilt allgemein als die wichtigste Veröffentlichung im Bereich der Logik seit
  • Frege: El legado filosófico y matemático de Gottlob Frege
    La Begriffsschrift de Frege, o Escritura de Conceptos, revolucionó la lógica al introducir la lógica de predicados, proporcionando un lenguaje formal para estructurar proposiciones matemáticas Este sistema de notación innovador permitió la representación precisa de relaciones lógicas complejas y allanó el camino para avances en el
  • 概念文字-数学百科
    《概念文字》（德语： Begriffsschrift ）是1879年出版的戈特洛布·弗雷格写的一本关于逻辑学的书。书的完整标题把它标识为《模仿算术的纯思维的形式语言》。 这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“ 演算推论器
  • 弗雷格的“真”-清华大学哲学系 - Tsinghua University
    概念文字（Begriffsschrift）是弗雷格发明的一种在他自己看来比较完美的表达思想的符号系统。在概念文字里，类似(1)的句子和“是真的”的确没有再出现。 4结论 我将讨论的结果总结如下：类似(1)的句子不对F1造成威胁。
  • Frege’s Begriffsschrift: On the Visual Basis of Logical Articulation . . .
    The main such changes, from Begriffsschrift (1879) through Basic Laws of Arithmetic (1893 1903) to his lectures on logic (1910–1911), concern: his type-theoretic semantics (not yet present in Begriffsschrift); his specific selection of inference rules and logical axioms, which varies over time; and the addition of a theory of classes (or
  • Frege’s Begriffsschrift (1879) – An Ideal Logical Language (Chapter 4 . . .
    Frege - April 2019
  • Gottlob Frege: Begriffsschrift, eine der arithmetischen nachgebildete . . .
    Gottlob Freges Begriffsschrift zählt zu den außergewöhnlichsten Schriften der Logikgeschichte Mit ihr allein beginnt 1879 das Kapitel der modernen formalen Logik Selbst heute können wir kaum nachvollziehen, wie die Vielfalt ihrer bahnbrechenden Inhalte durch einen Einzelnen geleistet werden konnte


















中文字典-英文字典  2005-2009