Britannica
Sources used in this answer
How did Juan Luis Vives use a V-shaped symbol in his logical notation?
Created from Britannica articles
using AI.
AI can make mistakes, so verify using Britannica articles.
Modern logic
Representations of the universal affirmative, “All A's are B's” in modern logic.
In the context of modern logic, the Spanish humanist Juan Luis Vives (1492–1540) is recognized for his contributions to early logical symbolism, which were influenced by the work of the mystic Ramón Llull.12
Vives utilized a V-shaped symbol specifically to indicate the inclusion of one term in another. Along with the work of the German logician Johann Heinrich Alsted, the efforts of Vives represent perhaps the first systematic attempt to develop a logical symbolism, moving away from purely natural language toward a more structured, symbolic representation of logical relationships.12