Taxonomies and ontologies for the characterization of everyday sounds have been developed in several research fields, including auditory cognition, soundscape research, artificial hearing, sound design, and medicine. Here, we surveyed 36 of such knowledge organization systems, which we identified through a systematic literature search. To evaluate the semantic domains covered by these systems within a homogeneous framework, we introduced a comprehensive set of verbal sound descriptors, which we used to manually label the surveyed descriptor classes. We reveal that most taxonomies (...) and ontologies were developed to characterize higher-level semantic relations between sound sources in terms of the sound-generating objects and actions involved, or in terms of the environmental context. This indicates the current lack of a comprehensive ontology of everyday sounds that covers simultaneously all semantic aspects of the relation between sounds. Such an ontology may have a wide range of applications and purposes, ranging from extending our scientific knowledge of auditory processes in the real world, to developing artificial hearing systems. (shrink)

Elias wrote in both English and German, and in all his work runs to 14 books and around 90 other essays, along with poems and numerous interviews. The 18 volumes of the collected works contain many writings not previously published in English, and a small number never published before. All of the texts have thoroughly checked and revised, by editors who have a deep knowledge of Elia's thinking; they have inserted many clarifications, cross-references and explanatory notes.

Elias Baumgarten taught philosophy at the University of Michigan-Dearborn from 1972 to 2018. He was born in Brooklyn, grew up in California, and went to schools in Boston and Chicago. He was one of the first recipients of the campus’s “Distinguished Teaching Award.” He taught a wide variety of courses including Medical Ethics, Ethics of War and Peace, Ethics of Nationalism, and Darwinism and Philosophy. Most of his publications are in ethics, including “Zionism, Nationalism, and Morality” and “Curiosity as a (...) Moral Virtue.” Dr. Baumgarten also served for over 30 years on hospital ethics committees at the University of Michigan Health System in Ann Arbor. A child of immigrants, Prof. Baumgarten was passionate, both as teacher and citizen, in celebrating multicultural diversity both on our campus and in our country. He sees travel as a form of education and traveled to over 70 countries. (shrink)

Intellectualism is the doctrine that knowing how to do something consists in knowing that something is the case. Drawing on contemporary linguistic theories of indirect questions, Jason Stanley and Timothy Williamson have recently revived intellectualism, proposing to interpret a sentence of the form ‘s knows how to F’ as ascribing to s knowledge of a certain way w of Fing that she can F in w. In order to preserve knowledgehow’s connection to action and thus avoid an overgeneration problem, they (...) add that this knowledge must be had under a “practical” mode of presentation of w. I argue that (i) there can be non-knowledgeable true beliefs under a practical mode of presentation and that (ii) some such beliefs would nevertheless be sufficient to establish knowledge-how’s characteristic connection to action, and thus count as knowledge-how. If so, Stanley & Williamson’s account is faced with a serious undergeneration problem. Moreover, the structural features on which the argument relies make it likely to present a quite general challenge for intellectualist strategies. (shrink)

Being able to state the principles which lie deepest in the foundations of mathematics by sentences in three variables is crucially important for a satisfactory equational rendering of set theories along the lines proposed by Alfred Tarski and Steven Givant in their monograph of 1987. The main achievement of this paper is the proof that the 'kernel' set theory whose postulates are extensionality. (E), and single-element adjunction and removal. (W) and (L), cannot be axiomatized by means of three-variable sentences. This (...) highlights a sharp edge to be crossed in order to attain an 'algebraization' of Set Theory. Indeed, one easily shows that the theory which results from the said kernel by addition of the null set axiom, (N), is in its entirety expressible in three variables. (shrink)

The essays in this volume approach the phenomenon of war from antiquity to Clausewitz from the perspective of a variety of disciplines.

What is Sociology? presents in concise and provocative form the major ideas of a seminal thinker whose work--spanning more than four decades--is only now gaining the recognition here it has long had in Germany and France. Unlike other post-war sociologists, Norbert Elias has always held the concept of historical development among his central concerns; his dynamic theories of the evolution of modern man have remedied the historical and epistemological shortcomings of structualism and ethno-methodology. What is Sociology? refines the arguments that (...) were first found in Elias' massive work on the civilizing process, in which he formulated his major assertions about the interdependence of the making of modern man and modern society. It is Elias' contention that changes in personality structure--embodied in phenomena ranging from table manners and hygiene habits to rites of punishment and courtly love--inevitably reflect and mould patterns of control generated by new political and social instututions. Elias' rejection of a dichotomy between individual and society, and his use of psychoanalysis, political theory, and social history, help restore a fullness of resource to sociology. (shrink)

