A compositional semantics for Venn diagrams

Bryan Pickel1, Brian Rabern2

  • 1University of Glasgow, Glasgow, Scotland.

Linguistics and Philosophy
|August 10, 2026
PubMed
Summary

This study explores Venn diagrams, analyzing their recursive syntax and compositional semantics. It proposes two novel approaches to understand visual representation, differentiating it from linguistic structures.

Related Concept Videos

pV-Diagrams01:18

pV-Diagrams

The pV diagram, which is a graph of pressure versus volume of the gas under study, is helpful in describing certain aspects of the substance. When the substance behaves like an ideal gas, the ideal gas equation describes the relationship between its pressure and volume. On a pV diagram, it is common to plot an isotherm, which is a curve showing p as a function of V with the number of molecules and the temperature fixed. Then, for an ideal gas, the product of the pressure of the gas and its...
Schemata01:17

Schemata

A schema is a mental construct that organizes related concepts, allowing the brain to process information efficiently. Upon activation, schemata facilitate assumptions about people or objects.
Two types of schemata are:
Graphical Representation of Inequalities01:28

Graphical Representation of Inequalities

The graph of the equation where y equals x squared forms a curve known as a parabola. This curve acts as a boundary in the coordinate plane, dividing it into distinct regions based on the relative position of points.When the equality sign in the equation is replaced with an inequality—such as greater than, less than, greater than or equal to, or less than or equal to—the graphical representation changes from a single curve into a broader shaded area that signifies the set of all points...
Relation between Mathematical Equations and Block Diagrams01:20

Relation between Mathematical Equations and Block Diagrams

In a spring-mass-damper system, the second-order differential equation describes the dynamic behavior of the system. When transformed into the Laplace domain under zero initial conditions, this equation can be effectively analyzed and manipulated. The transformation into the Laplace domain converts differential equations into algebraic equations, simplifying the process of isolating the output.
Vector Forms of Green’s Theorem01:26

Vector Forms of Green’s Theorem

The study of fluid motion often involves understanding how local rotational behavior relates to global circulation. In the context of a pond with pollutants, direct measurement of water movement along an irregular shoreline can be impractical. Green’s Theorem in vector form provides an alternative by relating the circulation around a closed boundary to properties of the flow within the enclosed region.Measurements of water velocity at different points define a continuous vector field that...
Vector Algebra: Graphical Method01:10

Vector Algebra: Graphical Method

Vectors can be multiplied by scalars, added to other vectors, or subtracted from other vectors. The vector sum of two (or more) vectors is called the resultant vector or, for short, the resultant.
We use the laws of geometry to construct resultant vectors, followed by trigonometry to find vector magnitudes and directions. For a geometric construction of the sum of two vectors in a plane, we follow the parallelogram rule. Suppose two vectors are at arbitrary positions. Translate either one of...