We discuss the axiomatization of generalized consequence relations determined by non-deterministic matrices. We show that, under reasonable expressiveness requirements, simple axiomatizations can always be obtained, using inference rules which can have more than one conclusion. Further, when the non-deterministic matrices are finite we obtain finite axiomatizations with a suitable generalized subformula property.

We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to the standard approach, while also bringing a new (...) algebraic perspective to logics which are algebraizable using the standard tools of AAL. Furthermore, we pave the way toward a robust behavioral theory of AAL, namely by providing a behavioral version of the Leibniz operator which allows us to generalize the traditional Leibniz hierarchy, as well as several well-known characterization results. A number of meaningful examples will be used to illustrate the novelties and advantages of the approach. (shrink)

We extend classical work by Janusz Czelakowski on the closure properties of the class of matrix models of entailment relations—nowadays more commonly called multiple-conclusion logics—to the setting of non-deterministic matrices (Nmatrices), characterizing the Nmatrix models of an arbitrary logic through a generalization of the standard class operators to the non-deterministic setting. We highlight the main differences that appear in this more general setting, in particular: the possibility to obtain Nmatrix quotients using any compatible equivalence relation (not necessarily a congruence); the (...) problem of determining when strict homomorphisms preserve the logic of a given Nmatrix; the fact that the operations of taking images and preimages cannot be swapped, which determines the exact sequence of operators that generates, from any complete semantics, the class of all Nmatrix models of a logic. Many results, on the other hand, generalize smoothly to the non-deterministic setting: we show for instance that a logic is finitely based if and only if both the class of its Nmatrix models and its complement are closed under ultraproducts. We conclude by mentioning possible developments in adapting the Abstract Algebraic Logic approach to logics induced by Nmatrices and the associated equational reasoning over non-deterministic algebras. (shrink)

We study the general problem of strengthening the logic of a given matrix with a set of axioms, using the idea of rexpansion. We obtain two characterization methods: a very general but not very effective one, and then an effective method which only applies under certain restrictions on the given semantics and the shape of the axioms. We show that this second method covers a myriad of examples in the literature. Finally, we illustrate how to obtain analytic multiple-conclusion calculi for (...) the resulting logics. (shrink)

The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by W´ojcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued semantics can be reduced to a two-valued one. So, why should one even consider using logics with more (...) than two values? Because, we argue, one has to decide how to deal with bivalence and settle down the tradeoff between logical 2-valuedness and truth-functionality, from a pragmatical standpoint. -/- This paper will illustrate the ups and downs of a two-valued reduction of logic. Suszko’s reductive result is quite non-constructive.We will exhibit here a way of effectively constructing the two-valued semantics of any logic that has a truth-functional finite-valued semantics and a sufficiently expressive language. From there, as we will indicate, one can easily go on to provide those logics with adequate canonical systems of sequents or tableaux. The algorithmic methods developed here can be generalized so as to apply to many non-finitely valued logics as well —or at least to those that admit of computable quasi tabular two-valued semantics, the so-called dyadic semantics. (shrink)

The modern view of logical reasoning as modeled by a consequence operator has allowed for huge developments in the study of logic as an abstract discipline. Still, it is unable to explain why it is often the case that the same designation is used, in an ambiguous way, to describe several distinct modes of reasoning over the same logical language. A paradigmatic example of such a situation is ‘modal logic’, a terminology which can encompass reasoning over Kripke frames, but also (...) over Kripke models, and in any case either locally or globally . Herein, we adopt a novel abstract notion of logic presented as a lattice-structured hierarchy of consequence operators, and explore some common proof-theoretic and model-theoretic ways of presenting such hierarchies through a collection of meaningful examples. In order to illustrate the usefulness of the notion of hierarchical consequence operators we address a few questions in the theory of combined logics, where a suitable abstract presentation of the logics being combined is absolutely essential. We show how to define the operation, in general, and we achieve a number of interesting preservation results for fibring within the context of 2-hierarchies. (shrink)

. The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. For (...) illustration, we revisit the example of combining intuitionistic and classical propositional logics. (shrink)

We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical matrices. Our constructions preserve finite-valuedness in the context of multiple-conclusion logics, whereas, unsurprisingly, it may be lost in the context of single-conclusion logics. Besides illustrating our constructions over a wide range of examples, we also develop concrete applications of our semantic characterizations, namely regarding the semantics (...) of strengthening a given many-valued logic with additional axioms, the study of conditions under which a given logic may be seen as a combination of simpler syntactically defined fragments whose calculi can be obtained independently and put together to form a calculus for the whole logic, and also general conditions for decidability to be preserved by the combination mechanism. (shrink)

