Kai Wehmeier
Kai Frederick Wehmeier (born 1968) is a German-American philosopher and logician. He is best known for proving that the fragment of Frege's inconsistent logical theory of ''Grundgesetze der Arithmetik'' becomes consistent upon restricting the complexity of comprehension formulas in the second-order comprehension schema to \Delta^1_1, for his development of a system of subjunctive modal logic and its use in rebutting Kripke's modal argument against description theories of proper names, as well as for refining and defending the thesis that there is no binary identity relation between objects. Wehmeier is currently a professor in the Department of Logic and Philosophy of Science and the Department of Philosophy at the University of California, Irvine. He is also the director of UC Irvine's Center for the Advancement of Logic, its Philosophy, History, and Applications (C-ALPHA). Selected publications * "Consistent Fragments of ''Grundgesetze'' and the Existence of Non-Logical O ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Summit, New Jersey
Summit is a city in Union County, in the U.S. state of New Jersey. The city is located on a ridge in northern- central New Jersey, within the Raritan Valley and Rahway Valley regions in the New York metropolitan area. At the 2010 United States census, the city's population was 21,457,DP-1 - Profile of General Population and Housing Characteristics: 2010 for Summit city, Union County, New Jersey , . Accessed February 21, 2012. [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually un ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
The Journal Of Philosophy
''The Journal of Philosophy'' is a monthly peer-reviewed academic journal on philosophy, founded in 1904 at Columbia University. Its stated purpose is "To publish philosophical articles of current interest and encourage the interchange of ideas, especially the exploration of the borderline between philosophy and other disciplines." Subscriptions and online access are managed by the Philosophy Documentation Center. The Journal was ranked the second highest-quality philosophy journal in a poll conducted on the popular philosophy blog Leiter Reports, and is widely regarded as one of the most prestigious journals in the field. The journal also publishes the Dewey, Woodbridge, and Nagel Lectures series held at Columbia University. History The journal was founded at Columbia University in 1904 as ''The Journal of Philosophy, Psychology and Scientific Methods'', under the editorship of Professor J. E. Woodbridge and Professor James McKeen Cattell.Iris Bean, "Brief History of the Journa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Australasian Journal Of Philosophy
The ''Australasian Journal of Philosophy'' is a quarterly peer-reviewed academic journal of philosophy and "one of the oldest English-language philosophy journals in the world". It was established in 1923 as ''The Australasian Journal of Psychology and Philosophy'', obtaining its current title in 1947. It is published by Routledge on behalf of the Australasian Association of Philosophy. In 2007, it was rated "A" in the European Reference Index in the Humanities. It is abstracted and indexed by the Arts and Humanities Citation Index, Historical Abstracts, Scopus, Philosopher's Index, ProQuest databases, and Current Contents/Arts & Humanities. History Continuously published since its foundation in 1923 – with all members of the ''Australasian Association of Psychology and Philosophy'' receiving copies of the journal free of charge as a perquisite of their membership (it was also available to non-members at a cost of three shillings an issue, or ten shillings a year) – it ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Journal Of Philosophical Logic
The ''Journal of Philosophical Logic'' is a bimonthly peer-reviewed academic journal covering all aspects of logic. It was established in 1972 and is published by Springer Science+Business Media. The editors-in-chief are Rosalie Iemhoff (Utrecht University), Reinhard Muskens (University of Amsterdam), and Kai Wehmeier (University of California, Irvine). Abstracting and indexing The journal is abstracted and indexed in: * Arts and Humanities Citation Index *Current Contents/Arts & Humanities * EBSCO databases *International Bibliography of Periodical Literature * Linguistic Bibliography/Bibliographie Linguistique *Modern Language Association Database *Philosopher's Index * ProQuest databases *Scopus *Zentralblatt MATH zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastruct ... References ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Synthese
''Synthese'' () is a scholarly periodical specializing in papers in epistemology, methodology, and philosophy of science, and related issues. Its subject area is divided into four specialties, with a focus on the first three: (1) "epistemology, methodology, and philosophy of science, all broadly understood"; (2) "foundations of logic and mathematics, where 'logic', 'mathematics', and 'foundations' are all broadly understood"; (3) "formal methods in philosophy, including methods connecting philosophy to other academic fields"; and (4) "issues in ethics and the history and sociology of logic, mathematics, and science that contribute to the contemporary studies". As of 2022, according to Google Scholar's metrics ( h-5 index and h-5 index median), it is the top philosophy journal, but other metrics do not rank the journal as highly. Overview Published articles include specific treatment of methodological issues in science such as induction, probability, causation, statistics, symboli ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Property (philosophy)
In logic and philosophy (especially metaphysics), a property is a characteristic of an Object (philosophy), object; a red object is said to have the property of redness. The property may be considered a form of object in its own right, able to possess other properties. A property, however, differs from individual objects in that it may be instantiation principle, instantiated, and often in more than one object. It differs from the logical/mathematical concept of class (set theory), class by not having any concept of extensionality, and from the philosophical concept of class (philosophy), class in that a property is considered to be distinct from the objects which possess it. Understanding how different individual entities (or particulars) can in some sense have some of the same properties is the basis of the problem of universals. Terms and usage A property is any member of a class of entities that are capable of being attributed to objects. Terms similar to ''property'' include ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Identity (philosophy)
In philosophy, identity (from , "sameness") is the relation each thing bears only to itself. The notion of identity gives rise to List of unsolved problems in philosophy, many philosophical problems, including the identity of indiscernibles (if ''x'' and ''y'' share all their properties, are they one and the same thing?), and questions about change and personal identity over time (what has to be the case for a person ''x'' at one time and a person ''y'' at a later time to be one and the same person?). It is important to distinguish between ''qualitative identity'' and ''numerical identity''. For example, consider two children with identical bicycles engaged in a race while their mother is watching. The two children have the ''same'' bicycle in one sense (''qualitative identity'') and the ''same'' mother in another sense (''numerical identity''). This article is mainly concerned with ''numerical identity'', which is the stricter notion. The philosophical concept of identity is dist ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Descriptivist Theory Of Names
In the philosophy of language, the descriptivist theory of proper names (also descriptivist theory of reference) is the view that the meaning or semantic content of a proper name is identical to the descriptions associated with it by speakers, while their referents are determined to be the objects that satisfy these descriptions. Bertrand Russell and Gottlob Frege have both been associated with the descriptivist theory, which is sometimes called the ''mediated reference theory'' or ''Frege–Russell view''. In the 1970s, this theory came under attack from causal theorists such as Saul Kripke, Hilary Putnam and others. However, it has seen something of a revival in recent years, especially under the form of what are called two-dimensional semantic theories. This latter trend is exemplified by the theories of David Chalmers, among others. The descriptive theory and its merits A simple descriptivist theory of names can be thought of as follows: for every proper name ''p'', there is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Saul Kripke
Saul Aaron Kripke (; November 13, 1940 – September 15, 2022) was an American philosopher and logician in the analytic tradition. He was a Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Since the 1960s, Kripke has been a central figure in a number of fields related to mathematical logic, modal logic, philosophy of language, philosophy of mathematics, metaphysics, epistemology, and recursion theory. Much of his work remains unpublished or exists only as tape recordings and privately circulated manuscripts. Kripke made influential and original contributions to logic, especially modal logic. His principal contribution is a semantics for modal logic involving possible worlds, now called Kripke semantics. He received the 2001 Schock Prize in Logic and Philosophy. Kripke was also partly responsible for the revival of metaphysics after the decline of logical positivism, claiming necessity i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Modal Logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend other systems by adding unary operators \Diamond and \Box, representing possibility and necessity respectively. For instance the modal formula \Diamond P can be read as "possibly P" while \Box P can be read as "necessarily P". Modal logics can be used to represent different phenomena depending on what kind of necessity and possibility is under consideration. When \Box is used to represent epistemic necessity, \Box P states that P is epistemically necessary, or in other words that it is known. When \Box is used to represent deontic necessity, \Box P states that P is a moral or legal obligation. In the standard relational semantics for modal logic, formulas are assigned truth values relative to a ''possible world''. A formula's truth value at ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Subjunctive Mood
The subjunctive (also known as conjunctive in some languages) is a grammatical mood, a feature of the utterance that indicates the speaker's attitude towards it. Subjunctive forms of verbs are typically used to express various states of unreality such as: wish, emotion, possibility, judgment, opinion, obligation, or action that has not yet occurred; the precise situations in which they are used vary from language to language. The subjunctive is one of the irrealis moods, which refer to what is not necessarily real. It is often contrasted with the indicative, a realis mood which is used principally to indicate that something is a statement of fact. Subjunctives occur most often, although not exclusively, in subordinate clauses, particularly ''that''-clauses. Examples of the subjunctive in English are found in the sentences "I suggest that you ''be'' careful" and "It is important that she ''stay'' by your side." Indo-European languages Proto-Indo-European The Proto-Indo-European ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |