This book examines philosophical and scientific implications of Neodarwinism relative to recent empirical data. It develops explanations of social behavior and cognition through analysis of mental capabilities and consideration of ethical issues. It includes debate within cognitive science among explanations of social and moral phenomena from philosophy, evolutionary and cognitive psychology, neurobiology, linguistics, and computer science. Cognitive Science (CS) provides an original corpus of scholarly work that makes explicit the import of cognitive-science research for philosophical analysis. Topics include the nature, (...) structure, and justification of knowledge, cognitive architectures and development, brain-mind theories, and consciousness. (shrink)

Detecting sensitive information considering privacy is a relevant issue on Online Social Networks (OSNs). It is often difficult for users to manage the privacy associated with their posts on social networks taking into account all the possible consequences. The aim of this work is to provide information about the sensitivity of the content of a publication when a user is going to share it in OSN. For this purpose, we developed a privacy-assistant agent that detects sensitive information. Based on this (...) information, the agent provides a message through a nudge mechanism warning about the possible risks of sharing the message. To avoid being annoying, the agent also considers the user’s previous behaviour (e.g. if he previously ignored certain nudges) and adapts the messages it sends to give more relevance to those categories that are more important to the user from the point of view of the privacy risk. This agent was integrated into the social network Pesedia. We analysed the performance of different models to detect a set of sensitive categories (i.e. location, medical, drug/alcohol, emotion, personal attacks, stereotyping, family and association details, personal details and personally identifiable information) in a dataset of tweets in Spanish. The model that obtained the best results (i.e. F1 and accuracy) and that was finally integrated into the privacy-assistant agent was transformer-based. (shrink)

In this paper, we introduce connectification operators for intuitionistic and classical linear algebras corresponding to linear logic and to some of its extensions withn-contraction. In particular,n-contraction (n2) is a version of the contraction rule, wheren+1 occurrences of a formula may be contracted ton occurrences. Since cut cannot be eliminated from the systems withn-contraction considered most of the standard proof-theoretic techniques to investigate meta-properties of those systems are useless. However, by means of connectification we establish the disjunction property for both intuitionistic (...) and classical affine linear logics withn-contraction. (shrink)

Sería limitado hacer la lectura de esta obra y considerarla sólo un libro, asunto que hace un tanto problemático elaborar una reseña, y cuando afirmo que es más que un libro, me refiero a que de principio a fin, su creador nos permite vivir una experiencia artística, es decir transformadora, a través de la traducción que realiza de pensamientos y emociones, resultado de sus diversas y copiosas lecturas de textos escritos y audiovisuales, desde la perspectiva ecológica.Usa en este ejercicio 17..

In this note we prove that some familiar systems of finitely many-valued logics havefactor semantics, and establish necessary conditions for a system of many-valued logic having semantics of this kind.

Many who write about the playwright Maria Irene Fornes’s work comment with reverence about the experience of watching those productions she herself directed.1 Managing somehow to combine frank depictions of cruelty and violence with an odd, otherworldly charm, Fornes’s direction conveyed a distinct sui generis quality that has deflected analytic scrutiny—the exterior operates in such an exquisite fashion one hesitates to lift the hood and look beneath. The set is a wooden room which sits on an earth promontory. The promontory (...) is five feet high and covers the same periphery as the room. The wood has the color and texture of bone that has dried in the sun. It is ashen and cold. In Mud’s opening notes.. (shrink)

Generalizedn-gons are certain geometric structures (incidence geometries) that generalize the concept of projective planes (the nontrivial generalized 3-gons are exactly the projective planes).In a simplified world, every generalizedn-gon of finite Morley rank would be an algebraic one, i.e., one of the three families described in [9] for example. To our horror, John Baldwin [2], using methods discovered by Hrushovski [7], constructed ℵ1-categorical projective planes which are not algebraic. The projective planes that Baldwin constructed fail to be algebraic in a dramatic (...) way.Indeed, every algebraic projective plane over an algebraically closed field is Desarguesian [12]. In particular, an algebraically closed field (isomorphic to the base field) can be interpreted in every one of them. However, in the projective planes that Baldwin constructed, one cannot even interpret an infinite group.In this article we show that the same phenomenon occurs for the generalizedn-gons ifn≥ 3 is an odd integer. For each suchnwe constructmany nonisomorphic generalizedn-gons of finite Morley rank that do not interpret an infinite group. As one may expect, our method is inspired by Hrushovski and Baldwin, and we follow Baldwin's line of approach. Quite often our proofs are a verification of the fact that the proofs of Baldwin [2] forn= 3 carry over to an arbitrary positive odd integern(which is sometimes far from being obvious). As in [2], we begin by defining a certain collection of finite graphsK* and a binary relation ≤ on these graphs. We show that (K*, ≤) satisfies the amalgamation property. (shrink)

We review the mathematical theory ofSL(n, R) and its double-covering group $\overline {SL} (n,R)$ , especially forn = 2, 3, 4. After discussing a variety of physical applications, we show that $\overline {SL} (3,R)$ provides holonomic curved space (“world”) spinors with an infinite number of components. We construct the relevant holonomic “manifield” and discuss the gravitational interaction of a proton as an example.

This paper explores the possibility that linear dynamical maps might be used to describe the energy-conserving, entropy-increasing motions which occur in closed thermodynamic systems as they approach canonical thermal equilibrium. ForN-level quantum systems withN>2, we prove that no such maps exist which are independent of the initial state.

In [10] Friedman showed that is a conservative extension of <ε0for-sentences wherei= min, i.e.,i= 2, 3, 4 forn= 0, 1, 2 +m. Feferman [5], [7] and Tait [11], [12] reobtained this result forn= 0, 1 and even with instead of. Feferman and Sieg established in [9] the conservativeness of over <ε0for-sentences for alln. In each paper, different methods of proof have been used. In particular, Feferman and Sieg showed how to apply familiar proof-theoretical techniques by passing through languages with Skolem (...) functionals.In this paper we study the same choice principles in the presence of theBar Rule, which permits one to infer the scheme of transfinite induction on a primitive recursive relation ≺ when it has been proved that ≺ is wellfounded. The main result characterizes + as a conservative extension of a system of the autonomously iterated-comprehension axiom for-sentences. Forn= 0 this has been proved by Feferman in the form that + is a conservative extension of <Γ0; this was first done in [8] by use of the Gödel functional interpretation for the stronger systemZω+μ+ + and then more recently by the simpler methods of [9]. Jäger showed how the latter methods could also be used to obtain the general result of Theorem 1 below. (shrink)