Lars Hallnäs’s research while affiliated with University of Borås and other places

... This demonstrates how much remains to be done in prooftheoretic semantics to achieve significant results of mathematical proof theory, given that Kripke-Platek set theory is related to theories of inductive definitions. For me inductive definitions are a key topic in a proof-theoretic semantics with definitional reflection, in particular when functional closure as in Hallnäs's (2023) contribution (this volume) is taken into account. ...

Reference:

Comments on the Contributions

... First, technology is an integral part of our lives -something we live with, not simply something we use (Hallnäs & Redström, 2002). Thus, humanity and technology cannot be treated as two independent systems, but one interwoven socio-technical system (Emery & Trist, 1960) that involves the complex interaction between humans, machines and the environment. ...

Reference:

Towards Human-Driven Design of Technology: Reflecting on Three Use Cases

... We also conducted some empirical studies on the concept of programmed inefficiency [5,42] in medical decision-making and second-opinion settings. Known precursors of similar approaches are slow technology [43] and reflective design [35], which focus on how technology can encourage and aid a thoughtful and considerate demeanor in users throughout the interaction. Conceptually preliminary proposals in that direction are ''uncomfortable interactions'' [44] and ''critical design'' promoting reflection and critique through making technology ''unfriendly'' to users [45] or subverting assumptions and expectations, like the strong one that decision support systems should only give recommendations and pieces of advice. ...

Reference:

Never tell me the odds: Investigating pro-hoc explanations in medical decision making

... , x k ) can be computed. More generally, one might describe functionals F by means of (infinitary) clauses the bodies of which describe the evaluation of functions f which are arguments of F (for some hints see Hallnäs [29,30]). An instructive example is the analysis of abstract syntax (see McDowell and Miller [41]). ...

Reference:

Open Problems in Proof-Theoretic Semantics

... Chapman's Experiential Framework banks on this emotional attachment in the hope of creating products that are more enduring to lessen waste [10]. Similar arguments were articulated within the domain of aesthetic interactions [35,[45][46][47]; to bring emotions and experience to the foreground, and particularly before efficiency. Routines, emotions and experiences need to be understood for the design to uniquely take shape -coupled tightly with the object's instrumentality and context of use in the everyday [45]. ...

Reference:

Technology Individuation: The Foibles of Augmented Everyday Objects

... Moreover, it opens a space for textile designers to design with electromagnetic textures by exploring the relationship of material, structure and dynamic expressions, thereby broadening the range of design possibilities of smart textiles. It further answers a long-standing call by smart textiles designers for new methods and terminologies to better understand and work with the new material dimensions that smart textiles engage with (Berzowska 2004(Berzowska , 2005Berzowska and Coelho 2005;Hallnas 2008;Worbin 2010;Kettley 2016). ...

Reference:

Between yarns and electrons: A method for designing electromagnetic expressions in woven smart textiles

... Aesthetically-led processes can bolster engagement in the crafting, shaping and making of materials towards a designwhether an object, event or practice (Hallnäs, 2011). Movement as creative and artistic material challenges the notion that materiality is only physical. ...

Reference:

Anticipation, agency and aging-conditions for making movement irresistible

... These fixedpoints could differ, as they did above. The theory of inductive definitions could lead to better techniques [16]. ...

Reference:

Logic Programming, Functional Programming, and Inductive Definitions

... With their leitmotif "function resides in the expression of things", Hallnäs and Redström [2] have advocated for not only defining an object's form based on its functionality, but to use form explorations to help discover new applications. In this sense, an aesthetic approach to shapechanging interfaces will not merely improve design literacy about their visceral expressions, but can also pave the way for radically new uses of actuation. ...

Reference:

Tilting\Plate and Bending\Arches: Shape-Changing Interfaces as Expressive Forms

... However, shape-changing interfaces allow for new expressions as their form gradually evolves. Slowness, vagueness, and unpredictability in such interfaces [15] can lead to unique alive-like expressions [5] potentially eliciting a stronger response in interaction from users [38]. In textile interfaces, temporality has been explored as a means to elicit various emotional responses [9,3], to enhance social interaction [17,23], to explore the aesthetics and expressivity of computational technology [2,12,15,32], and more recently, to elicit unique actions from people [7]. ...

Reference:

TEX(alive): A TOOLKIT TO EXPLORE TEMPORAL EXPRESSIONS IN SHAPE-CHANGING TEXTILE INTERFACES