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)

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.

Online controlled experiments, also known as A/B tests, have become ubiquitous. While many practical challenges in running experiments at scale have been thoroughly discussed, the ethical dimension of A/B testing has been neglected. This article fills this gap in the literature by introducing a new, soft ethics and governance framework that explicitly recognizes how the rise of an experimentation culture in industry settings brings not only unprecedented opportunities to businesses but also significant responsibilities. More precisely, the article (a) introduces a (...) set of principles to encourage ethical and responsible experimentation to protect users, customers, and society; (b) argues that ensuring compliance with the proposed principles is a complex challenge unlikely to be addressed by resorting to a one-solution response; (c) discusses the relevance and effectiveness of several mechanisms and policies in educating, governing, and incentivizing companies conducting online controlled experiments; and (d) offers a list of prompting questions specifically designed to help and empower practitioners by stimulating specific ethical deliberations and facilitating coordination among different groups of stakeholders. (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 impact of large digital corporations on our freedom is often lamented but rarely investigated systematically. This paper aims to fill this desideratum by focusing on the power of social media corporations and the freedom of their users. In order to analyze this relationship, I distinguish two forms of freedom and two corresponding forms of power. Social media corporations extend their users’ freedom of choice by providing many new options. This provision, however, comes with the domination by these corporations because (...) it is based on their power of uncontrolled interference. Users could escape this domination through exit. One reason why they do not choose this option is that they would lose the benefits associated with the network effects provided by social media services. A second reason is that the power of social media corporations runs so deep that they are able to manipulate the autonomous decision-making processes of their users. Users are provided with many new avenues for authentic self-presentation on social media. By using them, however, users need to conform to a web interface that is designed by corporations to undermine self-control. Through these two mechanisms, corporations are able to promote an interest in users to present themselves on their platforms. Insofar as this works, they secure the users’ compliance to their domination through subjectivation. This double conjunction of choice and domination, on the one hand, and autonomy and subjectivation, on the other, makes the case that the very power of corporate social media stems from their intrinsic connection to genuine practices of freedom. (shrink)

Sartre’s account of the emotions presupposes a conception of human nature that is never fully articulated. The paper aims to render such conception explicit and to argue that frustration occupies a foundational place in Sartre’s picture of affective existence.

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.

Human-centered explainable AI (HCXAI) advocates for the integration of social aspects into AI explanations. Central to the HCXAI discourse is the Social Transparency (ST) framework, which aims to make the socio-organizational context of AI systems accessible to their users. In this work, we suggest extending the ST framework to address the risks of social misattributions in Large Language Models (LLMs), particularly in sensitive areas like mental health. In fact LLMs, which are remarkably capable of simulating roles and personas, may lead (...) to mismatches between designers' intentions and users' perceptions of social attributes, risking to promote emotional manipulation and dangerous behaviors, cases of epistemic injustice, and unwarranted trust. To address these issues, we propose enhancing the ST framework with a fifth 'W-question' to clarify the specific social attributions assigned to LLMs by its designers and users. This addition aims to bridge the gap between LLM capabilities and user perceptions, promoting the ethically responsible development and use of LLM-based technology. (shrink)

A new and comprehensive look at the reasons behind successful or failed nation building Nation Building presents bold new answers to an age-old question. Why is national integration achieved in some diverse countries, while others are destabilized by political inequality between ethnic groups, contentious politics, or even separatism and ethnic war? Traversing centuries and continents from early nineteenth-century Europe and Asia to Africa from the turn of the twenty-first century to today, Andreas Wimmer delves into the slow-moving forces that encourage (...) political alliances to stretch across ethnic divides and build national unity. Using datasets that cover the entire world and three pairs of case studies, Wimmer's theory of nation building focuses on slow-moving, generational processes: the spread of civil society organizations, linguistic assimilation, and the states' capacity to provide public goods. Wimmer contrasts Switzerland and Belgium to demonstrate how the early development of voluntary organizations enhanced nation building; he examines Botswana and Somalia to illustrate how providing public goods can bring diverse political constituencies together; and he shows that the differences between China and Russia indicate how a shared linguistic space may help build political alliances across ethnic boundaries. Wimmer then reveals, based on the statistical analysis of large-scale datasets, that these mechanisms are at work around the world and explain nation building better than competing arguments such as democratic governance or colonial legacies. He also shows that when political alliances crosscut ethnic divides and when most ethnic communities are represented at the highest levels of government, the general populace will identify with the nation and its symbols, further deepening national political integration. Offering a long-term historical perspective and global outlook, Nation Building sheds important new light on the challenges of political integration in diverse countries. (shrink)

This chapter contains section titled: Introduction:the European Union and the Law of Peoples The Argument of Law of Peoples Standards and Grounds for International Stability Human Rights in Federations The Argument of Law of Peoples for Inter‐people Inequality Distributive Justice in Federations Federal and Global Implications Toleration and Stability Reconsidered Acknowledgments Notes.

A growing number of consumer technology companies are aiming to convince older people that humanoid robots make helpful tools to support aging-in-place. As hybrid devices, socially assistive robots (SARs) are situated between health monitoring tools, familiar digital assistants, security aids, and more advanced AI-powered devices. Consequently, they implicate older people’s privacy in complex ways. Such devices are marketed to perform functions common to smart speakers (e.g., Amazon Echo) and smart home platforms (e.g., Google Home), while other functions are more specific (...) to older people, including health and safety monitoring and serving as companions to mitigate loneliness. Privacy is a key value central to debates about the ethics of using SARs in aged care, yet there has been very little interchange between these debates and the robust theoretical discussion in the legal literature about the future of privacy and AI governance. Drawing on two qualitative studies of older people’s views on consumer SARs, the paper contributes novel findings about older people’s thinking on privacy and data governance at the intersection of their experiences with present day digital technologies and projections for future AI systems, and places their views in dialogue with debates about the future of privacy protection and AI governance. (shrink)

One of the most enigmatic and inevitably most suggestive words that Hölderlin’s philosophical work delivers to us is the neologism introduced in the summer of 1799: aorgisch, aorgic. A principle that is both ontological and mimetic, the aorgic undoubtedly represents the presence of the sublime in Hölderlin, albeit concealed terminologically, but also a particular declination that makes it not always easy to assimilate to the theories of the eighteenth-century and romantic sublime. This paper attempts to probe the role played by (...) the aorgic in the configuration of an aesthetics of the tragic by considering two precise moments: the writing, Grund zum Empedokles, which seeks to give speculative legitimacy to the unfinished tragedy on Empedocles, and the notes that accompanied the translations of Sophocles that Hölderlin published in 1804. Interpreted as the dimension of the formless, but also of the possible, the aorgic is necessarily thought by Hölderlin always next to its opposite pole, the organic, that is the dimension of the human in the broad sense (art, culture, history). The relationship between these two poles is not only dialectical, along the lines of Fichte’s Wechselwirkung, but also analogical, recovering that relationship between physis and techne that Aristotle had already indicated in the second book of Physics. The aorgic therefore represents the necessary alienation to which nature is subjected in order to become culture (or art), a passage that, from the point of view of traditional aesthetic categories, could be read as the transition from the (natural) unrepresentability of the sublime to the (cultural) configuration of the beautiful: from chaos to form. (shrink)

Powers, capacities and dispositions (in what follows I will use these terms synonymously) have become prominent in recent debates in metaphysics, philosophy of science and other areas of philosophy. In this paper I will analyse in some detail a well-known argument from scientific practice to the existence of powers/capacities/dispositions. According to this argument the practice of extrapolating scientific knowledge from one kind of situation to a different kind of situation requires a specific interpretation of laws of nature, namely as attributing (...) dispositions to systems. My main interest will be to discuss what characteristics these dispositions need to have in order to account for the scientific practice in question. I will furthermore assess whether the introduction of dispositions in the context of the extrapolation argument can be described as a ‘revitalization’ or as a ‘return’ to those notions repudiated by early modern philosophers. More particularly I will argue for the following claims: I. In repudiating scholastic terminology, including substantial forms with their causal powers, post-cartesian philosophers focussed on a concept of causation that was much stronger than 21st century conceptions of causation. For this reason alone, whatever ‘causal’ is supposed to mean in today’s causal powers, embracing causal powers is not a simple return to a pre-cartesian notion. II. The dispositions presupposed in scientific practice need not (and should not) be construed in causal terms (whether strong or weak). III. While some early modern philosophers contrasted the characterisation of the natural world in terms of substantial forms (and their causal powers) on the one hand and a mathematical characterization on the other and suggested that these approaches are incompatible, the dispositions postulated by the extrapolation argument to account for scientific practice are themselves characterized in mathematical terms. More precisely: The behaviour the systems are disposed to display is – at least in physics – often characterized in mathematical terms. IV. The dispositions assumed in the law-statements in scientific practice are determinable rather than determinate properties. (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.

Edmund Husserl is regarded as the founder of transcendental phenomenology, one of the major traditions to emerge in twentieth-century philosophy. In this book Andrea Staiti unearths and examines the deep theoretical links between Husserl's phenomenology and the philosophical debates of his time, showing how his thought developed in response to the conflicting demands of Neo-Kantianism and life-philosophy. Drawing on the work of thinkers including Heinrich Rickert, Wilhelm Dilthey and Georg Simmel, as well as Husserl's writings on the natural and (...) human sciences that are not available in English translation, Staiti illuminates a crucial chapter in the history of twentieth-century philosophy and enriches our understanding of Husserl's thought. His book will interest scholars and students of Husserl, phenomenology, and twentieth-century philosophy more generally. (shrink)

We argue that there are three coherent, nontrivial notions of basic-ness: conceptual basic-ness, biological basic-ness, and psychological basic-ness. There is considerable evidence for conceptually basic emotion categories (e.g., “anger,” “fear”). These categories do not designate biologically basic emotions, but some forms of anger, fear, and so on that are biologically basic in a sense we will specify. Finally, two notions of psychological basic-ness are distinguished, and the evidence for them is evaluated. The framework we offer acknowledges the force of some (...) of the objections to basic emotion theory whilst demonstrating that the notion of a basic emotion, once properly reformulated, is still of scientific value. (shrink)

In den letzten Jahren hat sich eine Vielfalt unterschiedlicher Gremien zur Ethikberatung entwickelt: vom Konsil mit einem einzelnen Berater bis zum Ethikkomitee. In dem Band werden die Ethikberatung, ihre Entwicklung und Anwendung, sowie die Gründung von Gremien in Krankenhäusern, Pflegeeinrichtungen, Hospizen und von niedergelassenen Ärzten anhand von Fallbeispielen erläutert. Dabei schlagen die Autoren eine Brücke zwischen traditioneller philosophischer Ethik und anwendungsbezogener klinischer Ethik. Auch rechtliche Fragen werden erörtert.

This chapter contains sections titled: Introduction Nihilism Skepticism Nihilism and Skepticism.

Epistemische Tugenden sind Eigenschaften des forschenden Subjekts, die in wissenschaftlichen Kulturen als Bedingung fur die Produktion, Vermittlung oder den Erwerb von Wissen angesehen werden. Sie lassen sich nicht auf ein abstraktes Sollen reduzieren, wie es oft von Ethikkommissionen oder politischen Bewegungen an die Wissenschaft herangetragen wird. Die methodische Erzeugung von Wissen ware kaum moglich, wenn es nicht erkenntnisfordernde Tugenden wie Geduld, Aufmerksamkeit, Genauigkeit, Intuition, Wahrhaftigkeit, Neugierde, Strenge oder Zuverlassigkeit gabe, die den an sich prekaren Erkenntnisprozess stabilisieren und in eine bestimmte (...) Richtung lenken. Die Beitrage dieses Sammelbandes befassen sich mit epistemischen Tugenden aus (wissenschafts-)historischer, philosophischer, medien- und literaturwissenschaftlicher Perspektive. Ein Schwerpunkt liegt dabei auf dem Verhaltnis von wissenschaftlichen und soziokulturellen beziehungsweise moralischen Normen. Mit Beitragen von: Lorraine Daston, Martin Doll, Andreas Gelhard, Raymond Geuss, Ruben Hackler, Michael Hagner, Jens Kertscher, Markus Krajewski, Marcel Lepper, Martin Mulsow, Oliver Nievergelt, Tanja Paulitz, Robert Proctor, Katja Sabisch, Sandro Zanetti, Cornelia Zumbusch. (shrink)

This paper offers a theory of spatial indexicals like _here_ and _there_ on which such expressions are variables associated with presuppositional constraints on their values. I show how this view handles both referential and bound uses of these indexicals, and I propose an account of what counts as the location of the context on a given occasion. The latter is seen to explain a wide range of facts about what the spatial indexicals can refer to.

Research on the ethics of algorithms has grown substantially over the past decade. Alongside the exponential development and application of machine learning algorithms, new ethical problems and solutions relating to their ubiquitous use in society have been proposed. This article builds on a review of the ethics of algorithms published in 2016, 2016). The goals are to contribute to the debate on the identification and analysis of the ethical implications of algorithms, to provide an updated analysis of epistemic and normative (...) concerns, and to offer actionable guidance for the governance of the design, development and deployment of algorithms. (shrink)

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.

El fenómeno originario de la pertenencia explicita uno de los problemas fundamentales de la tradición filosófica continental: la relación cuerpo-mundo. Dicha relación se ha construido tradicionalmente a partir de la propia mismidad del sujeto (Yo) o de su corporalidad, afirmando que es porque tengo un cuerpo que puedo decir que pertenezco a un mundo. Ante esta problemática se alza una fenomenología de la pertenencia propuesta por R. Barbaras, la cual expresa la necesidad de re-pensar la concepción de la subjetividad, así (...) como la necesidad de una inversión en la relación cuerpo-mundo a partir de la pertenencia al mundo del propio sujeto. Ahí es donde aparece el verdadero sentido y alcance ontológico de la experiencia del cuerpo puesto que tener un cuerpo no significa otra cosa más que pertenecer y la aparición sólo podrá darse desde dentro del mundo, a partir de nuestra inscripción en él. Así, la ecología corporal constituirá un ejemplo específico que muestra el alcance de dicha inversión y explicitará el parentesco ontológico entre el cuerpo y el mundo. (shrink)

Research on the ethics of algorithms has grown substantially over the past decade. Alongside the exponential development and application of machine learning algorithms, new ethical problems and solutions relating to their ubiquitous use in society have been proposed. This article builds on a review of the ethics of algorithms published in 2016, 2016). The goals are to contribute to the debate on the identification and analysis of the ethical implications of algorithms, to provide an updated analysis of epistemic and normative (...) concerns, and to offer actionable guidance for the governance of the design, development and deployment of algorithms. (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)