In previous work, we introduced a version of distributed temporal logic that is well-suited both for verifying security protocols and as a metalogic for reasoning about, and relating, different security protocol models. In this paper, we formally investigate the relationship between our approach and strand spaces, which is one of the most successful and widespread formalisms for analyzing security protocols. We define translations between models in our logic and strand-space models of security protocols, and we compare the results obtained with (...) respect to the level of abstraction that is inherent in each of the formalisms. This allows us to clarify different aspects of strand spaces that are often left implicit, as well as pave the way to transfer results, techniques and tools across the two approaches. (shrink)

The Fregean-inspired Principle of Compositionality of Meaning for formal languages asserts that the meaning of a compound expression is analysable in terms of the meaning of its constituents, taking into account the mode in which these constituents are combined so as to form the compound expression. From a logical point of view, this amounts to prescribing a constraint—that may or may not be respected—on the internal mechanisms that build and give meaning to a given formal system. Within the domain of (...) formal semantics and of the structure of logical derivations, the PoC is often directly reflected by metaproperties such as truth-functionality and analyticity, characteristic of computationally well-behaved logical systems. (shrink)

The standard notion of formal theory, in logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts the generating axioms of the theory should also be committed to accept. In reviewing the main abstract approaches to the study of logical consequence, we point out why this notion of theory is unsatisfactory at multiple levels, and introduce a novel notion of theory that attacks the shortcomings of the received notion by (...) allowing one to take both assertions and denials on a par. This novel notion of theory is based on a bilateralist approach to consequence operators, which we hereby introduce, and whose main properties we investigate in the present paper. (shrink)

It is well-known that da Costa's C-systems of paraconsistent logic do not admit a Blok-Pigozzi algebraization. Still, an algebraic flavored semantics for them has been proposed in the literature, namely using the class of so-called da Costa algebras. However, the precise connection between these semantic structures and the C-systems was never established at the light of the theory of algebraizable logics. In this paper we propose to study the C-systems from an algebraic point of view, and to fill in this (...) gap by using the tools and techniques of the newly developed behavioral approach to abstract algebraic logic. As a by-product of the approach, we also rediscover the bivaluation semantics of the logics. (shrink)

We define and study abstract valuation semantics for logics, an algebraically well-behaved version of valuation semantics. Then, in the context of the behavioral approach to the algebraization of logics, we show, by means of meaningful bridge theorems and application examples, that abstract valuations are suited to play a role similar to the one played by logical matrices in the traditional approach to algebraization.

Motivated by applications in software engineering, we propose two forms of combination of logics: synchronization on formulae and synchronization on models. We start by reviewing satisfaction systems, consequence systems, one-step derivation systems and theory spaces, as well as their functorial relationships. We define the synchronization on formulae of two consequence systems and provide a categorial characterization of the construction. For illustration we consider the synchronization of linear temporal logic and equational logic. We define the synchronization on models of two satisfaction (...) systems and provide a categorial characterization of the construction. We illustrate the technique in two cases: linear temporal logic versus equational logic; and linear temporal logic versus branching temporal logic. Finally, we lift the synchronization on formulae to the category of logics over consequences systems. (shrink)

Two famous negative results about da Costa’s paraconsistent logic ${\mathscr {C}}_1$ (the failure of the Lindenbaum–Tarski process [44] and its non-algebraizability [39]) have placed ${\mathscr {C}}_1$ seemingly as an exception to the scope of Abstract Algebraic Logic (AAL). In this paper we undertake a thorough AAL study of da Costa’s logic ${\mathscr {C}}_1$. On the one hand, we strengthen the negative results about ${\mathscr {C}}_1$ by proving that it does not admit any algebraic semantics whatsoever in the sense of Blok (...) and Pigozzi (a weaker notion than algebraizability also introduced in the monograph [6]). On the other hand, ${\mathscr {C}}_1$ is a protoalgebraic logic satisfying a Deduction-Detachment Theorem (DDT). We then extend our AAL study to some paraconsistent axiomatic extensions of ${\mathscr {C}}_1$ covered in the literature. We prove that for extensions ${\mathcal {S}}$ such as ${\mathcal {C}ilo}$ [26], every algebra in ${\mathsf {Alg}}^*({\mathcal {S}})$ contains a Boolean subalgebra, and for extensions ${\mathcal {S}}$ such as,, or [16, 53], every subdirectly irreducible algebra in ${\mathsf {Alg}}^*({\mathcal {S}})$ has cardinality at most 3. We also characterize the quasivariety ${\mathsf {Alg}}^*({\mathcal {S}})$ and the intrinsic variety $\mathbb {V}({\mathcal {S}})$, with,, and. (shrink)

