Related Research Articles
In analytic philosophy, anti-realism is the position that the truth of a statement rests on its demonstrability through internal logic mechanisms, such as the context principle or intuitionistic logic, in direct opposition to the realist notion that the truth of a statement rests on its correspondence to an external, independent reality. In anti-realism, this external reality is hypothetical and is not assumed.
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the fundamental categories of human understanding. Some philosophers, including Aristotle, designate metaphysics as first philosophy to suggest that it is more fundamental than other forms of philosophical inquiry.
Saul Aaron Kripke was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. From the 1960s until his death, he was a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.
Philosophical analysis is any of various techniques, typically used by philosophers in the analytic tradition, in order to "break down" philosophical issues. Arguably the most prominent of these techniques is the analysis of concepts, known as conceptual analysis.
In philosophy, rationalism is the epistemological view that "regards reason as the chief source and test of knowledge" or “the position that reason has precedence over other ways of acquiring knowledge”, often in contrast to other possible sources of knowledge such as faith, tradition, or sensory experience. More formally, rationalism is defined as a methodology or a theory "in which the criterion of truth is not sensory but intellectual and deductive".
Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula can be used to represent the statement that is known. In deontic modal logic, that same formula can represent that is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula as a tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false.
Hume's fork, in epistemology, is a tenet elaborating upon British empiricist philosopher David Hume's emphatic, 1730s division between "relations of ideas" and "matters of fact." As phrased in Immanuel Kant's 1780s characterization of Hume's thesis, and furthered in the 1930s by the logical empiricists, Hume's fork asserts that all statements are exclusively either "analytic a priori" or "synthetic a posteriori," which, respectively, are universally true by mere definition or, however apparently probable, are unknowable without exact experience.
In metaphysics, conceptualism is a theory that explains universality of particulars as conceptualized frameworks situated within the thinking mind. Intermediate between nominalism and realism, the conceptualist view approaches the metaphysical concept of universals from a perspective that denies their presence in particulars outside the mind's perception of them. Conceptualism is anti-realist about abstract objects, just like immanent realism is.
An accident, in metaphysics and philosophy, is a property that the entity or substance has contingently, without which the substance can still retain its identity. An accident does not affect its essence, according to many philosophers. It does not mean an "accident" as used in common speech, a chance incident, normally harmful. Examples of accidents are color, taste, movement, and stagnation. Accident is contrasted with essence: a designation for the property or set of properties that make an entity or substance what it fundamentally is, and which it has by necessity, and without which it loses its identity.
Michael Gareth Justin Evans was a British philosopher who made substantial contributions to logic, philosophy of language and philosophy of mind. He is best known for his posthumous work The Varieties of Reference (1982), edited by John McDowell. The book considers different kinds of reference to objects, and argues for a number of conditions that must obtain for reference to occur.
A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy in philosophy, with modal realists such as David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not.
In analytic philosophy, actualism is the view that everything there is is actual. Another phrasing of the thesis is that the domain of unrestricted quantification ranges over all and only actual existents.
A modal verb is a type of verb that contextually indicates a modality such as a likelihood, ability, permission, request, capacity, suggestion, order, obligation, necessity, possibility or advice. Modal verbs generally accompany the base (infinitive) form of another verb having semantic content. In English, the modal verbs commonly used are can, could, may, might, shall, should, will, would, and ought.
Subjunctive possibility is a form of modality studied in modal logic. Subjunctive possibilities are the sorts of possibilities considered when conceiving counterfactual situations; subjunctive modalities are modalities that bear on whether a statement might have been or could be true—such as might, could, must, possibly, necessarily, contingently, essentially, accidentally, and so on. Subjunctive possibilities include logical possibility, metaphysical possibility, nomological possibility, and temporal possibility.
Ethics, Demonstrated in Geometrical Order is a philosophical treatise written in Latin by Baruch Spinoza. It was written between 1661 and 1675 and was first published posthumously in 1677.
A fallacy of necessity is a fallacy in the logic of a syllogism whereby a degree of unwarranted necessity is placed in the conclusion.
The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.
Metaphysics is the branch of philosophy that investigates principles of reality transcending those of any particular science. Cosmology and ontology are traditional branches of metaphysics. It is concerned with explaining the fundamental nature of being and the world. Someone who studies metaphysics can be called either a "metaphysician" or a "metaphysicist".
The following outline is provided as an overview of and topical guide to metaphysics:
In logic, contingency is the feature of a statement making it neither necessary nor impossible. Contingency is a fundamental concept of modal logic. Modal logic concerns the manner, or mode, in which statements are true. Contingency is one of three basic modes alongside necessity and possibility. In modal logic, a contingent statement stands in the modal realm between what is necessary and what is impossible, never crossing into the territory of either status. Contingent and necessary statements form the complete set of possible statements. While this definition is widely accepted, the precise distinction between what is contingent and what is necessary has been challenged since antiquity.
References
- ↑ "Conceptual necessity | Semantic Scholar". www.semanticscholar.org. Retrieved 2024-12-20.
- ↑ "Notes to Spinoza's Modal Metaphysics". Stanford Encyclopedia of Philosophy. 2013. Retrieved May 9, 2014.
 | This philosophy-related article is a stub. You can help Wikipedia by expanding it. |