You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB
a logical geometry project

Hamburgers and Truth: Why Gricean Inference is Gricean (1990), p. 459
by Horn, Laurence

Logic

Number of labels per vertex (at most)
1
Errors in the diagram
No

Geometry

Shape
Triangle (regular)
Colinearity range
1
Coplanarity range
0
Cospatiality range
0
Representation of contradiction
By central symmetry

Vertex description

Conceptual info
No
Mnemonic support (AEIO, purpurea ...)
Yes
Form
none
Label type
linguistic
,
symbolic
Language
English
Contains abbreviations
No
Symbolic field
logic
Contains partial formulas or symbols
Yes
Logical system
syllogistics

Edge description

Contains definitions of relations
No
Form
solid lines
,
none
Has arrowheads
Yes
Overlap
No
Curved
No
Hooked
No
As wide as vertices
No
Contains text
Yes
Label type
linguistic
,
none
Language
English
Contains partial sentences or single words
Yes
Contain abbreviations
No

Style

Diagram is colored
No
Diagram is embellished
No
↑ Back to top ↑