Ockham’s Calculus of Strict Implication

Logica Universalis 9 (2):181-191 (2015)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1007/s11787-014-0114-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Blasius Pelacani, the Paradoxes of Implication and the Notion of Logical Consequence.Dino Buzzetti - 2000 - In Ignacio Angelelli & Paloma Perez-Ilzarbe (eds.), Medieval and Renaissance Logic in Spain, Proceedings of the 12th European Symposium on Medieval Logic and Semantics (Pamplona, 26-30 May 1997). G. Olms. pp. 54--97.
Leibniz's calculus of strict implication.Wolfgang Lenzen - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 1--35.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
William of Ockham De insolubilibus.Paul Vincent Spade - unknown
On the role of implication in formal logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
Predestination, Foreknowledge, and Future Contingents.William of Ockham - 1969 - Indianapolis: Hackett. Edited by Marilyn McCord Adams & Norman Kretzmann.
Ockham and the dialogus.John Kilcullen - unknown
The formalization of implication in propositional logic.Patrick F. Schindler - unknown
Emch's calculus and strict implication.C. I. Lewis - 1936 - Journal of Symbolic Logic 1 (3):77-86.
Die Begründung der iurisdictio temporalis bei Wilhelm von Ockham in William of Ockham (1285-1347). Commemorative Issue. Part III. La justification de la juridiction temporelle chez Guillaume d'Ockham. [REVIEW]W. Sturner - 1986 - Franciscan Studies 46:243-251.
Alfred J. Freddoso, William of Ockham, Henry Schuurman, Ockham's Theory of Truth Conditions. [REVIEW]John Corcoran - 1984 - Journal of Symbolic Logic 49 (1):306-308.
Substructural implicational logics including the relevant logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
A functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.

Analytics

Added to PP
2015-01-15

Downloads
29 (#536,973)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Ockhams modale Aussagenlogik.Wolfgang Lenzen - 1993 - Archiv für Geschichte der Philosophie 75 (2):125-159.

Add more references