|
Modal Operator
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not. Finally, a modal operator is "intuitively" characterized by expressing a modal attitude (such as necessity, possibility, belief, or knowledge) about the proposition to which the operator is applied. See also Garson, James, "Modal Logic", The Stanford Encyclopedia of Philosophy (Summer 2021 Edition), Edward N. Zalta (ed.), URL = Syntax for modal operators The syntax rules for modal operators \Box and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Connective
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 semantics wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Accessibility Relation
An accessibility relation is a relation which plays a key role in assigning truth values to sentences in the relational semantics for modal logic. In relational semantics, a modal formula's truth value at a ''possible world'' w can depend on what's true at another possible world v, but only if the accessibility relation R relates w to v. For instance, if P holds at some world v such that wRv, the formula \Diamond P will be true at w. The fact wRv is crucial. If R did not relate w to v, then \Diamond P would be false at w unless P also held at some other world u such that wRu. Accessibility relations are motivated conceptually by the fact that natural language modal statements depend on some, but not all alternative scenarios. For instance, the sentence "It might be raining" is not generally judged true simply because one can imagine a scenario where it was raining. Rather, its truth depends on whether such a scenario is ruled out by available information. This fact can be for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Possibility
Logical possibility refers to a logical proposition that cannot be disproved, using the axioms and rules of a given system of logic. The logical possibility of a proposition will depend upon the system of logic being considered, rather than on the violation of any single rule. Some systems of logic restrict inferences from inconsistent propositions or even allow for true contradictions. Other logical systems have more than two truth-values instead of a binary of such values. However, when talking about logical possibility, it is often assumed that the system in question is classical propositional logic. Similarly, the criterion for logical possibility is often based on whether or not a proposition is contradictory and as such, is often thought of as the broadest type of possibility. In modal logic, a logical proposition is possible if it is true in some possible world. The universe of "possible worlds" depends upon the axioms and rules of the logical system in which one is work ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Causality
Causality (also referred to as causation, or cause and effect) is influence by which one event, process, state, or object (''a'' ''cause'') contributes to the production of another event, process, state, or object (an ''effect'') where the cause is partly responsible for the effect, and the effect is partly dependent on the cause. In general, a process has many causes, which are also said to be ''causal factors'' for it, and all lie in its past. An effect can in turn be a cause of, or causal factor for, many other effects, which all lie in its future. Some writers have held that causality is metaphysically prior to notions of time and space. Causality is an abstraction that indicates how the world progresses. As such a basic concept, it is more apt as an explanation of other concepts of progression than as something to be explained by others more basic. The concept is like those of agency and efficacy. For this reason, a leap of intuition may be needed to grasp it. Accordin ... [...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] |
Alethic Modality
Alethic modality (from Greek ἀλήθεια = truth) is a linguistic modality that indicates modalities of truth, in particular the modalities of logical necessity, contingency, possibility and impossibility. Alethic modality is often associated with epistemic modality in research, and it has been questioned whether this modality should be considered distinct from epistemic modality which denotes the speaker's evaluation or judgment of the truth. The criticism states that there is no real difference between "the truth in the world" (alethic) and "the truth in an individual's mind" (epistemic). An investigation has not found a single language in which alethic and epistemic modalities would be formally distinguished, for example by the means of a grammatical mood. In such a language, "A circle can't be square", "can't be" would be expressed by an alethic mood, whereas for "He can't be that wealthy", "can't be" would be expressed by an epistemic mood. As we can see, this is not a di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doxastic Logic
Doxastic logic is a type of logic concerned with reasoning about beliefs. The term ' derives from the Ancient Greek (''doxa'', "opinion, belief"), from which the English term ''doxa'' ("popular opinion or belief") is also borrowed. Typically, a doxastic logic uses the notation \mathcalx to mean "It is believed that x is the case", and the set \mathbb : \left \ denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. There is complete parallelism between a person who believes propositions and a formal system that derives propositions. Using doxastic logic, one can express the epistemic counterpart of Gödel's incompleteness theorem of metalogic, as well as Löb's theorem, and other metalogical results in terms of belief. Smullyan, Raymond M., (1986''Logicians who reason about themselves'' Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, Monterey (CA), Morgan Kaufmann Publishers Inc., San Francisco (CA), pp. 341â ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Epistemic Modal Logic
Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke. Historical development Many papers were written in the 1950s that spoke of a logic of knowledge in passing, but the Finnish philosopher G. H. von Wright's 1951 paper titled ''An Essay in Modal Logic'' is seen as a founding document. It was not until 1962 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiology
Axiology (from Ancient Greek, Greek , ''axia'': "value, worth"; and , ''wiktionary:-logia, -logia'': "study of") is the Philosophy, philosophical study of value (ethics), value. It includes questions about the nature and classification of values and about what kinds of things have value. It is intimately connected with various other philosophical fields that crucially depend on the notion of value, like ethics, aesthetics or philosophy of religion. It is also closely related to value theory and meta-ethics. The term was first used by Paul Lapie, in 1902, and Eduard von Hartmann, in 1908. The distinction between ''intrinsic'' and ''extrinsic'' value is central to axiology. One conceptualization holds that something is ''intrinsically valuable'' if it is ''good in itself'' or ''good for its own sake''. It is usually held that intrinsic value ''depends'' on certain features of the valuable entity. For example, an experience may be said to be intrinsically valuable ''by virtue of'' be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deontic Logic
Deontic logic is the field of philosophical logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. It can be used to formalize imperative logic, or directive modality in natural languages. Typically, a deontic logic uses ''OA'' to mean ''it is obligatory that A'' (or ''it ought to be (the case) that A''), and ''PA'' to mean ''it is permitted (or permissible) that A'', which is defined as PA\equiv \neg O\neg A. Note that in natural language, the statement "You may go to the zoo OR the park" should be understood as Pz\land Pp instead of Pz\lor Pp, as both options are permitted by the statement; See Hans Kamp's paradox of free choice for more details. When there are multiple agents involved in the domain of discourse, the deontic modal operator can be specified to each agent to express their individual obligations and permissions. For e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alethic Modality
Alethic modality (from Greek ἀλήθεια = truth) is a linguistic modality that indicates modalities of truth, in particular the modalities of logical necessity, contingency, possibility and impossibility. Alethic modality is often associated with epistemic modality in research, and it has been questioned whether this modality should be considered distinct from epistemic modality which denotes the speaker's evaluation or judgment of the truth. The criticism states that there is no real difference between "the truth in the world" (alethic) and "the truth in an individual's mind" (epistemic). An investigation has not found a single language in which alethic and epistemic modalities would be formally distinguished, for example by the means of a grammatical mood. In such a language, "A circle can't be square", "can't be" would be expressed by an alethic mood, whereas for "He can't be that wealthy", "can't be" would be expressed by an epistemic mood. As we can see, this is not a di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Interpretation (logic)
An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation. The general study of interpretations of formal languages is called formal semantics. The most commonly studied formal logics are propositional logic, predicate logic and their modal analogs, and for these there are standard ways of presenting an interpretation. In these contexts an interpretation is a function that provides the extension of symbols and strings of symbols of an object language. For example, an interpretation function could take the predicate ''T'' (for "tall") and assign it the extension (for "Abraham Lincoln"). Note that all our interpretation does is assign the extension to the non-logical constant ''T'', and does not make a claim about whether ''T'' is to stand for tall and 'a' f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
