This three-part article reinforces crosscurrents between cybernetician Gordon Pask’s work towards creating responsive machines applied to theater and education, and Vygotsky’s theory, to advance sociohistorical approaches into the internet age. We first outline Pask’s discovery of possibilities of a neoclassical cybernetic framework for human–human, human–machine, and machine–machine conversations. Second, we outline conversation theory as an elaboration of the reconstruction of mental models/concepts by observers through reliance on sociocultural psychological approaches, and apply concepts like the zone of proximal development and (...) perezhivanie to Paskian aesthetic technologies. Third, we interpret Pask’s teaching/learning devices as zones of proximal development, and outline how Paskian algorithms in digital devices like THOUGHTSTICKER have been generalized on today’s internet, supplemented by corporate interests. We conclude that Paskian theory may offer understandings of the roles of internet technologies in transforming human thinking, and suggest (re)designing tools incorporating algorithms that contextually advance conceptual understanding that deviates from current indexing approaches. (shrink)

Beginning with a survey of the shortcoming of theories of organology/media-as-externalization of mind/body—a philosophical-anthropological tradition that stretches from Plato through Ernst Kapp and finds its contemporary proponent in Bernard Stiegler—I propose that the phenomenological treatment of media as an outpouching and extension of mind qua intentionality is not sufficient to counter the ̳black-box‘ mystification of today‘s deep learning‘s algorithms. Focusing on a close study of Simondon‘s On the Existence of Technical Objectsand Individuation, I argue that the process-philosophical work of Gilbert (...) Simondon, with its critique of Norbert Wiener‘s first-order cybernetics, offers a precursor to the conception of second-order cybernetics (as endorsed byFrancisco Varela, Humberto Maturana, and Ricardo B. Uribe) and, specifically, its autopoietic treatment of information. It has been argued by those such as Frank Pasquale that neuro-inferential deep learning systems premised on predictive patterning, suchas AlphaGo Zero, have a veiled logic and, thus, are ̳black boxes‘. In detailing a philosophical-historical approach to demystify predictive patterning/processing and the logic of such deep learning algorithms, this paper attempts to shine a light on such systems and their inner workingsàla Simondon. (shrink)

Purpose – This study aims to examine the observer’s role in “infant psychophysics”. Infant psychophysics was developed because the diagnosis of perceptual deficits should be done as early in a patient’s life as possible, to provide efficacious treatment and thereby reduce potential long-term costs. Infants, however, cannot report their perceptions. Hence, the intensity of a stimulus at which the infant can detect it, the “threshold”, must be inferred from the infant’s behavior, as judged by observers (watchers). But whose abilities are (...) actually being inferred? The answer affects all behavior-based conclusions about infants’ perceptions, including the well-proselytized notion that auditory stimulus-detection thresholds improve rapidly during infancy. Design/methodology/approach – In total, 55 years of infant psychophysics is scrutinized, starting with seminal studies in infant vision, followed by the studies that they inspired in infant hearing. Findings – The inferred stimulus-detection thresholds are those of the infant-plus-watcher and, more broadly, the entire laboratory. The thresholds are therefore tenuous, because infants’ actions may differ with stimulus intensity; expressiveness may differ between infants; different watchers may judge infants differently; etc. Particularly, the watcher’s ability to “read” the infant may improve with the infant’s age, confounding any interpretation of perceptual maturation. Further, the infant’s gaze duration, an assumed cue to stimulus detection, may lengthen or shorten nonlinearly with infant age. Research limitations/implications – Infant psychophysics investigators have neglected the role of the observer, resulting in an accumulation of data that requires substantial re-interpretation. Altogether, infant psychophysics has proven far too resilient for its own good. Originality/value – Infant psychophysics is examined for the first time through second-order cybernetics. The approach reveals serious unresolved issues. (shrink)

Context: The problems that are most in need of interdisciplinary collaboration are “wicked problems,” such as food crises, climate change mitigation, and sustainable development, with many relevant aspects, disagreement on what the problem is, and contradicting solutions. Such complex problems both require and challenge interdisciplinarity. Problem: The conventional methods of interdisciplinary research fall short in the case of wicked problems because they remain first-order science. Our aim is to present workable methods and research designs for doing second-order (...) science in domains where there are many different scientific knowledges on any complex problem. Method: We synthesize and elaborate a framework for second-order science in interdisciplinary research based on a number of earlier publications, experiences from large interdisciplinary research projects, and a perspectivist theory of science. Results: The second-order polyocular framework for interdisciplinary research is characterized by five principles. Second-order science of interdisciplinary research must: 1. draw on the observations of first-order perspectives, 2. address a shared dynamical object, 3. establish a shared problem, 4. rely on first-order perspectives to see themselves as perspectives, and 5. be based on other rules than first-order research. Implications: The perspectivist insights of second-order science provide a new way of understanding interdisciplinary research that leads to new polyocular methods and research designs. It also points to more reflexive ways of dealing with scientific expertise in democratic processes. The main challenge is that this is a paradigmatic shift, which demands that the involved disciplines, at least to some degree, subscribe to a perspectivist view. Constructivist content: Our perspectivist approach to science is based on the second-order cybernetics and systems theories of von Foerster, Maruyama, Maturana & Varela, and Luhmann, coupled with embodied theories of cognition and semiotics as a general theory of meaning from von Uexküll and Peirce. (shrink)

