Vous êtes très bien habillé pour être logicien symbolique. 作为逻辑学家 你的穿着很得体
Vous êtes un logicien symbolique. 那你是个符号逻辑学家
Albert de Saxe est parmi les plus célèbres de ses disciples, reconnu comme un logicien. 阿尔伯托·德·萨克斯为当时他的最著名的信奉者当中的一个,被认为是一位逻辑学家。
La conception sémantique de la vérité, qui est liée de différentes façons à la correspondance et aux conceptions déflationnistes, est due au travail publié par le logicien polonais Alfred Tarski dans les années 1930. 真理的语义概念,以不同的方式同符合和紧缩的概念有关,是由波兰逻辑学家Alfred Tarski在1930年代出版的著作引发的。
La dénomination « clause de Horn » vient du nom du logicien Alfred Horn qui, le premier, met en évidence l’intérêt de telles clauses en 1951 dans l’article « On sentences which are true of direct unions of algebras » publié dans le Journal of Symbolic Logic, numéro 16, pages 14 à 21. 霍恩子句得名于逻辑学家 Alfred Horn,他在 1951 年首先在文章《On sentences which are true of direct unions of algebras》, Journal of Symbolic Logic, 16, 14-21 中指出这种子句的重要性。