We present an extension of the mosaic method aimed at capturing many-dimensional modal logics. As a proof-of-concept, we define the method for logics arising from the combination of linear tense operators with an “orthogonal” S5-like modality. We show that the existence of a model for a given set of formulas is equivalent to the existence of a suitable set of partial models, called mosaics, and apply the technique not only in obtaining a proof of decidability and a proof of completeness (...) for the corresponding Hilbert-style axiomatization, but also in the development of a mosaic-based tableau system. We further consider extensions for dealing with the case when interactions between the two dimensions exist, thus covering a wide class of bundled Ockhamist branching-time logics, and present for them some partial results, such as a non-analytic version of the tableau system. (shrink)

To date, no definition of life has been unequivocally accepted by the scientific community. In frustration, some authors advocate alternatives to standard definitions. These include using a list of characteristic features, focusing on life’s effects, or categorizing biospheres rather than life itself; treating life as a fuzzy category, a process or a cluster of contingent properties; or advocating a ‘wait-and-see’ approach until other examples of life are created or discovered. But these skeptical, operational, and pluralistic approaches have intensified the debate, (...) rather than settled it. Given the failure of even these approaches, we advocate a new strategy. In this paper, we reverse the usual line of reasoning and argue that the “life problem” arises from thinking incorrectly about the nature of life. Scientists most often conceptualize life as a class or kind, with earthly life as a single instance of it. Instead, we advocate thinking about Earth’s Life as an individual, in the way that species are now thought to be. In this view, Life is a monophyletic clade that originated with a last universal common ancestor, and includes all its descendants. We can continue to use the category ‘life’ pragmatically to refer to similarities between various phenomena and Life. But the relevant similarities are a matter of interest and preference, not a matter of fact. The search for other life in the Universe, then, is merely a search for entities that resemble parts of Life in whatever sense astrobiologists find most appealing. This does not mean that the search for evolved complexity elsewhere in the universe or its creation in the lab are futile endeavors, but that debates over whether they count as ‘life’ are. Ironically, finally abandoning the concept ‘life’ may make our searches for evolved complexity more fruitful. We explain why. (shrink)

Cet article se propose d'analyser les relations entre l'anthropologie et l'indigénisme au Brésil. Pour cela, il retrace le processus de migration des savoirs indigénistes depuis leur contexte d'origine au Mexique jusqu'au Brésil, et les transformations qu'ils connaissent au cours de leur trajectoire jusqu'à aujourd'hui, en s'appuyant sur la notion de « traditions de savoirs » pour la gestion des populations qui se sont développées à partir de l'époque coloniale. Cette approche participe d'une anthropologie du colonialisme, en ce qu'elle étudie les (...) conceptions de la diversité culturelle des populations dans les administrations publiques brésiliennes et les façons de gouverner celles-ci. (shrink)

This paper considers the way mathematical and computational models are used in network neuroscience to deliver mechanistic explanations. Two case studies are considered: Recent work on klinotaxis by Caenorhabditis elegans, and a longstanding research effort on the network basis of schizophrenia in humans. These case studies illustrate the various ways in which network, simulation and dynamical models contribute to the aim of representing and understanding network mechanisms in the brain, and thus, of delivering mechanistic explanations. After outlining this mechanistic construal (...) of network neuroscience, two concerns are addressed. In response to the concern that functional network models are non-explanatory, it is argued that functional network models are in fact explanatory mechanism sketches. In response to the concern that models which emphasize a network’s organization over its composition do not explain mechanistically, it is argued that this emphasis is both appropriate and consistent with the principles of mechanistic explanation. What emerges is an improved understanding of the ways in which mathematical and computational models are deployed in network neuroscience, as well as an improved conception of mechanistic explanation in general. (shrink)

