Next Article in Journal
A Body of Authority: Reorienting Gender and Power in Julian of Norwich’s Revelations
Next Article in Special Issue
(Dis)orientation, POV and the Virtual
Previous Article in Journal
Edith Södergran’s Genderqueer Modernism
Previous Article in Special Issue
Who Can Speak? Rancière, Latour and the Question of Articulation
Article

On Something Like an Operational Virtuality

Institute of Research and Innovation, 75004 Paris, France
Humanities 2021, 10(1), 29; https://doi.org/10.3390/h10010029
Received: 29 October 2020 / Revised: 24 December 2020 / Accepted: 6 January 2021 / Published: 9 February 2021
(This article belongs to the Special Issue Posthumanism, Virtuality, and the Arts)
We outline here a certain history of ideas concerning the relation between intuitions and their external verification and consider its potential for detrivializing the concept of virtuality. From Descartes and Leibniz onward to 19th-century geometry and the concept of “invariant” that it shares with 19th-century psychology, we follow the thread of what might be informally called an “operational” conception of the virtual, an intuition progressively developed in the 20th century from of group theoretical thinking into “functorial” thinking (in the context of category theory), and eventually intuitions for the concept of “univalence” (homotopy type theory) and its implications for the meaning of equality and identity. At each turn, skeptical arguments haunt this history’s modes of exteriorization, proof, and verification; we consider the later Wittgenstein’s worries concerning rule following and the apparent unbridgeable gap between formal theory and informal practice. We show how the development of mathematical intuitions and formalisms in the last century and the discovery of deep connection between intuitionistic logic and computation have begun to respond to some of these concerns and favour a conception of virtuality that is operational, constructive, pragmatic, and hospitible to scientific detrivialization. View Full-Text
Keywords: cognition; intuition; proof; Cassirer; Leibniz; Duns Scotus; Bergson; Wittgenstein; computation; category theory; univocity; univalent foundations cognition; intuition; proof; Cassirer; Leibniz; Duns Scotus; Bergson; Wittgenstein; computation; category theory; univocity; univalent foundations
MDPI and ACS Style

Wilson, A. On Something Like an Operational Virtuality. Humanities 2021, 10, 29. https://doi.org/10.3390/h10010029

AMA Style

Wilson A. On Something Like an Operational Virtuality. Humanities. 2021; 10(1):29. https://doi.org/10.3390/h10010029

Chicago/Turabian Style

Wilson, Alexander. 2021. "On Something Like an Operational Virtuality" Humanities 10, no. 1: 29. https://doi.org/10.3390/h10010029

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop