Two Early Arabic Applications of Model-Theoretic Consequence

We trace two logical ideas further back than they have previously been traced. One is the idea of using diagrams to prove that certain logical premises do—or don’t—have certain logical consequences. This idea is usually credited to Venn, and before him Euler, and before him Leibniz. We find the idea...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Logica universalis 2018-05, Vol.12 (1-2), p.37-54
1. Verfasser:	Hodges, Wilfrid
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Logic Mathematics Mathematics and Statistics Product development
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!