David Cerny

Dissertatio proposita circa “argumentum ontologicum” pro existentia Dei, quem K. Goedel construxit, versatur. In prima parte structuram logicam dicti argumenti exponimus, singulos gradus argumenti explicamus, “collapsumque modalitatum”, quo argumentum invalidari invenitur, examinamus. Sequenti parte recentiores quasdam confectiones argumenti pertractamus; et scil. praecipue formam eius, quae super conceptum mathematicum multitudinis seu “complexus elementorum terminatorum” fundatur, et formam “algebraicam”, quarum affinitates quasdam notabiles prae oculos ponimus. Ultima parte disceptationes, quae circa huiusce argumenti validitatem ac momentum respectu modernae theisticae philosophiae agebantur, describimus. Loco conclusionis observamus, Goedelii argumentum exemplum esse notabile “fidei quaerentis intellectum”.The article deals with Gödel’s ontological proof of God’s existence. It consists of three parts. In the first part we present the logical structure of the argument, analyse its individual steps and discuss the implied collapse of modalities, which is fatal for the proof. In the second part we focus on some more recent versions of the argument, especially the set-theoretical version and the algebraic version, and we show several interesting connexions between the algebraic and the set-theoretical version. In the final part of the paper we briefly recount the discussions concerning the validity of the argument and its importance for modern theistic philosophy. We conclude by observing that Gödel’s argument is an interesting modern instance of “faith seeking understanding”.

One of the moral questions concerning autonomous vehicles (henceforth AVs) is the choice between types that differ in their built-in algorithms for dealing with rare situations of unavoidable lethal collision. It does not appear to be possible to avoid questions about how these algorithms should be designed. We present the results of our study of moral preferences (N = 2769) with respect to three types of AVs: (1) selfish, which protects the lives of passenger(s) over any number of bystanders; (2) altruistic, which minimizes the number of casualties, even if this leads to death of passenger(s); and (3) conservative, which abstains from interfering in such situations. We differentiate between scenarios in which participants are to make their decisions privately or publicly, and for themselves or for their offspring. We aim to answer two research questions: (1) whether the public visibility of the choice of an AV type choice make this choice more altruistic and (2) which type of situation makes it more difficult to choose altruistically: when choosing for society as a whole, when choosing only for oneself, or when choosing only for one’s offspring. Our results show that respondents exhibit a preference for an altruistic strategy for AVs and that it is reinforced when signaled to others. The altruistic preference is strongest when applies to everybody else, weaker when it reflects a solely personal choice, and weakest when choosing for one’s own child. We conclude that a public choice is considerably more likely to pressure consumers into accepting a more socially beneficial solution.

"A runaway trolley is speeding down a track" So begins what is perhaps the most fecund thought experiment of the past several decades since its invention by Philippa Foot. Since then, moral philosophers have applied the "trolley problem" as a thought experiment to study many different ethical conflicts - and chief among them is the programming of autonomous vehicles. Nowadays, however, very few philosophers accept that the trolley problem is a perfect analogy for driverless cars or that the situations autonomous vehicles face will resemble the forced choice of the unlucky bystander in the original thought experiment. This book represents a substantial and purposeful effort to move the academic discussion beyond the trolley problem to the broader ethical, legal, and social implications that autonomous vehicles present. There are still urgent questions waiting to be addressed, for example: how AVs might interact with human drivers in mixed or "hybrid" traffic environments; how AVs might reshape our urban landscapes; what unique security or privacy concerns are raised by AVs as connected devices in the "Internet of Things"; how the benefits and burdens of this new technology, including mobility, traffic congestion, and pollution, will be distributed throughout society; and more. An attempt to map the landscape of these next-generation questions and to suggest preliminary answers, this volume draws on the disciplines of philosophy, sociology, economics, urban planning and transportation engineering, business ethics and more, and represents a global range of perspectives.