Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops. SEFM 2021. Lecture Notes in Computer Science, Vol 13230 (
2022)
Copy
BIBTEX
Abstract
In the 1980s, physiologist Benjamin Libet conducted a series of ex-periments to test whether the will is free. Whilst he originally assumed that the will functions like an immaterial initiator of cerebral processes culminating in actions, he later began to think that it rather works like an immaterial veto inhib-iting unwanted actions by preventing unconsciously initiated cerebral processes from unfolding. Libet’s veto was widely criticized for its Cartesian dualist and interactionist implications. However, in 2016, Schultze-Kraft et al. adopted Libet’s idea of an action-inhibiting veto and conducted a new experiment. Its goal was to test until which moment agents can inhibit an action that they already intended to do. Despite insisting on the material nature of the veto, the researchers also described the function of the veto in interactionist terms, namely as an act of the agent performed against her own cerebral processes. The purpose of this pa-per is to explain in which sense the veto in Libet’s and in Schultze-Kraft’s study is interactionist, and to provide a non-interactionist reinterpretation of the test subjects’ action inhibition in Schultze-Kraft’s experiment.