By Translation, Predicates

Thanks Roro and thanks LanguageLover.. Roro your wonderful answers expands my knowledge and imagination. i liked this consultation and i want to continue (if you want), LanguageLover, we will be glad if you tell your ideas about solutions. and new questions and my answers: (i am waiting...

Hello muratsekerci, and welcome to EnglishForum. Question 1: Which of the following designate a legitimate type according to the type system which our language Ltype rests on? I'm not sure what means here, because these logical types are a bit unusual. But as far as I know: a. , , t>>...

Hello, rvw. I'd like to add just a few words. I remember reading in Gamut1991 roughly such an exciting passage: G.W. Leibniz (1646-1716) had proposed a program for logic and developed ideas of a universal language, in which thought could be represented directly, without any of the ambiguities....

AT JOHN 1:1 the King James Version reads: "In the beginning was the Word, and the Word was with God, and the Word was God." Trinitarians claim that this means that "the Word" (Greek, ho lo'gos) who came to earth as Jesus Christ was Almighty God himself. Someone who is "with" another person...