|
Conditional
Conditional (if then) may refer to: * Causal conditional, if X then Y, where X is a cause of Y * Conditional probability, the probability of an event A given that another event B has occurred *Conditional proof, in logic: a proof that asserts a conditional, and proves that the antecedent leads to the consequent * Strict conditional, in philosophy, logic, and mathematics * Material conditional, in propositional calculus, or logical calculus in mathematics * Relevance conditional, in relevance logic * Conditional (computer programming), a statement or expression in computer programming languages *A conditional expression in computer programming languages such as ?: *Conditions in a contract Grammar and linguistics * Conditional mood (or conditional tense), a verb form in many languages * Conditional sentence, a sentence type used to refer to hypothetical situations and their consequences ** Indicative conditional, a conditional sentence expressing "if A then B" in a natural langua ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Counterfactual Conditional
Counterfactual conditionals (also ''subjunctive'' or ''X-marked'') are conditional sentences which discuss what would have been true under different circumstances, e.g. "If Peter believed in ghosts, he would be afraid to be here." Counterfactuals are contrasted with indicatives, which are generally restricted to discussing open possibilities. Counterfactuals are characterized grammatically by their use of fake tense morphology, which some languages use in combination with other kinds of morphology including aspect and mood. Counterfactuals are one of the most studied phenomena in philosophical logic, formal semantics, and philosophy of language. They were first discussed as a problem for the material conditional analysis of conditionals, which treats them all as trivially true. Starting in the 1960s, philosophers and linguists developed the now-classic possible world approach, in which a counterfactual's truth hinges on its consequent holding at certain possible worlds w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conditional Mood
The conditional mood (abbreviated ) is a grammatical mood used in conditional sentences to express a proposition whose validity is dependent on some condition, possibly counterfactual. It may refer to a distinct verb form that expresses the conditional set of circumstances proper in the dependent clause or ''protasis'' (e.g. in Turkish or Azerbaijani), or which expresses the hypothetical state of affairs or uncertain event contingent to it in the independent clause or '' apodosis'', or both (e.g. in Hungarian or Finnish). Some languages distinguish more than one conditional mood; the East African language Hadza, for example, has a ''potential'' conditional expressing possibility, and a ''veridical'' conditional expressing certainty. Other languages do not have a conditional mood at all . In some informal contexts, such as language teaching, it may be called the "conditional tense". Some languages have verb forms called "conditional" although their use is not exclusive to cond ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conditional Sentence
Conditional sentences are natural language sentences that express that one thing is contingent on something else, e.g. "If it rains, the picnic will be cancelled." They are so called because the impact of the main clause of the sentence is ''conditional'' on the dependent clause. A full conditional thus contains two clauses: a dependent clause called the ''antecedent'' (or ''protasis'' or ''if-clause''), which expresses the condition, and a main clause called the ''consequent'' (or ''apodosis'' or ''then-clause'') expressing the result. Languages use a variety of grammatical forms and constructions in conditional sentences. The forms of verbs used in the antecedent and consequent are often subject to particular rules as regards their tense, aspect, and mood. Many languages have a specialized type of verb form called the conditional mood – broadly equivalent in meaning to the English "would (do something)" – for use in some types of conditional sentences. Types of conditiona ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conditional Probability
In probability theory, conditional probability is a measure of the probability of an event occurring, given that another event (by assumption, presumption, assertion or evidence) has already occurred. This particular method relies on event B occurring with some sort of relationship with another event A. In this event, the event B can be analyzed by a conditional probability with respect to A. If the event of interest is and the event is known or assumed to have occurred, "the conditional probability of given ", or "the probability of under the condition ", is usually written as or occasionally . This can also be understood as the fraction of probability B that intersects with A: P(A \mid B) = \frac. For example, the probability that any given person has a cough on any given day may be only 5%. But if we know or assume that the person is sick, then they are much more likely to be coughing. For example, the conditional probability that someone unwell (sick) is coughing might be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Material Conditional
The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol \rightarrow is interpreted as material implication, a formula P \rightarrow Q is true unless P is true and Q is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum. Material implication is used in all the basic systems of classical logic as well as some nonclassical logics. It is assumed as a model of correct conditional reasoning within mathematics and serves as the basis for commands in many programming languages. However, many logics replace material implication with other operators such as the strict conditional and the variably strict conditional. Due to the paradoxes of material implication and related problems, material implication is not generally considered a viable analysis of conditional sentences in natural language. Notation In l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conditional (computer Programming)
In computer science, conditionals (that is, conditional statements, conditional expressions and conditional constructs,) are programming language commands for handling decisions. Specifically, conditionals perform different computations or actions depending on whether a programmer-defined boolean ''condition'' evaluates to true or false. In terms of control flow, the decision is always achieved by selectively altering the control flow based on some condition (apart from the case of branch predication). Although dynamic dispatch is not usually classified as a conditional construct, it is another way to select between alternatives at runtime. Terminology In imperative programming languages, the term "conditional statement" is usually used, whereas in functional programming, the terms "conditional expression" or "conditional construct" are preferred, because these terms all have distinct meanings. If–then(–else) The if–then construct (sometimes called if–then–els ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indicative Conditional
In natural languages, an indicative conditional is a conditional sentence such as "If Leona is at home, she isn't in Paris", whose grammatical form restricts it to discussing what could be true. Indicatives are typically defined in opposition to counterfactual conditionals, which have extra grammatical marking which allows them to discuss eventualities which are no longer possible. Indicatives are a major topic of research in philosophy of language, philosophical logic, and linguistics. Open questions include which logical operation indicatives denote, how such denotations could be composed from their grammatical form, and the implications of those denotations for areas including metaphysics, psychology of reasoning, and philosophy of mathematics. Formal analyses Early analyses identified indicative conditionals with the logical operation known as the material conditional. According to the material conditional analysis, an indicative "If A then B" is true unless A is true and B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Strict Conditional
In logic, a strict conditional (symbol: \Box, or ⥽) is a conditional governed by a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For any two propositions ''p'' and ''q'', the formula ''p'' → ''q'' says that ''p'' materially implies ''q'' while \Box (p \rightarrow q) says that ''p'' strictly implies ''q''. Strict conditionals are the result of Clarence Irving Lewis's attempt to find a conditional for logic that can adequately express indicative conditionals in natural language. They have also been used in studying Molinist theology. Avoiding paradoxes The strict conditionals may avoid paradoxes of material implication. The following statement, for example, is not correctly formalized by material implication: : If Bill Gates has graduated in Medicine, then Elvis never died. This condition should clearly be false: the degree of Bill ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Causal Conditional
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. Accordingly, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Relevance Conditional
Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. It is generally, but not universally, called ''relevant logic'' by British and, especially, Australian logicians, and ''relevance logic'' by American logicians. Relevance logic aims to capture aspects of implication that are ignored by the " material implication" operator in classical truth-functional logic, namely the notion of relevance between antecedent and conditional of a true implication. This idea is not new: C. I. Lewis was led to invent modal logic, and specifically strict implication, on the grounds that classical logic grants paradoxes of material implication such as the principle that a falsehood implies any proposition. Hence "if I'm a donkey, then two and two is four" is true when translated as a material implication, yet it seems intuitive ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conditional Expressions
Conditional (if then) may refer to: *Causal conditional, if X then Y, where X is a cause of Y *Conditional probability, the probability of an event A given that another event B has occurred *Conditional proof, in logic: a proof that asserts a conditional, and proves that the antecedent leads to the consequent *Strict conditional, in philosophy, logic, and mathematics *Material conditional, in propositional calculus, or logical calculus in mathematics *Relevance conditional, in relevance logic *Conditional (computer programming), a statement or expression in computer programming languages *A conditional expression in computer programming languages such as ?: *Conditions in a contract Grammar and linguistics *Conditional mood (or conditional tense), a verb form in many languages *Conditional sentence, a sentence type used to refer to hypothetical situations and their consequences **Indicative conditional, a conditional sentence expressing "if A then B" in a natural language **Count ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conditional Proof
A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent. Overview The assumed antecedent of a conditional proof is called the conditional proof assumption (CPA). Thus, the goal of a conditional proof is to demonstrate that if the CPA were true, then the desired conclusion necessarily follows. The validity of a conditional proof does not require that the CPA be true, only that ''if it were true'' it would lead to the consequent. Conditional proofs are of great importance in mathematics. Conditional proofs exist linking several otherwise unproven conjectures, so that a proof of one conjecture may immediately imply the validity of several others. It can be much easier to show a proposition's truth to follow from another proposition than to prove it independently. A famous network of conditional proofs is the NP-complete class of complexity theory. There is a large num ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
