Changes

==Logic==

==Logic==

In logic Peirce was the first American to take up [[George Boole]]'s program to find the mathematical laws of logic--a program that began modern logic. Peirce made numerous major contributions from 1866 to 1914.  His technical papers of 1867 to 1885 established him as the greatest formal logician in the world, and the influential in the period from Boole to Ernst Schroeder. Peirce's papers were extremely difficult, but Schroeder explicated them and they became well known in the field.

In logic Peirce was the first American to take up [[George Boole]]'s program to find the mathematical laws of logic--a program that began modern logic. Peirce made numerous major contributions from 1866 to 1914.  His technical papers of 1867 to 1885 established him as the greatest formal logician in the world, and the most influential in the period from Boole to Ernst Schroeder. Peirce's papers were extremely difficult, but Schroeder explicated them and they became well known in the field.

Peirce radically modified, extended, and transformed Boolean algebra, making it applicable to propositions, relations, probability, and arithmetic. Following De Morgan, Peirce laid the foundations of the logic of relations, the key technique for the logical analysis of mathematics. He invented the copula symbol of inclusion, the most important symbol in the logic of classes. Peirce invented two new logical algebras, two new systems of logical graphs, discovered the link between the logic of classes and the logic of propositions, was the first to give the fundamental principle for the logical development of mathematics, and made fundamental contributions to probability theory, induction, and the logic of scientific methodology. Peirce wrote an elaborate book on advanced logic but could not get it published.  

Peirce radically modified, extended, and transformed Boolean algebra, making it applicable to propositions, relations, probability, and arithmetic. Following De Morgan, Peirce laid the foundations of the logic of relations, the key technique for the logical analysis of mathematics. He invented the copula symbol of inclusion, the most important symbol in the logic of classes. Peirce invented two new logical algebras, two new systems of logical graphs, discovered the link between the logic of classes and the logic of propositions, was the first to give the fundamental principle for the logical development of mathematics, and made fundamental contributions to probability theory, induction, statistics, and the logic of scientific methodology. Peirce wrote an elaborate book on advanced logic but could not get it published.

==Pragmatism==

==Pragmatism==