Conceptual necessity

Last updated

Conceptual necessity is a property of the certainty with which a state of affairs, as presented by a certain description, occurs: it occurs by conceptual necessity if and only if it occurs just by virtue of the meaning of the description. If someone is a bachelor, for instance, then he is bound to be unmarried by conceptual necessity, because the meaning of the word "bachelor" determines that he is.

Alternatively, there is metaphysical necessity, which is a certainty determined, not by the meaning of a description, but instead by facts in the world described.

Historically, Baruch Spinoza was a subscriber to this belief. [1]

See also

Related Research Articles

<span class="mw-page-title-main">Metaphysics</span> Study of fundamental reality

Metaphysics is the branch of philosophy that examines the fundamental structure of reality. It is often characterized as first philosophy, implying that it is more basic than other forms of philosophical inquiry. Metaphysics is traditionally seen as the study of mind-independent features of reality, but some modern theorists understand it as an inquiry into the conceptual schemes that underlie human thought and experience.

<span class="mw-page-title-main">Ontology</span> Philosophical study of being and existence

In metaphysics, ontology is the philosophical study of being. It investigates what types of entities exist, how they are grouped into categories, and how they are related to one another on the most fundamental level. Ontologists often try to determine what the categories or highest kinds are and how they form a system of categories that encompasses the classification of all entities. Commonly proposed categories include substances, properties, relations, states of affairs, and events. These categories are characterized by fundamental ontological concepts, including particularity and universality, abstractness and concreteness, or possibility and necessity. Of special interest is the concept of ontological dependence, which determines whether the entities of a category exist on the most fundamental level. Disagreements within ontology are often about whether entities belonging to a certain category exist and, if so, how they are related to other entities.

<span class="mw-page-title-main">Saul Kripke</span> American philosopher and logician (1940–2022)

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. Kripke is considered one of the most important philosophers of the latter half of the 20th century. Since the 1960s, he has been 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.

In philosophy, rationalism is the epistemological view that "regards reason as the chief source and test of knowledge" or "any view appealing to reason as a source of knowledge or justification", 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.

<span class="mw-page-title-main">Hume's fork</span> English philosophy

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.

<span class="mw-page-title-main">Conceptualism</span> Metaphysical theory

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. 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.

In philosophy, metaphysical necessity, sometimes called broad logical necessity, is one of many different kinds of necessity, which sits between logical necessity and nomological necessity, in the sense that logical necessity entails metaphysical necessity, but not vice versa, and metaphysical necessity entails physical necessity, but not vice versa. A proposition is said to be necessary if it could not have failed to be the case. Nomological necessity is necessity according to the laws of physics and logical necessity is necessity according to the laws of logic, while metaphysical necessities are necessary in the sense that the world could not possibly have been otherwise. What facts are metaphysically necessary, and on what basis we might view certain facts as metaphysically but not logically necessary are subjects of substantial discussion in contemporary philosophy.

<span class="mw-page-title-main">Gareth Evans (philosopher)</span> British philosopher

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, ought to, used to and dare.

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.

<i>Ethics</i> (Spinoza book) Philosophical treatise written by Spinoza

Ethics, Demonstrated in Geometrical Order, usually known as the Ethics, 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.

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

  1. "Notes to Spinoza's Modal Metaphysics". Stanford Encyclopedia of Philosophy. 2013. Retrieved May 9, 2014.