Tractability and laws.

According to the Best System Account (BSA) of lawhood, laws of nature are theorems of the deductive systems that best balance simplicity and strength. In this paper, I advocate a different account of lawhood which is related, in spirit, to the BSA: according to my account, laws are theorems of deduc...

Descripción completa

Detalles Bibliográficos
Publicado en:Synthese Vol. 200; no. 4; pp. 1 - 30
Autor principal: Wilhelm, Isaac
Formato: Artículo
Publicado: Springer Nature Aug2022
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario:According to the Best System Account (BSA) of lawhood, laws of nature are theorems of the deductive systems that best balance simplicity and strength. In this paper, I advocate a different account of lawhood which is related, in spirit, to the BSA: according to my account, laws are theorems of deductive systems that best balance simplicity, strength, and also calculational tractability. I discuss two problems that the BSA faces, and I show that my account solves them. I also use my account to illuminate the nomological character of special science laws.