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.

To learn about real world phenomena, scientists have traditionally used models with clearly interpretable elements. However, modern machine learning (ML) models, while powerful predictors, lack this direct elementwise interpretability (e.g. neural network weights). Interpretable machine learning (IML) offers a solution by analyzing models holistically to derive interpretations. Yet, current IML research is focused on auditing ML models rather than leveraging them for scientific inference. Our work bridges this gap, presenting a framework for designing IML methods—termed ’property descriptors’—that illuminate not just (...) the model, but also the phenomenon it represents. We demonstrate that property descriptors, grounded in statistical learning theory, can effectively reveal relevant properties of the joint probability distribution of the observational data. We identify existing IML methods suited for scientific inference and provide a guide for developing new descriptors with quantified epistemic uncertainty. Our framework empowers scientists to harness ML models for inference, and provides directions for future IML research to support scientific understanding. (shrink)

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)

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 this essay Schleiermacher’s recasting of sin is taken as a key to his phenomenological analysis of self-consciousness. The notion of sin is grossly misunderstood if read solely in the light of C...

This article revisits Dolf Sternberger’s 1960 theory, which, in explicit opposition to Carl Schmitt’s friend/enemy thesis, found the essence of politics and the political in peace. The essay contextualizes Sternberger’s propositions by relating them to his immediate post-1945 considerations – such as normalizing domestic politics, jettisoning authoritarianism, and laying the conceptual foundations for the nascent political science – and thereby reconstructs the questions his theory of the political sought to answer. The analysis shows in detail how the key elements of (...) Sternberger’s 1960 theory derived from the late-1940s: rather than reflecting an already normalized political situation or proposing naïve pacifism, Sternberger’s text took political conflicts seriously and provided an outline of a desired but only prospective political peace amidst a crisis. Despite substantial polarity, Sternberger’s view is largely compatible with Schmitt’s theory once we remove context-induced polemics and grave misinterpretations – and carries potential for systematic political theorizing. (shrink)

The year 2017 marks fifteen years for me as a fashion educator in Australia and the United States, nine of those in a full-time capacity. My research has focused on various facets of fashion and sustainability for almost as long. In that time many positive developments have occurred, among them, the 2015 Paris Agreement on climate action and the formation of the Sustainable Apparel Coalition in 2010, to name two. Yet an immense amount of urgent work remains. Wallace-Wells presents an (...) apocalyptic near-future caused by anthropogenic global warming;1 within two weeks the online version of the article became New York Magazine's most read in history. It is worth reading in tandem with Rockström et al.,2 as the latter... (shrink)

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 I examine Axel Honneth’s normative reconstruction of the market as a sphere of social freedom in his 2014 book, Freedom’s Right. Honneth’s position is complex: on the one hand, he acknowledges that modern capitalist societies do not realise social freedom; on the other hand, he insists that the promise of social freedom is implicit in the market sphere. In fact, the latter explains why modern subjects have seen capitalism as legitimate. I will reconstruct Honneth’s conception of social (...) freedom and investigate how it is realised in the sphere in which Honneth sees it most successfully at work, the sphere of interpersonal relations. I then move on to the sphere of the market economy and discuss two related problems of this view that stem from his interpretation of Hegel. Next, I consider Honneth’s method of “normative reconstruction” and his reconstructions of the sphere of consumption and, finally, the labour market. My conclusion will be that market institutions cannot realise social freedom, and that this insight should orient the philosophical direction of critical social theory. (shrink)

In this paper I argue that Adorno's metacritique of freedom in Negative Dialectics and related texts remains fruitful today. I begin with some background on Adorno's conception of ‘metacritique’ and on Kant's conception of freedom, as I understand it. Next, I discuss Adorno's analysis of the experiential content of Kantian freedom, according to which Kant has reified the particular social experience of the early modern bourgeoisie in his conception of unconditioned freedom. Adorno argues against this conception of freedom and suggests (...) that freedom is always conditioned by our embodiment and by our social and historical situation. Finally, I turn to Adorno's criticism of Kant's discussion of freedom and determinism in the Critique of Pure Reason and argue that while his philosophical argument against Kant fails, his metacritical argument remains suggestive. Scepticism about freedom arises when the standpoint of theoretical reason encroaches upon the standpoint of practical reason and assimilates persons to things. (shrink)

