Ockham's calculus of strict implication

DOI10.1007/S11787-014-0114-4MaRDI QIDQ2354874zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Wolfgang Lenzen

Publication date 27 July 2015

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-014-0114-4

zbMATH Keywords

propositional modal logicstrict implicationWilliam Ockham

Mathematics Subject Classification ID

History of mathematics in Late Antiquity and medieval Europe (01A35) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Modal logic (including the logic of norms) (03B45)

Review text

This is an interesting look at Ockham's \textit{Summa logicae} and at the smaller writings \textit{Elementarium logicae} and \textit{Tractatus minor}, in which the author finds, resuming research going back to his work [``Ockhams modale Aussagenlogik, Arch. Gesch. Philos. 75, No. 2, 125--159 (1993)], that Ockham ``developed a system of propositional modal logic which contains almost all theorems of a modern calculus of strict implication (p.\ 181). The paper consists of Latin quotations from Ockham's works and their interpretation in the modern language of propositional modal logic, together with a justification of that interpretation. The author is aware that his reading of Ockham is ``at odds with the traditional view put forward, in particular, by \textit{J. Salamucha} [``Die Aussagenlogik bei Wilhelm Ockham, Franziskanische Studien 32, 97--134 (1950)] and by \textit{E. A. Moody} [Truth and consequence in mediaeval logic. Amsterdam: North-Holland (1953; Zbl 0050.24404)] (p.\ 181). He finds those interpretations ``untenable on several grounds, but leaves the discussion with these other points out of this paper. ``The set of Ockham's logical principles as reconstructed in this paper may perhaps fail to come up to the standards of a contemporary calculus of strict implication. Nevertheless, it represents a surprisingly detailed system of the basic laws for the operators of conjunction, disjunction, (strict) implication, negation, possibility, and necessity, and thus it certainly deserves to be referred to as `Ockham's calculus of strict implication'. (p.\ 190)

Recommendations

• Ockham and the foundations of modality in the fourteenth century
• scientific article; zbMATH DE number 1414373
• Tense propositions in W. Ockham's logic
• Begründung einer strengen Implikation
• Emch's calculus and strict implication

Cites work

• Truth and consequence in mediaeval logic

Cited in

(7)

• The Cambridge companion to Ockham
• C.I.Lewis’s calculus of predicates
• scientific article; zbMATH DE number 1414373 (Why is no real title available?)
• William of Sherwood on necessity and contingency
• Ockham and the foundations of modality in the fourteenth century
• Ockhamism and Quantified Modal Logic
• Tense propositions in W. Ockham's logic

This page was built for publication: Ockham's calculus of strict implication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2354874)