See also
Look up state of affairs in Wiktionary, the free dictionary.
In philosophy, a state of affairs (German : Sachverhalt), [1] also known as a situation, is a way the actual world must be in order to make some given proposition about the actual world true; in other words, a state of affairs is a truth-maker, whereas a proposition is a truth-bearer. Whereas states of affairs either obtain or fail-to-obtain, propositions are either true or false. [2] Some philosophers understand the term "states of affairs" in a more restricted sense as a synonym for "fact". In this sense, there are no states of affairs that do not obtain. [2]
David Malet Armstrong is well known for his defence of a factualism, a position according to which the world is a world of facts and not a world of things. [3]
States of affairs are complex entities: they are built up from or constituted by other entities. [4] [5] Atomic states of affairs are constituted by one particular and one property exemplified by this particular. [6] [2] For example, the state of affairs that Socrates is wise is constituted by the particular "Socrates" and the property "wise". Relational states of affairs involve several particulars and a relation connecting them. States of affairs that obtain are also referred to as facts. [2] It is controversial which ontological status should be ascribed to states of affairs that do not obtain. [6] States of affairs have been prominent in 20th-century ontology as various theories were proposed to describe the world as composed of states of affairs. [4] [7] [8]
In a sense of "state of affairs" favored by Ernest Sosa, states of affairs are situational conditions. In fact, in the Cambridge Dictionary of Philosophy , [9] Sosa defines a condition to be a state of affairs, "way things are" or situation—most commonly referred to by a nominalization of a sentence. The expression "Snow's being white", which refers to the condition snow's being white, is a nominalization of the sentence "Snow is white". [9] The truth of the proposition that "snow is white" is a nominalization of the sentence "the proposition that snow is white is true". Snow's being white is a necessary and sufficient condition for the truth of the proposition that snow is white. Conditions in this sense may be called situational.
Usually, necessity and sufficiency relate conditions of the same kind. Being an animal is a necessary attributive condition for being a dog. Fido's being an animal is a necessary situational condition for Fido's being a dog.
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.
The Tractatus Logico-Philosophicus is the only book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein that was published during his lifetime. The project had a broad goal: to identify the relationship between language and reality, and to define the limits of science. Wittgenstein wrote the notes for the Tractatus while he was a soldier during World War I and completed it during a military leave in the summer of 1918. It was originally published in German in 1921 as Logisch-Philosophische Abhandlung. In 1922 it was published together with an English translation and a Latin title, which was suggested by G. E. Moore as homage to Baruch Spinoza's Tractatus Theologico-Politicus (1670).
A fact is a true datum about one or more aspects of a circumstance. Standard reference works are often used to check facts. Scientific facts are verified by repeatable careful observation or measurement by experiments or other means.
Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The basic intuition behind truthmaker theory is that truth depends on being. For example, a perceptual experience of a green tree may be said to be true because there actually is a green tree. But if there were no tree there, it would be false. So the experience by itself does not ensure its truth or falsehood, it depends on something else. Expressed more generally, truthmaker theory is the thesis that "the truth of truthbearers depends on the existence of truthmakers". A perceptual experience is the truthbearer in the example above. Various representational entities, like beliefs, thoughts or assertions can act as truthbearers. Truthmaker theorists are divided about what type of entity plays the role of truthmaker; popular candidates include states of affairs and tropes.
In metaphysics and philosophy of language, the correspondence theory of truth states that the truth or falsity of a statement is determined only by how it relates to the world and whether it accurately describes that world.
Logical atomism is a philosophical view that originated in the early 20th century with the development of analytic philosophy. It holds that the world consists of ultimate logical "facts" that cannot be broken down any further, each of which can be understood independently of other facts.
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.
In logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false and which cannot be broken down into other simpler sentences. For example, "The dog ran" is an atomic sentence in natural language, whereas "The dog ran and the cat hid" is a molecular sentence in natural language.
Philosophical realism – usually not treated as a position of its own but as a stance towards other subject matters – is the view that a certain kind of thing has mind-independent existence, i.e. that it exists even in the absence of any mind perceiving it or that its existence is not just a mere appearance in the eye of the beholder. This includes a number of positions within epistemology and metaphysics which express that a given thing instead exists independently of knowledge, thought, or understanding. This can apply to items such as the physical world, the past and future, other minds, and the self, though may also apply less directly to things such as universals, mathematical truths, moral truths, and thought itself. However, realism may also include various positions which instead reject metaphysical treatments of reality entirely.
In logic, the law of identity states that each thing is identical with itself. It is the first of the historical three laws of thought, along with the law of noncontradiction, and the law of excluded middle. However, few systems of logic are built on just these laws.
The linguistic turn was a major development in Western philosophy during the early 20th century, the most important characteristic of which is the focusing of philosophy primarily on the relations between language, language users, and the world.
Neopragmatism, sometimes called post-Deweyan pragmatism, linguistic pragmatism, or analytic pragmatism, is the philosophical tradition that infers that the meaning of words is a result of how they are used, rather than the objects they represent.
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, Boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables. In particular, truth tables can be used to show whether a propositional expression is true for all legitimate input values, that is, logically valid.
This is an index of Wikipedia articles in philosophy of language
Ideal language philosophy is contrasted with ordinary language philosophy. From about 1910 to 1930, analytic philosophers like Bertrand Russell and Ludwig Wittgenstein emphasized creating an ideal language for philosophical analysis, which would be free from the ambiguities of natural language that, in their opinion, often made for philosophical error. During this phase, Russell and Wittgenstein sought to understand language by using formal logic to formalize the way in which philosophical statements are made. Wittgenstein developed a comprehensive system of logical atomism in his Tractatus Logico-Philosophicus. He thereby argued that the universe is the totality of facts and not things: actual states of affairs and that these states of affairs can be expressed by the language of first-order predicate logic. Thus a picture of the universe can be construed by means of expressing atomic facts in the form of atomic propositions, and linking them using logical operators.
The picture theory of language, also known as the picture theory of meaning, is a theory of linguistic reference and meaning articulated by Ludwig Wittgenstein in the Tractatus Logico-Philosophicus. Wittgenstein suggested that a meaningful proposition pictured a state of affairs or atomic fact. Wittgenstein compared the concept of logical pictures with spatial pictures. The picture theory of language is considered a correspondence theory of truth.
Remarks on the Foundations of Mathematics is a book of Ludwig Wittgenstein's notes on the philosophy of mathematics. It has been translated from German to English by G.E.M. Anscombe, edited by G.H. von Wright and Rush Rhees, and published first in 1956. The text has been produced from passages in various sources by selection and editing. The notes have been written during the years 1937–1944 and a few passages are incorporated in the Philosophical Investigations which were composed later. When the book appeared it received many negative reviews mostly from working logicians and mathematicians, among them Michael Dummett, Paul Bernays, and Georg Kreisel. Today Remarks on the Foundations of Mathematics is read mostly by philosophers sympathetic to Wittgenstein and they tend to adopt a more positive stance.
Ludwig Wittgenstein considered his chief contribution to be in the philosophy of mathematics, a topic to which he devoted much of his work between 1929 and 1944. As with his philosophy of language, Wittgenstein's views on mathematics evolved from the period of the Tractatus Logico-Philosophicus: with him changing from logicism towards a general anti-foundationalism and constructivism that was not readily accepted by the mathematical community. The success of Wittgenstein's general philosophy has tended to displace the real debates on more technical issues.
In philosophy, a point of view is a specific attitude or manner through which a person thinks about something. This figurative usage of the expression dates back to 1730. In this meaning, the usage is synonymous with one of the meanings of the term perspective.
 | This article about ontology is a stub. You can help Wikipedia by expanding it. |
| | This article about epistemology is a stub. You can help Wikipedia by expanding it. |