implicational, adj.
/im'pli kay"sheuhn/, n.
1. something implied or suggested as naturally to be inferred or understood: to resent an implication of dishonesty.
2. the act of implying: His implication of immediate changes surprised us.
3. the state of being implied: to know only by implication.
4. Logic. the relation that holds between two propositions, or classes of propositions, in virtue of which one is logically deducible from the other.
5. the act of implicating: the implication of his accomplices.
6. the state of being implicated: We heard of his implication in a conspiracy.
7. Usually, implications. relationships of a close or intimate nature; involvements: the religious implications of ancient astrology.
[1400-50; late ME implicacio(u)n < L implication- (s. of implicatio) an interweaving, equiv. to implicat(us) (see IMPLICATE) + -ion- -ION]
Syn. 7. associations, connections.

* * *

In logic, a relation that holds between two propositions when they are linked as antecedent and consequent of a true conditional proposition.

Logicians distinguish two main types of implication, material and strict. Proposition p materially implies proposition q if and only if the material conditional pq (read "if p then q") is true. A proposition of the form pq is false whenever p is true and q is false; it is true in the other three possible cases (i.e., p true and q true; p false and q true; p false and q false). It follows that whenever p is false, pq is automatically true: this is a peculiarity that makes the material conditional inadequate as an interpretation of the meaning of conditional sentences in ordinary English. On the other hand, proposition p strictly implies proposition q if and only if it is impossible for p to be true without q also being true (i.e., if the conjunction of p and not-q is impossible).

* * *

      in logic, a relationship between two propositions in which the second is a logical consequence of the first. In most systems of formal logic, a broader relationship called material implication is employed, which is read “If A, then B,” and is denoted by AB or AB. The truth or falsity of the compound proposition AB depends not on any relationship between the meanings of the propositions but only on the truth-values of A and B; AB is false when A is true and B is false, and it is true in all other cases. Equivalently, AB is often defined as ∼(A·∼B) or as ∼AB (in which ∼ means “not,” · means “and,” and ∨ means “or”). This way of interpreting ⊃ leads to the so-called paradoxes of material implication: “grass is red ⊃ ice is cold” is a true proposition according to this definition of ⊃.

      In an attempt to construct a formal relationship more closely akin to the intuitive notion of implication, Clarence Irving Lewis (Lewis, C.I.), known for his conceptual pragmatism, introduced in 1932 the notion of strict implication. Strict implication was defined as ∼♦(A·∼B), in which ♦ means “is possible” or “is not self-contradictory.” Thus A strictly implies B if it is impossible for both A and ∼B to be true. This conception of implication is based upon the meanings of the propositions, not merely upon their truth or falsity.

      Finally, in intuitionistic mathematics and logic, a form of implication is introduced that is primitive (not defined in terms of other basic connectives): AB is true here if there exists a proof (q.v.) that, if conjoined to a proof of A, would produce a proof of B. See also deduction; inference.

* * *

Universalium. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • implication — Implication …   Thresor de la langue françoyse

  • implication — [ ɛ̃plikasjɔ̃ ] n. f. • XVe « fait d être embrouillé »; lat. implicatio 1 ♦ (1611) Dr. Action d impliquer (qqn) dans une affaire criminelle. 2 ♦ Log. Relation logique consistant en ce qu une chose en implique une autre (si A, alors B). Log., math …   Encyclopédie Universelle

  • implication — im·pli·ca·tion /ˌim plə kā shən/ n 1: the act of implicating: the state of being implicated 2: the act of implying: the state of being implied 3: something implied Merriam Webster’s Dictionary of Law. Merriam Webster. 1996 …   Law dictionary

  • Implication — Im pli*ca tion, n. [L. implicatio: cf. F. implication.] 1. The act of implicating, or the state of being implicated. [1913 Webster] Three principal causes of firmness are. the grossness, the quiet contact, and the implication of component parts.… …   The Collaborative International Dictionary of English

  • implication — implication, inference are often interchangeable, but they may be distinguished when they specifically refer to something that is hinted at but not explicitly stated. Implication applies to what is hinted, whether the writer or speaker is aware… …   New Dictionary of Synonyms

  • Implication — can refer to:* Logic: ** Logical implication as regarded in mathematical logic. ** Material conditional as regarded in philosophical logic.:* Entailment (pragmatics):Also, in linguistics, there are different specialized related notions::*… …   Wikipedia

  • implication — Implication. s. f. v. Engagement dans une affaire criminelle. On le vouloit impliquer dans le crime, & par cette implication le rendre incapable de tenir Office ny Benefice …   Dictionnaire de l'Académie française

  • Implication — Implication, lat. deutsch, Verwickelung; impliciren, verwickeln; einschließen; implicite, lat., eingeschlossen; mitbegriffen …   Herders Conversations-Lexikon

  • Implication —   [engl.], Implikation …   Universal-Lexikon

  • implication — (n.) early 15c., action of entangling, from L. implicationem (nom. implicatio) interweaving, entanglement, from pp. stem of implicare involve, entangle, connect closely, from assimilated form of in into, in, on, upon (see IN (Cf. in ) (2)) +… …   Etymology dictionary

  • implication — [n] association, suggestion assumption, conclusion, connection, connotation, entanglement, guess, hint, hypothesis, incrimination, indication, inference, innuendo, intimation, involvement, link, meaning, overtone, presumption, ramification,… …   New thesaurus

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”