Columbia Encyclopedia
Search results
299 results found
symbolic logic
(Encyclopedia)symbolic logic or mathematical logic, formalized system of deductive logic, employing abstract symbols for the various aspects of natural language. Symbolic logic draws on the concepts and techniques ...mathematical logic
(Encyclopedia)mathematical logic: see symbolic logic. ...Lewis, Clarence Irving
(Encyclopedia)Lewis, Clarence Irving, 1883–1964, American philosopher, b. Stoneham, Mass., grad. Harvard (B.A., 1906; Ph.D., 1910). After teaching (1911–20) at the Univ. of California, he was professor of philo...deduction
(Encyclopedia)deduction, in logic, form of inference such that the conclusion must be true if the premises are true. For example, if we know that all men have two legs and that John is a man, it is then logical to ...logic circuit
(Encyclopedia)logic circuit, electric circuit whose output depends upon the input in a way that can be expressed as a function in symbolic logic; it has one or more binary inputs (capable of assuming either of two ...proof, in mathematics
(Encyclopedia)proof, in mathematics, finite sequence of propositions each of which is either an axiom or follows from preceding propositions by one of the rules of logical inference (see symbolic logic). Mathematic...Boole, George
(Encyclopedia)Boole, George, 1815–64, English mathematician and logician. He became professor at Queen's College, Cork, in 1849. Boole wrote An Investigation of the Laws of Thought (1854) and works on calculus an...logic
(Encyclopedia)logic, the systematic study of valid inference. A distinction is drawn between logical validity and truth. Validity merely refers to formal properties of the process of inference. Thus, a conclusion w...Frege, Gottlob
(Encyclopedia)Frege, Gottlob gôtˈlōp frāˈgə [key], 1848–1925, German philosopher and mathematician. He was professor of mathematics (1879–1918) at the Univ. of Jena. Frege was one of the founders of moder...Langer, Susanne Knauth
(Encyclopedia)Langer, Susanne Knauth nouth lăngˈər [key], 1895–1986, American philosopher, b. New York City, grad. Radcliffe (B.A., 1920; Ph.D., 1926). After holding various teaching posts, she was a lecturer ...Browse by Subject
- Earth and the Environment +-
- History +-
- Literature and the Arts +-
- Medicine +-
- People +-
- Philosophy and Religion +-
-
Places
+-
- Africa
- Asia
- Australia and Oceania
- Britain, Ireland, France, and the Low Countries
- Commonwealth of Independent States and the Baltic Nations
- Germany, Scandinavia, and Central Europe
- Latin America and the Caribbean
- Oceans, Continents, and Polar Regions
- Spain, Portugal, Italy, Greece, and the Balkans
- United States, Canada, and Greenland
- Plants and Animals +-
- Science and Technology +-
- Social Sciences and the Law +-
- Sports and Everyday Life +-