The concept of truth arguably plays a central role in many areas of philosophical theorizing. Yet, what seems to be one of the most fundamental principles governing that concept, i.e. the equivalence between P and , is inconsistent in full classical logic, as shown by the semantic paradoxes. I propose a new solution to those paradoxes, based on a principled revision of classical logic. Technically, the key idea consists in the rejection of the unrestricted validity of the structural principle of (...) contraction. I first motivate philosophically this idea with the metaphysical picture of the states-of-affairs expressed by paradoxical sentences as being distinctively . I then proceed to demonstrate that the theory of truth resulting from this metaphysical picture is, in many philosophically interesting respects, surprisingly stronger than most other theories of truth endorsing the equivalence between P and (for example, the theory vindicates the validity of the traditional laws of excluded middle and of non-contradiction, and also vindicates the traditional constraint of truth preservation on logical consequence). I conclude by proving a cutelimination theorem that shows the consistency of the theory. (shrink)

The paper is concerned with a logical difficulty which Lionel Shapiro’s deflationist theory of logical consequence (as well as the author’s favoured, non-deflationist theory) gives rise to. It is argued that Shapiro’s non-contractive approach to solving the difficulty, although correct in its broad outlines, is nevertheless extremely problematic in some of its specifics, in particular in its failure to validate certain intuitive rules and laws associated with the principle of modus ponens. An alternative non-contractive theory is offered which does not (...) suffer from the same problem. (shrink)

The Consistent Histories (CH) formalism aims at a quantum mechanical framework which could be applied even to the universe as a whole. CH stresses the importance of histories for quantum mechanics, as opposed to measurements, and maintains that a satisfactory formulation of quantum mechanics allows one to assign probabilities to alternative histories of a quantum system. It further proposes that each realm, that is, each set of histories to which probabilities can be assigned, provides a valid quantum-mechanical account, but that (...) different realms can be mutually incompatible. Finally, some of its proponents offer an “evolutionary” explanation of our existence in the universe and of our preference for quasiclassical descriptions of nature. The present work questions the validity of claims offered by CH proponents asserting that it solves many interpretational problems in quantum mechanics. In particular, we point out that the interpretation of the framework leaves vague two crucial points, namely, whether realms are fixed or chosen and the link between measurements and histories. Our claim is that by doing so, CH overlooks the main interpretational problems of quantum mechanics. Furthermore, we challenge the evolutionary explanation offered and we critically examine the proposed notion of a realm-dependent reality. (shrink)

Avec la parution de L’essence de la manifestation, en 1963, Michel Henry opère par le biais de la phénoménologie une destruction du « monisme ontologique » et dévoile par ce fait sa thèse fondamentale : le primat de la question phénoménologique concernant l’être de l’ego sur la question du sens de l’être en tant qu’être. En établissant également une critique de la transcendance de l’ego, il développe le sens essentiel de cette irréductibilité de la « phénoménalité originaire » à l’apparaître...

This article contributes to the literature on national varieties of socially responsible investment (SRI) by demonstrating how Scandinavian SRI developed from the 60s and onwards. Combining findings on Scandinavian SRI with insights from previous research and institutional theory, the article accounts for the role of changes in societal values and norms, the mechanisms by which SRI practices spread, and how investors adopt and transform practices to suit their surrounding institutional contexts. Especially, the article draws attention to how different categories of (...) investors act as institutional entrepreneurs during specific historical periods, and how these roles come to shift as institutional rule systems of varying societal levels change. Thus, the insights gained are useful in the future research agenda concerned with advancing knowledge on idiosyncrasies and commonalities of national SRI manifestations, and to understand the reasons underlying such characteristics. (shrink)