Constructivism is a philosophical current that manifests itself greatly within the realm of contemporary epistemology. Its bases come from the idea that knowledge is not only actively constructed by the observer but also provides a lens through which reality can be interpreted as a result of experiences. This paper traces a brief interdisciplinary curve that outlines some of the most important philosophical approaches that contributed to the consolidation of this school of thought for more than twenty-five centuries.

In March 2016, an interdisciplinary group met for two days and two evenings to explore the implications for policy making of second-order science. The event was sponsored by SITRA, the Finnish Parliament's Innovation Fund. Their interest arose from their concern that the well-established ways, including evidence-based approaches, of policy and decision making used in government were increasingly falling short of the complexity, uncertainty, and urgency of needed decision making. There was no assumption that second-order science or (...) second-order cybernetics would reveal any practical possibilities at this early stage of enquiry. On the other hand, some members of the group are practioners in both policy and in facilitating change in sectors of society. Thus, the intellectual concepts were strongly grounded in experience. This is an account of the deliberations of that group and some reflections on what came out of the various shared contributions and ensuing dialogues. The overall conclusion of the event is that there definitely are possibilities that are worthy of further research and exploration. (shrink)

Context: Many recent research areas such as human cognition and quantum physics call the observer-independence of traditional science into question. Also, there is a growing need for self-reflexivity in science, i.e., a science that reflects on its own outcomes and products. Problem: We introduce the concept of second-order science that is based on the operation of re-entry. Our goal is to provide an overview of this largely unexplored science domain and of potential approaches in second-order fields. (...) Method: We provide the necessary conceptual groundwork for explorations in second-order science, in which we discuss the differences between first- and second-order science and where we present a roadmap for second-order science. The article operates mainly with conceptual differentiations such as the separation between three seemingly identical concepts such as Science II, Science 2.0 and second-order science. Results: Compared with first-order science, the potential of second-order science lies in 1. higher levels of novelty and innovations, 2. higher levels of robustness and 3. wider integration as well as higher generality. As first-order science advances, second-order science, with re-entry as its basic operation, provides three vital functions for first-order science, namely a rich source of novelty and innovation, the necessary quality control and greater integration and generality. Implications: Second-order science should be viewed as a major expansion of traditional scientific fields and as a scientific breakthrough towards a new wave of innovative research. Constructivist content: Second-order science has strong ties with radical constructivism, which can be qualified as the most important root/origin of second-order science. Moreover, it will be argued that a new form of cybernetics is needed to cope with the new problems and challenges of second-order science. (shrink)

This paper proposes the feasibility of a second-order approach in cosmology. It is intended to encourage cosmologists to rethink standard ideas in their field, leading to a broader concept of self-organization and of science itself. It is argued, from a cognitive epistemology perspective, that a first-order approach is inadequate for cosmology; study of the universe as a whole must include study of the scientific observer and the process of theorizing. Otherwise, concepts of self-organization at the cosmological scale (...) remain constrained by unacknowledged assumptions and biases. Examples of limiting notions are discussed in the context of alternatives. To include the role of the theorist does not mean reducing science to subjective or sociological terms. On the contrary, second-order science would provide a more complete portrait of nature. The work of cosmologist Lee Smolin is discussed as a candidate example of second-order cosmology. (shrink)

Following the traces of a statement by Margaret Mead, emphasizing that the first photographic images of the Earth from space presented notions of fragility, the article contextualizes the recent critique of the dominant representation of the Earth as a globe that emerged in conjunction with the discourse on the Anthropocene. It analyses the globe as an image and the sentiments that accompanied it since the first photographs of our planet from space were published in 1968. The article outlines how the (...) cultural meaning of the whole Earth representation changed in parallel with the appropriation of the image by the large technological enterprises that emerged from US America’s counterculture. It returns to the possibility of a coexistence of ‘views from within’ and ‘views from without’ following a detour with Gregory Bateson via Bali and proposes a Cybernetics of Grace as a practice of resistance against pure exteriority. The article concludes by linking the Cybernetics of Grace with the second-order conversations of Gordon Pask. (shrink)

Second-order cybernetics conceives of human beings as agents and participants in the making of worlds, embedded in the design process. This conception of designing as a practice of living with and in a world grants it both urgency and hope. -/- The paper proposes that design practitioners, in the widest sense, can learn from design cybernetics when conceiving new methodologies for the post-Anthropocene era. Further, it proposes that these methodologies’ development can take advantage of comparative studies (...) of design cybernetics and design strategies found in traditional Chinese culture. Significantly, Chinese landscape poetry and landscape painting, and, in relation to this, Chinese classical garden design, emphasise elements that are also present in cybernetics discourse: circularity, a floating observer, and the continuity of observer and environment. The paper proposes that these ideas create the necessary conditions for the development of design approaches that re-connect human beings to their environments and permit future agents to initiate change from within. It concludes with an example of a public art installation that implements these ideas. (shrink)