This paper explores aspects of GPT-3 that have been discussed as harbingers of artificial general intelligence and, in particular, linguistic intelligence. After introducing key features of GPT-3 and assessing its performance in the light of the conversational standards set by Alan Turing in his seminal paper from 1950, the paper elucidates the difference between clever automation and genuine linguistic intelligence. A central theme of this discussion on genuine conversational intelligence is that members of a linguistic community never merely respond “algorithmically” (...) to queries through a selective kind of pattern recognition, because they must also jointly attend and act with other speakers in order to count as genuinely intelligent and trustworthy. This presents a challenge for systems like GPT-3, because representing the world in a way that makes conversational common ground salient is an essentially collective task that we can only achieve jointly with other speakers. Thus, the main difficulty for any artificially intelligent model of conversation is to account for the communicational intentions and motivations of a speaker through joint attention. These joint motivations and intentions seem to be completely absent from the standard way in which systems like GPT-3 and other artificial intelligent systems work. This is not merely a theoretical issue. Since GPT-3 and future iterations of similar systems will likely be available for commercial use through application programming interfaces, caution is needed regarding the risks created by these systems, which pass for “intelligent” but have no genuine communicational intentions, and can thereby produce fake and unreliable linguistic exchanges. (shrink)

What are the limits of the use of artificial intelligence (AI) in the relational aspects of medical and nursing care? There has been a lot of recent work and applications showing the promise and efficiency of AI in clinical medicine, both at the research and treatment levels. Many of the obstacles discussed in the literature are technical in character, regarding how to improve and optimize current practices in clinical medicine and also how to develop better data bases for optimal parameter (...) adjustments and predictive algorithms. This paper argues that there are also in principle obstacles to the application of AI in clinical medicine and care where empathy is important, and that these problems cannot be solved with any of the technical and theoretical approaches that shape the current application of AI in specific areas of clinical medicine in which care for patients is fundamental. This is important, because it generates specific risks that may be overlooked otherwise, and it justifies the necessity of human monitoring and emotional intervention in clinical medicine. Consequently, difficult issues concerning moral and legal responsibility may ensue if these in principle problems are ignored. (shrink)

In this book, Carlos Montemayor and Harry Haladjian consider the relationship between consciousness and attention. The cognitive mechanism of attention has often been compared to consciousness, because attention and consciousness appear to share similar qualities. But, Montemayor and Haladjian point out, attention is defined functionally, whereas consciousness is generally defined in terms of its phenomenal character without a clear functional purpose. They offer new insights and proposals about how best to understand and study the relationship between consciousness and attention (...) by examining their functional aspects. The book's ultimate conclusion is that consciousness and attention are largely dissociated. -/- Undertaking a rigorous analysis of current empirical and theoretical work on attention and consciousness, Montemayor and Haladjian propose a spectrum of dissociation—a framework that identifies the levels of dissociation between consciousness and attention—ranging from identity to full dissociation. They argue that conscious attention, the focusing of attention on the contents of awareness, is constituted by overlapping but distinct processes of consciousness and attention. Conscious attention, they claim, evolved after the basic forms of attention, increasing access to the richest kinds of cognitive contents. -/- Montemayor and Haladjian's goal is to help unify the study of consciousness and attention across the disciplines. A focused examination of conscious attention will, they believe, enable theoretical progress that will further our understanding of the human mind. (shrink)

This chapter provides an overview of the basic research strategies and analytic techniques deployed in computational cognitive neuroscience. On the one hand, “top-down” strategies are used to infer, from formal characterizations of behavior and cognition, the computational properties of underlying neural mechanisms. On the other hand, “bottom-up” research strategies are used to identify neural mechanisms and to reconstruct their computational capacities. Both of these strategies rely on experimental techniques familiar from other branches of neuroscience, including functional magnetic resonance imaging, single-cell (...) recording, and electroencephalography. What sets computational cognitive neuroscience apart, however, is the explanatory role of analytic techniques from disciplines as varied as computer science, statistics, machine learning, and mathematical physics. These techniques serve to describe neural mechanisms computationally, but also to drive the process of scientific discovery by influencing which kinds of mechanisms are most likely to be identified. For this reason, understanding the nature and unique appeal of computational cognitive neuroscience requires not just an understanding of the basic research strategies that are involved, but also of the formal methods and tools that are being deployed, including those of probability theory, dynamical systems theory, and graph theory. (shrink)

