En semántica formal , la implicación de Strawson es una variante del concepto de implicación que es insensible a los fallos de presuposición . Formalmente, una oración P implica de manera Strawson a una oración Q si y solo si Q es siempre verdadera cuando P es verdadera y se satisfacen las presuposiciones de Q. Por ejemplo, "María ama a todos los gatos" implica de manera Strawson "María ama a su gato" porque María no podría amar a todos los gatos sin amar al suyo, suponiendo que tiene uno. Esta no sería una implicación ordinaria, ya que la primera oración podría ser verdadera mientras que la segunda no está definida debido a un fallo de presuposición; amar a todos los gatos no garantizaría que ella tenga un gato. [1] [2] [3]
La implicación de Strawson ha desempeñado un papel importante en la teoría semántica, ya que se ha sostenido que algunas expresiones del lenguaje natural son sensibles a la implicación de Strawson en lugar de a la implicación pura. Por ejemplo, la teoría de los libros de texto sobre los elementos de polaridad negativa débil sostiene que solo se permiten en entornos de implicación descendente de Strawson . Otros fenómenos que se han analizado utilizando la implicación de Strawson incluyen adverbios temporales, recíprocos encubiertos e implicatura escalar . [1] [2] [3] [4] Aunque el concepto se utiliza ampliamente en la semántica formal, no se adopta universalmente y las propuestas alternativas han abogado tanto por volver a la implicación pura como por generalizar la noción para considerar el contenido no en cuestión más allá de la presuposición. [3] [1] [5]