☆ 4.2 Article

Logic, Spatial Algorithms and Visual Reasoning

LOGICA UNIVERSALIS (2022)

Related references

Note: Only part of the references are listed.

Article History & Philosophy Of Science

An analysis of Existential Graphs-part 2: Beta

Francesco Bellucci et al.

Summary: This paper provides an analysis of the notational difference between Beta Existential Graphs, the graphical notation for quantificational logic invented by Charles S. Peirce at the end of the 19th century, and the ordinary notation of first-order logic. Peirce thought his graphs to be more diagrammatic than equivalently expressive languages for quantificational logic.

SYNTHESE (2021)

Add to Collection

Proceedings Paper Computer Science, Artificial Intelligence

The Fall and Rise of Resemblance Diagrams

Mikkel Willum Johansen et al.

Summary: A recent investigation reveals that diagrams were frequently used in published mathematics papers at the end of the 19th century and the beginning of the 20th, largely disappeared during 1910-1950, and reappeared afterwards. The comparison of resemblance diagrams used in the late 19th century with those used in the early 20th century shows significant differences, possibly influenced by the criticism raised by the formalist movement towards the diagrams used in the late 19th century.

DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2021 (2021)

Add to Collection

Article History & Philosophy Of Science