The article argues that AI can enhance the measurement and implementation of democratic processes within political parties, known as Intra-Party Democracy (IPD). It identifies the limitations of traditional methods for measuring IPD, which often rely on formal parameters, self-reported data, and tools like surveys. Such limitations lead to the collection of partial data, rare updates, and significant demands on resources. To address these issues, the article suggests that specific data management and Machine Learning (ML) techniques, such as natural language processing (...) and sentiment analysis, can improve the measurement (ML about) and practice (ML for) of IPD. The article concludes by considering some of the principal risks of ML for IPD, including concerns over data privacy, the potential for manipulation, and the dangers of overreliance on technology. (shrink)

Roberto Formisano | : Dans L’essence de la manifestation, la phénoménologie de Michel Henry se présente à la manière d’une philosophie première qui demande expressément et exige l’expulsion de la finitude hors du questionnement ontologique. Dans cet article, je vise à montrer que la raison ultime de cette exigence repose sur une opposition que, dans le cadre de la « critique du monisme ontologique », la problématique henryenne établit entre l’existence en soi de l’absolu et sa manifestation opérée par (...) l’ouverture de l’horizon temporellement fini de l’existence humaine. Reprise et développée à partir d’une interprétation critique de la philosophie de la religion de Fichte, la thèse de l’opposition entre l’absolu en soi et sa manifestation finie dans l’existence constitue en effet le préalable décisif qui régit le renversement — toujours revendiqué par Henry — de l’ontologie de Heidegger et de sa conceptualisation de la phénoménologie. | : In L’essence de la manifestation, Michel Henry’s phenomenology takes the form of a first philosophy which expressly demands and requires the expulsion of finitude out of the ontological questioning. In this article, I aim to show that the ultimate reason for that requirement rests on an opposition which, within the frame of the “critique of ontological monism”, the issues raised by Michel Henry establish between the existence in itself of the absolute and its manifestation brought about by opening up the temporally finite horizon of human existence. Taken up and developed starting with Fichte’s philosophy of religion, the thesis of the opposition between the absolute in itself and its finite manifestation in existence constitutes indeed the decisive precondition governing the reversal — constantly advocated by Henry — of Heidegger’s ontology and of his conceptualization of phenomenology. (shrink)

Supervenience is one of the 'hot discoveries' of analytic philosophy, and this collection of essays on the topic represents an examination of it and its application to major areas of philosophy. The interest in supervenience has much to do with the flexibility of the concept. To say that x supervenes on y indicates a degree of dependence without committing one to the view that x can be reduced to y. Thus supervenience is a relationship that has the potential of replacing (...) the traditional notion of dependence, while performing at least part of the function reductive relationships were supposed to fulfil. Moreover, since it is a topic-neutral concept, supervenience has a wide range of applicability. (shrink)

According to the naive theory of vagueness, the vagueness of an expression consists in the existence of both positive and negative cases of application of the expression and in the non- existence of a sharp cut-off point between them. The sorites paradox shows the naive theory to be inconsistent in most logics proposed for a vague language. The paper explores the prospects of saving the naive theory by revising the logic in a novel way, placing principled restrictions on the transitivity (...) of the consequence relation. A lattice-theoretical framework for a whole family of “tolerant logics” is proposed and developed. Particular care is devoted to the relation between the salient features of the formal apparatus and the informal logical and semantic notions they are supposed to model. A suitable non-transitive counterpart to classical logic is defined. Some of its properties are studied, and it is eventually shown how an appropriate regimentation of the naive theory of vagueness is consistent in such a logic. (shrink)

Earnings management behavior is a concern of standard-setters, regulators and the accounting profession. This study examines the ethics of this practice using a national sample of 763 accounting practitioners, faculty and students. Possible determinants of the ethics of this practice such as perceived role of ethics and social responsibility, and personal moral philosophies (i.e. idealism and relativism) are explored. Results indicate a positive relationship between social responsibility, focus on long-term gains, idealism, and the ethical perception of earnings management and negative (...) relationship between focus on short-term gains, relativism and the ethical perception of this practice. Implications for the accounting profession as it deals with the issue of earnings management are discussed. (shrink)

