The subject of logic has its roots in classical philosophy and today has branches in many disciplines, including mathematics and philosophy, as well as computer science, linguistics, and law.
Many people enjoy solving puzzles with elementary logical reasoning.
More advanced techniques of logic are used in expert systems which, for example, help doctors diagnose illness with the aid of computers. Current research on hybrid algorithms is using logic in the design of onboard software which can map out the flight plan of an airplane in real time. My research is in the area of mathematical logic. The University of Florida is the host for the Eprints service, which collects abstracts in mathematical logic and makes them available on the Internet. Just as mathematics is the language of science and provides the foundation of science, so logic is the language of mathematics and provides the foundation of mathematics.