Armstrong famously argued in favour of introducing totality facts in our ontology. Contrary to fully negative (absence) facts, totality facts yield a theory of “moderate” or “partial” negativity, which allegedly provides an elegant solution to the truthmaking problem of negative claims and, at the same time, avoids postulating (many) first-order absences. Friends of totality facts argue that partial negativity is (i) tolerable vis-à-vis the Eleatic principle qua mark of the real, and (ii) achieves a significant advantage in terms of ontological (...) parsimony. But are totality facts, which are partially negative, really more ontologically acceptable than fully negative facts? In this paper, we argue that, comparatively, the case for totality facts is weaker than commonly assumed and that, ultimately, the answer is negative. (shrink)

According to Arti Dhand, it can be argued that all Indian ethics have been primarily virtue ethics. Many have indeed jumped on the virtue bandwagon, providing prima facie interpretations of Hindu, Jain, and Buddhist canons in virtue terms. Others have expressed firm skepticism, claiming that virtues are not proven to be grounded in the nature of things and that, ultimately, the appeal to virtue might just well be a mere façon de parler. In this paper, we aim to advance the (...) discussion of Indian virtue ethics. Our intent is not to provide a catch-all interpretation of the different Indian schools. Our goal is, more modestly, to offer a theory of virtues in Indian philosophies, as a framework for theorists and interpreters who see these diverse traditions as amenable to systematic virtue analysis. Our theory grounds virtues in the reality of genuine moral dispositions and in a system of beliefs where morality is understood as transformative in nature. (shrink)