The paper offers a critical examination of a prominent, “quasi-deflationist” argument advanced in the contemporary debate on the semantic paradoxes against non-naive and non-transparent theories of truth. The argument claims that truth unrestrictedly fulfils certain expressive functions, and that its so doing requires the unrestricted validity of naivety and transparency principles. The paper criticises the quasi-deflationist argument by considering some kinds of cases in which transparency and naivety arguably fail. In some such cases truth still fulfils the relevant expressive functions (...) without being transparent or naive; in some other such cases, truth does not fulfil the relevant expressive functions and other conceptual resources must be called upon. Thus, in different ways, all such cases belie the quasi-deflationist argument’s insistence that naivety and transparency should be unrestrictedly valid for truth unrestrictedly to fulfil the relevant expressive functions. There might however be other reasons for solving the semantic paradoxes by revising classical logic, and the paper in effect closes by offering versions of the liar paradox that rely on compelling but opacity-friendly truth-theoretic principles. (shrink)

In a series of very influential works, Tim Williamson has advanced and defended a much discussed theory of evidence containing, among other claims, the thesis that, if one knows P, P is part of one's evidence. I argue that K ⊆ E is false, and indeed that it is so for a reason that Williamson himself essentially provides in arguing against the thesis that, if one has a justified true belief in P, P is part of one's evidence: together with (...) a very plausible principle governing the acquisition of knowledge by non-deductive inference based on evidence, K ⊆ E leads, in a sorites-like fashion, to what would seem a series of unacceptably bootstrapping expansions of one's evidence. I then develop some considerations about the functions of and conditions for evidence which are suggested by the argument against K ⊆ E. I close by discussing the relationship of the argument with anti-closure arguments of the style exemplified by the preface paradox: I contend that, if closure is assumed, it is extremely plausible to expect that the diagnosis of what goes wrong in the preface-paradox-style argument cannot be used to block my own argument. (shrink)

Moses Mendelssohn is often described as the founder of modern Jewish thought and as a leading philosopher of the late Enlightenment. One of Mendelssohn's main concerns was how to conceive of the relationship between Judaism, philosophy, and the civic life of a modern state. Elias Sacks explores Mendelssohn's landmark account of Jewish practice--Judaism's "living script," to use his famous phrase--to present a broader reading of Mendelssohn's writings and extend inquiry into conversations about modernity and religion. By studying Mendelssohn's thought in (...) these dimensions, Sacks suggests that he shows a deep concern with history. Sacks affords a view of a foundational moment in Jewish modernity and forwards new ways of thinking about ritual practice, the development of traditions, and the role of religion in society. (shrink)

In this article Elias Hemelsoet questions the way irregular migrants are approached in educational policymaking. In most cases, estimations of the number of irregular migrants serve—despite large methodological problems—as a starting point for policymaking. Given the very diverse composition of this group of people, the question is whether residence status is an appropriate benchmark for dealing with the social problems related to these people. There seems to be a homogenizing tendency at work that reduces the complexity of irregular migration. Preferable (...) distinctions are overlooked or even denied. Inclusive education seems to provide an alternative that does not reduce individuals to a group they belong to, claiming that differences only matter at the individual level. The question is whether such an approach entails a new form of homogenization. Using the case of Roma people, Hemelsoet argues here that group differences do matter for educational practice, theory, and policy. Qualitative data on the social practices of groups can help provide insight into the particularity of situations. This “insight” or “understanding,” in its turn, is a requirement in order for policymakers to make well‐considered choices. (shrink)

According to the dominant approach in the theory of vagueness, the nature of the vagueness of an expression ‘F’ consists in its presenting borderline cases in an appropriately ordered series: objects which are neither definitely F nor definitely not F (where the notion of definiteness can be semantic, ontic, epistemic, psychological or primitive). In view of the various problems faced by theories of vagueness adopting the dominant approach, the thesis proposes to reconsider the naive theory of vagueness, according to which (...) the nature of the vagueness of an expression consists in its not drawing boundaries between any neighbouring objects in an appropriately ordered series. It is argued that expressions and concepts which do present this feature play an essential role in our cognitive and practical life, allowing us to conceptualize---in a way which would otherwise be impossible---the typically coarse-grained distinctions we encounter in reality. Despite its strong initial plausibility and ability to explain many phenomena of vagueness, the naive theory is widely rejected because thought to be shown inconsistent by the sorites paradox. In reply, it is first argued that accounts of vagueness based on the dominant approach are themselves subject to higher-order sorites paradoxes. The paradox is then solved on behalf of the naive theory by rejecting the unrestricted transitivity of the consequence relation on a vague language; a family of logics apt for reasoning with vague expressions is proposed and studied (using models with partially ordered values). The characteristic philosophical and logical consequences of this novel solution are developed and defended in detail. In particular, it is shown how the analysis of what happens in the attempt of surveying a sorites series and deciding each case allows the naive theory to recover a "thin" notion of a borderline case. (shrink)

