Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109). St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist." A more elaborate version was given by Gottfried Leibniz (1646–1716); this is the version that Gödel studied and attempted to clarify with his ontological argument.
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality.
In philosophy, physicalism is the metaphysical thesis that "everything is physical", that there is "nothing over and above" the physical, or that everything supervenes on the physical. Physicalism is a form of ontological monism—a "one substance" view of the nature of reality as opposed to a "two-substance" (dualism) or "many-substance" (pluralism) view. Both the definition of "physical" and the meaning of physicalism have been debated.
The Principia Mathematica is a three-volume work on the foundations of mathematics written by mathematician–philosophers Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. In 1925–1927, it appeared in a second edition with an important Introduction to the Second Edition, an Appendix A that replaced ✸9 and all-new Appendix B and Appendix C. PM is not to be confused with Russell's 1903 The Principles of Mathematics. PM was originally conceived as a sequel volume to Russell's 1903 Principles, but as PM states, this became an unworkable suggestion for practical and philosophical reasons: "The present work was originally intended by us to be comprised in a second volume of Principles of Mathematics... But as we advanced, it became increasingly evident that the subject is a very much larger one than we had supposed; moreover on many fundamental questions which had been left obscure and doubtful in the former work, we have now arrived at what we believe to be satisfactory solutions."
Causality (also called causation, or cause and effect) is influence by which one event, process, state, or object (acause) contributes to the production of another event, process, state, or object (an effect) where the cause is partly responsible for the effect, and the effect is partly dependent on the cause. In general, a process has many causes, which are also said to be causal factors for it, and all lie in its past. An effect can in turn be a cause of, or causal factor for, many other effects, which all lie in its future. Some writers have held that causality is metaphysically prior to notions of time and space.
In philosophy, supervenience refers to a relation between sets of properties or sets of facts. X is said to supervene on Y if and only if some difference in Y is necessary for any difference in X to be possible. Some examples include:
In logic, philosophy and related fields, mereology is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation between a set and its elements, mereology emphasizes the meronomic relation between entities, which—from a set-theoretic perspective—is closer to the concept of inclusion between sets.
In mathematics, a singleton, also known as a unit set or one-point set, is a set with exactly one element. For example, the set is a singleton whose single element is .
Philosophy of space and time is the branch of philosophy concerned with the issues surrounding the ontology and epistemology of space and time. While such ideas have been central to philosophy from its inception, the philosophy of space and time was both an inspiration for and a central aspect of early analytic philosophy. The subject focuses on a number of basic issues, including whether time and space exist independently of the mind, whether they exist independently of one another, what accounts for time's apparently unidirectional flow, whether times other than the present moment exist, and questions about the nature of identity.
In mathematics, the total derivative of a function f at a point is the best linear approximation near this point of the function with respect to its arguments. Unlike partial derivatives, the total derivative approximates the function with respect to all of its arguments, not just a single one. In many situations, this is the same as considering all partial derivatives simultaneously. The term "total derivative" is primarily used when f is a function of several variables, because when f is a function of a single variable, the total derivative is the same as the ordinary derivative of the function.
Perdurantism or perdurance theory is a philosophical theory of persistence and identity. The debate over persistence currently involves three competing theories—one three-dimensionalist theory called "endurantism" and two four-dimensionalist theories called "perdurantism" and "exdurantism". For a perdurantist, all objects are considered to be four-dimensional worms and they make up the different regions of spacetime. It is a fusion of all the perdurant's instantaneous time slices compiled and blended into a complete mereological whole. Perdurantism posits that temporal parts alone are what ultimately change. Katherine Hawley in How Things Persist states that change is "the possession of different properties by different temporal parts of an object".
In philosophy, events are objects in time or instantiations of properties in objects. On some views, only changes in the form of acquiring or losing a property can constitute events, like the lawn's becoming dry. According to others, there are also events that involve nothing but the retaining of a property, e.g. the lawn's staying wet. Events are usually defined as particulars that, unlike universals, cannot repeat at different times. Processes are complex events constituted by a sequence of events. But even simple events can be conceived as complex entities involving an object, a time and the property exemplified by the object at this time. Traditionally, metaphysicians tended to emphasize static being over dynamic events. This tendency has been opposed by so-called process philosophy or process ontology, which ascribes ontological primacy to events and processes.
In contemporary mereology, a simple is any thing that has no proper parts. Sometimes the term "atom" is used, although in recent years the term "simple" has become the standard.
In philosophy, four-dimensionalism is the ontological position that an object's persistence through time is like its extension through space. Thus, an object that exists in time has temporal parts in the various subregions of the total region of time it occupies, just like an object that exists in a region of space has at least one part in every subregion of that space.
In philosophy, mereological essentialism is a mereological thesis about the relationship between wholes, their parts, and the conditions of their persistence. According to mereological essentialism, objects have their parts necessarily. If an object were to lose or gain a part, it would cease to exist; it would no longer be the original object but a new and different one.
Endurantism or endurance theory is a philosophical theory of persistence and identity. According to the endurantist view, material objects are persisting three-dimensional individuals wholly present at every moment of their existence, which goes with an A-theory of time. This conception of an individual as always present is opposed to perdurantism or four-dimensionalism, which maintains that an object is a series of temporal parts or stages, requiring a B-theory of time. The use of "endure" and "perdure" to distinguish two ways in which an object can be thought to persist can be traced to David Lewis.
The B-theory of time, also called the "tenseless theory of time", is one of two positions regarding the temporal ordering of events in the philosophy of time. B-theorists argue that the flow of time is only a subjective illusion of human consciousness, that the past, present, and future are equally real, and that time is tenseless: temporal becoming is not an objective feature of reality. Therefore, there is nothing privileged about the present, ontologically speaking.
In philosophy, specifically in the area of metaphysics, counterpart theory is an alternative to standard (Kripkean) possible-worlds semantics for interpreting quantified modal logic. Counterpart theory still presupposes possible worlds, but differs in certain important respects from the Kripkean view. The form of the theory most commonly cited was developed by David Lewis, first in a paper and later in his book On the Plurality of Worlds.
An ontological argument is a philosophical argument, made from an ontological basis, that is advanced in support of the existence of God. Such arguments tend to refer to the state of being or existing. More specifically, ontological arguments are commonly conceived a priori in regard to the organization of the universe, whereby, if such organizational structure is true, God must exist.
Katherine Jane Hawley (1971-2021) was a British philosopher specialising in metaphysics, epistemology, ethics, and philosophy of physics. Hawley was a professor of philosophy at the University of St Andrews. She was the author of How Things Persist, Trust: a Very Short Introduction, and How To Be Trustworthy. Hawley was elected a Fellow of Royal Society of Edinburgh in 2016, elected a Fellow of the British Academy in 2020, and she was the recipient of a Philip Leverhulme Prize (2003) and a Leverhulme Major Research Fellowship (2014–16).