"Klug werden heißt nach alledem, sich öffnen können für die Erfahrung der eigenen Möglichkeiten und der Bescheidung auf sie." Ein spannendes und flüssig geschriebenes Buch zum philosophischen Thema Klugheit. Die Analyse verschiedener Klugheitskonzepte von Aristoteles bis in die Neuzeit führt Andreas Luckner zu der Erkenntnis, dass Klugheit gerade für moralphilosophische Überlegungen relevant ist - im Gegensatz zur weit verbreiteten Auffassung, Klugheit stehe in Opposition zu moralischem Denken und Handeln. Pluspunkte besonders flüssig und lesbar geschrieben müheloser Einstieg in die Tiefen der (...) Problematik anhand anschaulicher Beispiele aus dem Alltag Entwurf eines modernen Klugheitsbegriffs auf der Basis von Orientierung und Vertrauen in der Begegnung mit der Welt. (shrink)

Dieser Band wirft ein neues Licht auf Byzanz - als geographischen, aber vor allem als kulturellen Knotenpunkt. Denn wie kaum eine andere Region ist Byzantium über gut ein Jahrtausend durch seine ebenso zentrale wie fragile geographische Lage, aber auch durch sein Prestige wichtig für die Begegnung von Kulturen, Personen und Institutionen rund um das Mittelmeer. Hierbei stellt sich aus byzantinischer Perspektive die "antike" und "mittelalterliche" Welt als ein in wesentlichen Zügen kontinuierlicher Kulturraum dar, der bis an die Schwelle der Neuzeit (...) reicht und sich vor allem durch seine große Rezeptivität auszeichnet. Thematisiert werden daher vor allem die Wechselseitigkeit kultureller und epistemischer Rezeptions- und Transformationsprozesse und ihre jeweiligen Wissensformen. Diese Wissensformen beziehen sich auf die Ordnungsstrukturen, die der Erkenntnis und den Wissenschaften, der Sprache und medialen Repräsentation sowie den institutionellen und soziologischen Bedingungen zugrundeliegen, sowie auf die diesen korrespondierenden Gegenstände des Wissens. In diesem Austausch begegnet Byzanz auch den transformierten Spuren, welche die griechische Kultur zuvor bei ihren eifrigen Nachahmern hinterlassen hat. (shrink)