We put forward a proposal that combines objective collapse models, developed in connection with quantum-foundational questions, with the so-called Weyl curvature hypothesis, introduced by Roger Penrose as an attempt to account for the very special initial state of the universe. In particular, we explain how a curvature dependence of the collapse rate in such models, an idea already shown to help in the context of black holes and information loss, could also offer a dynamical justification for Penrose's conjecture.

Cause and effect relationships play a central role in how we perceive and make sense of the world around us, how we act upon it, and ultimately, how we understand ourselves. Almost two decades ago, computer scientist Judea Pearl made a breakthrough in understanding causality by discovering and systematically studying the “Ladder of Causation” [Pearl and Mackenzie 2018], a framework that highlights the distinct roles of seeing, doing, and imagining. In honor of this landmark discovery, we name this the Pearl (...) Causal Hierarchy (PCH). In this chapter, we develop a novel and comprehensive treatment of the PCH through two complementary lenses, one logical-probabilistic and another inferential-graphical. Following Pearl’s own presentation of the hierarchy, we begin by showing how the PCH organically emerges from a well-specified collection of causal mechanisms (a structural causal model, or SCM). We then turn to the logical lens. Our first result, the Causal Hierarchy Theorem (CHT), demonstrates that the three layers of the hierarchy almost always separate in a measure theoretic sense. Roughly speaking, the CHT says that data at one layer virtually always underdetermines information at higher layers. Since in most practical settings the scientist does not have access to the precise form of the underlying causal mechanisms – only to data generated by them with respect to some of PCH’s layers – this motivates us to study inferences within the PCH through the graphical lens. Specifically, we explore a set of methods known as causal inference that enable inferences bridging PCH’s layers given a partial specification of the SCM. For instance, one may want to infer what would happen had an intervention been performed in the environment (second-layer statement) when only passive observations (first-layer data) are available. We introduce a family of graphical models that allows the scientist to represent such a partial specification of the SCM in a cognitively meaningful and parsimonious way. Finally, we investigate an inferential system known as docalculus, showing how it can be sufficient, and in many cases necessary, to allow inferences across PCH’s layers. We believe that connecting with the essential dimensions of human experience as delineated by the PCH is a critical step towards creating the next generation of AI systems that will be safe, robust, human-compatible, and aligned with the social good. (shrink)

The naive theory of vagueness holds that the vagueness of an expression consists in its failure to draw a sharp boundary between positive and negative cases. The naive theory is contrasted with the nowadays dominant approach to vagueness, holding that the vagueness of an expression consists in its presenting borderline cases of application. The two approaches are briefly compared in their respective explanations of a paramount phenomenon of vagueness: our ignorance of any sharp boundary between positive and negative cases. These (...) explanations clearly do not provide any ground for choosing the dominant approach against the naive theory. The decisive advantage of the former over the latter is rather supposed to consist in its immunity to any form of sorites paradox. But another paramount phenomenon of vagueness is higher-order vagueness: the expressions introduced in order to express in the object language the vagueness of the object language are themselves vague. Two highly plausible claims about higher-order vagueness are articulated and defended: the existence of “definitely ω ” positive and negative cases and the “radical” character of higher-order vagueness itself. Using very weak logical principles concerning vague expressions and the ‘definitely’-operator, it is then shown that, in the presence of higher-order vagueness as just described, the dominant approach is subject to higher-order sorites paradoxes analogous to the original ones besetting the naive theory, and therefore that, against the communis opinio, it does not fare substantially better with respect to immunity to any form of sorites paradox. (shrink)

