George Bole's Theory

George Boole

Who was George Boole?

And what relationship did he had with symbolic logic?

He was a British mathematician, creator of a new system of logic calculation who later would be called Boolean algebra. This system, in which propositions are reduced to symbols on which can be operated mathematically represented a major advance in the development of logic and over a century later he would find a formidable and unsuspected field of application in information and microprocessors, whose operation was based on the binary logic of Boole. He was member of a not economically stable family. Boole had to exclude his intention to become a monk when he was forced to support his parents. At sixteen he taught mathematics in a private school and

The elements of Boolean algebra are a set of propositions, which means, facts expressed by natural language sentences. Such propositions have the right to be true or false. At the same time, and regardless of whether they are true or false, every proposition has its complementary proposition, which is nothing but the denial of it: the denial of the proposition P is the complementary proposition P. The consequences of these propositions can be discovered by performing mathematical operations on the symbols that represent them. The two basic operations are the conjunction and disjunction. The rules of Boolean algebra can be used to determine the consequences of the various combinations of these propositions depending on whether the statements are true or false. Two elements of Boolean algebra makes it a very important mathematical form for practical application. First, the propositions expressed in everyday language (like "I 'll be at home today") can become math expressions such as letters and numbers. Second, those symbols generally have one or two values: the propositions may be affirmative or negative. Operation can be a conjunction or a disjunction; and not only propositions, but also the result of combinations, are true or false. This means they can be expressed by a binary system: true or false; Yes or no. The binary mathematical system is a numerical system mostly used in computers. Computerized systems consist of magnetic cores that can be started or stopped; the numbers 0 and 1 are used to represent the two possible states of a magnetic core. The methods of logical calculation of Boolean algebra have come to constitute the "intelligence" of many everyday objects such as engineers design circuits for personal computers, calculators, CD players, phones and a lot of other types of electronic products, but do not enable them