|
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 was 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 alternat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metaphysics
Metaphysics is the branch of philosophy that studies the fundamental nature of reality, the first principles of being, identity and change, space and time, causality, necessity, and possibility. It includes questions about the nature of consciousness and the relationship between mind and matter, between substance and attribute, and between potentiality and actuality. The word "metaphysics" comes from two Greek words that, together, literally mean "after or behind or among he study ofthe natural". It has been suggested that the term might have been coined by a first century CE editor who assembled various small selections of Aristotle's works into the treatise we now know by the name ''Metaphysics'' (μετὰ τὰ φυσικά, ''meta ta physika'', 'after the ''Physics'' ', another of Aristotle's works). Metaphysics studies questions related to what it is for something to exist and what types of existence there are. Metaphysics seeks to answer, in an abstract and fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Participial Nominalization
In linguistics, a participle () (from Latin ' a "sharing, partaking") 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. 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-European languages, ‘participle’ has been applied to forms that are alternatively regarded as converbs (see Sireniki Eskimo below), gerunds ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophical Presentism
Philosophical presentism is the view that only present entities exist (or, equivalently, that everything is present). According to presentism, then, there are no wholly past or merely future entities whatsoever. In a sense, the past and the future do not exist for presentists—past events have happened (have existed) and future events will happen (will exist), but neither exist at all since they do not exist now. Presentism is a view about temporal ontology that contrasts with eternalism—the view that past, present, and future entities exist (that is, the ontological thesis of the block universe theory)—and with no-futurism—the view that only past and present entities exist (that is, the ontological thesis of the growing block theory). Historical antecedents Augustine of Hippo proposed that the present is analogous to a knife edge placed exactly between the perceived past and the imaginary future and does not include the concept of time. Proponents claim this should be s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Object
In metaphysics, the distinction between abstract and concrete refers to a divide between two types of entities. Many philosophers hold that this difference has fundamental metaphysical significance. Examples of concrete objects include plants, human beings and planets while things like numbers, sets and propositions are abstract objects. There is no general consensus as to what the characteristic marks of concreteness and abstractness are. Popular suggestions include defining the distinction in terms of the difference between (1) existence inside or outside space-time, (2) having causes and effects or not, (3) having contingent or necessary existence, (4) being particular or universal and (5) belonging to either the physical or the mental realm or to neither. Despite this diversity of views, there is broad agreement concerning most objects as to whether they are abstract or concrete. So under most interpretations, all these views would agree that, for example, plants are concrete ... [...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 w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Relation
A symmetric relation is a type of binary relation. An example is the relation "is equal to", because if ''a'' = ''b'' is true then ''b'' = ''a'' is also true. 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 (a,b)\in R. If ''R''T represents the converse of ''R'', then ''R'' is symmetric if and only if ''R'' = ''R''T. 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 co-worker of" * "is teammate of" Relationship to asymmetric and antisymmetric relations By definition, a nonempty relation cannot be bot ... [...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." Moreover, the ''Summa'' remains Aquinas' "most perfect work, the fruit of his mature years, in which the thought of his whole life is condensed." Among non-scholars, the ''Summa'' is perhaps most famous for its five arguments for the existence ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomas Aquinas
Thomas Aquinas, OP (; it, Tommaso d'Aquino, lit=Thomas of Aquino; 1225 – 7 March 1274) was an Italian Dominican friar and priest who was an influential philosopher, theologian and jurist in the tradition of scholasticism; he is known within the tradition as the , the , and the . The name ''Aquinas'' identifies his ancestral origins in the county of Aquino in present-day Lazio, Italy. Among other things, he was a prominent proponent of natural theology and the father of a school of thought (encompassing both theology and philosophy) known as Thomism. He argued that God is the source of both the light of natural reason and the light of faith. He has been described as "the most influential thinker of the medieval period" and "the greatest of the medieval philosopher-theologians". His influence on Western thought is considerable, and much of modern philosophy is derived from his ideas, particularly in the areas of ethics, natural law, metaphysics, and political theory. ... [...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 Markus Stockhausen (born May 2, 1957) is a German trumpeter and composer. His recordings and performances have typically alternated between jazz and chamber or opera music, the latter often in collaboration with his father, composer Karlheinz Sto ... 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. They 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, and implication. 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 classical compositional s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Propositional Calculus
Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be 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. Propositions that contain no logical connectives are called atomic propositions. 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 propositional logic is included in first-order logic and higher-order logics. In this sense, propositional logic is the foundation of first-order logic and higher-order logic. Explanation Logical connectives are found in natural languages. In English for example, some examples are "and" (logical conjunction, conjunction), "or" (lo ... [...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 an atomic sentence in natural language, whereas "The dog ran and the cat hid" is a molecular sentence in natural language. From a logical analysis point of view, the truth or falsity of sentences in general is determined by only two things: the logical form of the sentence and the truth or falsity of its simple sentences. This 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 or falsity 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