I argue that Sellars’s naturalization of Kant should be understood in terms of how he used behavioristic psychology and cybernetics. I first explore how Sellars used Edward Tolman’s cognitive-behavioristic psychology to naturalize Kant in the early essay “Language, Rules, and Behavior”. I then turn to Norbert Wiener’s understanding of feedback loops and circular causality. On this basis I argue that Sellars’s distinction between signifying and picturing, which he introduces in “Being and Being Known,” can be understood in terms of (...) what I call cybernetic behaviorism. I interpret picturing in terms of cycles of cybernetic behavior and signifying in terms of coordination between cybernetic behavior systems, or what I call triangulated cybernetic behavior. This leads to a formal, naturalistic understanding of personhood as the capacity to engage in triangulated cybernetic behavior. I conclude by showing that Sellars’s thought has the resources, which he did not exploit, for introducing the concept of second-order cybernetics. This suggests that Sellars’s philosophy of mind could be developed in the direction of autopoiesis and enactivism. (shrink)

Purpose This paper discusses ethical principles that are implicit in second-order cybernetics, with the aim of arriving at a better understanding of how second-order cybernetics frames living in a world with others. It further investigates implications for second-order cybernetics approaches to architectural design, i.e. the activity of designing frameworks for living. -/- Design/methodology/approach The paper investigates the terminology in the second-order cybernetics literature with specific attention to terms that (...) suggest that there are ethical principles at work. It further relates second-order cybernetics to selected notions in phenomenology, pragmatism and transcendental idealism. The comparison allows for conclusions about the specificity of a second-order inquiry. In line with the thematic focus of this journal issue on the framing of shared worlds, the paper further elaborates on questions relating to the activity of designing “worlds” in which people live with others. -/- Findings The paper highlights that a radical openness toward the future and toward the agency of others is inscribed in the conception of second-order cybernetics. It creates a frame of reference for conceiving social systems of all kinds, including environments that are designed to be inhabited. -/- Originality/value The paper identifies an aesthetics grounded in the process of living-with-others as an ethical principle implicit in second-order cybernetics thought. It is an aesthetics that is radically open for the agency of others. Linking aesthetics and ethics, the paper’s contributions will be of specific value for practitioners and theoreticians of design. Considering second-order cybernetics as a practice generally dealing with designing, it also contributes to the wider second-order cybernetics discourse. (shrink)

The article introduces the problematics of the classical two-valued logic on which Western thought is generally based, outlining that under the conditions of its logical assumptions the subject I is situated in a world that it cannot address. In this context, the article outlines a short history of cybernetics and the shift from first- to second-order cybernetics. The basic principles of Gordon Pask’s 1976 Conversation Theory are introduced. It is argued that this second-order theory (...) grants agency to others through a re-conception of living beings as You logically transcending the I. The key principles of Conversation Theory are set in relation to the poetic forms of discourse that played a key role in art as well as philosophical thinking in China in the past. Second-order thinking, the article argues, is essentially poetic. It foregoes prediction in favour of the potentiality of encountering tomorrow’s delights. (shrink)

This three part paper explores how the approaches of cybernetics (a field investigating how complex systems- brains, individuals, societies and machines navigate their realities) have influenced education and psychology over time. The first part recounts the establishment of first-order cybernetics, and the emergence of an observer driven approach to understanding the adaptation of living systems at the Macy Conferences. I suggest that psychology adopted the computational aspects of cybernetics models, paying attention to figure-ground relationships rather than (...) emergent, integrated relationalities in human learning and adaptation, leading to the popularization of neuropsychological and information processing approaches in the 50s and 60s. The second part outlines emergence and sudden decline of second-order cybernetics through research efforts at the Biological Computer Laboratory, and suggests psychology and education bifurcated from this approach during the Cognitive Revolution, producing social cognitive and cognitivist approaches, direct instruction, and prescribed outcomes for learning and mental models. The third part suggests the aftereffects of the Cognitive Revolution led to (re)interpretation of constructivist approaches through a cognitivist lens by scholars like Jerome Bruner, and outlines current efforts to embrace the ethos of second-order cybernetics in educational and psychological research and treat learners as historical actors constantly evolving in a complex social world. (shrink)

