Causality in the context of "Experimentation"

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

David Hume (/hjuːm/; born David Home; 7 May 1711 – 25 August 1776) was a Scottish philosopher, historian, economist and essayist who is known for his highly influential system of empiricism, philosophical scepticism and metaphysical naturalism. Beginning with A Treatise of Human Nature (1739–40), Hume strove to create a naturalistic science of man that examined the psychological basis of human nature. Hume followed John Locke in rejecting the existence of innate ideas, concluding that all human knowledge derives solely from experience; this places him amongst such empiricists as Francis Bacon, Thomas Hobbes, John Locke, and George Berkeley.

Hume argued that inductive reasoning and belief in causality cannot be justified rationally; instead, they result from custom and mental habit. People never actually perceive that one event causes another but only experience the "constant conjunction" of events. This problem of induction means that to draw any causal inferences from past experience, it is necessary to presuppose that the future will resemble the past; this metaphysical presupposition cannot itself be grounded in prior experience.

In a literary work, film, or other narrative, the plot is the mapping of events in which each one (except the final) affects at least one other. Plot is similar in meaning to the term storyline. Simple plots, such as in a traditional ballad, can be linearly sequenced, but plots can form complex interwoven structures, with each part sometimes referred to as a subplot.

E. M. Forster described plot events as relating through the principle of cause-and-effect; the causal events of a plot can be thought of as a selective collection of events from a narrative, all linked by the connector "and so". According to American science fiction writer Ansen Dibell, the term plot highlights important points which have consequences within the story, in the narrative sense. The premise sets up the plot, the characters take part in events, while the setting is not only part of, but also influences, the final story.

Time is the continuous progression of existence that occurs in an apparently irreversible succession from the past, through the present, and into the future. Time dictates all forms of action, age, and causality, being a component quantity of various measurements used to sequence events, to compare the duration of events (or the intervals between them), and to quantify rates of change of quantities in material reality or in the conscious experience. Time is often referred to as a fourth dimension, along with three spatial dimensions.

Time is primarily measured in linear spans or periods, ordered from shortest to longest. Practical, human-scale measurements of time are performed using clocks and calendars, reflecting a 24-hour day collected into a 365-day year linked to the astronomical motion of the Earth. Scientific measurements of time instead vary from Planck time at the shortest to billions of years at the longest. Measurable time is believed to have effectively begun with the Big Bang 13.8 billion years ago, encompassed by the chronology of the universe. Modern physics understands time to be inextricable from space within the concept of spacetime described by general relativity. Time can therefore be dilated by velocity and matter to pass faster or slower for an external observer, though this is considered negligible outside of extreme conditions, namely relativistic speeds or the gravitational pulls of black holes.

Metaphysics (Greek: των μετὰ τὰ φυσικά, "those after the physics"; Latin: Metaphysica) is one of the principal works of Aristotle, in which he develops the doctrine that he calls First Philosophy. The work is a compilation of various texts treating abstract subjects, notably substance theory, different kinds of causation, form and matter, the existence of mathematical objects and the cosmos, which together constitute much of the branch of philosophy later known as metaphysics.

Relations are ways in which several entities stand to each other. They usually connect distinct entities but some associate an entity with itself. The adicity of a relation is the number of entities it connects. The direction of a relation is the order in which the elements are related to each other. The converse of a relation carries the same information and has the opposite direction, like the contrast between "two is less than five" and "five is greater than two". Both relations and properties express features in reality with a key difference being that relations apply to several entities while properties belong to a single entity.

Many types of relations are discussed in the academic literature. Internal relations, like resemblance, depend only on the monadic properties of the relata. They contrast with external relations, like spatial relations, which express characteristics that go beyond what their relata are like. Formal relations, like identity, involve abstract and topic-neutral ideas while material relations, like loving, have concrete and substantial contents. Logical relations are relations between propositions while causal relations connect concrete events. Symmetric, transitive, and reflexive relations are distinguished by their structural features.

An unobservable (also called impalpable) is an entity whose existence, nature, properties, qualities or relations are not directly observable by humans. In philosophy of science, typical examples of "unobservables" are the force of gravity, causation and beliefs or desires. The distinction between observable and unobservable plays a central role in Immanuel Kant's distinction between noumena and phenomena as well as in John Locke's distinction between primary and secondary qualities. There is considerable disagreement about which objects should be classified as unobservable, for example, whether bacteria studied using microscopes or positrons studied using cloud chambers count as unobservable. Different notions of unobservability have been formulated corresponding to different types of obstacles to their observation.

Modal logic is a kind of logic used to represent statements about necessity and possibility. In philosophy and related fieldsit is used as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula ${\displaystyle \Box P}$ can be used to represent the statement that ${\displaystyle P}$ is known. In deontic modal logic, that same formula can represent that ${\displaystyle P}$ is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula ${\displaystyle \Box P\rightarrow P}$ 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.

Modal logics are formal systems that include unary operators such as ${\displaystyle \Diamond }$ and ${\displaystyle \Box }$, representing possibility and necessity respectively. For instance the modal formula ${\displaystyle \Diamond P}$ can be read as "possibly ${\displaystyle P}$" while ${\displaystyle \Box P}$ can be read as "necessarily ${\displaystyle P}$". In the standard relational semantics for modal logic, formulas are assigned truth values relative to a possible world. A formula's truth value at one possible world can depend on the truth values of other formulas at other accessible possible worlds. In particular, ${\displaystyle \Diamond P}$ is true at a world if ${\displaystyle P}$ is true at some accessible possible world, while ${\displaystyle \Box P}$ is true at a world if ${\displaystyle P}$ is true at every accessible possible world. A variety of proof systems exist which are sound and complete with respect to the semantics one gets by restricting the accessibility relation. For instance, the deontic modal logic D is sound and complete if one requires the accessibility relation to be serial.