This paper looks at philosophical questions that arise in the context of AI alignment. It defends three propositions. First, normative and technical aspects of the AI alignment problem are interrelated, creating space for productive engagement between people working in both domains. Second, it is important to be clear about the goal of alignment. There are significant differences between AI that aligns with instructions, intentions, revealed preferences, ideal preferences, interests and values. A principle-based approach to AI alignment, which combines these elements (...) in a systematic way, has considerable advantages in this context. Third, the central challenge for theorists is not to identify ‘true’ moral principles for AI; rather, it is to identify fair principles for alignment that receive reflective endorsement despite widespread variation in people’s moral beliefs. The final part of the paper explores three ways in which fair principles for AI alignment could potentially be identified. (shrink)

The book, written in a clear, engaging style, contains four chapters.

We look at recent accounts of the indefinite extensibility of the concept set and compare them with a certain linguistic model of indefinite extensibility. We suggest that the linguistic model has much to recommend over alternative accounts of indefinite extensibility, and we defend it against three prima facie objections.

I would like to discuss the claim that the resources of plural reference and plural quantification are sufficient for the purpose of paraphrasing all ordinary statements apparently concerned with composite material objects into plural statements concerned exclusively with simples.

The Russell–Myhill theorem threatens a familiar structured conception of propositions according to which two sentences express the same proposition only if they share the same syntactic structure and their corresponding syntactic constituents share the same semantic value. Given the role of the principle of universal instantiation in the derivation of the theorem in simple type theory, one may hope to rehabilitate the core of the structured view of propositions in ramified type theory, where the principle is systematically restricted. We suggest (...) otherwise. The ramified core of the structured theory of propositions remains inconsistent in ramified type theory augmented with axioms of reducibility. This is significant because reducibility has been thought to be perfectly consistent with the ramified approach to the intensional antinomies. Nor is the addition of reducibility to ramified type theory sufficient to restore other intensional puzzles such as Prior’s paradox or Kripke’s puzzle about time and thought. (shrink)

Two semantic theories of proper names are explained and assessed. The theories are Burge’s treatment of proper names as complex demonstratives and Larson and Segal’s quasi-descriptivist account of names. The two theories are evaluated for empirical plausibility. Data from deficits, processing models, developmental studies and syntax are all discussed. It is concluded that neither theory is fully confirmed or refuted by the data, but that Larson and Segal’s theory has more empirical plausibility.

The doctrine that whatever could exist does exist leads to a proliferation of possibly concrete objects given certain principles of recombination. If, for example, there could have been a large infinite number of concrete objects, then there is at least the same number of possibly concrete objects in existence. And further cardinality considerations point to a tension between the preceding doctrine and the Cantorian conception of the absolutely infinite. This paper develops a parallel problem for a variety of possible worlds (...) accounts of modality which eschew the commitment to a plethora of possibly concrete objects. Moreover, the difficulty is importantly different from more familiar threats of paradox exemplified by certain descendants of Russell's paradox of propositions and Kaplan's paradox. (shrink)

Ethical issues at the workplace have once again become topical and important due to considerable adverse publicity surrounding reports of unethical business practices by corporate managers. Accordingly, this paper re-visits the question of whether gender, age and work experience do have an effect on ethical judgement, using 655 business students as respondents. This is necessary as business students are likely to become managers during their career and will face complex ethical concerns and dilemmas in their daily, routine affairs. The findings (...) currently demonstrate that females are more ethically aware than their male counterparts – that is, there are differences between males and females regarding ethical judgement. There is also evidence to suggest that age is a factor that does impact on ethical judgement. However, we also found evidence to suggest that in some cases, the age factor does not necessarily have a significant impact on ethical awareness. The results further indicate that there is a difference in ethical judgement related to work experience. However, at the same time, in one question there is no evidence to suggest the claim that work experience does impact significantly on ethical judgement. Overall, it appears that ethical awareness does increase alongside work experience. (shrink)

This article is a libertarian critique of incest laws. On the basis of the libertarian “harm principle”, one must ask what exactly is the harm that incest brings forth. Traditionally, anthropologists have tried to rationalize the incest taboo in various theories, and lawmakers have used these principles as grounds for the criminalization of incest. These principles are the preservation of family structure, the enhancement of alliances and the avoidance of genetic risks. While I acknowledge that these rationalizations are plausible, I (...) argue that they are still not sufficient grounds for the preservation of incest laws, and consequently, there is an ethical need to reform them. (shrink)

Independence‐Friendly logic introduced by Hintikka and Sandu studies patterns of dependence and independence of quantifiers which exceed those found in ordinary first‐order logic. The present survey focuses on the game‐theoretical interpretation of IF‐logic, including connections to solution concepts in classical game theory, but we shall also present its compositional interpretation together with its connections to notions of dependence and dependence between terms.