This article outlines links between cybernetics and psychology through the black box metaphor using a tripartite narrative. The first part explores first-order cybernetic approaches to opening the black box. These developments run parallel to the decline of radical behaviorism and advancements in information processing theory and neuropsychology. We then describe how cybernetics migrates towards a second-order approach (expanding and questioning features of first-order inquiry), understanding applications of rule-based tools to sociocultural phenomena and dynamic mental (...) models, inspiring radical constructivism, and also accepting social constructivism. Psychology, however, enters the cognitive revolution, adhering to the computer metaphor of first-order cyberneticians to streamline human consciousness. The article concludes by outlining how second-order cybernetic approaches emerging in the 1990s may provide cues to psychologists to adopt mixed methods, and bioecological models in the information age, uniting understandings of observable human activity, inner perceptions, and physiological processes across contexts to understand consciousness. (shrink)

The chapter provides an overview on what it means to be in a world that is uncertain, e.g., how under conditions of limited understanding any activity is an activity that designs and constructs, and how designing objects, spaces, and situations relates to the (designed) meta-world of second-order cybernetics. Designers require a framework that is open, but one that supplies ethical guidance when ‘constructing’ something new. Relating second-order design thinking to insights in philosophy and aesthetics, the (...) chapter argues that second-order cybernetics provides a response to this ethical challenge and essentially it entails a poetics of designing. //// 'A Poetics of Designing' is part of the first book-length collection of texts in Design Cybernetics. It introduces the subject from the point of view of aesthetics. Importantly, the chapter argues that second-order cybernetics circumvents the necessity for a muse inspired artist or genius as a mediator between higher spirits and life, in favour of artists and designers who have true agency. //// Cybernetics is often associated with AI, which is, however, only one of the branches that developed on the basis of the interdisciplinary research begun in the 1940s and entitled cybernetics. I hope the chapter contributes to a better understanding of the second-order cybernetics that has been conceived in close relationship with art and design from the late 60s onwards. (shrink)

This article explores the usefulness of interdisciplinarity as method of enquiry by proposing an investigation of the concept of information in the light of semiotics. This is because, as Kull, Deacon, Emmeche, Hoffmeyer and Stjernfelt state, information is an implicitly semiotic term (Biological Theory 4(2):167–173, 2009: 169), but the logical relation between semiosis and information has not been sufficiently clarified yet. Across the history of cybernetics, the concept of information undergoes an uneven development; that is, information is an ‘objective’ (...) entity in first order cybernetics, and becomes a ‘subjective’ entity in second order cybernetics. This contradiction relegates the status of information to that of a ‘true’ or ‘false’ formal logic problem. The present study proposes that a solution to this contradiction can be found in Deely’s reconfiguration of Peirce’s ‘object’ (as found in his triadic model of semiosis) into ‘thing’ and ‘object’ (Deely 1981). This ontology allows one to argue that information is neither ‘true’ nor ‘false’, and to suggest that, when considered in light of its workability, information can be both true and false, and as such it constitutes an organism’s purely objective reality (Deely 2009b). It is stated that in the process of building such a reality, information is ‘motivated’ by environmental, physiological, emotional (including past feelings and expectations) constraints which are, in turn, framed by observership. Information is therefore found in the irreducible cybersemiotic process that links at once all these conditions and that is simultaneously constrained by them. The integration of cybernetics’ and semiotics’ understanding of information shows that history is the analytical principle that grants scientific rigour to interdisciplinary investigations. As such, in any attempt to clarify its epistemological stance (e.g. the semiotic aspect of information), it is argued that biosemiotics does not need only to acknowledge semiotics (as it does), but also cybernetics in its interdisciplinary heritage. (shrink)

Despite iterative learning design being increasingly implemented, such approaches are often delineated by well-defined periods of design/implementation. However, second-order cybernetics, which suggests a participatory approach to learning design, involves responsively adapting learning environments to meet students’ needs, treating them as agentic participants in the classroom. In our mixed methods study, we investigate whether such a process can facilitate egalitarian participation and collaborative interactions in a technology-assisted classroom. We use the example of a graduate psychology class of 17 (...) students and suggest that adaptation of live-chat activities by a participant observer on the Reddit social media platform that supplemented the in-person lecture dynamically, using a network analysis and qualitative ethnography as a modelling facility mimicked the ongoing feedback loops of social media platforms, enabling students to use social media with a critical eye, and engage in productive collaboration. Our quantitative results present network graphs for weekly eigen centrality to understand the egalitarian nature of the network, and transitivity to understand the likelihood for collaboration between more than two agents. Our qualitative results elaborate selected Reddit posts, and weekly field notes to explain how redesigning the chat weekly helped augment lecture-based discussion with the instructor and critique of student presentations, spurring egalitarian participation through a space-place dialectic. Students also provided end-semester feedback that was analyzed using inductive coding, to design future courseware. (shrink)

This Open Peer Commentary on “A Critical Cybernetics” by Klaus Krippendorff outlines that enacting alternative not-yet existing realities goes beyond discourse and can be considered design practice. A Critical Cybernetics for enacting alternative not-yet existing realities, such as Krippendorff proposed, would benefit from associating itself with the expertise in the technicity of society that has been central to cybernetics since its inception.