Introduced by the British philosopher Philippa Foot, the trolley problem asks us to imagine a runaway trolley heading toward five unfortunate workmen. They can only be saved from being crushed and killed if the trolley is diverted to a side track, occupied by a sixth unfortunate workman who would meet the same fate. For the early Michael, a demon torturer and architect of the human afterlife, the 'problem' here is how we could manage to kill all six workmen. But, in (...) line with what may be The Good Place's most dominant moral theme, even an immortal demon torturer can learn human ethics. After he has learned what it means to face a moral dilemma, Michael claims to have solved the (real) trolley problem: you should sacrifice yourself. Although self-sacrifice is not an available option in the set up of the original trolley problem, this article argues that self-sacrifice might still have normative implications for our judgements about different kinds of trolley cases. (shrink)

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)

Frank Sibley's ideas have been particularly influential among contemporary philosophers interested in aesthetics. Most studies, however, have focused only on his earlier works. In this essay, I explore Sibley's account of the adjectives ‘beautiful’ and ‘ugly’, paying particular attention to three papers that have only recently been published and that have not yet received adequate attention. In particular, I discuss his account of the adjective ‘beautiful’, which relies on the controversial notion of an aesthetic ideal. In addition, I discuss an (...) account of how aesthetic judgements may change in relation to our coming to know the kind of object being judged and whether, as Sibley maintains, ‘beautiful’ and ‘ugly’ are asymmetric in the sense specified by the author. (shrink)