This paper looks at the question of what regions of space are possibly exactly occupied by a material object.

Philosopher, c’est, pense-t-on, faire de l’histoire de la philosophie ; c’est lire et interpréter les textes canoniques des grands penseurs de la tradition européenne en suivant l’enchaînement des idées depuis les Grecs anciens. Cette manière de pratiquer la philosophie est devenue tellement naturelle qu’elle en a oublié sa propre historicité. D’où la nécessité de la mettre en évidence en examinant de près ses multiples conséquences. C’est justement un des objectifs de l’analytique des pratiques philosophiques entreprise dans le présent ouvrage. -/- (...) Ce livre propose en même temps une logique historique et herméneutique alternative s’inscrivant en faux contre la philosophie contemporaine, notamment dans ses diverses tentatives de « rupture », plus ou moins superficielles sur le plan pratique. Dans un dialogue avec les sciences humaines et sociales, il reprend à nouveaux frais et d’un tout autre point de vue les trois moments privilégiés de notre histoire de « la » philosophie (le commencement, le tournant moderne, le moment présent). Ne visant pourtant pas à entériner la réduction de la philosophie à une pratique historique et herméneutique, il s’agit avant tout de mettre en lumière la contingence d’une telle détermination afin de déplacer les marges de manœuvre imposées aux penseurs d’aujourd’hui et faire de la place à d’autres pratiques théoriques (qu’elles soient historiques et herméneutiques ou non). Le résultat, c’est une investigation méthodologique dont les enjeux et les conséquences dépassent de loin les limites de la philosophie dans son acceptation traditionnelle. -/- Approximate English Translation: -/- Philosophy, we tend to think, amounts to doing the history of philosophy, to reading and interpreting the canonical texts of the great thinkers of the European tradition, following the sequence of ideas since the ancient Greeks. This way of practicing philosophy has become so natural—at least within the ‘continental’ tradition—that it has forgotten its own historicity. It is for this reason that it is necessary to bring it to light by examining its multiple consequences. This is precisely one of the objectives of the analytic of philosophic practices undertaken in the present work. -/- This book proposes, at the same time, an alternative historical and hermeneutic logic that critically distances itself from contemporary philosophy, particularly in its diverse attempts to propose a “rupture,” which remain more or less superficial at a practical level. In dialogue with the social and human sciences, it reassesses, from an entirely different point of view, the three privileged moments of our supposed history of philosophy (the beginning, the modern turn, the present moment). It does not aim, however, at endorsing the reduction of philosophy to a historical and hermeneutic practice. It is above all a matter of bringing to light the contingency of such a determination in order to displace the margins of maneuverability imposed on thinkers today and to make room for other theoretical practices (if they be historical and hermeneutic or not). The result is a methodological investigation whose stakes and consequences far surpass the limits of philosophy as it is traditionally understood. (shrink)

While much has been written on phronesis, there is a dearth of empirical work on the how the concept can be developed and implemented in practice, particularly in an educational setting. To address this problem, characteristics of phronesis were identified through a review of current literature and an examination of related themes from a special issue of the Philosophy of Management Journal on the philosophy of innovation. The implementation of the concept was investigated using an illustrative study of ongoing work (...) aimed at embedding phronesis in an innovation educational module. The study will contribute to the nascent debate by providing evidence of embedding Aristotle’s phronesis in the curriculum of future managers, in this case Engineering and Business students, working in cross-functional teams. A schema is proposed, based on concepts distilled from the literature and the illustrative study, to examine whether an educational project cultivates phronesis among the students. (shrink)

Tagging is the phenomenon in which regions of a picture, map, or diagram are annotated with words or other symbols, to provide descriptive information about a depicted object. The interpretive principles that govern tagged images are not well understood, due in part to the difficulty of integrating pictorial and linguistic semantic rules. Rather than directly combining these rules, I propose to use the framework of perspectival feature maps as an intermediary representation of content, in which the outputs of pictorial and (...) linguistic interpretation may be assimilated. The result is a simple and compositional semantics for tagged images. (shrink)

We introduce several senses of the principle ofcompositionality. We illustrate the difference between them with thehelp of some recent results obtained by Cameron and Hodges oncompositional semantics for languages of imperfect information.

We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type p over a set B does not divide over $C\subseteq B$, then no extension of p to a complete type over $\operatorname {acl}(B)$ divides over C. Two of our examples are also the first known theories where all sets are extension bases for nonforking, but forking and dividing differ for complete types (answering a question of Adler). One example is an $\mathrm {NSOP}_1$ theory (...) with a complete type that forks, but does not divide, over a model (answering a question of d’Elbée). Moreover, dividing independence fails to imply M-independence in this example (which refutes another folklore claim). In addition to these counterexamples, we summarize various related properties of dividing that are still true. We also address consequences for previous literature, including an earlier unpublished result about forking and dividing in free amalgamation theories, and some claims about dividing in the theory of generic $K_{m,n}$ -free incidence structures. (shrink)

