A Logic for Weak Essence and Strong Accident

Tianqun Pan, Chungui Yang

Abstract


Two new metaphysical notions, ‘weak essence’ and ‘strong accident’, are introduced. A proposition φ is weakly essential if once φ is true, φ is possibly true; and proposition φ is strongly accidental if φ is true but necessarily false. Under the condition that the frame is serial, if φ is essential, then φ is weakly essential, and if φ is strongly accidental, then φ is accidental. The relation between weak essence and strong accident, like that between essence and accident, is that one is the negation of the other. A logical system that describes weak essence and strong accident is established, and the system is shown to be sound and complete with respect to serial frames using possible world semantics.


References


Cresswell, M.J. (1988), ‘Necessity and Contingency’, Studia Logica, vol. 47, pp. 145–149.

van der Hoek, W., Lomuscio, A. (2004), ‘A Logic for Ignorance’, Electronic Notes in Theoretical Computer Science, vol. 85, pp.1270-1270.

Humberstone, I.L. (1995), ‘The Logic of Non-contingency’, Notre Dame Journal of Formal Logic, vol. 36, pp. 214–229.

Kuhn, S.T. (1995), ‘Minimal Non-contingency Logic’, Notre Dame Journal of Formal Logic,’ vol. 36, pp. 230–234.

Marcos, J. (2005), ‘Logics of Essence and Accident’, Bulletin of the Section of Logic, vol. 34, pp. 43–56.

Montgomery, H., Routley, R. (1966), ‘Contingency and Non-contingency Bases for

Normal Modal Logics’, Logique et Analyse, vol. 9, pp. 318–328.

Montgomery, H., Routley, R. (1969), ‘Modalities is a Sequence of Normal Non-contingency Modal Systems’, Logique et Analyse, vol. 12, pp. 225–227.

Steinsvold, C. (2008), ‘Completeness for Various Logics of Essence and Accident’, Bulletin of the Section of Logic, vol. 37, pp. 93–101.

Steinsvold, C. (2011), ‘The Boxdot Conjecture and the Language of Essence and Accident’, Australasian Journal of Logic, vol. 10, pp. 18–35.

Zolin, E. (1999),‘Completeness and Definability in the Logic of Non-contingency’, Notre Dame Journal of Formal Logic, vol. 40, pp. 533–547.

Zolin, E. (2002),‘Sequential Reflexive Logics with a Non-contingency Operator’, Mathematical Notes, vol. 72, pp. 784–798.


Refbacks

  • There are currently no refbacks.