The complexity, subtlety, interlinking, and scale of many problems faced individually and collectively in today's rapidly changing world requires an epistemology--a way of thinking about our knowing--capable of facilitating new kinds of responses that avoid recapitulation of old ways of thinking and living. Epistemology, which implicitly provides the basis for engagement with the world via the fundamental act of distinction, must therefore be included as a central facet of any practical attempts at self/world transformation. We need to change how we (...) think, not just what we think. The new epistemology needs to be of a higher order than the source of the problems we face. -/- This theoretical, transdisciplinary dissertation argues that such a new epistemology needs to be recursive and process-oriented. This means that the thoughts about thinking that it produces must explicitly follow the patterns of thinking by which those thoughts are generated. The new epistemology is therefore also phenomenological, requiring the development of a reflexivity in thinking that recursively links across two levels of order--between content and process. The result is an epistemology that is of (and for) the whole human being. It is an enacted (will-imbued) and aesthetic (feeling-permeated) epistemology (thinking-penetrated) that is sensitive to and integrative of material, soul, and spiritual aspects of ourselves and our world. I call this kind of epistemology aesthetic, because its primary characteristic is found in the phenomenological, mutually fructifying and transformative marriage between the capacity for thinking and the capacity for feeling. -/- Its foundations are brought forward through the confluence of multiple domains: cybernetic epistemology, the esoteric epistemology of anthroposophy (the spiritual science of Rudolf Steiner), and the philosophy of the implicit as developed by Eugene Gendlin. -/- The practice of aesthetic epistemology opens new phenomenal domains of experience, shedding light on relations between ontology and epistemology, mind and body, logic and thinking, as well as on the formation (and transformation) of identity, the immanence of thinking in world-processes, the existence of different types of logic, and the nature of beings, of objects, and most importantly of thinking itself and its relationship to spirit. (shrink)

This paper will examine the notion of information in the early cybernetics and in Gilbert Simondon’s philosophy. First, we will be outlining the notion of information of early (or first-order) cyberneticians. Secondly, we will summarize Simondon’s concept of information. Finally, the last part of the paper will be dealing shortly with the present understanding of information which has expanded since the beginning of the 20th century. -/- Presented at Doctoral Congress in Philosophy 22.–24.10.2018, University of Tampere, Finland.

Purpose – The purpose of this paper is to discuss the relevance of second-order cybernetics for a theory of architectural design and related discourse. -/- Design/methodology/approach – First, the relation of architectural design to the concept of “poiesis” is clarified. Subsequently, selected findings of Gotthard Günther are revisited and related to an architectural poetics. The last part of the paper consists of revisiting ideas mentioned previously, however, on the level of a discourse that has incorporated the ideas (...) and offers a poetic way of understanding them. (shrink)

Within continental philosophy of biology the work of Michel Serres has not received a lot of attention. Nonetheless, this chapter wants to argue that Serres was part of a group of thinkers – together with Jacques Monod and Henri Atlan – that started to think about biology in terms of second-order cybernetics and information theory. Therefore, this chapter aims to do four things. First of all, it maps the relation between Serres and Canguilhem, one that was mediated (...) by authors such as Louis Althusser or Jacques Monod. Secondly, it fleshes out Serres’s own ‘biophilosophy’. I label this alternative tradition as a ‘biophilosophy without a subject’. Finally, this chapter explores the consequences of this alternative biophilosophy through a brief examination of two authors whose work lies in the line of this tradition: René Girard and Bruno Latour. Though at first sight different, they both draw inspiration from this biophilosophy to develop a framework that, paradoxically, ‘jumps over’ the subject. Hence, the reason why biology is neither a prominent theme in Girard’s nor in Latour’s work. This is not because of a lack of biophilosophy, but because of an implicit one: a biophilosophy without a subject. (shrink)

Purpose – The purpose of this paper is to ask whether a first-order-cybernetics concept, Shannon’s Information Theory, actually allows a far-reaching mathematics of perception allegedly derived from it, Norwich et al.’s “Entropy Theory of Perception”. Design/methodology/approach – All of The Entropy Theory, 35 years of publications, was scrutinized for its characterization of what underlies Shannon Information Theory: Shannon’s “general communication system”. There, “events” are passed by a “source” to a “transmitter”, thence through a “noisy channel” to a “receiver”, (...) that passes “outcomes” (received events) to a “destination”. Findings – In the entropy theory, “events” were sometimes interactions with the stimulus, but could be microscopic stimulus conditions. “Outcomes” often went unnamed; sometimes, the stimulus, or the interaction with it, or the resulting sensation, were “outcomes”. A “source” was often implied to be a “transmitter”, which frequently was a primary afferent neuron; elsewhere, the stimulus was the “transmitter” and perhaps also the “source”. “Channel” was rarely named; once, it was the whole eye; once, the incident photons; elsewhere, the primary or secondary afferent. “Receiver” was usually the sensory receptor, but could be an afferent. “Destination” went unmentioned. In sum, the entropy theory’s idea of Shannon’s “general communication system” was entirely ambiguous. Research limitations/implications – The ambiguities indicate that, contrary to claim, the entropy theory cannot be an “information theoretical description of the process of perception”. Originality/value – Scrutiny of the entropy theory’s use of information theory was overdue and reveals incompatibilities that force a reconsideration of information theory’s possible role in perception models. A second-order-cybernetics approach is suggested. (shrink)