In this paper we show that first-order languages extended with partially ordered connectives and partially ordered quantifiers define, under a certain interpretation, their own truth-predicate. The interpretation in question is in terms of games of imperfect information. This result is compared with those of Kripke and Feferman.

In [12], Ernst Zermelo described a succession of models for the axioms of set theory as initial segments of a cumulative hierarchy of levelsUαVα. The recursive definition of theVα's is:Thus, a little reflection on the axioms of Zermelo-Fraenkel set theory shows thatVω, the first transfinite level of the hierarchy, is a model of all the axioms ofZFwith the exception of the axiom of infinity. And, in general, one finds that ifκis a strongly inaccessible ordinal, thenVκis a model of all of (...) the axioms ofZF. Doubtless, when cast as a first-order theory,ZFdoes not characterize the structures 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal, by the Löwenheim-Skolem theorem. Still, one of the main achievements of [12] consisted in establishing that a characterization of these models can be attained when one ventures into second-order logic. For let second-orderZFbe, as usual, the theory that results fromZFwhen the axiom schema of replacement is replaced by its second-order universal closure. Then, it is a remarkable result due to Zermelo that second-orderZFcan only be satisfied in models of the form 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal. (shrink)

We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.

Atomism is the thesis that every object is composed of atoms. This principle is generally regimented by means of an atomicity axiom according to which every object has atomic parts. But there appears to be a sense that something is amiss with atomistic mereology. We look at three concerns, which, while importantly different, involve infinite descending chains of proper parts and have led some to question standard formalizations of atomism and composition in mereology.

La singularité de la démarche philosophique de Gabriel Marcel vient de ce qu'elle renoue avec ses origines socratiques ; elle se fonde résolument sur le concret, c'est-à-dire le corps-propre (par oposition au corps-objet ou instrument), la sensation traitée comme manière d'être au monde plutôt que comme message, la mémoire, la volonté.

A lot of philosophical energy has been devoted recently in trying to determine if mathematics can contribute to our understanding of physical phenomena. Not many philosophers are interested, though, if the converse makes sense, i.e., if our cognitive interaction (scientific or otherwise) with the physical world can be helpful (in an explanatory or non-explanatory way) in our efforts to make sense of mathematical facts. My aim in this paper is to try to fill this important lacuna in the recent literature. (...) My answer to the question of this paper is negative. As I will argue, there are serious problems with the main reasons for believing in the first place that it is possible to have physical understanding of mathematical facts. (shrink)

In this highly original book, Markus Gabriel presents 'Neo-Existentialism', an anti-naturalist view that holds that human mindedness consists in an open-ended proliferation of mentalistic vocabularies. Challenged by Charles Taylor, Andrea Kern and Jocelyn Benoist, Gabriel deftly refutes naturalism's metaphysical claim to epistemic exclusiveness.

This paper tries to link Ethology to Biosemiotics by analysing the similarities between some triadic relationships like biosemiotics’ Object—Representamen—Interpretant and the one established in Ethology between Sign-stimuli— Innate Releasing Mechanism—Modal Action Pattern, or the one potentially established in communication networks comprising Sender—Receiver—Eavesdropper. I argue here that a collaborative relationship is supported by the fact that the observational method used by Ethology is based on the triadic relationship Sender—Receiver—Eavesdropper. This method, by introducing the human observer at the Interpreter/Eavesdropper place, is not (...) only applicable to the direct study of animal communication, but also to the interpretation of all other animal behaviour by assuming that behaviour is a sign/signal system on its own, for us to interpret and decode. (shrink)

O conceito de acontecimento é um dos temas centrais do pensamento de Heidegger e oferece um fio condutor para a compreensão de sua obra. Este artigo mostra como a gênese deste conceito está diretamente relacionada à transformação da fenomenologia empreendida por Heidegger ao longo de suas primeiras preleções em Freiburg e fornece algumas indicações sobre a importância deste tópico para o desenvolvimento da ontologia fundamental em Ser e tempo. Nossa análise se divide em três partes. Em primeiro lugar, abordamos a (...) relação entre a intencionalidade e mundo. O nexo do mundo é o espaço de constituição primário da experiência intencional. Essa relação aponta para a crítica de Heidegger à abstração da ontologia formal e para a estrutura do acontecimento como o modo em que se dá a experiência do eu concreto e histórico. A seguir, analisamos o conceito de fenômeno em Heidegger para distinguir sua filosofia da fenomenologia transcendental de Husserl. O elemento central dessa diferença reside na introdução da dimensão de acontecimento e situação no fenômeno, que não se encontra presente no modelo husserliano da intencionalidade. Por fim, apresentamos uma interpretação da relação entre vida fática, acontecimento e situação, para apontar algumas consequências da introdução do problema da história na fenomenologia. (shrink)

