No segundo livro das Ideias para uma fenomenologia, Husserl introduz pela primeira vez a noção de mundo da vida (Lebenswelt) para descrever o que até então era o solo originário da gênese do sentido. Nas Investigações lógicas, ao descrever os jogos de linguagem, Wittgenstein trabalha com a ideia de que estes são formas de vida (Lebensformen). Sem pretender ser exaustiva, esta nota procura discutir sucintamente o que se entende pelo termo vida nos dois casos, para mostrar que a correlação estrita (...) do bíos com o lógos não inclui exatamente uma compreensão biológica do conceito. A primeira parte tratará de discutir a questão no segundo Wittgenstein; a segunda estará dedicada à ontologia fundamental de Husserl. (shrink)

Extending techniques of Dowd and those of Poizat, we study computational complexity of in the case when is a generic oracle, where is a positive integer, and denotes the collection of all -query tautologies with respect to an oracle . We introduce the notion of ceiling-generic oracles, as a generalization of Dowd's notion of -generic oracles to arbitrary finitely testable arithmetical predicates. We study how existence of ceiling-generic oracles affects behavior of a generic oracle, by which we show that is (...) not a subset of is comeager in the Cantor space. Moreover, using ceiling-generic oracles, we present an alternative proof of the fact (Dowd) that the class of all -generic oracles has Lebesgue measure zero. (shrink)

This note is a continuation of our former paper ''Complexity of the r-query tautologies in the presence of a generic oracle.'' We give a very short direct proof of the nonexistence of t-generic oracles, a result obtained first by Dowd. We also reconstitute a proof of Dowd's result that the class of all r-generic oracles in his sense has Lebesgue measure one.

The economy and global competitiveness are the bottom line for society and governments, or so says conventional wisdom. But what are the real needs that must be satisfied to live rich, fulfilling lives? This is the question David Suzuki explores in this wide-ranging study. Suzuki begins by presenting the concept of people as creatures of the Earth who depend on its gifts of air, water, soil, and sun energy. He shows how people are genetically programmed for the company (...) of other species, and suffer enormously when we fail to live in harmony with them. And he analyzes those deep spiritual needs, rooted in nature, that are also a crucial component of a loving world. Drawing on his own experiences and those of others who have put their beliefs into action, "The Sacred Balance" is a powerful, passionate book with concrete suggestions for creating an ecologically sustainable, satisfying, and fair future by rediscovering and addressing humanity' s basic needs. (shrink)

Robustness against strategic manipulation is a crucial topic in social choice theory. Under some social ranking solutions (SRSs), namely mappings that yield candidates’ ranking from their coalitions’ ranking, candidates can sometimes improve their own social ranking by strategically degrading the coalitions to which they belong (e.g., sabotaging the coalitions to which the candidates and their competitors both belong could damage their competitors’ social rankings). This study investigates SRSs that can prevent such sabotage and promote sincere cooperation between candidates. To this (...) end, we introduce two axioms of SRSs by modifying the non-manipulability (NM) in the literature. An SRS is sabotage-proof (SP) if no candidate can improve their social ranking against anyone else through sabotage, and it is strongly sabotage-proof (SSP) if it is SP and is endowed with a sanction system against specific sabotage. We first demonstrate that the ceteris paribus majority (when there are at least four candidates) and lexicographic excellence solutions are SP but not SSP. We then propose a new characterization of dual lexicographic excellence solution as the unique linear SRS satisfying SSP and coalitional anonymity. Our axiomatic study provides a theoretical ground that lexicographic evaluation of coalitional performances is highly robust against strategic sabotage. (shrink)

