Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where F. V. Per Hasle is active.

Publication


Featured researches published by F. V. Per Hasle.


international conference on persuasive technology | 2007

Surveillance, persuasion, and panopticon

Julie Leth Jespersen; Anders Albrechtslund; Peter Øhrstrøm; F. V. Per Hasle; Jørgen Albretsen

The surveillance in public and private places, both physically and digitally, is increasing for different reasons. In this paper we intend to discuss surveillance and persuasive technology in an ethical perspective with an eye to its historical and cultural context. In section 1, we present some different tendencies of surveillance in society. In section 2, we elaborate on some important historical ideas on surveillance. In section 3, we consider the use of persuasive technology for surveillance purposes. In section 4, we discuss the development towards increasing surveillance in society, at work, in public places etc. In section 5, we draw up some ethical concerns on surveillance, and finally. In section 6, we discuss the question of a possible need for a public and democratic control of the use of surveillance technology.


Logic and the Modalities in the Twentieth Century | 2006

A.N. Prior's Logic

Peter Øhrstrøm; F. V. Per Hasle

Publisher Summary This chapter presents a brief biography of Arthur Norman Prior with particular focuses on his logic. Arthur Norman Prior was born on December 4th, 1914 in Masterton in the North Island of New Zealand. The chapter focuses on main trends in Priors philosophical logic: (1) the logic of ethics, (2) how temporal logic began: human freedom and divine foreknowledge, (3) the logic of existence, (4) the syntax of tempo-modal logic, (5) the semantics of tempo-modal logic, and (6) four grades of tense-logical- involvement. Prior dealt with many problems within philosophical logic and it was very important for him to view logic as strongly related to reality. He firmly rejected formalism—that is, the theory that logic is just about symbols and not about things. He held that “logic is not primarily about language, but about the real world.” In his opinion, only the present exists. In the same way as only one possible world is real, Prior maintained that only one instant is real. In this way, the tenses are essential for the understanding of reality.


Logic and the Modalities in the Twentieth Century | 2006

Modern temporal logic: The philosophical background

Peter Øhrstrøm; F. V. Per Hasle

Publisher Summary This chapter discusses the continuous work in modern temporal logic, focusing on the philosophical problems that originally inspired Arthur Norman Prior in his pioneering work within temporal logic. The chapter focuses on the philosophical motivation and the various conceptual aspects of the formalisms of modern temporal logic. Construed in this manner, temporal logic turns out to be a nice illustration of how philosophy and mathematical logic can both benefit from a constructive symbiosis. The strength of philosophical logic lies in its self-imposed obligation to take everyday language and common sense reasoning into serious consideration. For this reason, it is natural that the first detailed theory of tenses developed in philosophical logic was based on a study of the grammatical tenses of natural language. However, neither everyday language nor common sense reasoning is unambiguous quantities. They certainly depend on physical and metaphysical assumptions.


international conference on persuasive technology | 2010

Persuasive Technology: 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010, Proceedings

Thomas Ploug; F. V. Per Hasle; Harri Oinas-Kukkonen

In this age of modern era, the use of internet must be maximized. Yeah, internet will help us very much not only for important thing but also for daily activities. Many people now, from any level can use internet. The sources of internet connection can also be enjoyed in many places. As one of the benefits is to get the on-line persuasive technology 5th international conference persuasive 2010 copenhagen denmark june 7 10 book, as the world window, as many people suggest.


Springer US | 2009

Encyclopedia of Database Systems

Peter Øhrstrøm; F. V. Per Hasle

This invention relates to micro volume spin columns used for the preparation and purification of small chemical and/or biological samples by centrifugation. The present invention relates to the use of the conventional luer lock fitting in micro volume spin columns. This invention also relates to multi-spin column systems based on joining two or more spin columns by their ends or by combining different filtration or ultra-filtration membranes with spin columns.Data have become a highly valued asset for governments, industries and individuals, and the management of these data collections remains a critical technical challenge.. The challenges of managing terabytes and exabytes of data and expanding data management to include other data modalities while maintaining the fundamental tenets of database management (data independence, data integrity, data consistency, etc) are important issues for any organization today. Published as five volumes with over 4000 pages, the Encyclopedia of Database Systems provides easy access to important concepts relevant information on all aspects of very large databases, data management, and database systems, including areas of current interest and research results of historical significance.. This comprehensive reference contains 1,300 illustrated entries, organized alphabetically. Each entry presents basic terminology, concepts, methods and algorithms, key results to date, references to the literature, and cross-references to other entries. Topics for the Encyclopedia including areas of current interest as well as research results of historical significance were selected by a distinguished international advisory board and written by world class experts in the field. Encyclopedia of Database Systems is designed to meet the needs of researchers, professors, graduate and undergraduate students in computer science and engineering. Industry professionals such as database specialists and software developers will also benefit from this reference work.


Encyclopedia of Database Systems | 2009

Time in Philosophical Logic

Peter Øhrstrøm; F. V. Per Hasle

This invention relates to micro volume spin columns used for the preparation and purification of small chemical and/or biological samples by centrifugation. The present invention relates to the use of the conventional luer lock fitting in micro volume spin columns. This invention also relates to multi-spin column systems based on joining two or more spin columns by their ends or by combining different filtration or ultra-filtration membranes with spin columns.Data have become a highly valued asset for governments, industries and individuals, and the management of these data collections remains a critical technical challenge.. The challenges of managing terabytes and exabytes of data and expanding data management to include other data modalities while maintaining the fundamental tenets of database management (data independence, data integrity, data consistency, etc) are important issues for any organization today. Published as five volumes with over 4000 pages, the Encyclopedia of Database Systems provides easy access to important concepts relevant information on all aspects of very large databases, data management, and database systems, including areas of current interest and research results of historical significance.. This comprehensive reference contains 1,300 illustrated entries, organized alphabetically. Each entry presents basic terminology, concepts, methods and algorithms, key results to date, references to the literature, and cross-references to other entries. Topics for the Encyclopedia including areas of current interest as well as research results of historical significance were selected by a distinguished international advisory board and written by world class experts in the field. Encyclopedia of Database Systems is designed to meet the needs of researchers, professors, graduate and undergraduate students in computer science and engineering. Industry professionals such as database specialists and software developers will also benefit from this reference work.


Erkenntnis | 1993

A. N. Prior's Rediscovery of Tense Logic

Peter Øhrstrøm; F. V. Per Hasle


Rhetorica Scandinavica | 1998

Systemudvikling – logos eller mythos?

F. V. Per Hasle; Torben Braüner


Archive | 1995

Temporal logic and computer science

Peter Øhrstrøm; F. V. Per Hasle


Archive | 1995

Graphs for time and modality

Peter Øhrstrøm; F. V. Per Hasle

Collaboration


Dive into the F. V. Per Hasle's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Marja Harjumaa

VTT Technical Research Centre of Finland

View shared research outputs
Researchain Logo
Decentralizing Knowledge