Since René Descartes famously separated the concepts of body and mind in the seventeenth century, western philosophy and theory have struggled to conceptualize the interconnectedness of minds, bodies, environments and cultures. While environmental psychology and the cognitive sciences have shown that spatial perception is 'embodied' and depends on the aforementioned concepts' interconnectedness, architectural design practice, for example, has rarely incorporated these insights. The article presents research on the epistemological foundations that frame the communication between design theory and practice and juxtaposes (...) it with scientific research on embodied experience. It further suggests that Asian aesthetics, with its long history in conceiving relations and art as interactive, could create a bridge between recent scientific insights and design practice. The article outlines an approach to the interconnectedness of minds, bodies, environments, the sciences and cultures, in favour of a future that is governed by creative wisdom rather than 'smart' efficiency. (shrink)

A normative reason for a person to? is a consideration which favours?ing. A motivating reason is a reason for which or on the basis of which a person?s. This paper explores a connection between normative and motivating reasons. More specifically, it explores the idea that there are second-order normative reasons to? for or on the basis of certain first-order normative reasons. In this paper, I challenge the view that there are second-order reasons so understood. I (...) then show that prominent views in contemporary epistemology are committed to the existence of second-order reasons, specifically, views about the epistemic norms governing practical reasoning and about the role of higher-order evidence. If there are no second-order reasons, those views are mistaken. (shrink)

