Las implicancias lingüísticas son implicancias que surgen en el lenguaje natural . Si una oración A implica una oración B , la oración A no puede ser verdadera sin que B también lo sea. [1] Por ejemplo, la oración en inglés "Pat es un gato peludo" implica la oración "Pat es un gato", ya que uno no puede ser un gato peludo sin ser un gato. Por otro lado, esta oración no implica "Pat persigue ratones", ya que es posible (aunque poco probable) que un gato no persiga ratones.
Las implicancias surgen de la semántica de las expresiones lingüísticas. [2] La implicación contrasta con la noción pragmática de implicatura . Mientras que las implicaturas son inferencias falibles, las implicancias se imponen mediante significados léxicos más las leyes de la lógica. [3] Las implicancias también difieren de las presuposiciones , cuya verdad se da por sentada. El ejemplo clásico de una presuposición es la presuposición de existencia que surge de descripciones definidas . Por ejemplo, la oración "El rey de Francia es calvo" presupone que hay un rey de Francia. A diferencia de una implicación, las presuposiciones sobreviven cuando se niega la oración. La prueba de negación se puede utilizar para determinar la diferencia entre implicación y presuposición. [4] Por ejemplo, "El rey de Francia no es calvo" también presupone que hay un rey de Francia. [3]