One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — a prerequisite for provisioning adequate help. In contrast to level-based approaches we propose an ontology-based model, which allows fine-grained modeling of task experience using the concepts of the task domain as granules. The model is semantic in the sense that it allows to take advantage of the relations between concepts to provide (...) novel semantic services and interactions. We present the SACHS (Semantic Annotations for a Controlling Help System, a semantic help system for a spreadsheet-based financial controlling system) software as an exemplary application of the proposed task experience model. (shrink)

Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing , in which an object of interest is viewed in terms of well-understood mathematical structures. The new perspective not only allows to deepen the understanding of e resp. object, it also facilitates new insights. We propose a model for framing in the context of theory graphs, and show how framing can be exploited to enhance the interaction with MKM systems. We (...) use the framing extension of our SACHS system — a semantic help system for MS Excel — as a concrete example. (shrink)

The interest of the field of Mathematical Knowledge Management is predicated on the assumption that by investing into markup or formalization of mathematical knowledge, we can reap benefits in managing (creating, classifying, reusing, verifying, and finding) mathematical theories, statements, and objects. This global value proposition has been used to motivate the pursuit of technologies that can add machine support to these knowledge management tasks. But this (rather naive) technology-centered motivation takes a view merely from the global (macro) perspective, and almost (...) totally disregards the user’s point of view and motivations for using it, the local (micro) perspective. In this paper we go a first step into a more principled analysis of the MKM value proposition by focusing on motivations for mathematical search engines from the micro perspective. We will use a table-based method called the “Added-Value Analysis” (AVA) developed by one of the authors. Even though we apply the AVA only to mathematical search engines, the method quickly leads to value considerations that are relevant for the whole field of MKM. (shrink)

A student's future as a knowledge worker (one who "thinks for a living" with the task of problem solving) is the starting point of this book. With this in mind, the book combines a review of philosophical positions and problems with practical examples and perspectives gained from everyday challenges faced by knowledge workers in their businesses and organizations. Through the use of summative chapters, highlighted key concepts, questions for reflection, and illustrative examples on how to work with the theories presented, (...) the book provides a clear and accessible introduction to this challenging subject. Philosophy of Science primarily addresses students studying language, communication, marketing, economics, and management. However, the survey of the theoretical schools of thought - as well as the discussions on research ethics and the role of research in society - will be equally relevant for other students in the humanities and the natural and social sciences. (shrink)