Context: The design of academic conferences, in which settings ideas are shared and created, is, we suggest, of more than passing interest in constructivism, where epistemology is considered in terms of knowing rather than knowledge. Problem: The passivity and predominantly one-way structure of the typical paper presentation format of academic conferences has a number of serious limitations from a constructivist perspective. These limits are both practical and epistemological. While alternative formats abound, there is nevertheless increasing pressure reinforcing this format due (...) to delegates’ funding typically being linked to reading a paper. Method: In this special issue, authors reflect on conferences that they have organised and participated in that have used alternative formats, such as conversational structures or other constructivist inspired approaches, in whole or in part. We review and contextualize their contributions, understanding them in terms of their connections to constructivism and to each other. Results: While this issue is of relevance across disciplinary boundaries, contributions focus on two fields: that of cybernetics/systems, and that of design. We identify the way that conference organization is of particular importance to these fields, being in self-reflexive relationship to them: the environment of a design conference is something that we design; while a conference regarding systems or cybernetics is itself an instance of the sorts of process with which these fields are concerned. Implications: Building on this self-reflexivity and, also, the close connection of design and cybernetics/systems to constructivism, we suggest that conference organization is an area in which constructivism may itself be understood in terms of practice rather than theory (and so knowledge. This in turn helps connect ideas in constructivism with pragmatic fields, such as knowledge management, and recent discussions in this journal regarding second-order science. Constructivist content: As a setting for the creation of new ideas, the design of conferences is of importance where we understand epistemology in constructivist terms as a process of knowing. Moreover, the particular fields drawn on - design and cybernetics/systems - have close connections to constructivism, as can be seen, for instance, in the work of Ranulph Glanville, on which we draw here. (shrink)

Is second-order logic logic? Famously Quine argued second-order logic wasn't logic but his arguments have been the subject of influential criticisms. In the early sections of this paper, I develop a deeper perspective upon Quine's philosophy of logic by exploring his positive conception of what logic is for and hence what logic is. Seen from this perspective, I argue that many of the criticisms of his case against second-order logic miss their mark. Then, in (...) the later sections, I go beyond Quine to develop a novel case that quantification into polyadic predicate position, understood as requiring quantifiers to range over relations, isn't intelligible. (shrink)

A second-order conspiracy (SOC) is a conspiracy that aims to create (and typically also disseminate) a conspiracy theory. Second-order conspiracy theories (SOCT) are theories that explain the occurrence of a given conspiracy theory by appeal to a conspiracy. In this paper I argue that SOC and SOCT are useful and coherent concepts, while also having numerous philosophically interesting upshots (in terms of epistemology, explanation, and prediction). Secondly, I appeal to the nature of two specific kinds of (...) second-order conspiracies to make the case for what has been called ‘local generalism’ (Stamatiadis-Bréhier 2023a). Specifically, I focus on so-called ‘denial industries’ to argue that the structure of these second-order conspiracies allows us to infer non-accidental generalisations about the domain of conspiracy theories. Even though it is true that there is nothing epistemically problematic with the general class of conspiracy theories, there are specific subsets of conspiracy theories that warrant immediate strong suspicion (cf. Dentith 2022). By looking at the intricate mechanisms by which these denial industries operate, we can infer that the conspiracy theories that are produced by them are epistemically unwarranted. I conclude by making some exploratory remarks about what the metaphysics of second-order conspiracies would look like. (shrink)

examine Nathan Salmon’s solution to the problem of trivialization, as it arises for conceptions of general term rigidity that construe it as identity of designation across possible worlds. I argue that he does not succeed in showing that some alleged general terms, such as “the colour of the sky” are non-rigid, but also that a small class of different examples that he presents, which can be construed as second order descriptions, are indeed non-rigid general terms, although for reasons (...) different from those he thought. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is (...) actually a familiar part of our traditional intuitive logical framework and that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I then examine (...) Williamson’s primitivist approach according to which second-order sentences are not offered readings in a previously understood language. I argue that the syntactic restrictions alone do not block the derivation of the paradox, unless they are backed by a principled reason that the language cannot be expanded to allow the grammatical substitution of first- and second- order variables. I argue that there is neither a syntactic nor a semantic principle that prohibits such an expansion. (shrink)

The paper sets forth an argument against Kim's distinction between levels and orders.

Philosophers who work on desert-adjustment within axiology often articulate the concept of desert as follows: x deserves y on the basis of z. This formulation allows for a focused examination that encompasses deservers, deservings, and desert bases. I call this first-order desert. This paper posits that axiology grounded solely in first-order desert fails to adequately capture our nuanced intuitions concerning desert. I contend that to construct an axiology that more effectively aligns with our desert-sensitive intuitions, we must incorporate (...) considerations of second-order desert. Second-order desert is defined as follows: x deserves to live a life in which x deserves y on the basis of z. Initially, I provide a definition of first-order desert, followed by an elucidation of second-order desert. Subsequently, I explore various counter-arguments against my proposition. I defend my proposal against potential counter-arguments, demonstrating that a desert-adjusted axiological theory will be significantly better-off by incorporating second-order desert considerations. (shrink)

We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.

Aside from the systematic theory of recognition, Honneth’s work in the last decade has also centered around a less commented-upon theme: the critical social theoretic diagnosis of social pathologies. This paper claims first that his diverse diagnoses of specific social pathologies can be productively united through the conceptual structure evinced by second-order disorders, where there are substantial disconnects, of various kinds, between first-order contents and second-order reflexive understandings of those contents. The second major claim (...) of the paper is that once we understand social pathologies as second-order disorders, it becomes apparent that critical social theory must do more than accurately identify and explicate these disorders at the phenomenological and action-theoretic levels. It must further engage in insightful sociological explanations of the social causes of those pathologies in order to further the prognostic and therapeutic tasks implied by the aim of developing a social theory with emancipatory intent. The paper argues that the identificatory and explicative components of diagnostic social theory have been fulfilled by Honneth to a much greater degree than the latter components of explanation, prognosis and therapy. (shrink)

Open peer commentary on the article “Constructivist Model Building: Empirical Examples From Mathematics Education” by Catherine Ulrich, Erik S. Tillema, Amy J. Hackenberg & Anderson Norton. Upshot: I argue that radical constructivism poses a series of deep methodological constraints on educational research. We focus on the work of Ulrich et al. to illustrate the practical implications of these constraints.

Both motivational internalism and externalism need to explain why sometimes moral judgments tend to motivate us. In this paper, I argue that Dreier’ second-order desire model cannot be a plausible externalist alternative to explain the connection between moral judgments and motivation. I explain that the relevant second-order desire is merely a constitutive requirement of rationality because that desire makes a set of desires more unified and coherent. As a rational agent with the relevant second-order (...) desire is disposed towards coherence, she will have some motivation to act in accordance with her moral judgments. Dreier’s second-order desire model thus collapses into a form of internalism and cannot be a plausible externalist option to explain the connection between moral judgments and motivation. (shrink)

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as (...) being either extensional or intensional—and whether either is more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (shrink)

At the height of the Covid pandemic, there was much discussion in the literature about using human challenge trials (HCTs) to expedite the development of effective Covid-19 vaccines. Historically, reluctance to fully accept HCTs has largely been due to potential conflicts with the principle of nonmaleficence in bioethics. Only a few commentators have explored this topic in depth. In this paper, we claim that to address ethical concerns regarding HCTs, two types of ethical reasons should be identified and investigated: first- (...) class='Hi'>order reasons that can be given to claim that a practice in itself is in direct conflict with the principles of bioethics; and second-order reasons that take into consideration how a practice is carried out and its consequences. We argue that understanding these ethical reasons is crucial for guiding the implementation of HCTs. We investigate a first-order reason against HCTs when the practice is in conflict with the principle of nonmaleficence, and when it is not. Following this argument and assuming there is no first-order reason based on nonmaleficence that hinders using HCTs, we argue there may be second-order reasons to guide implementation of this practice, such as difficulty in obtaining informed consent; protection of the weaker party; and trust in the scientific enterprise. (shrink)

A number of widely discussed court decisions on cases of insults against religious feelings in Russia, such as the relatively recent “Pokemon Go” case of blogger Ruslan Sokolovsky or the lawsuit filed against an Orthodox priest by Nikolai Ryabchevsky in Yekaterinburg for comparing Lenin with Hitler, make pertinent the question of why toleration becomes so difficult in matters concerning religion. In this paper, I revise the classical liberal concept of toleration (David Heyd, Peter Nicholson, and John Horton), arguing that it (...) is challenged by contemporary philosophers, who see no room for applying this concept in the “domain of identities”. The most prominent case of “primordial” identity, that is, the notion of identity as a given, is the claim of devoted believers for recognition. Should we replace the principle of toleration by the principle of recognition since the latter better corresponds to identity claims? To address this question, in the first part of the article I describe the mechanism of tolerant attitude (Nicholson, Heyd) and in the second part, I analyze the debates about the possibility or impossibility of inner religious toleration (Avishai Margalit, Cary Nederman, and Maxim Khomyakov) and further compare toleration and recognition as normative principles. In the light of the debates I took part in the conference hosted by the University of Southern Denmark in October 2019 as part of the project “Religious Majority/Minority in Public Space in Russia and Northern Europe: Historical-Cultural Analysis”, I come to the conclusion that the principle of toleration is preferable to the principle of recognition because the “second-order” arguments for toleration in a secular state will be universally acceptable (pragmatic argument) and, therefore, the principle of toleration is more logical (analytical argument). Following Peter John’s thesis about minimal recognition embedded in toleration, it may also be concluded that we need a normatively charged idea of citizenship, which could provide us with universal “second-order” foundation. (shrink)

Epistocracy and populism are usually seen as opposites. The first finds error in democracy’s reliance on the sub-optimal decisions by the supposedly incompetent masses, and argues that political decisions should be tied to epistemic merit, not popularity. The populist critique of democracy, contrarily, finds that there is not enough political confrontation in standard representative democracies where the ‘real people’ are not properly embodied, and thus pits an imagined direct will of the unified and virtuous people against a self-serving establishment. This (...) article demonstrates that these ideologies have surprising underlying similarities concerning their categorization, political ontology, epistemology and a conception of political authority. Firstly, they both are second-order political ideologies that are not directly tied with substantive political content but rather with the interpretation of how to govern assuming disagreement concerning first-order political ideologies. Secondly, their political ontology divides citizens into two constitutively differing parts, one of which they (partly) exclude from political membership. Thirdly, their political epistemology assumes the existence of political truths which makes their conception of authority anti-proceduralist, either instrumentalist or moralist. Fourthly, they downplay the value of pluralism, deliberation and dissent. Uncovering these commonalities helps us detect and understand the dynamics of some anti-democratic tendencies better. (shrink)

Here's the thing: when you look at it from just the right angle, it's entirely obvious how semantics for second-order relevant logics ought to go. Or at least, if you've understood how semantics for first-order relevant logics ought to go, there are perspectives like this. What's more is that from any such angle, the metatheory that needs doing can be summed up in one line: everything is just as in the first-order case, but with more indices. (...) Of course, it's no small matter finding the magical angle from which everything becomes obvious. And even having found this perspective, one cannot assume one's audience will find things as obvious as oneself. All that to say this: if the results in the paper below strike you as obvious, pay attention to the perspective that makes that possible. And if they don't, feel free to ignore this preamble in its entirety. (shrink)

Egan argues against Lewis’s view that properties are sets of actual and possible individuals and in favour of the view that they are functions from worlds to extensions (sets of individuals). Egan argues that Lewis’s view implies that 2nd order properties are never possessed contingently by their (1st order) bearers, an implication to which there are numerous counter-examples. And Egan argues that his account of properties is more commensurable with the role they play as the semantic values of (...) predicates than is Lewis’s. (shrink)

The target article proposes that people perceive social robots as depictions rather than as genuine social agents. We suggest that people might instead view social robots as social agents, albeit agents with more restricted capacities and moral rights than humans. We discuss why social robots, unlike other kinds of depictions, present a special challenge for testing the depiction hypothesis.

These comments, on the paper by Branden Thornhill-Miller and Peter Millican, and on the critique of that paper by Janusz Salamon, divide into four sections. In the first two sections, I briefly sketch some of the major themes from the paper by Thornhill-Miller and Millican, and then from the critique by Salamon. In the final two sections, I provide some critical thoughts on Salamon’s objections to Thornhill-Miller and Millican, and then on the leading claims made by Thornhill-Miller and Millican. I (...) find much to commend, but also some things to dispute, in both papers. As is so often the way, I shall focus on areas of disagreement. (shrink)

Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...) ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

We extend Barbanera and Berardi's symmetric lambda calculus [2] to second-order classical propositional logic and prove its strong normalization.

In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk)):.