|
Truthmaker Theory
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. ''Truthmaker maximalism'' is the thesis that every truth has a truthmaker. An alterna ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metaphysics
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. Metaphysics encompasses a wide range of general and abstract topics. It investigates the nature of existence, the features all entities have in common, and their division into categories of being. An influential division is between particulars and universals. Particulars are individual unique entities, like a specific apple. Universals are general features that different particulars have in common, like the color . Modal metaphysics examines what it means for something to be possible or necessary. Metaphysicians also explore the concepts of space, time, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Participial Nominalization
In linguistics, a participle (; abbr. ) is a nonfinite verb form that has some of the characteristics and functions of both verbs and adjectives. More narrowly, ''participle'' has been defined as "a word derived from a verb and used as an adjective, as in a ''laughing face''". "Participle" is a traditional grammatical term from Greek and Latin that is widely used for corresponding verb forms in European languages and analogous forms in Sanskrit and Arabic grammar. In particular, Greek and Latin participles are inflected for gender, number and case, but also conjugated for tense and voice and can take prepositional and adverbial modifiers. Cross-linguistically, participles may have a range of functions apart from adjectival modification. In European and Indian languages, the past participle is used to form the passive voice. In English, participles are also associated with periphrastic verb forms ( continuous and perfect) and are widely used in adverbial clauses. In non-Indo-E ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophical Presentism
Presentism (sometimes 'philosophical presentism') is the view of time which states that only present entities exist (or, equivalently, that everything which is exists presently) and what is present (i.e., what exists) changes as time passes. According to presentism, there are no past or future entities at all, though some entities have existed and other entities will exist. In a sense, the past and the future do not exist for presentists—past events have happened (have existed, or have been present) and future events will happen (will exist, or will be present), but neither exist at all since they do not exist now. Presentism is a view about temporal ontology, i.e., a view about what exists in time, that contrasts with eternalism—the view that past, present and future entities exist (that is, the ontological thesis of the 'block universe')—and with no-futurism—the view that only past and present entities exist (that is, the ontological thesis of the ' growing block unive ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Object
In philosophy and the arts, a fundamental distinction exists between abstract and concrete entities. While there is no universally accepted definition, common examples illustrate the difference: numbers, sets, and ideas are typically classified as abstract objects, whereas plants, dogs, and planets are considered concrete objects. Philosophers have proposed several criteria to define this distinction: # ''Spatiotemporal existence'' – Abstract objects exist outside space-time, while concrete objects exist within space-time. # ''Causal influence'' – Concrete objects can cause and be affected by other entities (e.g., a rock breaking a window), whereas abstract objects (e.g., the number 2) lack causal powers and do not cause anything to happen in the physical world. # ''Metaphysical relation'' – In metaphysics, concrete objects are specific, individual things ( particulars), while abstract objects represent general concepts or categories ( universals). # ''Ontological d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Actualism
In analytic philosophy, actualism is the view that everything there ''is'' (i.e., everything that has ''being'', in the broadest sense) is actual. Another phrasing of the thesis is that the domain of unrestricted quantification ranges over all and only actual existents. The denial of actualism is possibilism, the thesis that there are some entities that are ''merely possible'': these entities have being but are not actual and, hence, enjoy a "less robust" sort of being than do actually existing things. An important, but significantly different notion of possibilism known as '' modal realism'' was developed by the philosopher David Lewis. On Lewis's account, the actual world is identified with the physical universe of which we are all a part. Other possible worlds exist in exactly the same sense as the actual world; they are simply spatio-temporally unrelated to our world, and to each other. Hence, for Lewis, "merely possible" entities—entities that exist in other possible wo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Relation
A symmetric relation is a type of binary relation. Formally, a binary relation ''R'' over a set ''X'' is symmetric if: : \forall a, b \in X(a R b \Leftrightarrow b R a) , where the notation ''aRb'' means that . An example is the relation "is equal to", because if is true then is also true. If ''R''T represents the converse of ''R'', then ''R'' is symmetric if and only if . Symmetry, along with reflexivity and transitivity, are the three defining properties of an equivalence relation. Examples In mathematics * "is equal to" ( equality) (whereas "is less than" is not symmetric) * "is comparable to", for elements of a partially ordered set * "... and ... are odd": :::::: Outside mathematics * "is married to" (in most legal systems) * "is a fully biological sibling of" * "is a homophone of" * "is a co-worker of" * "is a teammate of" Relationship to asymmetric and antisymmetric relations By definition, a nonempty relation cannot be both symmetric and asymmetric ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Summa Theologiae
The ''Summa Theologiae'' or ''Summa Theologica'' (), often referred to simply as the ''Summa'', is the best-known work of Thomas Aquinas (1225–1274), a scholastic theologian and Doctor of the Church. It is a compendium of all of the main theological teachings of the Catholic Church, intended to be an instructional guide for theology students, including seminarians and the literate laity. Presenting the reasoning for almost all points of Christian theology in the West, topics of the ''Summa'' follow the following cycle: God; Creation, Man; Man's purpose; Christ; the Sacraments; and back to God. Although unfinished, it is "one of the classics of the history of philosophy and one of the most influential works of Western literature". It remains Aquinas's "most perfect work, the fruit of his mature years, in which the thought of his whole life is condensed". Throughout the ''Summa'', Aquinas cites Christian, Muslim, Hebrew, and Pagan sources, including, but not limited to: Chr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomas Aquinas
Thomas Aquinas ( ; ; – 7 March 1274) was an Italian Dominican Order, Dominican friar and Catholic priest, priest, the foremost Scholasticism, Scholastic thinker, as well as one of the most influential philosophers and theologians in the Western tradition. A Doctor of the Church, he was from the county of Aquino, Italy, Aquino in the Kingdom of Sicily. Thomas was a proponent of natural theology and the father of a school of thought (encompassing both theology and philosophy) known as Thomism. Central to his thought was the doctrine of natural law, which he argued was accessible to Reason, human reason and grounded in the very nature of human beings, providing a basis for understanding individual rights and Moral duty, moral duties. He argued that God is the source of the light of natural reason and the light of faith. He embraced several ideas put forward by Aristotle and attempted to synthesize Aristotelianism, Aristotelian philosophy with the principles of Christianity. A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Possible Worlds
Possible Worlds may refer to: * Possible worlds, concept in philosophy * ''Possible Worlds'' (play), 1990 play by John Mighton ** ''Possible Worlds'' (film), 2000 film by Robert Lepage, based on the play * Possible Worlds (studio) * ''Possible Worlds'', poetry book by Peter Porter * ''Possible Worlds'', book by J. B. S. Haldane * ''Possible Worlds'', 1995 album by Markus Stockhausen See also * * * Possible (other) * World (other) {{dab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Connectives
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. Connectives can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective \lor can be used to join the two atomic formulas P and Q, rendering the complex formula P \lor Q . Common connectives include negation, disjunction, conjunction, implication, and equivalence. In standard systems of classical logic, these connectives are interpreted as truth functions, though they receive a variety of alternative interpretations in nonclassical logics. Their classical interpretations are similar to the meanings of natural language expressions such as English "not", "or", "and", and "if", but not identical. Discrepancies between natural language connectives and those of classical logic have motivated nonclassical approaches to natural language meaning as well as approaches which pair a classic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Propositional Calculus
The propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. Sometimes, it is called ''first-order'' propositional logic to contrast it with System F, but it should not be confused with first-order logic. It deals with propositions (which can be Truth value, true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives representing the truth functions of Logical conjunction, conjunction, Logical disjunction, disjunction, Material conditional, implication, Logical biconditional, biconditional, and negation. Some sources include other connectives, as in the table below. Unlike first-order logic, propositional logic does not deal with non-logical objects, predicates about them, or Quantifier (logic), quantifiers. However, all the machinery of pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Atomic Sentences
In logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example, "The dog ran" is atomic whereas "The dog ran and the cat hid" is molecular in natural language. From a logical analysis point of view, the truth of a sentence is determined by only two things: * the logical form of the sentence. * the truth of its underlying atomic sentences. That is to say, for example, that the truth of the sentence "John is Greek and John is happy" is a function of the meaning of " and", and the truth values of the atomic sentences "John is Greek" and "John is happy". However, the truth of an atomic sentence is not a matter that is within the scope of logic itself, but rather whatever art or science the content of the atomic sentence happens to be talking about. Logic has developed artificial languages, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
