|
States Of Affairs
In philosophy, a state of affairs (german: Sachverhalt), 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. 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. 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 of affairs that Socr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy
Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, Epistemology, knowledge, Ethics, values, Philosophy of mind, mind, and Philosophy of language, language. Such questions are often posed as problems to be studied or resolved. Some sources claim the term was coined by Pythagoras ( BCE), although this theory is disputed by some. Philosophical methodology, Philosophical methods include Socratic questioning, questioning, Socratic method, critical discussion, dialectic, rational argument, and systematic presentation. in . Historically, ''philosophy'' encompassed all bodies of knowledge and a practitioner was known as a ''philosopher''."The English word "philosophy" is first attested to , meaning "knowledge, body of knowledge." "natural philosophy," which began as a discipline in ancient India and Ancient Greece, encompasses astronomy, medicine, and physics. For example, Isaac Newton, Newton's 1687 ''Phil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Truth
Truth is the property of being in accord with fact or reality.Merriam-Webster's Online Dictionarytruth 2005 In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences. Truth is usually held to be the opposite of falsehood. The concept of truth is discussed and debated in various contexts, including philosophy, art, theology, and science. Most human activities depend upon the concept, where its nature as a concept is assumed rather than being a subject of discussion; these include most of the sciences, law, 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 correspondence theory of truth. Vario ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality. Ontology addresses questions like how entities are grouped into categories and which of these entities exist 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 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 th ... [...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 the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jesús Padilla Gálvez
Jesús Padilla Gálvez (xe'sus pa'ðiʎa 'ɣalβeθ) (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 ... [...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. For example, the statement "she does not own a cell phone" will imply that the statement "all of her cell phones are turned off" will be assigned a truth value. Also, the statement "all of her cell phones are turned ''on''" would also be vacuously true, as would the conjunction of the two: "all of her cell phones are turned on ''and'' turned off", which would otherwise be incoherent and false. For that reason, it is sometimes said that a statement is vacuously true because it is meaningless. 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 France, then the Eiffel Tower is in Bolivia". Such statements are considered vacuous ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tractatus Logico-Philosophicus
The ''Tractatus Logico-Philosophicus'' (widely abbreviated and cited as TLP) is a book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein which deals with the relationship between language and reality and aims 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 altogether 525 declarative statements, which are hierarchically numbered. The ''Tractatus'' is recognized by philosophers as a sign ... [...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 ... [...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 (where he became at first interested in Plato) 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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Necessity And Sufficiency
In logic and mathematics, necessity and sufficiency are terms used to describe a conditional or implicational relationship between two statements. For example, in the conditional statement: "If then ", is necessary for , because the truth of is guaranteed by the truth of (equivalently, it is impossible to have without ). 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 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 must be either simultaneously true, or simultaneously false. In ordinary English (also natural language) "necessary" and "sufficient" indicate relations betw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sentence (linguistics)
In linguistics and grammar, a sentence is a linguistic expression, such as the English example "The quick brown fox jumps over the lazy dog." In traditional grammar, it is typically defined as a string of words that expresses a complete thought, or as a unit consisting of a subject and predicate. In non-functional linguistics it is typically defined as a maximal unit of syntactic structure such as a constituent. In functional linguistics, it is defined as a unit of written texts delimited by graphological features such as upper-case letters and markers such as periods, question marks, and exclamation marks. This notion contrasts with a curve, which is delimited by phonologic features such as pitch and loudness and markers such as pauses; and with a clause, which is a sequence of words that represents some process going on throughout time. A sentence can include words grouped meaningfully to express a statement, question, exclamation, request, command, or suggestion. Typica ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