In this paper, we show that Higher{Order Coloured Uni cation { a form of uni cation developed for automated theorem proving { provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple et al., 1991)'s analysis called for.

Anche se siamo comunemente abituati a pensare alla scienza come a un qualcosa di assolutamente atemporale e indipendente da tutto, in realtà essa è profondamente influenzata dalla cultura e dalla società del tempo in cui vive. Infatti né la scienza è isolabile dalla società, né la società è isolabile dalla scienza, tanto meno come si sta configurando oggi. Per approfondire questi aspetti, esistono però due visioni antagoniste che bisogna superare: secondo la visione scolastica, retaggio del positivismo ottocentesco ancora molto diffuso (...) fra scienziati e pubblico di non esperti, la scienza è conoscenza senza soggetto conoscente. All'opposto, la visione cinica della scienza, sull'onda di talune elaborazioni della sociologia della scienza, la riduce a nient'altro che a una costruzione di soggetti che partecipano al gioco scientifico, una cultura come altre e da "mediare", e comunque una conoscenza relativa, se non frutto di una costruzione puramente soggettiva, arbitraria, ideologica. Un'analisi della costituzione sociale della scienza può, invece, mirare a un'indagine scientifica sulla scienza proprio configurando una relatività della conoscenza che supera sia l'assolutismo idealistico sia il relativismo soggettivistico. (shrink)

Sequences play a great role in mathematical communication. In mathematical notation, we use sequence ellipsis (. . . ) to denote "obvious" sequences like 1, 2, . . . , 7, and in conceptualizations sequence constructors like (i 2+1) i∈N. Furthermore, sequences have a prominent role as argument sequences of flexary functions. While the former cases can adequately be represented and reasoned about as domain objects in Open- Math and MathML, argument sequences are at the language level, and can only (...) be represented, but not reasoned with, since the necessary (sequence-schematic) axioms cannot be represented in the language. (shrink)

The ARXMLIV corpus is a remarkable collection of text containing scientific mathematical discourse. With more than half a million documents, it is an ambitious target for large scale linguistic and semantic analysis, requiring a generalized and distributed approach. In this paper we implement an architecture which solves and automates the issues of knowledge representation and knowledge management, providing an abstraction layer for distributed development of semantic analysis tools. Furthermore, we enable document interaction and visualization and present current implementations of semantic (...) tools and follow-up applications using this architecture. We identify five different stages, or purposes, which such architecture needs to address, encapsulating each in an independent module. These stages are determined by the different properties of the document formats used, as well as the state of processing and linguistic enrichment introduced so far. We discuss the need of migration between XML representations and the challenges it would pose on our system, revealing the benefits and trade-off of each format we employ. In the heart of the architecture lies the Semantic Blackboard module. The Semantic Blackboard comprises a system based on a centralized RDF database which can facilitate distributed corpus analysis of arbitrary applications, or analysis modules. This is achieved by providing a document abstraction layer and a mechanism for storing, reusing and communicating results via RDF stand-off annotations deposited in the central database. Achieving a properly encapsulated and automated pipeline from the input corpus document to a semantically enriched output in a state-of-the-art representation is the task of the Preprocessing, Semantic Result and Output Generation modules. Each of them addresses the task of format migration and enhances the document for further semantic enrichment or aggregation. The fifth module, targeting Visualization and Feedback, enables user interaction and display of different stages of processing.. (shrink)

(2012). Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 295-317. doi: 10.1080/11663081.2012.705962.

Émile Durkheim remains one of the most controversial, and deeply misunderstood, classics of social theory. His work differs from the dominant version of sociology that has essentially accepted the modernist self-description of contemporary societies; and it contradicts the individualism that has come to dominate the social sciences. For everybody who is interested in constructing theoretical alternatives to this individualism, Durkheim's sociology can be a useful inspiration - not only because of the solutions it suggests, but already because of the questions (...) it asks. Making use of the theoretical possibilities offered by the Durkheimian tradition, however, requires going beyond the familiar appropriations. The Oxford Handbook of Émile Durkheim takes stock of the different recent debates on Durkheimian sociology, and makes them accessible to a wide audience spanning various disciplines; this includes crucial debates that, due to language barriers, are not easily accessible for an English-reading public. The handbook's chapters elucidate the controversial key concepts of Durkheimian sociology; situate them within the contemporary political and theoretical debates they were originally responding to; offer surveys of empirical research that uses Durkheimian concepts (on topics that were already central for Durkheim's own work as well as on topics that Durkheim hardly touched upon), thus demonstrating the possibilities of a Durkheimian sociology; bring out the divergent, and competing, ways in which Durkheim's ideas have been appropriated and reformulated within more recent theoretical developments in the social sciences. In doing so, this volume is an important resource for all scholars and students looking to understand Durkheimian sociology. (shrink)

Abstract:We discuss the role that transnational corporations (TNCs) should play in developing global governance, creating a framework of rules and regulations for the global economy. The central issue is whether TNCs should provide global rules and guarantee individual citizenship rights, or instead focus on maximizing profits. First, we describe the problems arising from the globalization process that affect the relationship between public rules and private firms. Next we consider the position of economic and management theories in relation to the social (...) responsibility of the firm. We argue that instrumental stakeholder theory and business and society research can only partially solve the global governance issue, and that more recent concepts of corporate citizenship and republican business ethics deliver theoretically and practically helpful, fresh insights. However, even these need further development, especially with regard to the legitimacy of corporate political activity. (shrink)

Simondon adopts some concepts of social psychology as ‘in group’ and ‘out group’, namely from Kurt Lewin and Gordon Allport, that allow him to describe the fundamental processes shaping the domain of collective individuation, and to challenge Bergson’s distinction between a ‘closed’ community and an ‘open’ society. Reconstructing Simondon’s sources is necessary to understand how he tries to provide an analysis of the social system without presupposing a given anthropology, but rather exploring different perspectives on the human/nature threshold through the (...) concept of transindividual. In his study of the social system Simondon progressively gives conceptual shape to the processes he calls transindividual thanks to the ontogenetic analysis of the phenomena of belief, work and language. In all these domains, a ‘basic community’ emerges just over the threshold of the biological group, where the structural ambivalence of all collective processes as simultaneously closed and open becomes clear. That is why Simondon does not present the concept of the transindividual as a solution to the epistemological problem of psychic and collective individuation, but rather as the ‘field’ in which a whole series of social, biological and technical dimensions can be made converge towards a science of anthropogenic processes. (shrink)

The usage of sorts in first-order automated deduction has brought greater conciseness of representation and a considerable gain in efficiency by reducing the search spaces involved. This suggests that sort information can be employed in higher-order theorem proving with similar results.

Memory of historical trauma has a unique power to generate works of art. This book analyzes the relation of public memory to history, forgetting, and selective memory in Berlin, Buenos Aires, and New York—three late-twentieth-century cities that have confronted major social or political traumas. Berlin experienced the fall of the Berlin Wall and the city’s reemergence as the German capital; Buenos Aires lived through the dictatorships of the 1970s and 1980s and their legacy of state terror and disappearances; and New (...) York City faces a set of public memory issues concerning the symbolic value of Times Square as threatened public space and the daunting task of commemorating and rebuilding after the attack on the World Trade Center. Focusing on the issue of monumentalization in divergent artistic and media practices, the book demonstrates that the transformation of spatial and temporal experience by memory politics is a major cultural effect of globalization. (shrink)

The effort to align MathML 3 and OpenMath has led to a realisation that (pragmatic) MathML’s condition and domainofapplication elements, when used with quantifiers, do not have a neat expression in OpenMath. This paper analyzes the situation focusing on quantifiers and proposes a solution, via six new symbols. Two of them fit completely within the existing OpenMath structure, and we place them in the associated quant3 CD. The others require a generalization of OMBIND. We also propose, logically separately but in (...) the same area, a quant2 CD with existsuniquely, commonly written ∃!, and the ‘fusion’ symbol existsuniquelyin. In a second step we generalize the solution to the phenomenon of big operators that MathML 2 implicitly provides but which do not have a direct counterpart in the OpenMath CDs. (shrink)

One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning of the objects of mathematics”. The open formats OpenMath and MathML address this, but differ subtly in syntax, rigor, and structural viewpoints (notably over calculus). To avoid fragmentation and smooth out interoperability obstacles, effort is under way to align them into a joint format OpenMath/MathML 3. We illustrate the issues that come up in such an (...) alignment by looking at three main areas: bound variables and conditions, calculus (which relates to the previous) and “lifted” n-ary operators. (shrink)

The central contention of this article is that the classificatory scheme of contemporary affective science, with its traditional categories of emotion, anger, fear, and so on, is no longer suitable to the needs of affective science. Unlike psychological constructionists, who have urged the transition from a discrete to a dimensional approach in the study of affective phenomena, I argue that we can stick to a discrete approach as long as we accept that traditional emotion categories will have to be transformed (...) in order to do any scientific work. I conclude by articulating some general rules for turning traditional emotion categories into suitable scientific tools. (shrink)

The aim of this paper is to defend the structural concept of representation, as defined by homomorphisms, against its main objections, namely: logical objections, the objection from misrepresentation, theobjection from failing necessity, and the copy theory objection. The logical objections can be met by reserving the relation ‘to be homomorphic to’ for the explication of potential representation (or, of the representational content). Actual reference objects (‘targets’) of representations are determined by (intentional or causal) representational mechanisms. Appealing to the independence of (...) the dimensions of ‘content’ and ‘target’ also helps to see how the structural concept can cope with misrepresentation. Finally, I argue that homomorphic representations are not necessarily ‘copies’ of their representanda, and thus can convey scientific insight. (shrink)

The paper defends the structural concept of representation, defined by homomorphisms, against the main objections that have been raised against it: Logical objections, the objection from misrepresentation, the objection from failing necessity, and the copy theory objection. Homomorphic representations are not necessarily ‘copies’ of their representanda, and thus can convey scientific insight.

Responsibility as accountability is normally taken to have stricter control conditions than responsibility as attributability. A common way to argue for this claim is to point to differences in the harmfulness of blame involved in these different kinds of responsibility. This paper argues that this explanation does not work once we shift our focus from other-directed blame to self-blame. To blame oneself in the accountability sense is to feel guilt and feeling guilty is to suffer. To blame oneself in the (...) attributability sense, it will be argued, is to feel shame and feeling shame is also to suffer. The different control conditions cannot be explained by a difference in the harm of blame. Instead, this paper argues that accountability and attributability are governed by different kinds of appropriateness: an agent S is accountability blameworthy for X only if S deserves to feel guilty; an agent S is attributability blameworthy for X only if it is fitting that S feels shame for X. (shrink)

This article investigates the hitherto under-examined relations between affirmative action, paternalism and respect. We provide three main arguments. First, we argue that affirmative action initiatives are typically paternalistic and thus disrespectful towards those intended beneficiaries who oppose the initiatives in question. Second, we argue that not introducing affirmative action can also be disrespectful towards these potential beneficiaries because such inaction involves a failure to adequately recognize their moral worth. Third, we argue that the paternalistic disrespect involved in affirmative action is (...) alleviated when the potential beneficiaries’ preferences against such initiatives are adaptive. We conclude that although there is a relevant sense in which paternalistic affirmative action is disrespectful, it may well be more disrespectful not to pursue such policies. (shrink)

The paper defends the structural concept of representation, defined by homomorphisms, against the main objections that have been raised against it: Logical objections, the objection from misrepresentation, the objection from failing necessity, and the copy theory objection. Homomorphic representations are not necessarily ‘copies’ of their representanda, and thus can convey scientific insight.

The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification problem in typed λ-calculi is much more complex than that for first-order terms, since it has to take the theory of αβη-equality into (...) account. As a consequence, the higher-order unification problem is undecidable and sets of solutions need not even always have most general elements that represent them. Thus the mentioned calculi for higher-order logic have take special measures to circumvent the problems posed by the theoretical complexity of higher-order unification. In this paper, we will exemplify the methods and proof- and model-theoretic tools needed for extending first-order automated theorem proving to higherorder logic. For the sake of simplicity take the tableau method as a basis (for a general introduction to first-order tableaux see part I.1) and discuss the higherorder tableau calculi HT and HTE first presented in [19]. The methods in this paper also apply to higher-order resolution calculi [1, 13, 6] or the higher-order matings method of Peter [3], which extend their first-order counterparts in much the same way. Since higher-order calculi cannot be complete for the standard semantics by Gödel’s incompleteness theorem [11], only the weaker notion of Henkin models [12] leads to a meaningful notion of completeness in higher-order logic. It turns out that the calculi in [1, 13, 3, 19] are not Henkin-complete, since they fail to capture the extensionality principles of higher-order logic. We will characterize the deductive power of our calculus HT (which is roughly equivalent to these calculi) by the semantics of functional Σ-models. To arrive at a calculus that is complete with respect to Henkin models, we build on ideas from [6] and augment HT with tableau construction rules that use the extensionality principles in a goal-oriented way.. (shrink)

Der Band repräsentiert in dreißig Einzelbeiträgen den Stand der internationalen Forschung zur frühen Nietzsche-Rezeption.

Affirmative action is standardly pursued in relation to admissions to prestigious universities, in hiring for prestigious jobs, and when it comes to being elected to parliament. Central to these forms of affirmative action is that they have to do with competitive goods. A good is competitive when, if we improve A’s chances of getting the good, we reduce B’s chances of obtaining the good. I call this Competitive Affirmative Action. I distinguish this from Non-competitive Affirmative Action. The latter has to (...) do with non-competitive goods, e.g., being granted early parole or freedom from arbitrary arrest. I argue that some of the most prominent objections against affirmative action—in particular, the reverse discrimination objection and the merit objection—speak less against Non-competitive Affirmative Action. And that some of the most prominent arguments in favor of affirmative action, insofar as they justify Competitive Affirmative Action, also justify Non-competitive Affirmative Action. (shrink)

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve this problem (...) by applying recent methods from sorted logics. This paper presents a resolution calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)

Both Higher-Order Uni cation approaches to In linguistic theories on discourse coherence Kehler, discourse semantics Dalrymple et al., 1991; Shieber et.

In this paper, we propose a regularity theory of causation. The theory aims to be reductive and to align with our pre‐theoretic understanding of the causal relation. We show that our theory can account for a wide range of causal scenarios, including isomorphic scenarios, omissions, and scenarios which suggest that causation is not transitive.

This book explores the relationship between democracy and republicanism, and its consequences; and articulates new theoretical insights into connections between liberty, law and democratic politics.

This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential . These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these (...) theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications. Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered. Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field. (shrink)

The aim of this paper is to defend the structural concept of representation, as defined by homomorphisms, against its main objections, namely: logical objections, the objection from misrepresentation, theobjection from failing necessity, and the copy theory objection. The logical objections can be met by reserving the relation.

We present a content markup language for physics realized by extending the OMDoc format by an infrastructure for the principal concepts of physics: observables, physical systems, and experiments.

People often discriminate based on negative or positive stereotypes about others. Important examples of this are highlighted by the theory of ambivalent sexism. This theory distinguishes sexist stereotypes that are negative (hostile sexism) from those that are positive (benevolent sexism). While both forms of sexism are considered wrong towards women, hostile sexism seems intuitively worse than benevolent sexism. In this article, we ask whether the difference between discriminating based on positive vs. negative stereotypes in itself makes a morally relevant difference. (...) We suggest that it does not. By examining a number of prominent accounts of what makes discrimination wrong, we defend the Moral Irrelevance View according to which stereotype valence is irrelevant to the moral evaluation of discrimination, all else equal. (shrink)

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve this (...) problem by applying recent methods from sorted logics. This paper presents a tableau calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)

This article explores how neutralisation can explain people's lack of commitment to buying Fair Trade products, even when they identify FT as an ethical concern. It examines the theoretical tenets of neutralisation theory and critically assesses its applicability to the purchase of FT products. Exploratory research provides illustrative examples of neutralisation techniques being used in the FT consumer context. A conceptual framework and research propositions delineate the role of neutralisation in explaining the attitude-behaviour discrepancies evident in relation to consumers' FT (...) purchase behaviour, providing direction for further research that will generate new knowledge of consumers' FT purchase behaviour and other aspects of ethical consumer behaviour. (shrink)

Critical algorithm scholarship has demonstrated the difficulties of attributing accountability for the actions and effects of algorithmic systems. In this commentary, we argue that we cannot stop at denouncing the lack of accountability for algorithms and their effects but must engage the broader systems and distributed agencies that algorithmic systems exist within; including standards, regulations, technologies, and social relations. To this end, we explore accountability in “the Generated Detective,” an algorithmically generated comic. Taking up the mantle of detectives ourselves, we (...) investigate accountability in relation to this piece of experimental fiction. We problematize efforts to effect accountability through transparency by undertaking a simple operation: asking for permission to re-publish a set of the algorithmically selected and modified words and images which make the frames of the comic. Recounting this process, we demonstrate slippage between the “complication” of the algorithm and the obscurity of the legal and institutional structures in which it exists. (shrink)

We explore the social context of mathematical knowledge: Even though, the community of mathematicians may look homogeneous from the outside, it is actually structured into various sub-communities that differ in preferred notations, the choice of basic assumptions, or e.g. in the choice of motivating examples. We contend that we cannot manage mathematical knowledge for human recipients if we do not take these factors into account. As a basis for a future extension of MKM systems, we analyze the social context of (...) information in terms of Communities of Practice (CoP; a concept from learning theory) and present a concrete extensional model for CoPs in mathematics. (shrink)