In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, KT , (...) K4, and S4, with □ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between □ and a natural presentation of ♢. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems |$K$|⁠, |$KT$|⁠, |$K4$| and (...) |$S4$|⁠, with |$\square $| as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between |$\square $| and a natural presentation of |$\lozenge $|⁠. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.

John Leslie has published an argument that our own birth rank among all who have lived can be used to make inferences about all who will ever live, and hence about the expected survival time for the human race. It is found to be shorter than usually supposed. The assumptions underpinning the argument are criticized, especially the unwarranted one that the argument's sampling is equiprobable from among all who ever live. A mathematical derivation shows that Leslie's argument is correct only (...) if there exists a correlation of our birth rank to the event of doomsday. Such correlation is highly improbable. (shrink)

In this paper, we explore the consumer experience of responsibilization, wherein consumers are tasked with addressing social issues via their consumption choices. We study an approach to responsibilization which we label conscious pricing. Conscious pricing asks consumers to place a price on morality: How much would they pay for their lunch to combat the social issue of food insecurity? Conscious pricing stems from the broader movement of conscious capitalism, defined by its chief architects as an approach to business wherein the (...) goal is to create value for all stakeholders: financial, ecological, ethical, and spiritual. Strategies such as conscious capitalism rely on consumers acting responsibly, assuming that consumers, when presented with the opportunity to “do good,” will do so, and that consumers will prefer companies who provide them this opportunity. Using a case study approach and online reviews, in our analysis of Panera Cares, we find that consumers in fact experience discomfort when asked to address social issues via how much they choose to pay for their meal. Because food insecurity is embodied by homeless people eating with them in the café, eating in the café is perceived as unpleasant, and the homeless also feel demoralized. This discomposure leads consumers to resist the subject position of being responsibilized by not supporting the organization that is tasking them to do so. This study is the first empirical examination of the consumer experience of consumer responsibilization and allows us to contribute to a deepened understanding of consumer ethics. (shrink)

It shouldn’t be the AI of Big Tech companies, as it is currently emerging, but rather AI designed for society, and perhaps even by society, through participative approaches, community work, and citizen science.My personal AI mission: Making AI comprehensible and beneficial to every stakeholder.

Recuperamos, na esteira de trabalhos apresentados e publicados nos anais das edições 38, 39 e 40 das Reuniões Anuais da Anped, textos que abordam a escola, a educação popular, seus cenários e personagens, na periferia e no campo. Textos que observam a escola que temos e que enunciam pesquisas e propostas para a aquisição e partilha de conhecimentos de forma mais horizontalizada e dialógica. São olhos e olhares para o passado com vistas ao futuro, que na presente proposta de texto (...) somos levados a pensá-los em paralelo às figuras mitológicas de Jano e Sankofa. Partindo do diálogo, passando pela compreensão da não-neutralidade das práticas, pela formação docente permanente, pelo trabalho constante com a diferença, e chegando à reflexão decolonial e contra-hegemônica, os debates presentes nos textos em questão pensam e abordam os limites e possibilidades atravessados pela escola, na tentativa de erigir uma escola mais democrática, humana e afeita à vida. O presente artigo partiu da revisão bibliográfica das publicações do GT6 nos três últimos encontros anuais (2017, 2019 e 2021), aplicando-se sobre eles filtros relativos à escola pública e à educação popular. Buscaram-se confluências, similaridades ou mesmo divergências que apontassem a emergência de um novo paradigma de educação, destoante do modelo hegemônico, afeito às virtudes de uma civilização orientada para o neoliberalismo, para a competitividade e para as necessidades do mercado. Indícios sugestivos nos levam a crer que assuntos caros à educação popular, como questões de gênero e localidade ganharam mais protagonismo, em momentos de forte ataque à escola pública e à educação progressista. (shrink)