There has been much debate recently on the question whether essence can explain modality. Here, I examine two routes to an essentialist account of modality. The first is Hale's argument for the necessity of essence, which I will argue is — notwithstanding recent attempted defences of it — invalid by its very structure. The second is the proposal that it is essential to essential truth that it is necessary. After offering three possible versions of the view, I will argue that (...) each fails to provide a metaphysical explanation of necessity in terms of essence. (shrink)

Hegel afirma que la perspectiva del “alma bella” es sostenida por seguidores de Fichte que confunden el Yo absoluto con el yo psicofísico. Estos pensadores y literatos son reconocidos como miembros del Romanticismo alemán. Curiosamente, Hegel no menciona la obra de Jean Paul Richter entre estos casos. Jean Paul sostiene la identificación entre el Yo absoluto fichteano y la conciencia individual. Además, el autor de Hesperus define a los personajes principales de su novela como “almas bellas” y les atribuye cualidades (...) similares a las expuestas por Hegel en la concepción de su figura del Espíritu. El objetivo del presente artículo es demostrar la coincidencia entre la noción hegeliana de “alma bella” y la representación de la subjetividad expuesta por Jean Paul Richter en Hesperus. (shrink)

On a highly influential way to think of modality, that I call ‘relationalism’, the modality of a state is explained by its being composed of properties, and these properties being related by a higher-order and primitively modal relation. Examples of relationalism are the Dretske-Tooley-Armstrong account of natural necessity, many dispositional essentialist views, and Wang’s incompatibility primitivism. I argue that relationalism faces four difficulties: that the selection between modal relations is arbitrary, that the modal relation cannot belong to any logical order, (...) that to explain how the modal relation can relate properties of different adicities additional ideological complexity has to be introduced, and that not all modal constraints are relational. From the discussion, I will extract desiderata for a successor theory of modality. (shrink)

This article aims to clarify the sharp contrast between the “short path” of Heideggerian ontology and the “long path” adopted by Ricoeur as a representation of the many necessary mediations in the constitution of his philosophical anthropology. Heidegger breaks into contemporary thought with the publication of his treatise “Being and Time” (1927) as a kind of direct settlement in the field of ontology. In contrast, Ricoeur is seen - and sees himself - as a thinker of conceptual mediations in his (...) long itinerary, since adherence to Husserlian phenomenology and subsequent hermeneutic inflection, passing through confrontations with Freudian psychoanalysis, structuralism and analytical philosophy, to the creation of the book “Oneself as Another” (1990). However, the two philosophers built their works on the common horizon of hermeneutics; therefore, are there possible points of convergence between them? And how could we interpret the relevance of this possible interlocution? These questions cannot be answered without a thorough comparative reading. This text does not intend to answer them, but only to suggest elements for further investigations. (shrink)

This article presents what I call the Central Normative Proposal of Luis Villoro. This proposal is based on an interpretation of the principle of non-exclusion in ethics and epistemology. The core argument of the paper is based on a linguistic analogy that demonstrates the importance of reasonable communication for non-exclusion in epistemology, which is assumed in various theses of Villoro. A consequence of this analogy for non-exclusion in ethics is that Villoro defends basing what is reasonable on the concrete possibilities (...) of mutual understanding, starting with asymmetries and injustices that are obfuscated or eliminated in a contractualist analysis, or one that begins with strictly egalitarian principles. This criticism is compatible with egalitarian views, but it assumes a radically different point of departure. Although various theses by Villoro are compatible with egalitarian notions, given this point of departure based on asymmetries of power his proposal should be understood based on our cognitive capacities to understand and appreciate such asymmetries. For this reason, the paper concludes with an analysis of the notion of reasonableness, which under my interpretation Villoro defines in terms of our capacities for attention, that are not reducible to beliefs or systems of beliefs. In this way, the Central Normative Proposal of Villoro depends on the convergence between truth and the dignity of the members of communities in which as matter-of-fact asymmetries exist and must be eliminated through concrete communicative efforts. (shrink)

In 1836, at 19 years of age, Colombian philosopher José Eusebio Caro wrote a sociological and anthropological treatise titled Mecánica social that illustrates in context the reception of French philosophy in 19th-century Colombian philosophical thought. The purpose of this paper is to present critically Caro’s theory of the will and to bring to light the philosophical sources from which he draw, especially physiology and its role as theoretical basis for both ideology and a new “scientific” anthropology that could, in turn, (...) provide support for a science of morals and legislation, a major goal of French radical liberal thought. (shrink)

