A formal theory of physical necessity

Marcin Tkaczyk

DOI: http://dx.doi.org/10.12775/LLP.2007.003


A system HW of normal modal logic, developed by R. Bigelow & R. Pargetter is presented. Some formal issues concerning the system are examined, such as completeness, number of distinct modalities and relations to other systems. Some philosophical topics are also discussed. The Authors interpret the system HW as the system of physical (nomic) modalities. It is questioned, whether or not the system HW is justified to be claimed to be the logic of physical necessity. The answer seems to may be negative.


modal logic; physical necessity

Full Text:



Bigelow J., and R. Pargetter, Science and Necessity, Cambridge University Press, 1990.

Blackburn P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.

Feynman R.P., R.B. Leighton, M. Sands, The Feynman Lectures on Physics, vol. 1, CalTech, 1963.

Hughes G.E., and M.J. Cresswell, A New Introduction to Modal Logic, Routledge, 1996.

Tkaczyk M., “Prawa logiki i prawa przyrody w ujęciu Johna Bigelowa i Roberta Pargettera” [Logical and Physical Laws According to John Bigelow and Robert Pargetter], Roczniki Filozoficzne 53 (2005), nr 1: 245–261.

Tkaczyk M., “Zwroty modalne języka fizyki [Modal Expressions in the Language of Physical Science], Filozofia Nauki 14 (2006), nr 4: 97–108.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism