This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are interested in the mathematical treatment of uncertain information. Stressing the interplay between algebra and logic, the book contains material never before published, such as (...) a simple proof of the completeness theorem and of the equivalence between Chang's MV algebras and Abelian lattice-ordered groups with unit - a necessary prerequisite for the incorporation of a genuine addition operation into fuzzy logic. Readers interested in fuzzy control are provided with a rich deductive system in which one can define fuzzy partitions, just as Boolean partitions can be defined and computed in classical logic. Detailed bibliographic remarks at the end of each chapter and an extensive bibliography lead the reader on to further specialised topics. (shrink)

Slippery slope arguments (SSAs) are used in a wide range of philosophical debates, but are often dismissed as empirically ill-founded and logically fallacious. In particular, leading authors put forward a meta-SSA which points to instances of empirically ill-founded and logically fallacious SSAs and to the alleged existence of a slippery slope leading to such SSAs to demonstrate that people should avoid using SSAs altogether. In this paper, I examine these prominent calls against using SSAs and argue that such calls do (...) not withstand scrutiny. I then identify several types of mechanisms leading to slippery slopes in real-life contexts to demonstrate that both the strength of SSAs and the justifiability of using SSAs are best assessed on a case-by-case basis. This result does not exempt the proponents of SSAs from the task of vindicating their use of SSAs. However, if correct, it undermines the often-made claim that people should avoid using SSAs altogether. (shrink)

Una lungo viaggio fra esteti, scrittori e poeti, dotti riformatori, critici letterari, linguisti, traduttologi up to date.

Editorial do periódico Filosofia e Educação.

The problem of universals is one of the main philosophical issues. In this book the author reconstructs the history of the problem from Boethius to John of Salisbury, considering a selection of medieval representative texts.

In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quantifies over histories and whose temporal operators involve a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL express an unrestricted quantification over histories and moments. The value of the apparatus we introduce is connected to those logics of agency that are interpreted on branching-time, as for instance (...) Stit Logics. (shrink)

In this work, I have used many sources because this theme is very complex and it is very useful to follow tracks already well used by other authors who have ventured with these themes. The Gender report is a report on equality. No company will ever be expected to be right if it does not foresee includesive actions rather than excludents. The social constructions of the same company will have to contend with a reality of reference that embraces all the (...) universes and respects the personal values. Everything, therefore, aimed at the growth of Society as a non-arithmetic group of People who, with their history and their characteristics, increase the collective share capital. (shrink)

The interpretation of propositions in Lukasiewicz's infinite-valued calculus as answers in Ulam's game with lies--the Boolean case corresponding to the traditional Twenty Questions game--gives added interest to the completeness theorem. The literature contains several different proofs, but they invariably require technical prerequisites from such areas as model-theory, algebraic geometry, or the theory of ordered groups. The aim of this paper is to provide a self-contained proof, only requiring the rudiments of algebra and convexity in finite-dimensional vector spaces.

The alleged neural basis of empathic responses to artworks is only of marginal relevance for aesthetics and for cognitive theories of art.

Riassunto : Il presente articolo intende lumeggiare l’esito tanto fecondo quanto problematico a cui conduce l’originale opera laskiana di risemantizzazione del concetto di soggettività. Al centro di tale opera si staglia la progressiva elaborazione di ciò che il filosofo rubrica, al termine del suo Denkweg, sotto il titolo di soggetto ricettivo. Con tale concetto, a cui è intimamente legato quello di “dedizione”, Lask individua in una mera ricettività intuitiva il momento sorgivo e originario di ogni processo cognitivo; il solo momento (...) che rende possibile un accesso diretto all’oggetto trascendente. Ma come si realizza questo accesso? Qual è lo statuto di ciò che il filosofo nomina “dedizione”? L’insufficiente risposta a tali quesiti conduce il pensiero laskiano ad un esito aporetico, ossia alla riduzione della dedizione a momento ideale e alla conseguente riattivazione, in ambito conoscitivo, dell’inaggirabile distanza tra soggetto e oggetto. Ma, se in tale aporia è riconosciuto il limite del modello della conoscenza elaborato da Lask nel suo sistema maturo, non è comunque possibile occultare il decisivo contributo offerto dalla sua riflessione al problema gnoseologico: il superamento del coscienzialismo attraverso l’elaborazione di un soggetto concreto-ricettivo e, accanto a esso, di un peculiare realismo. Parole chiave : Emil Lask; Soggettività; Ricettività; Coscienza; Concreto/astratto Emil Lask. Subjectivity and Receptiveness: This paper intends to illuminate the problematic outcome of Lask’s redefinition of the concept of subjectivity. The main result of this operation is the elaboration of the notion of receptive subject. With this concept, strictly linked to the notion of Hingabe, Lask identifies the original element of every cognitive process in simple intuitive receptivity. Intuitive receptivity alone provides direct access to the transcendent object. But how is this access possible? What is the relation between the receptive-intuitive element of knowledge and predicative activity? What is the status of Hingabe? The insufficient answers to these questions lead the Lask’s thought to an aporetic outcome, namely, the reduction of Hingabe to an exclusively abstract and ideal receptivity, and consequently to the reactivation, in the theory of knowledge, of the distance between subject and object. However, while this distance marks the limit of the model of knowledge developed by Lask, the main contribuition of his thought remains valid: the overcoming of trascendental subjectivism through the elaboration of a concrete-receptive subject and of an original form of realism. Keywords : Emil Lask; Subjectivity; Receptivity; Consciousness; Concreteness/Abstractness. (shrink)

He then shows how we can rebuild our political, economic, and social institutions, making them more faithful to the experimental nature of democracy. The consequence is to redefine the focus for ideological debate and institutional innovation throughout the world, in developed and developing countries alike.

En este artículo presentamos una descripción de la crítica de Iván Illich a la sociedad industrial, específicamente en relación al problema de la energía y de la equidad. Especial atención es dada al concepto de convivencialidad y a sus posibles repercusiones para enfrentar los problemas energéticos. Una discusión en torno a la manera de Illich de criticar a la sociedad es presentada, en relación a lo que ha sido llamado un “humanismo crítico” y al problema de las necesidades individuales.