Después de enseñar la asignatura de Ética, y de la aplicar unas normas familiares escolares tradicionales, los estudiantes no se apropian de elementos éticos por varias causas: no les ven utilidad, no comprenden el contexto, o simplemente no les afecta, anulando cualquier interés al respecto. Esto impide que su obrar en la cotidianidad no sea tolerante en su ambiente escolar, generando dificultades en el docente para mediar comportamientos opuestos a una cultura de paz. Ante esto, se propone la Filosofía para (...) Niños (FpN) como apuesta ético-política que permita robustecer el pensamiento crítico, creativo y cuidadoso para mirar hacia una cultura de paz. Diego Pineda, el fundador de FpN en Colombia, sostiene que es necesario desarrollar en los estudiantes habilidades de pensamiento que, adicionales a conocimientos éticos-ciudadanos, los lleve a tomar decisiones acertadas en el abordaje pacífico del conflicto. El desarrollo paulatino del pensamiento, la cercanía a las comunidades de indagación, la incursión en habilidades cognitivas y éticas producto de las herramientas pedagógicas propias del programa de FpN, constituyen una preparación para asumir posiciones argumentadas frente a dilemas que acontecen dentro de los conflictos escolares, ello facilitará al estudiante estructurarse y lograr tomar decisiones iluminadas por la razón. (shrink)

The present text surveys and reevaluates the meaning and scope of Ortega y Gasset’s philosophy. The chapters reveal the most important aspects of his history such as the Neokantian training he went thru in Germany as well as his discovery of Husserl’s phenomenology around 1912. The work also covers his original contributions to philosophy namely vital and historical reason - and the cultural and educational mission he proposed to achieve. The Spanish – and to a certain extent the European – (...) circumstance was the milieu from which his work emerged but this does not limit Ortega’s scope. Rather, he believed that universal truths can only emerge from the particulars in which they are embedded. The publication in 2010 of a critical edition of his Complete Works opened worldwide access for many unpublished manuscripts, and some of his lectures. There is renewed interest among students and researchers in Ortega and this book uniquely delivers scholarship on his content in English. (shrink)

This commentary focuses on the importance of attention skills in the development of universal associative learning, and it explains why the centrality of attention in UAL presents a considerable difficulty for the UAL approach. Attentional abilities are not just developmentally related to UAL but are in fact explanatory of UAL. The main problem is that all the types of attention involved in UAL can be dissociated from consciousness. This means that while attention skills for UAL might be necessary for consciousness, (...) they are not sufficient because they can all occur unconsciously. Thus, the possibility that UAL capacities might not be sufficient for consciousness cannot be eliminated, thereby challenging the key claim of the UAL approach. (shrink)

Artificial intelligence (AI) techniques are used to model human activities and predict behavior. Such systems have shown race, gender and other kinds of bias, which are typically understood as technical problems. Here we try to show that: 1) to get rid of such biases, we need a system that can understand the structure of human activities and;2) to create such a system, we need to solve foundational problems of AI, such as the common-sense problem. Additionally, when informational platforms uses these (...) models to mediate interactions with their users, which is a commonplace nowadays, there is an illusion of progress, for what is an increasingly higher influence over our own behavior is took for an increasingly higher predictive accuracy. Given this, we argue that the bias problem is deeply connected to non-technical issues that must be discussed in public spaces. -/- Técnicas de inteligência artificial (IA) são utilizadas para modelar as atividades humanas e gerar predições comportamentais. Estes sistemas têm apresentado vieses diversos, inclusive de raça e gênero, tipicamente tomados como problemas de engenharia. Realiza-se aqui um esforço argumentativo para mostrar que: 1) escapar dos vieses demanda um sistema que compreenda a estrutura das atividades humanas e; 2) criar um sistema que apresente tal compreensão, demanda a solução de problemas fundacionais da IA, em particular, o problema de como modelar o senso comum. No caso de plataformas informacionais que usam desses modelos para mediar interações com seus usuários, algo cada vez mais comum, o não reconhecimento disso dá margem a uma ilusão de progresso, em que uma crescente influência sobre nosso comportamento é tomada como uma crescente acurácia preditiva. Nesse cenário, argumenta-se que o problema dos vieses está associado a questões não técnicas que devem ser discutidas em espaços públicos. (shrink)