ResumoO texto aqui apresentado pretende dar uma pequena contribuição à discussão sobre a relação entre lógicae ontologia na filosofia kantiana. Seu objetivo é mostrar como Kant segue a lógica dos wolffianos, mantendosua abordagem geral, não sem introduzir algumas mudanças importantes. Ao contrário dos filósofosdogmáticos, Kant, como se sabe, enfatiza a neutralidade ontológica e epistemológica da lógica geral, diferenciando-a da lógica transcendental, que apresenta as condições universais necessárias apenas com basenas quais se pode falar de conhecimento objetivo. Leibniz, Wolff e seus (...) seguidores teriam negligenciadoessa distinção e dado à lógica geral um significado ontológico e heurístico, que absolutamente não lhepertence. Este artigo examina até que ponto essa versão da lógica dogmática, tão bem construída por Kante geralmente aceita pelos estudiosos, é confiável; tenta também mostrar que Kant flerta aqui e ali comasserções ontológicas e, ao fazê-lo, sua lógica também funciona como uma heurística. Os juízos categóricoe hipotético, bem como seus respectivos silogismos, serão aqui examinados em sua relação recíproca comocasos emblemáticos desse uso menos neutro da lógica formal por Kant. Além disso, espera-se que esteexame revele alguns dos procedimentos metódicos seguidos pelo filósofo em sua investigação conceitual,modo de proceder que, embora respeitando estritamente as regras lógicas estabelecidas, introduz modulaçõesdentro dessas mesmas regras, para enfrentar os desafios do pensamento crítico.Palavras-chave: Kant, lógica, ontologiaAbstractThe text presented here intends to make a small contribution to the discussion on the relationship betweenlogic and ontology in Kantian philosophy. Its purpose is to show how Kant follows the logic of theWolffians, maintaining their general approach, not without introducing some important changes. Unlikedogmatic philosophers, Kant, as is well known, lays stress on the ontological and epistemological neutralityof general logic, differentiating it from transcendental logic, which presents the necessary universal conditionsonly on the basis of which one can speak of objective knowledge. Leibniz, Wolff and his followerswould have neglected this distinction and given general logic an ontological and heuristic meaning, whichabsolutely does not belong to it. This article examines to what extent this version of dogmatic logic, so wellconstructed by Kant and generally accepted by the scholars, is reliable; it also tries to show that Kant flirtshere and there with ontological assertions and, in doing so, his logic also functions as a heuristic. The categoricaland the hypothetical judgments, as well as their respective syllogisms, will be examined here in theirreciprocal relationship as emblematic cases of this less neutral use of formal logic by Kant. Furthermore, thisexamination will hopefully reveal some of the methodical procedures followed by the philosopher in hisconceptual investigation, a way of proceeding that, although strictly respecting the established logical rules,introduces modulations within these same rules, to face the challenges of the critical thought. (shrink)

Many philosophers deny that two different material objects can “coincide”, i.e. share their spatial location and microscopic parts. But, there seems to be a difficulty in identifying these coinciding objects, since we have many kinds of predicates that appear to show differences between them. One prominent strategy to avoid such a difficulty is to argue that such “problematic” predicates merely indicate our ways of describing objects, and thus that any difference between coinciding objects is only apparent. I call this move (...) "the semantic solution". The goal of this paper is to show that the semantic solution is unmotivated. The semantic solution, I argue, must distinguish problematic predicates from ones that indicate genuine properties. But the trouble is that in doing so it bringsmassive indeterminacy into our understanding of vast numbers predicates. Furthermore, indeterminacy would be hopelessly massive if every actual material object is made of “atomless gunk”, i.e. matter divisible into proper parts ad infinitum. (shrink)

In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...) Dunn et al. (2005) and Gehrke et al. (2005). (shrink)

To become more broadly applicable, positions on AI ethics require perspectives from non-Western regions and cultures such as China and Japan. In this paper, we propose that the addition of the concept of harmony to the discussion on ethical AI would be highly beneficial due to its centrality in East Asian cultures and its applicability to the challenge of designing AI for social good. We first present a synopsis of different definitions of harmony in multiple contexts, such as music and (...) society, which reveals that the concept is, at its core, about well-balanced relationships and appropriate actions which give rise to order, balance, and aesthetically pleasing phenomena. The mediator for these well-balanced relationships isTaktwhich is an ability to act thoughtfully and sensibly according to the specific situation and to put things into proportion and order. We propose that the central challenge of building harmonizing AI is to make intelligent systems tactful and also to design and use them tactfully. For an AI system to become tactful, it needs to be able to have an advanced sensitivity to the specific contexts which it is in and their social and ethical implications and have the capability of approximately inferring the emotional and cognitive states of people with whom it is interacting. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

現下の社会主義中国で相対主義に基づく表現の自由、思想解放は許されるか。本書は中国法学界第一線の憲法、法哲学者の中から“党の指導”・国家権力不可謬論に挑む政治体制改革派の良心的人権論16篇を紹介する。.