In this article, based on my doctoral research, I discuss the appropriation of religious elements from South America by Finnish ‘mystical tourists’. The plant medicine ceremonies are approached as spiritual commodities. Imagining local beliefs and practices as ancient cultural heritage, essentially and authentically spiritual, Finnish mystical tourists adapt these practices for their own therapeutic uses. They are accompanied by singing prayers to various plant spirits. Among the appropriated elements are the ceremonial ingestion of imported organic cacao, sacred tobacco and ayahuasca, (...) as well as praying by singing to plant spirits understood in terms of animism. My findings indicate how the appropriated cultural elements are given therapeutic functions in collectively created musical and ritual spaces for individual well-being. I analyse appropriation in categories introduced by Richard A. Rogers (2006) and understand the ceremonies to provide ‘mystical tourists’ with a role as a racially privileged group over the subaltern indigenous peoples through processes of commercialization, where reimagined cultural elements become spiritual commodities to be bought and sold in commercial networks on the basis of access. I argue that the associated forms of cultural appropriation align with the individualistic spiritual well-being needs of the Finnish participants and are related to the theme of ‘sacralization of the self’. (shrink)

Johannes Rudbeckius (1581–1646) var en av de främsta kyrkoledarna i stormaktstidens Sverige. Under studietiden i Wittenberg influerades han av ”luthersk skolastik”, enligt vilken förnuft och uppenbarelse är förenliga som kunskapskällor och logik är ett instrument för teologi. -/- I boken visar Tero Tulenheimo hur Rudbeckius lade vikt vid logik som stöddisciplin för teologi. -/- Inledningsvis behandlas frågan om omfattningen av Rudbeckius teologiska produktion. Här argumenterar Tulenheimo emot Bengt Hägglunds tes, enligt vilken Rudbeckius skulle ha författat en viktig opublicerad handskrift (...) om dogmatik. -/- Med hänvisning till Rudbeckius publicerade dissertationer lyfter Tulenheimo fram Rudbeckius reflektioner över språkanvändning, diskussion om förnuftsargument för uppenbarelsesanningar samt begreppsanalytiska frågeställningar. (shrink)

This article presents and analyses a social-practice contextualist version of meaning holism, whose main root lies in American pragmatism. Proposing that beliefs depend on systems of language-use in social practices, which involve communities of people and worldly objects, such meaning holism effectively breaks down the Enlightenment tradition’s philosophical subject–object dualism (and scepticism). It also opens the human mind up for empirical research – in a ‘sociologizing’, ‘anthropologizing’ and ‘historicizing’ vein. The article discusses the implications of this approach for the human (...) sciences, for instance certain parallel developments in anthropology and archaeology. (shrink)

‘@AP: Breaking: Two Explosions in the White House and Barack Obama is injured’. So read a tweet sent from a hacked Associated Press Twitter account @AP, which affected financial markets, wiping out $136.5 billion of the Standard & Poor’s 500 Index’s value. While the speed of the Associated Press hack crash event and the proprietary nature of the algorithms involved make it difficult to make causal claims about the relationship between social media and trading algorithms, we argue that it helps (...) us to critically examine the volatile connections between social media, financial markets, and third parties offering human and algorithmic analysis. By analyzing the commentaries of this event, we highlight two particular currents: one formed by computational processes that mine and analyze Twitter data, and the other being financial algorithms that make automated trades and steer the stock market. We build on sociology of finance together with media theory and focus on the work of Christian Marazzi, Gabriel Tarde and Tony Sampson to analyze the relationship between social media and financial markets. We argue that Twitter and social media are becoming more powerful forces, not just because they connect people or generate new modes of participation, but because they are connecting human communicative spaces to automated computational spaces in ways that are affectively contagious and highly volatile. (shrink)

The paper explores the incentive structures and the structurally rigid social hierarchies inherent in the polarizing logic of modern credit money and the mutual constitution of money’s sovereign and biopolitical dimensions. It is argued that the monetary system constitutes a major transitory channel for the logic of financial capital to transcend the limitations of sovereign spaces and to transform itself into a biopolitical force. The relationship between the material and the subjective – or the sovereign and the biopolitical – dimensions (...) of money is seen as di-polaric rather than di-chotomic – as a mutually constitutive whole between relational dynamics and the normalizing opportunity structures which govern such interaction. If the sovereign and the biopolitical dimensions of money indeed constitute distinct but inseparable moments of the same totality, there would appear to be more room for strategic combination of heterogeneous analytical practices in emancipatory scholarship than what some of the traditional notions of the epistemological politics of power and sovereignty might suggest. (shrink)