So-called identity theories that postulate the identity of mental phenomena with brain states are usually associated with materialistic ontology. However, the historical picture of the actual attempts at spelling out the mind–brain identities is more complex. In the eighteenth century such identities were most enthusiastically proposed by dualists , whereas non-reductionistic materialists such as Diderot tried to get along without them. In the nineteenth century physiologists such as Broca, Charcot and Wernicke, who postulated discrete and localizable neural correlates for ideas (...) and mental images, ended up, despite their professed materialism, defending theories that resembled Cartesian schemes and the theories of their eighteenth-century dualistic predecessors. Some problems resulting from the use of these theoretical models postulating local and discrete traces, images or representations in the brain in the context of materialist ontology are obviously related to their dualistic origins and to the fact that they are necessarily bound up with dualistic presuppositions. In the context of the criticism of the nineteenth-century memory trace paradigm it is, however, important to bear in mind that functional localization as such is not dependent on the notion of localizable representations. Nor are materialist theories of the mind necessarily dependent on postulating specific type–type identities between the mental and the physiological. (shrink)

Objective This study aims to increase self-awareness in patients with Parkinson’s disease (PD) using a newly developed mindfulness-based intervention, tailored for the specific needs of PD patients. Its impact on self-awareness and patients’ daily lives is currently being evaluated. Background Recently, the phenomenon of impaired self-awareness for motor symptoms (ISAm) and some non-motor symptoms has been described in PD. ISAm can negatively influence patients’ daily lives, e.g., by affecting therapy adherence, and is therefore the main focus of this study. The (...) main goal is the development of IPSUM (“Insight into Parkinson’s Disease Symptoms by using Mindfulness”), a PD-specific intervention for increasing patients’ mindfulness and thereby reducing ISAm. Methods The effectiveness of IPSUM is evaluated by comparison of an intervention group with a waitlist-control group. A pre-post design with an additional 8-week follow-up measurement is applied, resulting in three measurement points: before, directly after and 8 weeks after completing the intervention protocol. In total, up to 180 non-depressed PD patients without severe cognitive impairment (non-demented) will be included. The primary outcome is a quantitative score for measuring ISAm. Secondary outcome measures are affective changes, neuropsychological performance and self-awareness of cognition. At pre- and post-measurement an fMRI scan is performed to connect behavioral and neurobiological findings. At post- and follow-up-measurement each patient will take part in a semi-structured interview to explore IPSUM’s impact on self-awareness and patients’ everyday lives. Results The conception of the intervention protocol is finished, the resulting 8-week program is presented in detail. It has successfully been tested in the first group of patients, their feedback so far was quite promising. Recruitment is ongoing and a first interim analysis will be performed once 30 patients have completed IPSUM. Conclusion For the first time, the intervention protocol of IPSUM has successfully been tested in a group of PD patients. As the study goes on, more quantitative data is collected for statistical analyses to evaluate its effectiveness. More qualitative data is collected to evaluate feasibility and effectiveness. We hope for this intervention to be capable of reducing the patients’ ISAm and improving their quality of life on many levels. (shrink)

In diesem Buch werden die wichtigsten musikphilosophischen Grundbegriffe neu definiert. Der Autor entwickelt ein kohärentes Begriffssystem, das die präzise Beschreibung musikalischer Phänomene ermöglicht. Die Untersuchung kulminiert in einer ausdifferenzierten Theorie der musikalischen Improvisation, die deren Erscheinungsformen zum ersten Mal in ihrer Vielgestaltigkeit umfassend charakterisiert und in ihrem systematischen Zusammenhang erläutert.

Volume 17, Issue 5, November 2020, Page 494-509.

Large-scale, interoperable biobanks are an increasingly important asset in today's life science research and, as a result, multiple types of biobanks are being established around the globe with very different financial, organizational and legal set-ups. With interdisciplinary chapters written by lawyers, sociologists, doctors and biobank practitioners, Global Genes, Local Concerns identifies and discusses the most pressing issues in contemporary biobanking.This timely book addresses pressing questions such as: how do national biobanks best contribute to translational research?; What are the opportunities and (...) challenges that current regulations present for translational use of biobanks?; How does inter-biobank coordination and collaboration occur on various levels?; and how could academic and industrial exploitation, ownership and IPR issues be addressed and facilitated? Identifying that biobanks' foundational and operational set-ups should be legally and ethically sound, while at the same time reflecting the hopes and concerns of all the involved stakeholders, this book contributes to the continued development of international biobanking by highlighting and analysing the complexities in this important area of research.Academics in the fields of law and ethics, health law and biomedical law, as well as biobank managers and policymakers will find this insightful book a stimulating and engaging read. (shrink)

