|
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] |
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History One of the earliest known mathematicians were Thales of Miletus (c. 624–c.546 BC); he has been hailed as the first true mathematician and the first known individual to whom a mathematical discovery has been attributed. He is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales' Theorem. The number of known mathematicians grew when Pythagoras of Samos (c. 582–c. 507 BC) established the Pythagorean School, whose doctrine it was that mathematics ruled the universe and whose motto was "All is number". It was the Pythagoreans who coined the term "mathematics", and with whom the study of mathematics for its own sake begins. The first woman mathematician recorded by history was Hyp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liar Paradox
In philosophy and logic, the classical liar paradox or liar's paradox or antinomy of the liar is the statement of a liar that they are lying: for instance, declaring that "I am lying". If the liar is indeed lying, then the liar is telling the truth, which means the liar just lied. In "this sentence is a lie" the paradox is strengthened in order to make it amenable to more rigorous logical analysis. It is still generally called the "liar paradox" although abstraction is made precisely from the liar making the statement. Trying to assign to this statement, the strengthened liar, a classical binary truth value leads to a contradiction. If "this sentence is false" is true, then it is false, but the sentence states that it is false, and if it is false, then it must be true, and so on. History The Epimenides paradox (circa 600 BC) has been suggested as an example of the liar paradox, but they are not logically equivalent. The semi-mythical seer Epimenides, a Cretan, reportedly stated ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Philosophical Quarterly
''The Philosophical Quarterly'' is a quarterly academic journal of philosophy established in 1950 and published by Wiley-Blackwell Wiley-Blackwell is an international scientific, technical, medical, and scholarly publishing business of John Wiley & Sons. It was formed by the merger of John Wiley & Sons Global Scientific, Technical, and Medical business with Blackwell Publish ... on behalf of the Scots Philosophical Club and the University of St Andrews. Since 2014 its publisher is Oxford Academic. Every year the journal holds an Essay Prize. The journal is considered one of the top-ten publication venues in general philosophy. Notable articles * "Extreme and Restricted Utilitarianism" (1956) - J.J.C. Smart * "Rawls’ Theory of Justice" (1973) - R.M. Hare * "Epiphenomenal Qualia" (1982) - Frank Jackson * "De Re Senses" (1984) - John McDowell * "Jackson on Physical Information and Qualia" - Terrance Horgan * "Dispositions and Conditionals" (1994) - C. B. Martin * "The Con ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Perry (philosopher)
John Richard Perry (born 1943) is Henry Waldgrave Stuart Professor of Philosophy Emeritus at Stanford University and Distinguished Professor of Philosophy Emeritus at the University of California, Riverside. He has made significant contributions to philosophy in the fields of philosophy of language, metaphysics, and philosophy of mind. He is known primarily for his work on situation semantics (together with Jon Barwise), reflexivity, indexicality, personal identity, and self-knowledge. Life and career John Perry was born in Lincoln, Nebraska on January 16, 1943. He received his B.A. in philosophy from Doane College in 1964. And he received his Ph.D. in philosophy from Cornell University in 1968 with a dissertation on "Identity." The latter was taken under the supervision of Sydney Shoemaker. He taught philosophy at the University of California, Los Angeles, before joining the faculty at Stanford University where he is Henry Waldgrave Professor of Philosophy Emeritus. He ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symbolic Systems Program
Symbolic may refer to: * Symbol, something that represents an idea, a process, or a physical entity Mathematics, logic, and computing * Symbolic computation, a scientific area concerned with computing with mathematical formulas * Symbolic dynamics, a method for modeling dynamical systems by a discrete space consisting of infinite sequences of abstract symbols * Symbolic execution, the analysis of computer programs by tracking symbolic rather than actual values * Symbolic link, a special type of file in a computer memory storage system * Symbolic logic, the use of symbols for logical operations in logic and mathematics Music * ''Symbolic'' (Death album), a 1995 album by the band Death * ''Symbolic'' (Voodoo Glow Skulls album), a 2000 album by the band Voodoo Glow Skulls Social sciences * Symbolic anthropology, the study of cultural symbols and how those symbols can be interpreted to better understand a particular society * Symbolic capital, the resources available to an indiv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and analysis. In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in proving consistency. Work in set theory sho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Handbook Of Mathematical Logic
A handbook is a type of reference work, or other collection of instructions, that is intended to provide ready reference. The term originally applied to a small or portable book containing information useful for its owner, but the ''Oxford English Dictionary'' defines the current sense as "any book ... giving information such as facts on a particular subject, guidance in some art or occupation, instructions for operating a machine, or information for tourists." accessed 23 March 2017. A handbook is sometimes referred to as a '' vade mecum'' ( |
Language, Proof And Logic
Language, Proof and Logic is an educational software package, devised and written by Jon Barwise and John Etchemendy, geared to teaching formal logic through the use of a tight integration between a textbook (same name as the package) and four software programs, where three of them are logic related (Boole, Fitch and Tarski's World) and the other (Submit) is an internet-based grading service. The name is a pun derived from '' Language, Truth, and Logic'', the philosophy book by A. J. Ayer. On September 2, 2014, there was launched a massive open online course (MOOC) with the same name, which utilizes this educational software package. Description A short description of the programs: * Boole (named after George Boole) - a program that facilitates the construction and checking of truth tables and related notions ( tautology, tautological consequence, etc.); * Fitch (named after Frederic Brenton Fitch) - a natural deduction proof environment in Fitch-style calculus for giving and ch ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Etchemendy
John W. Etchemendy (born 1952 in Reno, Nevada) is an American logician and philosopher who served as Stanford University's twelfth Provost. He succeeded John L. Hennessy to the post on September 1, 2000 and stepped down on January 31, 2017. Education and career John Etchemendy received his bachelor's and master's degrees at the University of Nevada, Reno before earning his PhD in philosophy at Stanford in 1982. He has been a faculty member in Stanford's Department of Philosophy since 1983, prior to which he was a faculty member in the Philosophy Department at Princeton University. He is also a faculty member of Stanford's Symbolic Systems Program and a senior researcher at the Center for the Study of Language and Information at Stanford. At Stanford, Etchemendy served as director of the Center for the Study of Language and Information from 1990 to 1993, senior associate dean in the School of Humanities and Sciences from 1993 to 1997, and chair of the Department of Philosophy ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