Transparency has become a global concept of responsible government. This book argues that the transnational discourse of transparency promotes potentially contradictory policy ideas that can lead to unintended consequences. It critically examines whether or not increased transparency really leads to increased democratic accountability.

This article examines translating and translations primarily from a sem(e)iotic viewpoint. The focus is, on the one hand, on a semiotic re-reading of certain translation-theoretical suggestions (such as the idea of translation being an inherently semiotic category), and on the other hand, on a translation-theoretical re-reading of certain semiotic suggestions (such as what signs can be used for representing). Other proposals that receive a revisiting discussion include, for instance, Roman Jakobson’s translation typology and Umberto Eco’s notion of semiotics as a (...) theory of the lie. The approach adopted in the present article advocates a serious re-reading and attitude, but even more, a literal reading and sometimes, a less serious attitude as well. (shrink)

The hybrid logic and the independence friendly modal logic IFML are compared for their expressive powers. We introduce a logic IFML c having a non-standard syntax and a compositional semantics; in terms of this logic a syntactic fragment of IFML is singled out, denoted IFML c . (In the Appendix it is shown that the game-theoretic semantics of IFML c coincides with the compositional semantics of IFML c .) The hybrid logic is proven to be strictly more expressive than IFML (...) c . By contrast, and the full IFML are shown to be incomparable for their expressive powers. Building on earlier research (Tulenheimo and Sevenster 2006), a PSPACE -decidable fragment of the undecidable logic is disclosed. This fragment is not translatable into the hybrid logic and has not been studied previously in connection with hybrid logics. In the Appendix IFML c is shown to lack the property of ‘quasi-positionality’ but proven to enjoy the weaker property of ‘ bounded quasi-positionality’. The latter fact provides from the IFML internal perspective an account of what makes the compositional semantics of IFML c possible. (shrink)

This paper analyzes the notion of possibility in biology and demonstrates how synthetic biology can provide understanding on the modal dimension of biological systems. Among modal concepts, biological possibility has received surprisingly little explicit treatment in the philosophy of science. The aim of this paper is to argue for the importance of the notion of biological possibility by showing how it provides both a philosophically and biologically fruitful category as well as introducing a new practically grounded way for its assessment. (...) More precisely, we argue that synthetic biology can provide tools to scientifically anchor reasoning about biological possibilities. Two prominent strategies for this are identified and analyzed: the design of functionally new-to-nature systems and the redesign of naturally occurring systems and their parts. These approaches allow synthetic biologists to explore systems that are not normally evolutionarily accessible and draw modal inferences that extend in scope beyond their token realizations. Subsequently, these results in synthetic biology can also be relevant for discussions on evolutionary contingency, providing new methods and insight to the study of various sources of unactualized possibilities in biology. (shrink)

Synthetic biology is described as a new field of biotechnology that models itself on engineering sciences. However, this view of synthetic biology as an engineering field has received criticism, and both biologists and philosophers have argued for a more nuanced and heterogeneous understanding of the field. This paper elaborates the heterogeneity of synthetic biology by clarifying the role of design and the variability of design methodologies in synthetic biology. I focus on two prominent design methodologies: rational design and directed evolution. (...) Rational design resembles the design methodology of traditional engineering sciences. However, it is often replaced and complemented by the more biologically-inspired method of directed evolution, which models itself on natural evolution. These two approaches take philosophically different stances to the design of biological systems. Rational design aims to make biological systems more machine-like, whereas directed evolution utilizes variation and emergent features of living systems. I provide an analysis of the methodological basis of these design approaches, and highlight important methodological differences between them. By analyzing the respective benefits and limitations of these approaches, I argue against the engineering-dominated conception of synthetic biology and its “methodological monism”, where the rational design approach is taken as the default design methodology. Alternative design methodologies, like directed evolution, should be considered as complementary, not competitive, to rational design. (shrink)