Johan Nicolai Madvigs dannelsestanker: en kritisk humanist i den danske romantik (Johan Nicolai Madvig's Thoughts on Cultural Education: A Critical Humanist in Danish Romanticism) encircles the notion of education which has influenced the self-perception of the Danish elite up to the present day. Madvig (1804-1886) has occupied a special position in Danish educational tradition since he in the 1830s formulated an independent suggestion for a cultural education, which proved extremely influential in the development of the learned school in the second (...) half of the 19th century. (shrink)

Name der Zeitschrift: Klio Jahrgang: 98 Heft: 2 Seiten: 769-773.

Growing ecological problems have raised the need for conceptual tools dedicated to studying semiotic processes in cultural-ecological systems. Departing from both ecosemiotics and cultural semiotics, the concept of an ecosemiosphere is proposed to denote the entire complex of semiosis in an ecosystem, including the involvement of human cultural semiosis. More specifically, the ecosemiosphere is a semiotic system comprising all species and their umwelts, alongside the diverse semiotic relations (including humans with their culture) that they have in the given ecosystem, and (...) also the material supporting structures that enable the ecosemiosphere to thrive. Drawing parallels with Juri Lotman’s semiosphere concept, the ecosemiosphere is characterized by its heterogeneity, asymmetry, and boundedness. But unlike Lotman’s concept, the ecosemiosphere is not characterized by an overall boundedness, that is, by the presence of external binary boundaries and the shared identity arising from this unity. The involvement of human culture in the ecosemiosphere manifests in interspecies dialogues and semiotic engagements. We need to scrutinize what affordances and semiotic resources culture could offer to nonhuman species and how culture could, by semiotic means, raise the integrity, stability, and resiliency of the ecosystem. The ecosemiosphere is a grounded semiosphere. (shrink)

We introduce a framework for a graph-theoretic analysis of the semantic paradoxes. Similar frameworks have been recently developed for infinitary propositional languages by Cook and Rabern, Rabern, and Macauley. Our focus, however, will be on the language of first-order arithmetic augmented with a primitive truth predicate. Using Leitgeb’s notion of semantic dependence, we assign reference graphs (rfgs) to the sentences of this language and define a notion of paradoxicality in terms of acceptable decorations of rfgs with truth values. It is (...) shown that this notion of paradoxicality coincides with that of Kripke. In order to track down the structural components of an rfg that are responsible for paradoxicality, we show that any decoration can be obtained in a three-stage process: first, the rfg is unfolded into a tree, second, the tree is decorated with truth values (yielding a dependence tree in the sense of Yablo), and third, the decorated tree is re-collapsed onto the rfg. We show that paradoxicality enters the picture only at stage three. Due to this we can isolate two basic patterns necessary for paradoxicality. Moreover, we conjecture a solution to the characterization problem for dangerous rfgs that amounts to the claim that basically the Liar- and the Yablo graph are the only paradoxical rfgs. Furthermore, we develop signed rfgs that allow us to distinguish between ‘positive’ and ‘negative’ reference and obtain more fine-grained versions of our results for unsigned rfgs. (shrink)

In Vagaries of Desire, Timo Airaksinen develops a new philosophical account of desire understood as mental state that focuses on a desirable possible world. Literary and philosophical themes, including sexuality, are discussed in terms of their metaphoric and metonymic features.

This study adds two new perspectives to the long-running debate regarding the linkage between corporate social performance (CSP) and corporate financial performance (CFP): First, we add the aspect of issue materiality and suggest research to put more emphasis on the question of how individual CSP issues can be assumed to systematically influence the business environment from a theoretical point of view. Second, we highlight the measurement level of the underlying data screens as an important determinant of the actual effects of (...) CSP on CFP. Focusing on climate change, we developed a set of questions that cover a firm’s carbon emissions and carbon management strategies. These questions were included in a questionnaire sent out annually to the 2,500 largest companies by market cap within the Dow Jones Global Index by an independent Swiss-based asset management firm. Our results show that when using carbon emissions as an outcome-based measurement, corporate environmental performance pays off. Conversely, when using carbon management as a process-based measurement, we find a negative relationship between corporate environmental performance and CFP. (shrink)

The theory of the organism-environment system starts with the proposition that in any functional sense organism and environment are inseparable and form only one unitary system. The organism cannot exist without the environment and the environment has descriptive properties only if it is connected to the organism. Although for practical purposes we do separate organism and environment, this common-sense starting point leads in psychological theory to problems which cannot be solved. Therefore, separation of organism and environment cannot be the basis (...) of any scientific explanation of human behavior. The theory leads to a reinterpretation of basic problems in many fields of inquiry and makes possible the definition of mental phenomena without their reduction either to neural or biological activity or to separate mental functions. According to the theory, mental activity is activity of the whole organism-environment system, and the traditional psychological concepts describe only different aspects of organisation of this system. Therefore, mental activity cannot be separated from the nervous system, but the nervous system is only one part of the organism­environment system. This problem will be dealt with in detail in the second part of the article. (shrink)

ArgumentEighteenth-century Montpellerian vitalism and contemporaneous French “vitalist” materialism, exemplified by the medical and biological materialism of La Mettrie and Diderot, differ in some essential aspects from some later forms of vitalism that tended to postulate immaterial vital principles or forces. This article examines the arguments defending the existence of vital properties in living organisms presented in the context of eighteenth-century French materialism. These arguments had recourse to technological metaphors and analogies, mainly clockworks, in order to claim that just as machines (...) can have functional properties which its parts do not possess, so living organisms can, as material entities, also have organic or vital properties which its material parts do not possess. Such arguments, with the help of a healthy dose of epistemological scepticism, tend to strike a balance between two positions concerning the ontology of life which we now tend to label “vitalism” and “emergentism.” Although there is nothing inconsistent in viewing vital properties as emergent, some ambiguity results if one does not draw a clear distinction between properties and functions. The philosophical problems related to these ambiguities are revealed in Diderot's apparent hesitation concerning sentience as “a general property of matter or the product of organization.”. (shrink)

This article presents different semiotic perspectives on biological mimicry, which is considered to be a communicative system consisting of a mimic, a model, and a signal-receiver. Proceeding from the writings of Thomas A. Sebeok, the activity of the mimic and the relationship between mimicry and iconicity are analyzed. From the signal-receiver's perspective, mimicry is described as a probable mistake in recognition and it is characterized by the notion of ambivalent sign. Ambivalent sign is a stable sign structure fiuctuating between one (...) and two signs. On the basis of Jakob von Uexküll's works, mimicry resemblance is described as taking place in animal Umwelten. From this semiotic viewpoint, various examples of abstract resemblance in nature are regarded as ‘resemblance with meaning’ and an alternative explanation to the concept of abstract mimicry is presented. (shrink)

Throughout its history, the relationship of phenomenology to historical reflection has appeared ambiguous. On the one hand, phenomenology—with the help of its founding figures—gave a promise to return from the world-historical speculations of the eighteenth and nineteenth centuries to the phenomenon of lived historicity, that is, to the question of how historical time is experienced within the life of the individual. On the other hand, phenomenology could not resist the temptation to critically reconsider some of the fundamental historical narratives that (...) define our modern self-understanding—narratives that concerned the revolutionary effect of the natural sciences , the birth of the subject .. (shrink)

Intonation plays an integral role in comprehending spoken language. Listeners can rapidly integrate intonational information to predictively map a given pitch accent onto the speaker's likely referential intentions. We use mouse tracking to investigate two questions: (a) how listeners draw predictive inferences based on information from intonation? and (b) how listeners adapt their online interpretation of intonational cues when these are reliable or unreliable? We formulate a novel Bayesian model of rational predictive cue integration and explore predictions derived under a (...) concrete linking hypothesis relating a quantitative notion of evidential strength of a cue to the moment in time, relative to the unfolding speech signal, at which mouse trajectories turn towards the eventually selected option. In order to capture rational belief updates after concrete observations of a speaker's behavior, we formulate and explore an extension of this model that includes the listener's hierarchical beliefs about the speaker's likely production behavior. Our results are compatible with the assumption that listeners rapidly and rationally integrate all available intonational information, that they expect reliable intonational information initially, and that they adapt these initial expectations gradually during exposition to unreliable input. All materials, data, and scripts can be retrieved here: https://osf.io/dnbuk/. (shrink)

Environmental signs as physically manifested signs that we and other animals perceive and interpret in the natural environment are seldom focused on in contemporary semiotics. The aim of the present paper is to highlight the diversity of environmental signs and to propose a typology for analysing them. Combining ecosemiotics and the pragmatist semiotics of C. Peirce and C. Morris, the proposed typology draws its criteria from the properties of the object and the representamen of the sign, and of their relationships. (...) The analysis distinguishes eight basic types of environmental signs and provides examples of these from the natural environment. The typology also integrates existing concepts of environmental affordances, ecofields, phonetic syntax, sign fields, ecological codes, meta-signs and others. In addition to basic types of environmental signs, compound environmental signs are discussed with three types of these distinguished: environmental meta-signs; ecological codes; and environmental-cultural hybrid signs. Further study of compound environmental signs could lead to reconceptualising relations between linguistic and pre-linguistic semiosis. (shrink)

‘Fair trade’, ‘ethical’ and ‘sustainable’ consumption emerged in response to rising concerns about the destructive effects of hedonic models of consumption that are typical of late capitalist societies. Advocates of these ‘markets for virtue’ sought to supplant the insatiable hedonic impulse with a morally restrained, self-disciplining disposition to consumption. With moral markets currently losing their appeal, we respond to the tendency to view hedonism as an inhibitor of moral market behaviour, and view it instead as a potential enabler. Drawing upon (...) the concept of ‘alternative hedonism’ (Soper, J Consum Cult 7:205–229, 2007; Cult Stud 22(5):567–587, 2008; Ethics and morality in consumption: interdisciplinary perspectives, Routledge, London, 2016; A new hedonism: a post-consumerism vision, the next system project, 2017), we illustrate how consumers experience both morality and pleasure concurrently; show how they attempt to reconcile these aspects of the experience and elucidate the implications of doing so. Using the moral market for ethical tourism as an exemplar of ‘alternative hedonism’, we identify three ‘self-managing strategies’—moderating, abiding and levelling—that re-structure the moral order of consumption in meaningful ways and with profound outcomes. In the context of anxieties about personal, social and ecological consequences of consumption, we show empirically how self-managing strategies reify a less contradictory framing of consumption by tapping into alternative cultural discourses on morality. We discuss the consequences of these strategies, highlighting how they may legitimise and sustain consumption via moral markets despite the reproduction of social inequality and ecological threats. (shrink)

The concept of mimesis is not very often used in the contemporary semiotic dialogue. This article introduces several views on this concept, and on the basis of these, mimesis is comprehended as a phenomenon of communication. By highlighting different semantic dimensions of the concept, mimesis is seen as being composed of phases of communication and as such, it is connected with imitation, representation, iconicity and other semiotic concepts.

In Reinhart Koselleck’s history of concepts, the general orientation that concepts are to be understood in their proper contexts is intertwined with the assumption that they are manifestations of particular political conflicts. The essay shows that the dense compound of context and conflict in Koselleck’s thought springs from Carl Schmitt’s political theory and also forms an important point of continuity between Koselleck’s early work and his later methodological writings. The formalized assumption of conflict, somewhat problematically, binds Koselleckian conceptual history to (...) a particular conception of politics, one that sees politics ultimately as struggle and conflict. Once the historical-theoretical contingency of this conception is recognized, it becomes both possible and necessary to reassess the role of conflict in the methodology of conceptual history. (shrink)

The standard view of rationality distinguishes between instrumental rationality and the rationality of ends. We discuss this conception briefly before introducing an alternative theory. According to it, means and ends are interconnected so that the means will produce the ends. In other words, the means are used to shape our ends. We describe and discuss this view, asking whether it can be called rationality. It is clear that this alternative view has many irrational features. But at the same time it (...) is clear that much of our technological culture is based on this view so that also it is hampered by the emerging irrationality. We conclude by discussing the case of genetic engineering as a technology we cannot possibly accept. Its characteristic ends may be of a wrong type. (shrink)

In the current debates about zoosemiotics its relations with the neighbouring disciplines are a relevant topic. The present article aims to analyse the complex relations between zoosemiotics and cognitive ethology with special attention to their establishers: Thomas A. Sebeok and Donald R. Griffin. It is argued that zoosemiotics and cognitive ethology have common roots in comparative studies of animal communication in the early 1960s. For supporting this claim Sebeok’s works are analysed, the classical and philosophical periods of his zoosemiotic views (...) are distinguished and the changing relations between zoosemiotics and cognitive ethology are described. The animal language controversy can be interpreted as the explicit point of divergence of the two paradigms, which, however, is a mere symptom of a deeper cleavage. The analysis brings out later critical differences between Sebeok’s and Griffin’s views on animal cognition and language. This disagreement has been the main reason for the critical reception and later neglect of Sebeok’s works in cognitive ethology. Sebeok’s position in this debate remains, however, paradigmatic, i.e. it proceeds from understanding of the contextualisation of semiotic processes that do not allow treating the animal mind as a distinct entity. As a peculiar parallel to Griffin’s metaphor of “animal mind”, Sebeok develops his understanding of “semiotic self” as a layered structure, characterised by an ability to make distinctions, foremost between itself and the surrounding environment. It appears that the history of zoosemiotics has two layers: in addition to the chronological history starting in 1963, when Sebeok proposed a name for the field, zoosemiotics is also philosophically rooted in Peircean semiotics and German biological philosophy. It is argued that the confrontation between zoosemiotics and cognitive ethology is related to different epistemological approaches and at least partly induced by underlying philosophical traditions. (shrink)

Ricoeur, Culture, and Recognition: A Hermeneutic of Cultural Subjectivity presents Ricoeur’s work from the beginning to its end in form of a cultural theory and proposes a cultural hermeneutic that clarifies the cultural facilitation in a person’s process of attaining a sense of being a human. This exploration of human being as profoundly formed and influenced by the cultural condition also enables a new understanding of intercultural questions by revealing the common human condition that the various cultures manifest.