The prevailing view about our memory skills is that they serve a complex epistemic function. I shall call this the “monistic view.” Instead of a monistic, exclusively epistemic approach, I propose a transactional view. On this approach, autobiographical memory is irreducible to the epistemic functions of episodic memory because of its essentially moral and empathic character. I argue that this transactional view provides a more plausible and integral account of memory capacities in humans, based on theoretical and empirical reasons. Memory, (...) on this account, plays two distinctive roles. The episodic memory system satisfies epistemic needs and is valuable because it is a source of justification for beliefs about the past. Autobiographical memory satisfies moral and narrative-autonoetic needs, and is valuable because it is a source of personally meaningful and insightful experiences about our past. Unlike autobiographical memory, episodic memory is only weakly autonoetic. The relation between these two roles of memory is captured by the tension between a narrative and an accurate report. (shrink)

Abstract Nowadays, there is a deep and widespread feeling of discomfort among academics due to the psychological and labor pressures that universities exert upon their researchers by demanding endless publications. In this paper, I offer numerous pieces of evidence of this crisis, which affects primarily those who inhabit academic ecologies. First, I argue that it is convenient to understand the current situation as an expression of technologies and individual apparatuses shaped by subjectivizing ideologies, and mechanisms of exclusion, stigmatization, and replacement. (...) Second, I examine two proposals against the crisis produced by the pace of academic production framed by the Slow movement. Lastly, after making explicit some of the assumptions that undergird the university’s epistemological machine, I propose to complement Ulmer and Mountz’s project with two suggestions. On the one hand, I extend an invitation to reflect on and with students as a means to redirect the university’s teleology. On the other hand, I suggest incorporating an ontogogic approach as a resistance apparatus against the pressure from the university’s production machine. The article’s point of departure is anti-dicotonegative because it is based on a summative approach rather than in an agonistic procedure. In other words, I propose two additional tools that can be put to the test to contribute to solving the university publication crisis. (shrink)

¿Qué tipo de agencia es necesaria para la personalidad jurídica? ¿Cuáles son los requisitos cognitivos y racionales que los sistemas legales asumen acerca de los sujetos de la ley? ¿Cómo es que los seres humanos cumplen con estos requisitos? En trabajo previo (Cáceres y Montemayor, 2016), hemos argumentado que estas preguntas requieren un nuevo acercamiento a la teoría del derecho, basado en hallazgos recientes en ciencia cognitiva, que van más allá de tratamientos teóricos neuro-legales contemporáneos. Aquí construimos sobre esta propuesta, (...) ahora enfocándonos en cuestiones de agencia y normatividad, incluyendo tipos de agencia que son relevantes para la epistemología social. La conclusión principal del artículo es que los muy estrictos requisitos cognitivos que se asumen sobre las capacidades explícitas de racionalidad de los agentes cognitivos, presupuestos por la ley, no sólo son incompatibles con los hallazgos en psicología, sino que un análisis sistemático de la agencia moral y epistémica también es necesario para poder entender la normatividad legal. El argumento principal es que tipos de agencia colectiva, moral y epistémica, difieren de la agencia individual, la cual también debe distinguirse como moral y epistémica. Fundamentalmente, la agencia colectiva difiere de la individual no sólo con base en diferencias con respecto a la racionalidad, sino también con base en los criterios de integración informativa. Varias consecuencias de este análisis son evaluadas, incluyendo aspectos concernientes a integración informativa para juicios y decisiones, comunicación fiable para la agencia epistémica, y la integración de consideraciones morales en el razonamiento jurídico. Una revisión comprensiva de la noción de “autonomía” es justificada por esta propuesta, en parte porque los requisitos comunes para la personalidad y autonomía jurídica son muy demandantes e inadecuados en muchos casos, y en parte porque la agencia colectiva debe tomarse en consideración como un tipo fundamental de agencia legal responsable para procesos de integración informativa. Basándonos en la distinción entre formas epistémicas y morales de razonamiento, explicamos cómo los sistemas legales necesitan de altos niveles de integración cognitiva para la responsabilidad legal a nivel colectivo. (shrink)