This paper examines a case where Amazon’s cloud-based AI assistant Alexa accidentally ordered a dollhouse for a 6-year-old girl. In the press, the case was defined as a technical recognition problem. Building on this idea, we argue that the dollhouse case helps us to analyze the limits of current AI applications. By drawing on the writings of Gilles Deleuze and François Laruelle, we argue that these limits are not merely technical but more deeply embedded in the structures where the thinking (...) of AI can potentially happen. We point out that AI research has been compromised by the concepts of what constitutes both ‘artificial’ and by what constitutes ‘intelligence’. First, we use the notion of artificial non-intelligence to explain how different modes of digital capitalism such as voice commerce establish limits for AI. Second, we use the notion of non-artificial intelligence to illustrate the limits of associating AI’s modes of thinking with human thought. (shrink)

The present paper provides novel results on the model theory of Independence friendly modal logic. We concentrate on its particularly well-behaved fragment that was introduced in Tulenheimo and Sevenster (Advances in Modal Logic, 2006). Here we refer to this fragment as ‘Simple IF modal logic’ (IFML s ). A model-theoretic criterion is presented which serves to tell when a formula of IFML s is not equivalent to any formula of basic modal logic (ML). We generalize the notion of bisimulation familiar (...) from ML; the resulting asymmetric simulation concept is used to prove that IFML s is not closed under complementation. In fact we obtain a much stronger result: the only IFML s formulas admitting their classical negation to be expressed in IFML s itself are those whose truth-condition is in fact expressible in ML. (shrink)

Une logique d’« opérateurs rétrogrades » (OR) est définie en utilisant des jeux sémantiques, joués sur des modèles à deux dimensions, l’une pour le temps, l’autre pour les scénarios épistémiques. On démontre que l’expressivité de OR est plus grande que celle de la logique de base des attitudes propositionnelles (AL). De plus, on établit que les pouvoirs expressifs de OR et la logique hybride AL + ↓ + @ coïncident. L’intérêt théorique général des opérateurs rétrogrades est brièvement discuté.

Synthetic biology offers a powerful method to design and construct biological devices for human purposes. Two prominent design methodologies are currently used. Rational design adapts the design methodology of traditional engineering sciences, such as mechanical engineering. Directed evolution, in contrast, models its design principles after natural evolution, as it attempts to design and improve systems by guiding them to evolve in a certain direction. Previous work has argued that the primary difference between these two is the way they treat variation: (...) rational design attempts to suppress it, whilst direct evolution utilizes variation. I argue that this contrast is too simplistic, as it fails to distinguish different types of variation and different phases of design in synthetic biology. I outline three types of variation and show how they influence the construction of synthetic biological systems during the design process. Viewing the two design approaches with these more fine-grained distinctions provides a better understanding of the methodological differences and respective benefits of rational design and directed evolution, and clarifies the constraints and choices that the different design approaches must deal with. (shrink)

This article discusses the Mekrijärvi boreal lake system in North Karelia, Finland, and the Koitajoki river. It traces historico-cultural interactions with the lake, from its role as an epicenter of Karelian rune singing and traditional practices, to the natural and cultural disruptions caused by large-scale natural resource extraction that shattered forests, peatlands, and waterbodies, and on into a new era of restoration. In the 2000s a community-driven NGO began to document oral histories and scientific evidence of the lake’s condition. In (...) the 2020s, this effort evolved into a landscape-scale eco-cultural revitalization effort. Habitat for endangered whitefish and degraded peatlands are being restored and traditional knowledge has become a central force in rebuilding and re-imagining traditional northern societies. Snippets of personal memories and oral poetry offer a window into a unique boreal world which, though once thought to be lost, is in a state of re-discovery and healing. (shrink)

