|
State Of Affairs (philosophy)
In philosophy, a state of affairs (), 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''. 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. The early Ludwig Wittgenstein and David Malet Armstrong are well known for their defence of a factualism, a position according to which the world is a world of facts and not a world of things. Overview States of affairs are complex entities: they are built up from or constituted by other entities. Atomic states of affairs are constituted by one particular and one property exemplified by this particular. For example, the state ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy
Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational and critical inquiry that reflects on its methods and assumptions. Historically, many of the individual sciences, such as physics and psychology, formed part of philosophy. However, they are considered separate academic disciplines in the modern sense of the term. Influential traditions in the history of philosophy include Western philosophy, Western, Islamic philosophy, Arabic–Persian, Indian philosophy, Indian, and Chinese philosophy. Western philosophy originated in Ancient Greece and covers a wide area of philosophical subfields. A central topic in Arabic–Persian philosophy is the relation between reason and revelation. Indian philosophy combines the Spirituality, spiritual problem of how to reach Enlightenment in Buddhism, enlighten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Truth
Truth or verity is the Property (philosophy), property of being in accord with fact or reality.Merriam-Webster's Online Dictionarytruth, 2005 In everyday language, it is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences. True statements are usually held to be the opposite of false statement, false statements. The concept of truth is discussed and debated in various contexts, including philosophy, art, theology, law, and science. Most human activities depend upon the concept, where its nature as a concept is assumed rather than being a subject of discussion, including journalism and everyday life. Some philosophers view the concept of truth as basic, and unable to be explained in any terms that are more easily understood than the concept of truth itself. Most commonly, truth is viewed as the correspondence of language or thought to a mind-independent world. This is called the correspon ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reality
Reality is the sum or aggregate of everything in existence; everything that is not imagination, imaginary. Different Culture, cultures and Academic discipline, academic disciplines conceptualize it in various ways. Philosophical questions about the nature of reality, existence, or being are considered under the rubric of ontology, a major branch of metaphysics in the Western intellectual tradition. Ontological questions also feature in diverse branches of philosophy, including the philosophy of science, philosophy of religion, religion, philosophy of mathematics, mathematics, and philosophical logic, logic. These include questions about whether only physical objects are real (e.g., physicalism), whether reality is fundamentally immaterial (e.g., idealism), whether hypothetical unobservable entities posited by scientific theories exist (e.g., scientific realism), whether God exists, whether numbers and other abstract objects exist, and whether possible worlds exist. Etymology a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology
Ontology is the philosophical study of existence, being. It is traditionally understood as the subdiscipline of metaphysics focused on the most general features of reality. As one of the most fundamental concepts, being encompasses all of reality and every entity within it. To articulate the basic structure of being, ontology examines the commonalities among all things and investigates their classification into basic types, such as the Theory of categories, categories of particulars and Universal (metaphysics), universals. Particulars are unique, non-repeatable entities, such as the person Socrates, whereas universals are general, repeatable entities, like the color ''green''. Another distinction exists between Abstract and concrete, concrete objects existing in space and time, such as a tree, and abstract objects existing outside space and time, like the number 7. Systems of categories aim to provide a comprehensive inventory of reality by employing categories such as Substance t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophical Logic
Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In this sense, philosophical logic can be seen as identical to the philosophy of logic, which includes additional topics like how to define logic or a discussion of the fundamental concepts of logic. The current article treats philosophical logic in the narrow sense, in which it forms one field of inquiry within the philosophy of logic. An important issue for philosophical logic is the question of how to classify the great variety of non-classical logical systems, many of which are of rather recent origin. One form of classification often found in the literature is to distinguish between extended logics and deviant logics. Logic itself can be defined as t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jesús Padilla Gálvez
Jesús Padilla Gálvez (; born October 28, 1959) is a philosopher who worked primarily in philosophy of language, logic, and the history of sciences. Professional biography Jesús Padilla Gálvez studied Philosophy, History and Mathematics at the University of Cologne (Germany) and was awarded the M.A. in 1983 and a Dr. phil. in Philosophy in 1988. He was Research Assistant (1988–1991) at the University of Murcia (Spain) and later held the post of Associate Professor (1992–1994) for Logic and Philosophy of Language at the University of León (Spain). From 1994 to 1999 he was Visiting Professor at the Johannes Kepler University in Linz (Austria). Since 1999 he has been Professor at the University of Castilla-La Mancha in Toledo (Spain). He has held visiting posts at the Universities of University of Erlangen-Nuremberg (Germany), University of Graz (Austria), University of Potsdam (Germany), University of Cambridge (United Kingdom), University of Munich (Germany), Universi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vacuous Truth
In mathematics and logic, a vacuous truth is a conditional or universal statement (a universal statement that can be converted to a conditional statement) that is true because the antecedent cannot be satisfied. It is sometimes said that a statement is vacuously true because it does not really say anything. For example, the statement "all cell phones in the room are turned off" will be true when no cell phones are present in the room. In this case, the statement "all cell phones in the room are turned ''on''" would also be vacuously true, as would the conjunction of the two: "all cell phones in the room are turned on ''and'' turned off", which would otherwise be incoherent and false. More formally, a relatively well-defined usage refers to a conditional statement (or a universal conditional statement) with a false antecedent. One example of such a statement is "if Tokyo is in Spain, then the Eiffel Tower is in Bolivia". Such statements are considered vacuous truths becau ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tractatus Logico-Philosophicus
The ''Tractatus Logico-Philosophicus'' (widely abbreviated and Citation, cited as TLP) 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'' (Logical-Philosophical Treatise). 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). The ''Tractatus'' is written in an austere and succinct literary style, containing almost no arguments as such, but consists of 525 declarative statements altogether, which are hierarc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Situation Theory
Situation theory provides the mathematical foundations to situation semantics, and was developed by writers such as Jon Barwise and Keith Devlin in the 1980s. Due to certain foundational problems, the mathematics was framed in a non-well-founded set theory. One could think of the relation of situation theory to situation semantics as like that of type theory to Montague semantics. Basic types Types in the theory are defined by applying two forms of type abstraction, starting with an initial collection of basic types. Basic types: *TIM: the type of a temporal location *LOC: the type of a spatial location *IND: the type of an individual *RELn: the type of an n-place relation *SIT: the type of a situation *INF: the type of an infon *TYP: the type of a type *PAR: the type of a parameter *POL: the type of a polarity (i.e. 0 or 1) Infons are made of basic types. For instance: If l is a location, then l is of type LOC, and the infon is a fact. See also * State of affairs (philosophy) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carl Stumpf
Carl Stumpf (; 21 April 1848 – 25 December 1936) was a German philosopher, psychologist and musicologist. He is noted for founding the Berlin School of experimental psychology. He studied with Franz Brentano at the University of Würzburg before receiving his doctorate at the University of Göttingen in 1868. He also tutored the modernist literature writer Robert Musil at the University of Berlin, and worked with Hermann Lotze, who is famous for his work in perception, at Göttingen. Stumpf is known for his work on the ''psychology of tones''. He had an important influence on his students Wolfgang Köhler and Kurt Koffka who were instrumental in the founding of ''Gestalt'' psychology as well as Kurt Lewin, who was also a part of the Gestalt group and was key in the establishment of experimental social psychology in America. Stumpf is considered one of the pioneers of comparative musicology and ethnomusicology, as documented in his study of the origins of human musical cogn ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adolf Reinach
Adolf Bernhard Philipp Reinach (; ; 23 December 1883 – 16 November 1917) was a German philosopher, phenomenologist from the Munich phenomenology school and law theorist. Life and work Adolf Reinach was born into a prominent Jewish family in Mainz, Germany, on 23 December 1883. Adolf Reinach studied at the '' Ostergymnasium'' in Mainz and later entered the University of Munich in 1901 where he studied mainly psychology and philosophy under Theodor Lipps. In the circle of Lipps' students he came in contact with Moritz Geiger, Otto Selz, Aloys Fischer and above all Johannes Daubert. From onward 1903/4 he was increasingly busy with the works of Edmund Husserl, especially his ''Logische Untersuchungen'' ('' Logical Investigations''). In 1904, Reinach obtained his doctorate in philosophy under Lipps with his work ''Über den Ursachenbegriff im geltenden Strafrecht'' (On the concept of cause in penal law). In 1905, he still intended to continue his studies in Munich (where in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Necessity And Sufficiency
In logic and mathematics, necessity and sufficiency are terms used to describe a material conditional, conditional or implicational relationship between two Statement (logic), statements. For example, in the Conditional sentence, conditional statement: "If then ", is necessary for , because the Truth value, truth of is guaranteed by the truth of . (Equivalently, it is impossible to have without , or the falsity of ensures the falsity of .) Similarly, is sufficient for , because being true always implies that is true, but not being true does not always imply that is not true. In general, a necessary condition is one (possibly one of several conditions) that must be present in order for another condition to occur, while a sufficient condition is one that produces the said condition. The assertion that a statement is a "necessary ''and'' sufficient" condition of another means that the former statement is true if and only if the latter is true. That is, the two statements mu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
