How did Avicenna understand the Barcan formulas?

Abstract In 2003 Zia Movahed pointed to a passage of Avicenna, written probably in 1022, which Movahed claimed anticipated the modal formula of Barcan (that ‘For every $x$ necessarily $\phi $’ entails ‘Necessarily for every $x$$\phi $’), and its converse. Since 2003, examination of early logical wri...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Logic journal of the IGPL 2023-11, Vol.31 (6), p.1170-1191
1. Verfasser:	Hodges, Wilfrid
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!