Curtis Anthony Anderson (born May 29, 1940) is a contemporary American philosopher, currently Professor of Philosophy at the University of California at Santa Barbara. He earned his Ph.D. in philosophy from University of California at Los Angeles in 1977, where he worked closely with the renowned logician Alonzo Church. He also holds an M.S. in mathematics from the University of Houston (1965), where he earned his undergraduate degree in physics and mathematics (1964).
Anderson's work over the years has focused primarily in the philosophy of logic and the philosophy of language, although he also works in such areas as the philosophy of religion and has an interest in most areas of traditional philosophy.
Prior to his professorship at U.C. Santa Barbara, Anderson held posts notably at the University of Minnesota at Minneapolis, and the University of Texas at Austin.
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
 | This article about a Christian philosopher is a stub. You can help Wikipedia by expanding it. |
 | This biography of an American philosopher is a stub. You can help Wikipedia by expanding it. |
A definition is a statement of the meaning of a term. Definitions can be classified into two large categories: intensional definitions, and extensional definitions. Another important category of definitions is the class of ostensive definitions, which convey the meaning of a term by pointing out examples. A term may have many different senses and multiple meanings, and thus require multiple definitions.
Alonzo Church was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.
Rudolf Carnap was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism.
Analytic philosophy is a broad, contemporary movement or tradition within Western philosophy, especially anglophone philosophy, focused on analysis as a philosophical method. It is characterized by a clarity of prose; rigor in arguments; and making use of formal logic and mathematics, and, to a lesser degree, the natural sciences. It is further characterized by an interest in language, semantics and meaning, known as the linguistic turn. It has developed several new branches of philosophy and logic, notably philosophy of language, philosophy of mathematics, philosophy of science, modern predicate logic and mathematical logic.
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance.
Ruth Barcan Marcus was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula. Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their time, but actually – I believe – true".
David Kellogg Lewis was an American philosopher. Lewis taught briefly at UCLA and then at Princeton University from 1970 until his death. He is closely associated with Australia, whose philosophical community he visited almost annually for more than 30 years.
Richard Merritt Montague was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language. He is known for proposing Montague grammar to formalize the semantics of natural language. As a student of Alfred Tarski, he also contributed early developments to axiomatic set theory (ZFC). For the latter half of his life, he was a professor at the University of California, Los Angeles until his early death, believed to be a homicide, at age 40.
David Benjamin Kaplan is an American philosopher. He is the Hans Reichenbach Professor of Scientific Philosophy at the UCLA Department of Philosophy. His philosophical work focuses on the philosophy of language, logic, metaphysics, epistemology and the philosophy of Frege and Russell. He is best known for his work on demonstratives, propositions, and reference in intensional contexts. He was elected a Fellow of the American Academy of Arts & Sciences in 1983 and a Corresponding Fellow of the British Academy in 2007.
Richard Milton Martin was an American logician and analytic philosopher.
Jerry R. Hobbs is an American researcher in the fields of computational linguistics, discourse analysis, and artificial intelligence.
Stewart Shapiro is O'Donnell Professor of Philosophy at the Ohio State University and distinguished visiting professor at the University of Connecticut. He is a leading figure in the philosophy of mathematics where he defends the abstract variety of structuralism.
Pavel Tichý was a Czech logician, philosopher and mathematician.
Frederic Brenton Fitch was an American logician, a Sterling Professor at Yale University.
A mathematical object is an abstract concept arising in mathematics. Typically, a mathematical object can be a value that can be assigned to a symbol, and therefore can be involved in formulas. Commonly encountered mathematical objects include numbers, expressions, shapes, functions, and sets. Mathematical objects can be very complex; for example, theorems, proofs, and even formal theories are considered as mathematical objects in proof theory.
Meaning and Necessity: A Study in Semantics and Modal Logic is a book about semantics and modal logic by the philosopher Rudolf Carnap. The book, in which Carnap discusses the nature of linguistic expressions, was a continuation of his previous work in semantics in Introduction to Semantics (1942) and Formalization of Logic (1943). Considered an important discussion of semantics, it was influential and provided a basis for further developments in modal logic.
Matthias Schirn is a German philosopher and logician.
Frode Alfson Bjørdal is philosophy professor emeritus at the University of Oslo, Norway.
Pavel Materna was a Czech philosopher, logician and key representative of transparent intensional logic.
Alice Geraldine Baltina ter Meulen is a Dutch linguist, logician, and philosopher of language whose research topics include genericity in linguistics, intensional logic, generalized quantifiers, discourse representation theory, and the linguistic representation of time. She is a professor emerita at the University of Geneva.
