Aristotle (384-322 BC) was born in the ancient Greek city of Stacira. Marx called him "the greatest thinker in ancient times" and Engels called him "the most learned man". George boole (18 15- 1864) is a famous mathematician and logician in Britain. Bertrand Arthur William Russell (1872- 1970) is a famous modern British mathematical logician, philosopher and internationally renowned scholar. Gottlobfrege (1848-1925) is a famous German mathematician and a professor of mathematics at the University of Jena. He devoted his life to the creation and research of mathematics and mathematical logic. Austrian mathematician and logician Kurt G?del (1906- 1978) has made indelible contributions to the development of mathematics and mathematical logic. David Hilbert (1862- 1943), a German mathematician and logician, has made outstanding contributions in many fields of mathematics and is the main representative of formalism in mathematical logic. Talsky (1902- 1983), Polish, logician, mathematician and founder of logical semantics. Lucasey Witz (1878- 1856) is a Polish logician. His major works include Fundamentals of Mathematical Logic and History of Propositional Logic. The construction of the first multivalued logic system and its application in the construction of modal logic system is one of his main tasks. ,,,,,,,,,,,,,,,