Ockham's Calculus of Strict Implication

Autor(en): Lenzen, Wolfgang
Stichwörter: 14th century; History of logic; Logic; Science & Technology - Other Topics; William of Ockham
Erscheinungsdatum: 2015
Herausgeber: SPRINGER BASEL AG
Journal: LOGICA UNIVERSALIS
Volumen: 9
Ausgabe: 2, SI
Startseite: 181
Seitenende: 191
Zusammenfassung: 
In his main work Summa Logicae written around 1323, William of Ockham developed a system of propositional modal logic which contains almost all theorems of a modern calculus of strict implication. This calculus is formally reconstructed here with the help of modern symbols for the operators of conjunction, disjunction, implication, negation, possibility, and necessity.
ISSN: 16618297
DOI: 10.1007/s11787-014-0114-4

Show full item record

Page view(s)

1
Last Week
0
Last month
1
checked on May 19, 2024

Google ScholarTM

Check

Altmetric