V. Hans

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion. This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional satisfiability, there are chapters covering the domain of quantified Boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). An extensive bibliography completes each chapter. This second edition of the handbook will be of interest to researchers, graduate students, final-year undergraduates, and practitioners using or contributing to SAT, and will provide both an inspiration and a rich resource for their work. Edmund Clarke, 2007 ACM Turing Award Recipient: "SAT solving is a key technology for 21st century computer science." Donald Knuth, 1974 ACM Turing Award Recipient: "SAT is evidently a killer app, because it is key to the solution of so many other problems." Stephen Cook, 1982 ACM Turing Award Recipient: "The SAT problem is at the core of arguably the most fundamental question in computer science: What makes a problem hard?"

This article deals with Augustine’s sermons on John 5,1-18, the story about the healing by Jesus on a sabbath at Bethesda of a men, who had been sick thirty-eight years. Augustine connects the events narrated in the gospel with everyday life: biblical stories happen not just in the distant past and in a far away land, but express God’s salvation history for people in the here and now. Augstine’s object is to stimulate different groups among his audience to truly live their faith: he exhorts the candidates for baptism to attend the Christian bathhouse (the baptisterium); together with the baptized he helps them throughout a life of difficulty (38 years of illness) to attain a deeper experience of God’s commandments through the double commandment of love (38+2=40). He helps his listeners to consider the special function of their bed as a reference to their neighbor and to reflect on the sense of the seventh-day rest as the destination of each person’s life’ journey. Outsiders he points to the special role and significance of Jesus Christ. Finally, Augustine transforms the tension that is visible in the gospels between Jesus and the Jews into a careful and critical contemplation of all differences between those who share a spiritual and intellectual closeness: he interprets this tension as an encouragement to come to a deeper knowledge of each other and so to banish mutual disaffection. The healed man in the bathhouse becomes a figure of all people, both through his long illness and through the fact that Jesus cured him.

Hans Vaihinger was an important and fascinating figure in German philosophy in the early twentieth century, founding the well-known journal Kant-studien. Yet he was overshadowed by the burgeoning movements of phenomenology and analytical philosophy, as well as hostility towards his work because of his defense of Jewish scholars in a Germany controlled by Nazism. However, it is widely acknowledged today that The Philosophy of 'As If' is a philosophical masterwork. Vaihinger argues that in the face of an overwhelmingly complex world, we produce a simpler set of ideas, or idealizations, that help us negotiate it. When cast as fictions, such ideas provide an easier and more useful way to think about certain subjects, from mathematics and physics to law and morality, than would the truth in all its complexity. Even in science, he wrote, we must proceed "as if " a material world exists independently of perceiving subjects; in behaviour, we must act "as if " ethical certainty were possible; in religion, we must believe "as if" there were a God. He also explores the role of fictions in the history of philosophy, going back to the ancient Greeks and the work of Leibniz, Adam Smith and Bentham. The Philosophy of 'As If' was a powerful influence on the emerging philosophical movement of pragmatism and was ground-breaking in its anticipation of the central role that model-building and simulation would come to play in the human sciences. This Routledge Classics edition includes a new foreword by Michael Rosenthal, which provides a fascinating and important background to Vaihinger's life and the legacy of The Philosophy of 'As If'.

Research on social influences often distinguishes between social and quality incentives to ascribe meaning to the value that popularity conveys. This study examines the neural correlates of those incentives through which popularity influences preferences. This research reports an functional magnetic resonance imaging experiment and a behavioral task in which respondents evaluated popular products with three focus perspectives; unspecified focus, focus on social aspects, and focus on quality. The results show that value derived with a social focus reflects inferences of approval and reward value, and positively affects preferences. Value derived with a quality focus reflects inferences of quality and negatively affects preferences. This study provides evidence of two distinct inferential routes on both a neurological level, represented by different regions in the brain, and a behavioral level. These results provide the first evidence that a single popularity cue can in different ways influence the value derived from product popularity.

The generation and use of 3D images and visualizations through remote sensing, Building Information Modeling, and Augmented Reality technologies, have come to play a significant role in construction engineering practice. Although these technologies are promising, their potential can be misjudged when potential end-users are unaware of key assumptions that were made by developers. Realistic expectations require insights into the ways in which these technologies transform input collected into 3D visualizations and how these visualizations are possibly used on construction sites. This study’s objective is hence to explore the form of technological mediation that the generation and use of 3D images and visualizations provide between a human and objects, or aspects of these objects, that would otherwise be largely imperceptible to professionals in construction practice. We show that algorithms pre- and post-process data through their technological selectivities, which function as mediators. Double mediations of augmented and engaged relationships play a dominant role in the use of 3D images and visualizations and enhance the situational awareness of professionals in construction practice. This is the first study that applies this perspective to increase the understanding of the mediating role of 3D images and visualizations in construction practice.

This article attempts to give an answer from the Augustinian perspective to the question of ecological sustainability, starting from the admiration of Saint Augustine for creation, and taking as reference points, first of all, Saint Augustine’s ideas on property. private and his own monastic ideal, as these are expressed in the Praeceptum as well as in sermons 355 and 356. The second source for the sustainability is the one concerning the relationship that the human being should have with all the created things, taking as point of departure Augustine’s De Genesi aduersus manicheos, where the human being is presented as an administrator of God’s goods and not as an owner who can abuse of them.

We have reported previously on positive effects found in the matrix experiment. This is a setup where a random event generator (REG) drives a display, which participants are instructed to “influence” at will, i.e., in a psychokinesis (PK) setup. The difference of this matrix experiment from standard micro-PK REG experiments was that the deviation from randomness was not measured, but a large array of 2025 correlations between the behavior of the participant and the behavior of the REG was tested. This previous experiment was significant, and we devised a consensus protocol, which was deposited before commencement, according to which we conducted two independent replications with the same experimental setup and equipment. In the first experiment 64 participants conducted the experiment in one location under the experimental guidance of KK, in the second experiment 40 participants conducted the experiment in another location under the experimental guidance of HV. The analysis used a non-parametric randomization test with 10,000 iterations. None of the two experiments was significant. While in the first experiment a very small, but non-significant effect was found, in the second experiment no effect whatsoever was detectable. Sensitivity analyses did not suggest that the effect was in fact there but overlooked by our analysis. We discuss the findings in the context of the larger debate around replicability of parapsychological (PSI) research results and our theoretical model. This starts from the assumptions that such PSI effects are likely effects of a generalized form of entanglement correlations, and a consequence of this model is that such effects must not be used for the transfer of signals. Classical experiments, however, are detectors or extractors of signals in or from systems. This seems to be prohibited. Thus, the replication problem and this failed replication is likely part of the systematic nature of these effects. This makes it unlikely that experimental research alone will be successful in the long run demonstrating PSI effects. Our conclusion is that the matrix experiment is not a replicable paradigm in PSI research.