Abstract:Scholars have long been interested in how people experienced places in the past, often relying for their evidence either on modern engagements with surviving landscapes, buildings and objects, or on contemporary descriptions of the ritualised or required activities that took place in and around them. This article argues that both approaches risk eliminating the subjectivity of historical agents and, thus, the ground of experience itself, assuming an unjustifiable uniformity either among historical persons or between historical persons and modern scholars. Historians (...) thus need to find ways to return the specificity and individuality of historical subjects to their accounts of the experience of place.This article proposes that they should turn to recent work in archaeology, literary studies and cognitive science to find methodologies for describing the ‘historical phenomenology’ of a place, combining knowledge of material conditions, cultural and social environments and particular embodied encounters to produce ‘ecological’ accounts of specific place experiences in the past. It applies such an approach to an account of a pilgrimage made by a Florentine merchant in 1411 to ‘St Patrick's Purgatory’, a small but continentally renowned building on an island in northwest Ireland. By reading ‘among’ a broad range of sources, including a letter he sent describing the phenomena of his experience of the Purgatory, contemporary pilgrimage literature, medieval soteriological doctrines and the physical qualities of the Purgatory itself, this article is able to describe both critical elements of his phenomenological ecology and their dynamics as they combined in an embodied experience of place. (shrink)

In light of a gap found by Krupiński, we give a new proof of associativity for the Morley product of invariant measures in NIP theories.

The Socratic elenchos in Xenophon's work plays a central role even though it may seem to have a secondary part. The following article aims to work on the xenophontic characterization of the Socratic elenchos, as well as his assessment from the point of view of its educational qualities. In this sense, the socratic elenchos potentialities will be analyzed in three directions: first, the strictly formative dimension; secondly, its role for acting in political affairs; and, finally, his contribution to the acquisition (...) of the sophrosyne. Through this analysis I will explain why the portrait made by Xenophon of the Socratic elenchos should be understood as supplementary to the portraits made by others and not as an alternative to them. (shrink)

É crescente e plural o interesse filosófico em relação à dimensão afetiva da vida e da experiência humana. Dentre estes interesses destacam-se os recentes e variados esforços em compreender a natureza das emoções, especialmente em sua relação com diversas questões filosóficas envolvendo a agência humana. Na linha destes esforços soma-se a proposta de Goldie que consiste em um duplo movimento de, por um lado, apresentar um amplo e variado conjunto de fenômenos que precisam ser apreciados por quaisquer teorias da emoção, (...) e, por outro, identificar em que medida as teorias da emoção mais prestigiadas fazem justiça àquela riqueza e complexidade fenomênica. O resultado deste duplo movimento é o diagnóstico crítico de que as teorias da emoção até então mais prestigiadas, a não-cognitivista, a cognitivista e a perceptual são deficitárias desde o ponto de vista explicativo. Curiosamente, apesar de ter reservado uma posição e função decisivas para a afetividade em meio ao projeto de elaboração da ontologia fundamental, o nome de Martin Heidegger não consta nas atas de boa parte dos atuais debates das filosofias da emoção, inclusive no já mencionado diagnóstico crítico de Goldie. O objetivo central deste trabalho consiste em apresentar em linhas gerais a fenomenologia da afetividade conforme desdobrada por Heidegger ao final da década de vinte. Mais especificamente, procura-se mostrar de que maneira a dimensão afetiva em geral, e o humor e as emoções em particular, possuem um caráter de abertura eminentemente revelador, o que inclusive justifica, desde uma perspectiva meta-filosófica, a sua inclusão junto ao programa da ontologia fundamental. (shrink)

Há muitos pontos de concordância entre Frege e os neokantianos. Isso vale especialmente para os representantes do neokantismo da teoria do valor ou do Sudoeste alemão na tradição de Hermann Lotze. Não discutiremos aqui todos os aspectos dessa proximidade; de acordo com o tema que propomos, ficaremos restritos à filosofia da matemática. A primeira parte do artigo tratará da relação entre aritmética e geometria, mostrando surpreendentes semelhanças entre Frege e o neokantiano Otto Liebmann. A segunda parte discutirá as diferentes recepções (...) do logicismo de Frege por Jonas Cohn, Paul Natorp, Heinrich Rickert, Ernst Cassirer e Bruno Bauch. (shrink)

On the basis of the various means of propaganda used in the electoral campaign from the local elections in Brussels, the author tries to describe this campaign in the 19 communes of the district Brussels-Capital. The campaign is shown to be in accordance with several rules : contagion, simplification, adaptation to the needs, orchestration. It also allows to draw a robot-picture of the average candidate.

Examines Albert Schweitzer's philosophy in an attempt to determine whether he is Christian.