I distinguish two kinds of contribution that have been made by recent minimalist accounts of joint action in philosophy and cognitive science relative to established philosophical accounts of shared intentional action. The “complementarists” seek to analyze a functionally different kind of joint action from the kind of joint action that is analyzed by established philosophical accounts of shared intentional action. The “constitutionalists” seek to expose mechanisms that make performing joint actions possible, without taking a definite stance on which functional characterization (...) of joint action is the appropriate one. I elucidate the contrasting methodological underpinnings of these minimalist research programs in accordance with Bechtel and Richardson’s account of the heuristics of decomposition and localization as a research strategy for the study of complex systems. (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

While psychotherapists are trained to improve their clients’ quality of life, little work has examined the quality of life experienced by psychotherapist trainees themselves. Yet their life satisfactions and stresses would plausibly affect both their ability to learn new skills and conduct psychotherapy. Therefore, in the Society for Psychotherapy Research Interest Section on Psychotherapist Development and Training study, we investigated the patterns of self-reported life quality and their correlates in a multinational sample of 1,214 psychotherapist trainees. A comprehensive questionnaire was (...) used at the outset of trainings to assess trainees’ professional background, current life situation, personal characteristics, family background, and social and national origin. The findings indicated 54.3% of trainees’ lives could be characterized as fortunate or happy, whereas 14.3% could be characterized as clearly distressed or troubled. The strongest correlates of high life stress, a contributor to poor life quality, were economic insecurity, self-protectiveness, and attachment-related anxiety in relationships, and economic or psychological hardship in childhood. In turn, greater wellbeing was most strongly associated with a warm and open interpersonal style, being married, having sufficient economic means, and material and emotional security in childhood. While the results indicate the majority of therapists experience a relatively good quality of life, the findings also suggest potential targets for increasing trainees’ life quality when it may be deficient, such as those on a societal level, training program level, and individual level, in order to promote effective learning and therapy practice. (shrink)

Propono hic conversionem in linguam Anglicam conclusionis Collegii Logici, anno 1608–1609 semestri studiorum spatio hiberno a Johanne Rudbeckio Wittenbergæ habiti. Hic commentarius prooemium in conversionem est. Rudbeckius primus Suecus erat, qui librum didacticum de logica publicavit. Maiorem partem libri iam anno 1606 scripserat, cum Mathesis Professor Upsaliensis esset, sed Logica ex optimis et præstantissimis autoribus collecta & conscripta non ante annum 1625 edita sit. Cum Johanne Canuti Lenæo, collega suo, Rudbeckius primas partes agebat in inducenda in Sueciam scholastica Lutherana, cuius (...) rei scopus defensio erat fidei Lutheranæ per logicam et metaphysicam Aristotelicam. In primo capite condiciones conclusionis Rudbeckii commentor. Secundum caput brevem Rudbeckii vitæ descriptionem offert. Tertium quartumque capita de scripto converso et de ipsa conversione observationes quasdam continent.This note is an introduction to the English translation of the concluding speech of the Collegium Logicum that Johannes Rudbeckius taught in Wittenberg during the winter semester 1608–1609. Rudbeckius was the first Swede to publish a textbook on logic; his Logica ex optimis et præstantissimis autoribus collecta & conscripta appeared in 1625. The first version of the textbook was completed already in 1606 when Rudbeckius was professor of mathematics at Uppsala University in Sweden. Together with his colleague Johannes Canuti Lenæus, Rudbeckius played a key role in the introduction of Lutheran scholasticism in Sweden; this was a movement within the Lutheran Church whose aim was to defend the Lutheran faith by making use of Aristotelian logic and metaphysics. In Section 1, I comment on the context of Rudbeckius’s discourse. Section 2 offers a short biography of Rudbeckius. Sections 3 and 4 contain, respectively, some remarks about the text translated and about the translation itself. (shrink)

G. H. von Wright proposed that a temporal interval exemplifies a real contradiction if at least one part of any division of this interval involves the presence of contradictorily related (though non-simultaneous) states. In connection with intervals, two negations must be discerned: 'does not hold at an interval' and 'fails throughout an interval'. Von Wright did not distinguish the two. As a consequence, he made a mistake in indicating how to use his logical symbolism to express the notion of real (...) contradiction. The present paper aims to reconstruct and philosophically motivate von Wright's argument for the possibility of real contradictions. (shrink)

Heisenberg's uncertainty principle is usually taken to express a limitation of operational possibilities imposed by quantum mechanics. Here we demonstrate that the full content of this principle also includes its positive role as a condition ensuring that mutually exclusive experimental options can be reconciled if an appropriate trade-off is accepted. The uncertainty principle is shown to appear in three manifestations, in the form of uncertainty relations: for the widths of the position and momentum distributions in any quantum state; for the (...) inaccuracies of any joint measurement of these quantities; and for the inaccuracy of a measurement of one of the quantities and the ensuing disturbance in the distribution of the other quantity. Whilst conceptually distinct, these three kinds of uncertainty relations are shown to be closely related formally. Finally, we survey models and experimental implementations of joint measurements of position and momentum and comment briefly on the status of experimental tests of the uncertainty principle. (shrink)

We take up Jason Brennan’s critique of democracy as formulated in his monograph _Against Democracy_ (2016) and discuss the arguments that Åsa Wikforss presents against Brennan’s views in her book _Därför demokrati_ (2021). Both authors grant the importance of knowledge for political decision-making, but they differ in their respective understandings of what counts as knowledge and they draw very different conclusions from the relevant knowledge requirement. Our general aim is to detect problems in democracy as well as in attempts to (...) criticize democracy. We also briefly consider Brennan’s positive proposal to replace democracy by “epistocracy”, a form of government according to which only those citizens are entitled to vote who are “competent” in a sense to be discussed. Our aim is not to propagate any particular form of government. We merely wish to help the reader to recognize that democracy in particular involves a whole lot of assumptions that are in need of a better justification than what is normally provided. (shrink)

In 1992, Bengt Hägglund put forward a thesis according to which a codex in his possession is based on material Johannes Rudbeckius (1581–1646) authored in 1611, maintaining that the codex gives us information about Rudbeckius's lectures on _loci theologici_ in Uppsala during the years 1611–1613 and that it reveals to us characteristic features of Rudbeckius's thinking about dogmatics. Hägglund published the codex in 2001. I point out, first, weaknesses in Hägglund's argumentation. Second, I present indirect evidence against his thesis employing (...) the two series of Rudbeckius's published dissertations on dogmatics (1611–1613, 1620–1644) and his own comments about his lectures. Third, I indicate that three parts of the codex that are particularly important for Hägglund's argumentation stem from other authors: the introductory part on the nature of theo­logy, as well as the chapter on _locus de ecclesia_, have their origin in Jesper Brochmand's _Universae theologiae systema_ (1633), while the conclusion is taken from a dissertation that Balthasar Meisner published in 1614. The codex does not allow us to access a work Rudbeckius would have authored in 1611: it contains too many parts he cannot have authored then. In particular, the introduction and the conclusion of the codex do not tell us anything about Rudbeckius's characteristic thoughts on dogmatics. Hägglund's main reason for thinking that the codex is a transcript of Rudbeckius's work from 1611 is a date mentioned at the end of locus of the church. As it happens, this locus is borrowed from Brochmand, not from Rudbeckius. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

In Prior’s tense-logical analysis, we can avoid mentioning instants in our language by construing them as propositions of a special kind. Instead of qualifying instants by predicates, we may qualify propositions by modalities. Prior shows that by changing the informal interpretation of our modal-like language, we can similarly attempt to avoid ontological commitments to worlds and even to selves and other bona fide individuals. As he notes, the paraphrasing strategy works too generally to be of direct metaphysical use. I wish (...) to speak of several types of entities within one and the same language. This leads to the issue of cross-context identity: how to make sense of speaking of the same entity of one type relative to distinct entities of another type. My analysis employs the notion of world line. I discern a structure of mutually interrelated categories with three informal interpretations: tense, modal and egocentric. They correspond to different metaphysical views on the interrelations of time, logical alternatives and individuals. Prior’s dilemma regarding the possibility of modalizing, not only our talk concerning times and worlds, but even our discourse pertaining to the ‘real world of individuals’ does not vanish but reappears also in my setting. (shrink)

Drawing on multimodal conversation analysis as a method, this article explores the role of embodiment and tactility in negotiating peer relations in classroom interaction. We aim at discussing how social relations between peers are locally constructed and negotiated through embodied, tactile-haptic, and spatial practices during classroom activities. The focus of the empirical analysis is on how students sequentially co-construct specific peer-to-peer touch type—sustained leaning touch—as well as how embodied two-student formations, synchronization of bodily movements and negotiation of personal space serves (...) as displaying social bonding and balancing between students’ dual role orientation. Our findings suggest that intercorporeal construction of we-ness—including exclusive and inclusive practices in relation to peer groups—is based on students’ embodied orientations during leaning touch as well as re-organized embodied choreographies, participation frameworks and spatial arrangements. Our empirical analysis on tactility, embodied consciousness and incorporeal compresence has its basis in a phenomenologically rooted understanding of intercorporeality, and therefore our article aims at building bridges between phenomenological understanding and conceptualization and detailed empirical analysis of clearly observable interactional phenomena. (shrink)

The article discusses the relevance of ontology, the metaphysical study of being, in social sciences through a comparison of three distinct outlooks: Roy Bhaskar's version of critical realism, a pragmatic realist approach the most renowned representatives of which are Rom Harré and Hilary Putnam, and the authors’ own synthesis of the pragmatist John Dewey's and the neopragmatist Richard Rorty's ideas, here called methodological relationalism. The Bhaskarian critical realism is committed to the heavy ontological furniture of metaphysical transcendentalism, resting on essentialist (...) presumptions of causality and social structures, tacitly creating a dualism between individuals and society. Pragmatic realists, for their part, carry much lighter metaphysical baggage than critical realists and, much in a pragmatist vein, accept the idea that social scientists should study society by studying social life—the interwoven activities of individuals. Nevertheless, pragmatic realists only reluctantly, if at all, renounce the subject–object dualism and its ontological implications. Drawing on the ideas of Donald Davidson and Richard Rorty, the writers outline their own antirepresentationalist, antiessentialist approach to social sciences. The proposed methodological relationalism is a pragmatist approach of Deweyan origin. Based on a Darwinian understanding of human beings as organisms trying to cope with their environment, it emphasises the insight that one can neither step outside one's own action, nor withdraw from the actor's point of view, just as one cannot cognitively step outside language. (shrink)

I argue that the semantics of sentences expressing future contingent propositions is best viewed as being based on a clear distinction between a time at which a proposition is true and a time at which a state of affairs that makes it true gets actualized. That a prediction is true here and now means that its truth-maker gets actualized later. This is not to say that if a contingent proposition p concerning the future is true at t, it acquires the (...) truth-value true at t only retrospectively, at a later moment. Nor must this be seen as suggesting that it is a settled, unpreventable fact at t that p is true at t. It just means that the reason for its present truth is something that happens later on: the future happens to evolve in such a way as to make a truth-maker of p obtain. In this case, then, it can be said that at t, p is truth-maker indeterminate, or that it has an indeterminate truth-maker. I develop a formal semantics based on this analysis in the follow-up article ‘A Formal Framework for Future Contingents’. Here, I lay down the conceptual framework and indicate Boethius and Abelard as precursors of the view I wish to defend. (shrink)

In this article, I present a formal semantic framework that renders explicit how to reconcile the condition that a proposition about a contingent future event is true at a moment t0 with the idea that at t0, this proposition is ‘truth-maker indeterminate’: a state of affairs making it true will obtain later on, though no such state of affairs obtains at t0. The semantics I formulate employs ‘open temporal models’. They represent the passage of time by a specific component termed (...) time-resource, which acts on durations construed as model-external inputs. A model does not by itself specify which course of events gets actualized in a given duration depending on the latest moment that has already got actualized. A time-resource merely represents schematically the dependence between a moment t and a course of events that gets actualized in a time-span of a given length counted from t; until that much time has indeed passed, it is not fixed which course of events actually extends t. Further, I introduce evaluations as a fine-grained tool for studying truth-conditions of tensed formulas, and I use this tool to define the notion of truth-maker. I define what it means that a truth-maker will obtain but does not, and what it means for a truth-maker to be determinate. It is proven that my semantic analysis retains the desirable link between determinacy and historical necessity—namely, a truth-maker of a proposition being determinate entails that the proposition is historically necessary. (shrink)

Typical applications of Hintikka’s game-theoretical semantics give rise to semantic attributes—truth, falsity—expressible in the $\Sigma^{1}_{1}$-fragment of second-order logic. Actually a much more general notion of semantic attribute is motivated by strategic considerations. When identifying such a generalization, the notion of classical negation plays a crucial role. We study two languages, $L_{1}$ and $L_{2}$, in both of which two negation signs are available: $\rightharpoondown $ and $\sim$. The latter is the usual GTS negation which transposes the players’ roles, while the former (...) will be interpreted via the notion of mode. Logic $L_{1}$ extends independence-friendly logic; $\rightharpoondown $ behaves as classical negation in $L_{1}$. Logic $L_{2}$ extends $L_{1}$, and it is shown to capture the $\Sigma^{2}_{1}$-fragment of third-order logic. Consequently the classical negation remains inexpressible in $L_{2}$. (shrink)