|
Nuel Belnap
Nuel Dinsmore Belnap Jr. (; born 1930) is an American logician and philosopher who has made contributions to the philosophy of logic, temporal logic, and structural proof theory. He taught at the University of Pittsburgh from 1963 until his retirement in 2011. Biography As an undergraduate, Belnap studied at the University of Illinois where he obtained his B.A. He recalled Max Fisch assigned Whitehead readings. After military service he attended Yale University and enjoyed metaphysics. His professors included Paul Weiss, Arthur Pap, Henry Margenau, Frederic Fitch, and Rulon Wells. On a Fulbright Fellowship in 1958 he went to Louvain to study with Canon Robert Feys. Belnap domiciled in Brussels with wife and 2-year-old. Feys directed Belnap to read Wilhelm Ackermann's article on rigorous implication in the ''Journal of Symbolic Logic''. Alan Ross Anderson and Belnap began to discuss relevant implication. In 1960 Anderson told Belnap to write up the work he had done on relev ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Western Philosophy
Western philosophy encompasses the philosophical thought and work of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the pre-Socratics. The word ''philosophy'' itself originated from the Ancient Greek (φιλοσοφία), literally, "the love of wisdom" grc, φιλεῖν , "to love" and σοφία '' sophía'', "wisdom"). History Ancient The scope of ancient Western philosophy included the problems of philosophy as they are understood today; but it also included many other disciplines, such as pure mathematics and natural sciences such as physics, astronomy, and biology (Aristotle, for example, wrote on all of these topics). Pre-Socratics The pre-Socratic philosophers were interested in cosmology; the nature and origin of the universe, while rejecting mythical answers to such questions. They were specifically interested in the (the cause or first principle) of the w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henry Margenau
Henry Margenau (April 30, 1901 – February 8, 1997) was a German-American physicist, and philosopher of science. Biography Early life Born in Bielefeld, Germany, Margenau obtained his bachelor's degree from Midland Lutheran College, Nebraska before his M.Sc. from the University of Nebraska in 1926, and PhD from Yale University in 1929. World War II Margenau worked on the theory of microwaves and the development of duplexing systems that enabled a single radar antenna both to transmit and receive signals. He also worked on spectral line broadening, a technique used to analyse and review the dynamics of the atomic bombing of Hiroshima. Philosophy and history of science Margenau wrote extensively on science, his works including: ''Ethics and Science'', ''The Nature of Physical Reality'', ''Quantum Mechanics'' and ''Integrative Principles of Modern Thought''. He wrote in 1954 the important introduction for the classic book of Hermann von Helmholtz, On the Sensations of Tone. Fre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bas Van Fraassen
Bastiaan Cornelis van Fraassen (; born 1941) is a Dutch-American philosopher noted for his contributions to philosophy of science, epistemology and formal logic. He is a Distinguished Professor of Philosophy at San Francisco State University and the McCosh Professor of Philosophy Emeritus at Princeton University. Biography and career Van Fraassen was born in the German-occupied Netherlands on 5 April 1941. His father, a steam fitter, was forced by the Nazis to work in a factory in Hamburg. After the war, the family reunited and, in 1956, emigrated to Edmonton, in western Canada. Van Fraassen earned his B.A. (1963) from the University of Alberta and his M.A. (1964) and Ph.D. (1966, under the direction of Adolf Grünbaum) from the University of Pittsburgh. He previously taught at Yale University, the University of Southern California, the University of Toronto and, from 1982 to 2008, at Princeton University, where he is now emeritus. Since 2008, van Fraassen has taught at ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kurt Baier
Kurt Baier (26 January 1917 – 7 November 2010) was an Austrian moral philosopher who taught for most of his career in Australia and the United States. Life and career Born in Vienna, Austria, Baier studied law at the University of Vienna. In 1938, after the Anschluss he had to abandon his studies, and went to the United Kingdom as a refugee, where he was interned as a "friendly enemy alien" and sent to Australia on the ''Dunera''. There he began studying philosophy. Baier received his B.A. from the University of Melbourne in 1944, and his M.A. in 1947. In 1952, he received his DPhil at Oxford University. Baier taught at the University of Melbourne and the Australian National University. He met and married Annette Baier in 1958. He joined the faculty of the University of Pittsburgh in 1961, and became Chair of the Department in 1967, and remained at Pitt until his retirement in 1996. He became president of the Eastern Division and chair of the National Board of Officers of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Princeton University Press
Princeton University Press is an independent publisher with close connections to Princeton University. Its mission is to disseminate scholarship within academia and society at large. The press was founded by Whitney Darrow, with the financial support of Charles Scribner, as a printing press to serve the Princeton community in 1905. Its distinctive building was constructed in 1911 on William Street in Princeton. Its first book was a new 1912 edition of John Witherspoon's ''Lectures on Moral Philosophy.'' History Princeton University Press was founded in 1905 by a recent Princeton graduate, Whitney Darrow, with financial support from another Princetonian, Charles Scribner II. Darrow and Scribner purchased the equipment and assumed the operations of two already existing local publishers, that of the ''Princeton Alumni Weekly'' and the Princeton Press. The new press printed both local newspapers, university documents, ''The Daily Princetonian'', and later added book publishing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nicholas Rescher
Nicholas Rescher (; ; born 15 July 1928) is a German-American philosopher, polymath, and author, who has been a professor of philosophy at the University of Pittsburgh since 1961. He is chairman of the Center for Philosophy of Science and was formerly chairman of the philosophy department. Rescher has served as president for the American Catholic Philosophical Association, Leibniz Society of North America, American Metaphysical Society, American Philosophical Association, and Charles S. Peirce Society. He is the founder of ''American Philosophical Quarterly'', ''History of Philosophy Quarterly'', and ''Public Affairs Quarterly''. Early life and education Nicholas Rescher was born in Hagen in the Westphalia region of Germany. In his autobiography he traces his descent to Nehemias Rescher (1735-1801), a founder of the Hochberg-Remseck Jewish community in Swabian Germany. He relocated to the United States when he was 10 and obtained a degree in mathematics at Queens College, N ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adolf Grunbaum
Adolf (also spelt Adolph or Adolphe, Adolfo and when Latinised Adolphus) is a given name used in German-speaking countries, Scandinavia, the Netherlands and Flanders, France, Italy, Spain, Portugal, Latin America and to a lesser extent in various Central European and East European countries with non-Germanic languages, such as Lithuanian Adolfas and Latvian Ādolfs. Adolphus can also appear as a surname, as in John Adolphus, the English historian. The female forms Adolphine and Adolpha are far more rare than the male names. The name is a compound derived from the Old High German ''Athalwolf'' (or ''Hadulf''), a composition of ''athal'', or ''adal'', meaning "noble" (or '' had(u)''-, meaning "battle, combat"), and ''wolf''. The name is cognate to the Anglo-Saxon name '' Æthelwulf'' (also Eadulf or Eadwulf). The name can also be derived from the ancient Germanic elements "Wald" meaning "power", "brightness" and wolf (Waldwulf). Due to negative associations with Adolf ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wilfrid Sellars
Wilfrid Stalker Sellars (May 20, 1912 – July 2, 1989) was an American philosopher and prominent developer of critical realism, who "revolutionized both the content and the method of philosophy in the United States". Life and career His father was the Canadian-American philosopher Roy Wood Sellars, a leading American philosophical naturalist in the first half of the twentieth-century. Wilfrid was educated at the University of Michigan (BA, 1933), the University at Buffalo, and Oriel College, Oxford (1934–1937), where he was a Rhodes Scholar, obtaining his highest earned degree, an MA, in 1940. During World War II, he served in military intelligence. He then taught at the University of Iowa (1938–1946), the University of Minnesota (1947–1958), Yale University (1958–1963), and from 1963 until his death, at the University of Pittsburgh. He served as president of the Metaphysical Society of America in 1977. He was a founder of the journal '' Philosophical Studies''. Sell ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jon Barwise
Kenneth Jon Barwise (; June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used. Education and career Born in Independence, Missouri to Kenneth T. and Evelyn Barwise, Jon was a precocious child. A pupil of Solomon Feferman at Stanford University, Barwise started his research in infinitary logic. After positions as assistant professor at Yale University and the University of Wisconsin, during which time his interests turned to natural language, he returned to Stanford in 1983 to direct the Center for the Study of Language and Information. He began teaching at Indiana University in 1990. He was elected a Fellow of the American Academy of Arts and Sciences in 1999. In his last year, Barwise was invited to give the 2000 Gödel Lecture; he died prior to the lecture. Philosophical and logical work Barwise contended that, by being explicit about the context in w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Relevance Logic
Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. It is generally, but not universally, called ''relevant logic'' by British and, especially, Australian logicians, and ''relevance logic'' by American logicians. Relevance logic aims to capture aspects of implication that are ignored by the " material implication" operator in classical truth-functional logic, namely the notion of relevance between antecedent and conditional of a true implication. This idea is not new: C. I. Lewis was led to invent modal logic, and specifically strict implication, on the grounds that classical logic grants paradoxes of material implication such as the principle that a falsehood implies any proposition. Hence "if I'm a donkey, then two and two is four" is true when translated as a material implication, yet it seems intuit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Symbolic Logic
The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by ''Mathematical Reviews'', Zentralblatt MATH, and Scopus. Its 2009 MCQ was 0.28, and its 2009 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as ... was 0.631. External links * Mathematics journals Publications established in 1936 Multilingual journals Quarterly journals Association for Symbolic Logic academic journals Logic journals Cambridge University Press academic journals {{math-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wilhelm Ackermann
Wilhelm Friedrich Ackermann (; ; 29 March 1896 – 24 December 1962) was a German mathematician and logician best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation. Biography Ackermann was born in Herscheid, Germany, and was awarded a Ph.D. by the University of Göttingen in 1925 for his thesis ''Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit'', which was a consistency proof of arithmetic apparently without Peano induction (although it did use e.g. induction over the length of proofs). This was one of two major works in proof theory in the 1920s and the only one following Hilbert's school of thought. From 1929 until 1948, he taught at the Arnoldinum Gymnasium in Burgsteinfurt, and then at Lüdenscheid until 1961. He was also a corresponding member of the Akademie der Wissenschaften (''Academy of Sciences'') in Göttingen, and was an honorary professor at the Univ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