Karl Marx’s writings about Spain have been published and studied on several occasions. Among the sources listed by Pedro Ribas, William Walton and his work The Revolutions of Spain, from 1808 to the End of 1836 figures among those mentioned most. Rather surprising, given that Walton sympathised with both Spanish Carlism and Portuguese Miguelism. Though he was born and died in England, Walton lived in the Spanish and Portuguese empires, in America and in the French colony of Santo Domingo at (...) various stages in the course of his career. A Catholic in an Anglican country, he translated Puigblanch’s The Inquisition Unmasked. Neither did his political ideas remain unchanged throughout his life. This paper looks at the influence thatWalton had on Marx’s ideas about Spain, particularly as regards the Carlist political movement. Marx read Walton in the British Library and took detailed notes from his book. He used these notes in his articles regarding the events that occurred in the country. We will also reflect on the place that Walton begins to occupy in Peninsular historiography, through the bibliographical information on his changing political viewpoints and his proximity to contemporary events.For this article we started with the study of the biography and the work of William Walton, which led us to discover a possible connection with the thinking of Karl Marx. Our investigations have led us to consider that Walton’s writings on Spain helped to form the opinions expressed by Marx in his press articles. (shrink)

Is it possible to know anything about life we have not yet encountered? We know of only one example of life: our own. Given this, many scientists are inclined to doubt that any principles of Earth’s biology will generalize to other worlds in which life might exist. Let’s call this the “N = 1 problem.” By comparison, we expect the principles of geometry, mechanics, and chemistry would generalize. Interestingly, each of these has predictable consequences when applied to biology. The surface-to-volume (...) property of geometry, for example, limits the size of unassisted cells in a given medium. This effect is real, precise, universal, and predictive. Furthermore, there are basic problems all life must solve if it is to persist, such as resistance to radiation, faithful inheritance, and energy regulation. If these universal problems have a limited set of possible solutions, some common outcomes must consistently emerge. In this chapter, I discuss the N = 1 problem, its implications, and my response (Mariscal 2014). I hold that our current knowledge of biology can justify believing certain generalizations as holding for life anywhere. Life on Earth may be our only example of life, but this is only a reason to be cautious in our approach to life in the universe, not a reason to give up altogether. In my account, a candidate biological generalization is assessed by the assumptions it makes. A claim is accepted only if its justification includes principles of evolution, but no contingent facts of life on Earth. (shrink)

The objective of the present review on the evolution of Green Chemistry, since its emergence until 2016, aimed an integrated vision of its progress along the three phases of its development: emergence, divulgation and consolidation. The methodology involved the analysis of a selection of bibliography on the evolution of GC collected from issues of the ACS symposia series; editorials in specialized GC journals; and commemorative birthday papers/editorials of these journals and of the GC itself. The analysis allowed to identify and (...) discuss the characteristics and conceptions of GC agents about fundamental concepts and procedures, in order to visualize and better understand the state of knowledge and the subject areas that make up the field. The main alterations identified in the evolution of GC were: it acquired a better defined identity, with more participation of academy and increased scope; was progressively framed in sustainability; has been aspiring to a holistic frame and to a change on the nature of the innovation for its implementation, from incremental to transformative. The analysis suggests that for supporting expansion and consolidation of GC the following aspects deserve attention: full validation of chemical greenness by metrics; better characterization of the frontiers of GC research areas/themes; increased integration between academy and industry; and penetration in chemistry curricula. Its basic philosophy being the practice of a chemistry more focused on the environment preservation, GC means a new stage in nature and in the history of Chemistry. (shrink)

Typically, existentialist analyses of “America” have been limited to North America (more specifically, the United States). I argue that developing an adequate framework for existentially analyzing America requires a turn to Mexican existentialism. In Emilio Uranga’s and Jorge Portilla’s writings, we discover new conceptual tools for understanding Americanness as such. These thinkers help us imagine an account of American being that does not restrict itself to the United States by using the concepts of existentialism to describe the crises their neighbors (...) to the north as well as they themselves face. American existence has been historically characterized by a convergence (oftentimes clash) of disparate races, ethnicities, languages, cultures, religions, and identities. As history unfolded, this convergence led to various existential crises across the Americas. Whereas the US American way of life is marred by a blustering, naïve, and purposeless misuse of freedom that disregards the other, the existential crisis the Mexican lives is characterized by “accidentality” and “zozobra.” Despite these important differences, all existentialists, and the Mexican existentialists of the Hyperion Group especially, remind us that there is a common way to overcome the various existential crises plaguing the Americas, and that is to exercise freedom in a purposeful, communally conscious manner. (shrink)