In a series of works, Pablo Cobreros, Paul Égré, David Ripley and Robert van Rooij have proposed a nontransitive system (call it ‘_K__3__L__P_’) as a basis for a solution to the semantic paradoxes. I critically consider that proposal at three levels. At the level of the background logic, I present a conception of classical logic on which _K__3__L__P_ fails to vindicate classical logic not only in terms of structural principles, but also in terms of operational ones. At the level of (...) the theory of truth, I raise a cluster of philosophical difficulties for a _K__3__L__P_-based system of naive truth, all variously related to the fact that such a system proves things that would seem already by themselves repugnant, even in the absence of transitivity. At the level of the theory of validity, I consider an extension of the _K__3__L__P_-based system of naive validity that is supposed to certify that validity in that system does not fall short of naive validity, argue that such an extension is untenable in that its nontriviality depends on the inadmissibility of a certain irresistible instance of transitivity (whence the advertised “final cut”) and conclude on this basis that the _K__3__L__P_-based system of naive validity cannot coherently be adopted either. At all these levels, a crucial role is played by certain metaentailments and by the extra strength they afford over the corresponding entailments: on the one hand, such strength derives from considerations that would seem just as compelling in a general nontransitive framework, but, on the other hand, such strength wreaks havoc in the particular setting of _K__3__L__P_. (shrink)

In [E. Baro, M. Otero, On o-minimal homotopy, Quart. J. Math. 15pp, in press ] o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally definable spaces, for which we introduce homology and homotopy functors. We also study the concept of connectedness in -definable groups — which are examples of locally definable spaces. We show that the various concepts of connectedness associated (...) to these groups, which have appeared in the literature, are non-equivalent. (shrink)

Intellectualism is the doctrine that knowing how to do something consists in knowing that something is the case. Drawing on contemporary linguistic theories of indirect questions, Jason Stanley and Timothy Williamson have recently revived intellectualism, proposing to interpret a sentence of the form ‘s knows how to F’ as ascribing to s knowledge of a certain way w of Fing that she can F in w. In order to preserve knowledgehow’s connection to action and thus avoid an overgeneration problem, they (...) add that this knowledge must be had under a “practical” mode of presentation of w. I argue that (i) there can be non-knowledgeable true beliefs under a practical mode of presentation and that (ii) some such beliefs would nevertheless be sufficient to establish knowledge-how’s characteristic connection to action, and thus count as knowledge-how. If so, Stanley & Williamson’s account is faced with a serious undergeneration problem. Moreover, the structural features on which the argument relies make it likely to present a quite general challenge for intellectualist strategies. (shrink)

A notion of truth as applicable to events of assertoric use ( utterances ) of a sentence token is arguably presupposed and required by our evaluative practices of the use of language. The truth of an utterance seems clearly to depend on what the utterance says . This fundamental dependence seems in turn to be captured by the schema that, if an utterance u says that P , then u is true iff P . Such a schema may thus be (...) thought to constitute a suitable basis for an adequate theory of utterance truth, so much so that it seems straightforwardly to avoid the problems arising from context dependence and the semantic paradoxes which notoriously beset theories of utterance truth based on a simple disquotational schema. The paper argues that appearances are deceptive in both cases. On the one hand, the schema cannot allow for plausible if not uncontroversial non-indexical forms of context dependence, arising from the possibility that what an utterance says can be the case or not relative to different situations and that the truth of an utterance u of a sentence φ arguably depends on the truth of φ at the situation "associated" with u . On the other hand, a quantified utterance-truth variation on the liar paradox shows that the schema entails some consequence φ and at the same time the untruth of any utterance of φ; moreover, a resilient quantified propositional variation on the contingent liar paradox is offered, which only relies on resources usually employed by theories of utterance truth based on the schema. (shrink)

Confidentiality is a central bioethical principle governing the provider–patient relationship. Dating back to Hippocrates, new laws have interpreted it for the age of precision medicine and electronic medical records. This is where the discussion of privacy and technology often ends in the scientific health literature when Internet-related technologies have made privacy a much more complex challenge with broad psychological and clinical implications. Beyond the recognised moral duty to protect patients’ health information, clinicians should now advocate a basic right to privacy (...) as a means to safeguard psychological health. The article reviews empirical research into the functions of privacy, the implications for psychological development and the resigned sentiment taking hold regarding the ability to control personal data. The article concludes with a call for legislative, educational and research steps to readjust the equilibrium between the individual and ‘Big Data’. (shrink)

It’s difficult nowadays to write an interesting new book on vagueness, but Andrew Bacon has succeeded. He hasn’t done so by putting forth revolutionary views ab.