Der Band widmet sich der Suche nach einem zur Korrespondenztheorie der Wahrheit alternativen Wahrheitsbegriff. Durch einen solchen Wahrheitsbegriff wird eine Orientierung des Menschen in der Welt moglich, die nicht ein Beharren auf der eigenen Meinung erzwingt, sondern einen Raum eroffnet, in dem sich der Mensch vertrauensvoll auf sein Gegenuber einlassen kann. In einer textnahen Lekture ausgewahlter Schriften Johann Georg Hamanns arbeitet der Autor heraus, wie ein Wahrheitsbegriff aussehen kann, der sich am Anderen orientiert. Dadurch kommen Glaube und Skepsis als Denkmoglichkeiten (...) in den Blick, die als Bewegung zum Anderen hin eine Orientierung des Menschen am Anderen ermoglichen und zugleich eine Theologie in Bewegung erfordern. (shrink)

Felix Trautmann, Das Imaginäre in der Demokratie. Politische Befreiung und das Rätsel der freiwilligen Knechtschaft, Konstanz: Konstanz University Press 2020.

In this paper I criticise Axel Honneth's reactualization of reification as a concept in critical theory in his 2005 Tanner Lectures and argue that he ultimately fails on his own terms. His account is based on two premises: (1) reification is to be taken literally rather than metaphorically, and (2) it is not conceived of as a moral injury but as a social pathology. Honneth concludes that reification is ?forgetfulness of recognition?, more specifically, of antecedent recognition, an emphatic and engaged (...) relationship with oneself, others and the world, which precedes any more concrete relationship both genetically and categorially. I argue against this conception of reification on two grounds. (1) The two premises of Honneth's account cannot be squared with one another. It is not possible to literally take a person as a thing without this being a recognisable moral injury, and, therefore, I suggest that there are no cases of literal reification. (2) Honneth's account is essentially ahistorical, because it is based on an anthropological model of recognition that tacitly equates reification with autism. In conclusion, I suggest that any successful account of reification must (i) take reification metaphorically and (ii) offer a social-historical account of the origin(s) of reification. (shrink)

Through this history the State Museums in Berlin appear in a new light. Berlin's Museum Island was the focus of a discussion about national ownership from the late German Empire until the post-war period. Timo Saalmann discusses the social significance of the interactions between art and politics as well as the role of the Prussian Cultural Heritage Foundation in the Cold War.

Abstract According to Habermas' colonization thesis, reification is a social pathology that arises when the communicative infrastructure of the lifeworld is 'colonized' by money and power. In this paper I argue that, thirty years after the publication of the Theory of Communicative Action, this thesis remains compelling. However, while Habermas offers a functionalist explanation of reification, his normative criticism of it remains largely implicit: he never explains what is wrong with reification from the perspective of the people whose social relations (...) are reified. As a result, Habermas cannot explain why only some forms of colonization lead to reification effects. In particular, he suggests that reification effects result from the juridification of communicatively structured domains of action but not from the commodification of labour power. I criticize this argument and suggest that if the normative dimension of the colonization thesis is made explicit, a more nuanced explanation of reification becomes possible. (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.

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)

The devices with which experimental economists account for and justify their own and their opponents’ views are investigated by examining transcripts of interviews with two participants in experimental economics. The earlier investigations of natural scientists’ discourse provide material for comparisons. The results suggest that in assessing an opponent’s deviating view experimentalists in economics can be more cautious than natural scientists to characterize their opponents as influenced by personal and social factors. Indeed, they seem to admit that to some extent both (...) their own and their opponents’ behavior involves these influences. Regarding the development of disputes, the respondents constructed accounts where general optimism concerning the ability of empirical arguments to resolve disputes was linked with an idea of dialogues between theorists and experimentalists as vehicles of progress. (shrink)