In the third part of the Ethics, Spinoza provides a naturalistic picture of human psychology. Spinoza's account distinguishes between active and passive affects. This chapter discusses how Spinoza's theory of affects demonstrates that the self with which human individuals identify in daily life is the result of a complex and constantly on‐going imaginative construction shaped by desires and causal interactions with other individuals and external causes. The core of the affective field is occupied by desire, which is the expression of (...) the individual's conatus to persevere in its own existence. The whole social world arises as a product of the imaginative desire of the mind. Spinoza's account of the affects shows how both of these ideas originate from the complex interplay of affective conditionings and external causes, structured and shaped in the affective field produced by each individual's desiderative imagination. (shrink)

This chapter contains sections titled: Information and the Veridicality Thesis Information as a Mongrel Concept Natural Information Without Truth Nonnatural Information: The Case for the Veridicality Thesis Nonnatural Information Without Truth An Objection Conclusion Acknowledgments References.

In the films of the Alien franchise featuring Sigourney Weaver, Ripley's maternal instinct is an integral part of who she is as both survivor and protector—and as a destroyer, too. In Alien, Ripley's misplaced maternal instincts save her from the death‐by‐alien that is the fate of her crew mates as she hurries off in search of the ship's resident cat, Jones. When Ripley hears Jonesy's meow, she responds like a mother to a crying baby. Ridley Scott's Alien begins with an (...) image of near‐naked bodies in capsules, awakening from sleep, slightly dazed, slightly confused—intimating birth, or rebirth. In her theory, Stone harks back to the approach of psychoanalysis, claiming that each experience of motherhood repeats the mother's own infantile past and her own traumatic separation from the maternal body. In Alien: Resurrection, Ripley is reclaimed through a purposeful symbiosis of mother and child; human and alien; self and “other”. (shrink)

This chapter contains sections titled: Transformation and the Negativity and Discontinuity in Learning Recognising the other as learner: On Peters' Concept of the Teacher as Educator World as Other: Transformative Encounters with the World as a Challenge to Teacher and Learner Implications for Teaching On the Indispensability of Philosophy of Education for Teacher Education Conclusions Notes References.