Per Hasle – författare

Past, Present and Future, first published in 1967, is the magnum opus of Arthur Norman Prior (1914-1969). Prior was the founding father of tense-logic: Past, Present, and Future presents his tense-logic as a powerful and precise formalism for the systematic study of the temporal aspects of reality. The book was the summation of a decade of work on tense-logic following Prior's John Locke lectures at the University of Oxford in 1956, subsequently published in 1957 as Time and Modality. Among a wide range of topics, Past, Present and Future investigates the idea of branching time that had earlier been suggested by Saul Kripke. It includes several philosophical investigations of time, from a discussion of McTaggart's paradox, the Master Argument of Diodorus, time and existence, problems regarding determinism and future contingency. Prior's discussion of these matters invited a broad scope of ancient and medieval philosophers into the modern discussion in the philosophy of time. Prior was spearheading a revolution in analytic philosophy. Unfortunately, Prior's choice of Polish logical notation has limited its influence. This new edition employs modern notation, making it accessible to a new generation of philosophers and logicians. It includes a new preface a postscript by the editors, which can serve as an introduction to this landmark work of analytic philosophy.

This is a new edition, revised and expanded, of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic. His work has attracted increased attention in the decades since his death: its influence stretches beyond philosophy and logic to computer science and formal linguistics. Prior's fundamental ideas about the logic of time are presented here along with his investigations into the formal properties of time and tense. Already in 1969 Prior had been planning a new edition of Papers on Time and Tense, to incorporate his more recent work. Because of his untimely death this plan was never followed through-till now. Seven important papers have been added to the original selection, as well as a comprehensive bibliography of his work and an illuminating interview with his widow, Mary Prior, about his life and work. In addition, the Polish logic which made the original book difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book.

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.

This text deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A.N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. The book thus aims to interweave linguistic, philosophical and computational aspects into an informative whole.

Until recently, mostsoftwareapplications and technologiesweredeveloped wi- out much thought to how they in?uenced their users. This perspective is cha- ing.Today,industryexpertsandacademicsareembracingapurposefulapproach to persuasive design. In an industry context, designing for persuasion is bec- ingessentialforsuccess.Inacademicsettings,thestudyofpersuasivetechnology illuminates the principles that in?uence and motivate people in di?erent aspects of their lives. Persuasive technology is rapidly growing into a major discipline, sometimes referred to as captology or the study of computers as persuasive technologies. The previous Persuasive conferences held in Eindhoven (2006) and Stanford (2007) were infused with an energetic spirit and a large attendance, including representatives from both academia and industry. Persuasive 2008, hosted in Oulu, Finland in early June, was jointly or- nized by the University of Oulu, Finland and Aalborg University,Denmark. The northern location of Oulu, only some two hours away from the Arctic Circle, o?ers sunlight 24 hours a day, allowing conference participants to experience the midnight sun.This three-day conference placed persuasive technology on a ?rm scienti?c footing with an emphasis on social, psychological, rhetorical and ethical issues. Featuring full and short papers, posters and panels, Persuasive2008 highlighted new knowledge in the understanding and design of persuasive technology. The event brought together researchers, practitioners, and industry professionals - terested in this important new ?eld. Research themes of the conference included motivationaltechnology,persuasivegames,smartenvironments,Web2.0, mobile persuasion, well-being and health behavior. In addition, attendees and part- ipants explored the theory and ethics of persuasive technology, social and - ganizational issues, business models for persuasive systems, and conceptual and theoretical approaches.

This book constitutes the proceedings of the 5th International Conference on Persuasive Technology, PERSUASIVE 2010, held in Copenhagen Denmark in June 2010. The 25 papers presented were carefully reviewed and selected from 80 submissions. In addition three keynote papers are included in this volume. The topics covered are emotions and user experience, ambient persuasive systems, persuasive design, persuasion profiles, designing for health, psychology of persuasion, embodied and conversational agents, economic incentives, and future directions for persuasive technology.

This book constitutes the proceedings of the 5th International Conference on Persuasive Technology, PERSUASIVE 2010, held in Copenhagen Denmark in June 2010. The 25 papers presented were carefully reviewed and selected from 80 submissions. In addition three keynote papers are included in this volume. The topics covered are emotions and user experience, ambient persuasive systems, persuasive design, persuasion profiles, designing for health, psychology of persuasion, embodied and conversational agents, economic incentives, and future directions for persuasive technology.