In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has proved a good tool to do so. We propose an epistemic logic, L-DINF-E, that allows one to formalize what are the beliefs formed by a group of agents, where several groups exist and agents can pass from a group to another one. We introduce a new modality which allows an agent to reason about the beliefs of other agents. This allows us to model aspects (...) of the “Theory of Mind”, understood as the set of social-cognitive skills involving the ability to attribute and reason about mental states, desires, beliefs, and knowledge of agents. In this paper, we present the logic L-DINF-E and illustrate how it can be used to solve “false-belief tasks”, i.e., tests in which an agent should understand that some other agent may develop, under some circumstances, false beliefs. (shrink)

The paper discusses some ways in which vagueness and its phenomena may be thought to impose certain limits on our knowledge and, more specifically, may be thought to bear on the traditional philosophical idea that certain domains of facts are luminous, i.e., roughly, fully open to our view. The discussion focuses on a very influential argument to the effect that almost no such interesting domains exist. Many commentators have felt that the vagueness unavoidably inherent in the description of the facts (...) that are best candidates for being luminous plays an illicit role in such argument. The paper centres around the idea that vagueness brings with itself the prima facie plausibility of soritical principles. Using the diagnostics of sharpenings, it is first pointed out that, despite certain considerations to the contrary, the margin‐for‐error principle required by the anti‐luminosity argument may well derive all of its plausibility from an underlying soritical principle. The notion of confidence that is relevant to the argument is then isolated and sharply distinguished from the notion of subjective probability. Against this background, it is argued that the reasoning about confidence involved in the argument in favour of the problematic margin‐for‐error principle is fallacious in the same way in which sorites reasoning is. This reveals the possibility of having reliable knowledge even at the penumbral limit with falsity, a possibility for which a concrete formal model is constructed. The model in turn permits a deeper appreciation of the role played in the dialectic by the distinction between confidence and subjective probability as well as by confidence requirements on knowledge. It is concluded that careful heeding of vagueness and its phenomena, far from forcing new and surprising limits on our knowledge, actually removes one of the main barriers – unreliability – often thought to stand in its way. (shrink)

There has been no systematic study in the literature of how self-deception differs from other kinds of self-distortion. For example, the term ‘cognitive dissonance’ has been used in some cases as a rag-bag term for all kinds of self-distortion. To address this, a narrow definition is given: self-deception involves injecting a given set of facts with an erroneous fact to make anex antesuboptimal decision seem as if it wereex anteoptimal. Given this narrow definition, this paper delineates self-deception from deception as (...) well as from other kinds of self-distortions such as delusion, moral licensing, cognitive dissonance, manipulation, and introspective illusion. (shrink)

This paper investigates how naive theories of truth fare with respect to a set of extremely plausible principles of restricted quantification. It is first shown that both nonsubstructural theories as well as certain substructural theories cannot validate all those principles. Then, pursuing further an approach to the semantic paradoxes that the author has defended elsewhere, the theory of restricted quantification available in a specific naive theory that rejects the structural property of contraction is explored. It is shown that the theory (...) validates all the principles in question, and it is argued that other prima facie plausible principles that the theory fails to validate are objectionable on independent grounds. (shrink)

How can sound and space be connected not only in a metaphorical sense? Over the last decades, philosophy of sound, aesthetics, and musicology have shown increasing interest in space inquiry. However, the way we interact with each other, communicate in space, and gather information about/in space is rooted in sound in a completely different way from those of musical metaphors. In this paper, I present an analysis of the role sound plays in the constitution of both space and relations of (...) intimacy within it. Starting from the wealthy tips that E. T. Hall gives to us in order to delineate a new understanding of proxemics that includes sound experience, I argue that sound, silence, and noise are essential to determine the intimate space and the way we interact with it. Moving from a classical proxemics perspective, the analysis will focus on the intimate relation between sound, space, and body, dialoguing with phenomenology, anthropology, semiotics, and philosophy of space. (shrink)

We describe a relational framework that uniformly supports formalization and automated reasoning in varied propositional modal logics. The proof system we propose is a relational variant of the classical Rasiowa-Sikorski proof system. We introduce a compact graph-based representation of formulae and proofs supporting an efficient implementation of the basic inference engine, as well as of a number of refinements. Completeness and soundness results are shown and a Prolog implementation is described.