Anna Ribera Carbó es investigadora titular de tiempo completo en la Dirección de Estudios Históricos del Instituto Nacional de Antropología e Historia (INAH) desde 1992. Licenciada, Maestra y Doctora en Historia por la Universidad Nacional Autónoma de México. Miembro del Sistema Nacional de Investigadores. Imparte clases de Historia de México e Historia de las Culturas en preparatoria desde 1987. Se ha especializado en la historia política y social mexicana de la primera mitad del siglo XX. Ha publicado artículos en (...) revistas nacionales y extranjeras, así como capítulos en libros colectivos. Editora de los apuntes personales del general Francisco J. Múgica, publicados en la colección “Memorias Mexicanas” del Consejo Nacional para la Cultura y las Artes y autora de los libros La patria ha podido ser flor. Francisco J. Múgica, una biografía política (1999) y La Casa del Obrero Mundial. Anarcosindicalismo y revolución en México (2010) publicados por el INAH. (shrink)

NIK1 is a receptor‐like kinase involved in plant antiviral immunity. Although NIK1 is structurally similar to the plant immune factor BAK1, which is a key regulator in plant immunity to bacterial pathogens, the NIK1‐mediated defenses do not resemble BAK1 signaling cascades. The underlying mechanism for NIK1 antiviral immunity has recently been uncovered. NIK1 activation mediates the translocation of RPL10 to the nucleus, where it interacts with LIMYB to fully down‐regulate translational machinery genes, resulting in translation inhibition of host and viral (...) mRNAs and enhanced tolerance to begomovirus. Therefore, the NIK1 antiviral immunity response culminates in global translation suppression, which represents a new paradigm for plant antiviral defenses. Interestingly, transcriptomic analyses in nik1 mutant suggest that NIK1 may suppress antibacterial immune responses, indicating a possible opposite effect of NIK1 in bacterial and viral infections. (shrink)

Antonio Argandoña, Norbert Bilbeny, Victòria Camps, Miquel Calsina, Àngel Castiñeira, Cristian Palazzi, Ferran Requejo, Raimon Ribera, Begoña Román, Ferran Sàez, Miquel Seguró, Francesc Torralba, Josep Maria Vallès, Rosamund Thomas Ramon Llull Journal of Applied Ethics 2012 3(3):9-16.

There are very few (published) accounts of editorial misconduct, and those that do exist are almost exclusively focused on medicine-related areas. In the present article we detail a case of editorial misconduct in a rather underexplored domain, the social sciences. This case demonstrates that although legal systems provide different instruments of protection to avoid, compensate for, and punish misconduct on the part of journal editors, the social and economic power unbalance between authors and publishers suggests the importance of alternative solutions (...) before or instead of bringing a lawsuit to court. It puts forward strong arguments in favour of the need for effective regulatory bodies so as to achieve and maintain a culture of research integrity by all involved in the process. (shrink)

Counterfactuals abound in science, especially when reasoning about and with models. This often requires entertaining counterfactual conditionals with nomologically or metaphysically impossible antecedents, namely, counternomics or counterpossibles. In this paper I defend the make-believe view of scientific counterfactuals, a naturalised fiction-based account of counterfactuals in science which provides a means to evaluate their meanings independently of the possibility of the states of affairs their antecedents describe, and under which they have non-trivial truth-values. Fiction is here understood as imagination (in contrast (...) with its most typical association with falsity), characterised as a propositional attitude of pretense or ‘make-believe’ (Walton 1990). The application of this theory to scientific counterfactuals makes their evaluation a game of make-believe: a counterfactual is (fictionally) true iff its antecedent and the rules of the game prescribe the imagining of its consequent (Kimpton-Nye 2020). The result is a practice-based account of counterfactuals and counterfactual reasoning in science which incorporates insights from theoretical and experimental analytic philosophy as well as cognitive science. This way, the make-believe view of scientific counterfactuals shows that the evaluation of scientific counterfactuals is none other than a question of scientific representation in disguise. (shrink)

In this article we discuss the political thought of the French philosopher Simone Weil. In particular, we analyse two fundamental elements of her critique of Marxism, namely her reflections on the phenomenon of power and her critique of the theory of the unlimited development of productive forces. We do so in dialogue with two of the pioneers of the ecosocialist critique of Marx in Spain: Manuel Sacristán and Francisco Fernández Buey, both readers of Weil. The aim: to point out the (...) relevance of this philosopher’s thought not only for its influence on some of the great ethical-political reflections of the socialist tradition in the twentieth century, but also for its ability to address the current challenges. (shrink)

Introduction: Publications arguing against the null hypothesis significance testing (NHST) procedure and in favor of good statistical practices have increased. The most frequently mentioned alternatives to NHST are effect size statistics (ES), confidence intervals (CIs), and meta-analyses. A recent survey conducted in Spain found that academic psychologists have poor knowledge about effect size statistics, confidence intervals, and graphic displays for meta-analyses, which might lead to a misinterpretation of the results. In addition, it also found that, although the use of ES (...) is becoming generalized, the same thing is not true for CIs. Finally, academics with greater knowledge about ES statistics presented a profile closer to good statistical practice and research design. Our main purpose was to analyze the extension of these results to a different geographical area through a replication study. Method: For this purpose, we elaborated an on-line survey that included the same items as the original research, and we asked academic psychologists to indicate their level of knowledge about ES, their CIs, and meta-analyses, and how they use them. The sample consisted of 159 Italian academic psychologists (54.09% women, mean age of 47.65 years). The mean number of years in the position of professor was 12.90 (SD = 10.21). Results: As in the original research, the results showed that, although the use of effect size estimates is becoming generalized, an under-reporting of CIs for ES persists. The most frequent ES statistics mentioned were Cohen’s d and R2/η2, which can have outliers or show non-normality or violate statistical assumptions. In addition, academics showed poor knowledge about meta-analytic displays (e.g., forest plot and funnel plot) and quality checklists for studies. Finally, academics with higher-level knowledge about ES statistics seem to have a profile closer to good statistical practices. Conclusions: Changing statistical practice is not easy. This change requires statistical training programs for academics, both graduate and undergraduate. (shrink)

In this article, I present in a systematic way Aristotle’s understanding of movement (kinêsis) as efficient cause in the Generation of Animals. This aspect of movement is not disclosed in the approach to movement as an incomplete activity in contrast to energeia, which has been extensively discussed in the literature. I explain in which sense movement is the efficient cause of generation and how this movement is related to the other factors, in particular the source of movement, the seminal fluid, (...) pneuma, and the vital heat, as well as to the form and the soul. The role of movement as efficient cause of generation shows how, for Aristotle, form and soul are inseparable from matter and movement in nature. Explaining the role of movement as efficient cause of generation also helps to make sense of the multiplicity of factors involved in the efficient causality of generation. The key to articulating these factors with one another is the identity of form of the generative movement, which is specifically the same in the source, in the tools, and in the substance that is coming into being. (shrink)

There are two different notions of seed at work in the Generation of Animals: seed as the spermatic residue, which concerns only the male and the female generative contributions, and seed as the kuêma and first mixture of the two generative contributions. The latter is a notion of seed common to plants and animals. The passage in GA I.18, 724b12–22 where Aristotle distinguishes between these two notions of seed has been mistakenly discredited as inauthentic or simply as irrelevant for understanding (...) the seeds of animals. On the other hand, recent studies have rather focused on the seed as spermatic residue, paying little attention to the notion of seed as kuêma. In this paper I defend the authenticity and relevance of this passage and show how understanding the notion of seed as kuêma is essential to have a complete picture of Aristotle’s account of seed. This common notion of seed makes sense of Aristotle’s otherwise puzzling use of the word “sperma” to designate the seeds of plants, the kuêma, the fertilized eggs, and the first mixture of the two generative contributions. It also proves helpful in determining what the word ‘sperma’ stands for in key passages, such as Metaph. IX.7. (shrink)

No hay nada más evocador que un cuerpo filmado: los rasgos y la piel, pero también los gestos y movimientos. Y es uno de los privilegios del cine poder llevar a cabo esa misión como ningún otro arte pudo hacerlo antes. Porque a través de las películas vemos la labor del tiempo, su transcurso, su implacable trabajo de demolición. El cine contemporáneo se nos aparece ahora como el laboratorio ideal para la investigación sobre el cuerpo, sobre los contactos que establece (...) con otros cuerpos, sobre sus enfrentamientos, sobre su soledad y su decadencia. Pero también sobre su situación en los nuevos paisajes postindustriales, sobre su relación con la tecnología, sobre las fusiones que se ve obligado a realizar para sobrevivir. No estamos hablando solamente, pues, de relaciones humanas, o de desplazamientos en el espacio, o de las distintas maneras de sonreír y de mover las manos. También hablamos de las nuevas carnes metálicas, de otros cuerpos que hasta ahora nos eran desconocidos, por distancia geográfica o limitaciones de la imaginación. (shrink)

This paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their "A General Algebraic Semantics for Sentential Logics". The logics (...) studied here arise from the algebraic and lattice-theoretical properties we review of Tetravalent Modal Algebras, a class of algebras studied mainly by Loureiro, and also by Figallo, Landini and Ziliani, at the suggestion of the late Antonio Monteiro. (shrink)

In this paper two deductive systems associated with relevance logic are studied from an algebraic point of view. One is defined by the familiar, Hilbert-style, formalization of R; the other one is a weak version of it, called WR, which appears as the semantic entailment of the Meyer-Routley-Fine semantics, and which has already been suggested by Wójcicki for other reasons. This weaker consequence is first defined indirectly, using R, but we prove that the first one turns out to be an (...) axiomatic extension of WR. Moreover we provide WR with a natural Gentzen calculus. It is proved that both deductive systems have the same associated class of algebras but different classes of models on these algebras. The notion of model used here is an abstract logic, that is, a closure operator on an abstract algebra; the abstract logics obtained in the case of WR are also the models, in a natural sense, of the given Gentzen calculus. (shrink)

A partir dos pressupostos corpóreos elaborados por Marx nos Manuscritos de 1844, que fundamentam o seu posicionamento materialista-dialético, tais como a teorização antropológica do corpo como unidade dialética entre natureza e história, o conceito-processo de objetivação que requer como condição transhistórica a ligação corpo-terra e a identificação da cisão dessa ligação como a condição histórica de advento da forma social do capital, buscaremos neste artigo analisar a inversão feita pelo jovem Marx da dialética hegeliana. Para tal análise trilharemos o seguinte (...) percurso: 1. Apontaremos os pressupostos corpóreos como conteúdo material da dialética marxiana presente nos Manuscritos de 1844; 2. Analisaremos a crítica do Marx jovem ao idealismo hegeliano a partir do “humano corpóreo” e em acordo com a crítica à economia política; 3. Identificaremos o desdobramento dessa inversão, mantidos os pressupostos, na análise madura de Marx no livro I d’O Capital. (shrink)

This is a contribution to the discussion on the role of truth degrees in manyvalued logics from the perspective of abstract algebraic logic. It starts with some thoughts on the so-called Suszko’s Thesis (that every logic is two-valued) and on the conception of semantics that underlies it, which includes the truth-preserving notion of consequence. The alternative usage of truth values in order to define logics that preserve degrees of truth is presented and discussed. Some recent works studying these in the (...) particular cases of Łukasiewicz’s many-valued logics and of logics associated with varieties of residuated lattices are also presented. Finally the extension of this paradigm to other, more general situations is discussed, highlighting the need for philosophical or applied motivations in the selection of the truth degrees, due both to the interpretation of the idea of truth degree and to some mathematical difficulties. (shrink)

En el presenteartículo revisamos las formas de interacción de los cuerpos con los discursos y la praxis pedagógica. Para ello revisamos, desde la pedagogía hermenéutica las formas de ocultación y emancipación de los cuerpos educandos. Partiendo de la idea original que habitualmente se ha objetivizado a los cuerpos educandos a través de la mirada hermenéutica es posible hablar de corporalidad o subjetividad de los cuerpos.

According to Aristotle’s homonymy principle, when we use a common name to refer to wholes and parts that lack the capacity to carry out the function signified by the name, we are using the name in a homonymous way. For example, pictures and statues of a man, or a dead eye, are called “man” and “eye” only homonymously because they cannot carry out their proper function, i.e., to live and to see. This principle serves well Aristotle’s purposes in natural philosophy, (...) for it avoids a reduction of the essence of living bodies and their parts to their material composition and shape. This principle, however, leaves unexplained why we still use those names in common language, despite their homonymy. Using Aristotle’s own comments on homonymy, I will examine the role played by external figure, for it explains why such homonyms are not accidental. In fact, they are correct forms of linguistic usage in non-philosophical contexts. (shrink)

Jose Marti contributed greatly to Cuba's struggle for independence from Spain with words as well as revolutionary action. Although he died before the formation of an independent republic, he has since been hailed as a heroic martyr inspiring Cuban republican traditions.

In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACSs A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of these structures (...) with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACSs A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples and counterexamples. (shrink)

A definition and some inaccurate cross-references in the paper A Survey of Abstract Algebraic Logic, which might confuse some readers, are clarified and corrected; a short discussion of the main one is included. We also update a dozen of bibliographic references.

Esta proposta de comunicação visa apresentar brevemente as relações institucionais entre as comunidades indígenas que ocupam o território nacional e as figuras jurídicas que historicamente lhes foram aplicadas pelos poderes atribuídos ao Direito Positivo, vigente em cada um dos momentos mais relevantes dessa história. Faremos essa genealogia da figura do índio no ordenamento jurídico nacional tendocomo base, sobretudo, os trabalhos de Manuela Carneiro da Cunha (1987, 1992, 2012) Perrone-Moisés (1992), José Afonso da Silva (2016) e Carlos Marés (2010). No entanto, (...) pretendemos centrar nossa análise no contexto contemporâneo. (shrink)

ukasiewicz''s four-valued modal logic is surveyed and analyzed, together with ukasiewicz''s motivations to develop it. A faithful interpretation of it in classical (non-modal) two-valued logic is presented, and some consequences are drawn concerning its classification and its algebraic behaviour. Some counter-intuitive aspects of this logic are discussed in the light of the presented results, ukasiewicz''s own texts, and related literature.

A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra having the same Leibniz congruence. This paper studies these filters and the sentential logic ?+ defined by the class of all ?-matrices whose filter is Leibniz, which is called the strong version of ?, in the context of protoalgebraic logics with theorems. Topics studied include an enhanced Correspondence Theorem, characterizations of the weak algebraizability of ?+ and of (...) the explicit definability of Leibniz filters, and several theorems of transfer of metalogical properties from ? to ?+. For finitely equivalential logics stronger results are obtained. Besides the general theory, the paper examines the examples of modal logics, quantum logics and Łukasiewicz's finitely-valued logics. One finds that in some cases the existence of a weak and a strong version of a logic corresponds to well-known situations in the literature, such as the local and the global consequences for normal modal logics; while in others these constructions give an independent interest to the study of other lesser-known logics, such as the lattice-based many-valued logics. (shrink)

Jürgen Habermas é um pensador moderno que nos apresenta uma racionalidade capaz de criar espaços de liberdade que correspondem aos ideais de emancipação social que sempre cruzaram o horizonte da modernidade ocidental. Através de vários estudos deste autor, incluindo contributos críticos à sua teoria, iremos desenvolver a sua reflexão epistemológica e a sua relevante contribuição para a renovação da teoria crítica alemã. Começaremos por apresentar a sua crítica ao positivismo, para depois convocar a disputa que protagonizou com Gadamer em torno (...) da hermenêutica. Habermas adota a hermenêutica, ainda que com algumas críticas, como facilitadora de autorreflexão que permita revelar às ciências sociais os erros quer da ciência social objetivista, quer da análise vulgar da linguagem. Segue-se a perspetiva deste pensador acerca dos interesses que orientam o conhecimento e, por fim, empreenderemos uma abordagem à teoria da racionalidade comunicativa, que afirma o otimismo universalista de Habermas, assente num saudável pluralismo que permite o consenso humano. (shrink)

Industry 5.0 and Healthcare 5.0 converge towards a human centered society, having technological advancement as a lever. In Society 5.0, decentralized autonomous cities and a convergence of physical and cyberspace are the foundations of the new chapter of society’s development. The idea of creating digital replicas and legitimate representatives of human beings in cyberspace has become a pillar of digitalization. Society 5.0 introduces Human Digital Twins as a central element of Cyber Physical Systems that include human factors or are designed (...) to interact with humans in a personalized fashion. Overall, the HDT and neighboring concepts are applied to depict how humans can be represented in a cyberspace. However, there are clear challenges in determining which human characteristics should take precedence, how much autonomy should be granted to HDTs to optimize their functionality and how to conceptualize the digital environment in which HDTs interact with various entities, including other digital agents and stakeholders with agency and decisional power. To harness similarities and differences of current approaches, we propose a classification of HDTs based on meta-characteristics and ethical implications. We discuss ethical implication by focusing on emerging risks and paradigm shifts and anchor the previous discussion in the vision for Society 5.0, questioning whether societal development relying on disruptive technologies, instead of leading to more human-centered societies might be driving humanized societies away from humanity. (shrink)

A pair of deductive systems (S,S’) is Leibniz-linked when S’ is an extension of S and on every algebra there is a map sending each filter of S to a filter of S’ with the same Leibniz congruence. We study this generalization to arbitrary deductive systems of the notion of the strong version of a protoalgebraic deductive system, studied in earlier papers, and of some results recently found for particular non-protoalgebraic deductive systems. The necessary examples and counterexamples found in the (...) literature are described. (shrink)

This paper is concerned with the particular problems raised by observations of phenomena outside the common course of nature for their validation as knowledge. It examines to what extent the content of the reports and, in particular, their lack of intrinsic plausibility affected the methods used in their authentication and the assessment of testimony at the Royal Society in the first half of the eighteenth century. I show that literary strategies were usually necessary but not sufficient for the validation of (...) these kinds of observations. Next, I discuss why visual representations were especially useful in establishing the singularity of the observations, but I point out that their high costs and other restrictions meant that they were not so widespread. In contrast I show that, for a long period of time, testimony was used in the majority of the reports as the true stamp of authenticity. I note, however, that the Royal Society accepted reports by authors of varied social status, level of education and occupation, and I discuss some of the factors responsible for the complexity of the handling of testimony at the Society. I argue against Shapin that in the case of reports of extraordinary phenomena, the competence of the reporter and witnesses was often more important than their social status. The increasing role of expertise in the assessment of observations at the Society become especially apparent by the middle of the eighteenth century.Author Keywords: Authentication; Competence; Monstrous births; Singular; Testimony; Royal Society of London. (shrink)

Axel Honneth desenvolve o conceito de reconhecimento, encarado como uma necessidade fundamental do ser-humano, de forma a constituir-se no núcleo de uma teoria da justiça que procura especificar as condições intersubjetivas de autorrealização individual. Apresenta-se uma teoria da justiça assente na reconstrução das práticas e condições de reconhecimento já institucionalizadas, analisando as instituições sociais em um sentido amplo. Pretende-se aproximar a concepção normativa da justiça da análise sociológica das sociedades modernas, através da reconstrução normativa e ao colocar a ênfase na (...) liberdade social, baseada na dimensão intersubjetiva das instituições de reconhecimento. A liberdade social prevê o acesso às instituições de reconhecimento. Um dos objetivos é esboçar os problemas desse avanço interpretativo da teoria crítica do reconhecimento, pelo que iremos convocar a teoria da luta pelo reconhecimento de Honneth, incluir a sua reactualização mais recente do Direito de Hegel e explorar a sua proposta normativa para as condições de uma vida ética. (shrink)

ABSTRACT This paper will follow a path that intends to go beyond the bifurcating interpretations between ahistorical essentialism and historicist relativism with regard to the theoretical elaboration of “human nature” by the young Marx, analyzing it from the conception of the body as a dialectical unit between nature and history as it appears in his Manuscripts of 1844. Why does Marx focus on a theoretical elaboration of the production of human corporality while criticizing work under capital in these Manuscripts that (...) represent, in his trajectory, the beginning of his studies on political economy and the inauguration of his dialectical materialism? From an analysis of the notebooks that make up these Manuscripts, we will demonstrate that there is a theorization of the body that involves transhistorical aspects - the vital connection with the “inorganic body” that is the earth - and historical in the form of mediation of this relationship and that such theorizing has the methodological value of providing historical-materialist premises as a counterpoint to the ahistorical premises of political economy as well as the inversion of the Hegelian dialectic under the starting point of the “corporeal human”, enabling a point of view from which we can overcome a way of “pathological” mediation. (shrink)

Resumo O propósito deste texto é mostrar que os problemas enfrentados por Merleau-Ponty, ao longo de seu percurso de pensamento, decorrem dos pressupostos dicotômicos dos quais ele parte. Assim, procuramos trazer à tona outras consequências de se assumir tal pressuposto, o do primado de uma experiência perceptiva muda como solo natal de todas as outras modalidades da experiência. Para tanto, tomam-se em consideração tanto a primeira como a segunda fase do pensamento de Merleau-Ponty.Our purpose is to show that the problems (...) faced by Merleau-Ponty throughout his path of thought arise from the dichotomous assumptions from which he begins. Thus, we seek to shed light on the other consequences of assuming a presumption such as the primacy of a mute perceptual experience as the native soil of all other experience’s modes. Therefore, the first as well as the second phases of Merleau-Ponty’s thought are taken into account. (shrink)

Es posible defender que el pensamiento político de Suárez se halla en tránsito desde lo medieval a una Modernidad diferente. El núcleo de dicha interpretación es la tesis de que la consecución del bien común inserto en la facticidad de la realidad humana concreta es el motor de la teoría política suareciana. Desde ahí se analizan sus elementos fundamentales: primero, el origen comunitario del poder político a partir de la naturaleza social de la persona, creada así por Dios. Segundo, la (...) articulación operativa de dicho poder a través de su entrega absoluta a un gobernante y la preferencia por la Monarquía como forma de gobierno. Tercero, la aceptación de la resistencia al tirano en determinados casos y condiciones. Así, cabe sostener que la flagrante contradicción entre la translatio total del poder político y la simultánea admisión de la resistencia a este supone, en última instancia, negar la primera, erigir esta última como límite del poder, y abrir la puerta a un modelo de democracia directa. (shrink)

The “representation problem” in abstract algebraic logic is that of finding necessary and sufficient conditions for a structure, on a well defined abstract framework, to have the following property: that for every structural closure operator on it, every structural embedding of the expanded lattice of its closed sets into that of the closed sets of another structural closure operator on another similar structure is induced by a structural transformer between the base structures. This question arose from Blok and Jónsson abstract (...) analysis of one of Blok and Pigozzis’s characterizations of algebraizable logics. The problem, which was later on reformulated independently by Gil-Férez and by Galatos and Tsinakis, was solved by Galatos and Tsinakis in the more abstract framework of the category of modules over a complete residuated lattice, and by Galatos and Gil-Férez in the even more abstract setting of modules over a quantaloid. We solve the representation problem in Blok and Jónsson’s original context of M-sets, where M is a monoid, and characterise the corresponding M-sets both in categorical terms and in terms of their inner structure, using the notions of a graded M-set and a generalized variable introduced by Gil-Férez. (shrink)

ABSTRACT In this paper we introduce a set of six logical values, arising in the application of three-valued logics to time intervals, find its algebraic structure, and use it to define a six-valued logic. We then prove, by using algebraic properties of the class of De Morgan algebras, that this semantically defined logic can be axiomatized as Belnap's ?useful? four-valued logic. Other directions of research suggested by the construction of this set of six logical values are described.

In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent calculus. (...) When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties. (shrink)

Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate (...) for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)

According to a growing body of studies, people’s ability to forecast future emotional experiences is generally biased. Nonetheless, the existing literature has mainly explored affective forecasting in relation to specific events, whereas little is still known about the ability to make general estimations of future emotional states. Based on existing evidence suggesting future-oriented disposition as a key factor for mental health, the aims of the current study were (1) to investigate the relationship between negative (NA) and positive (PA) affective forecasting (...) biases and perceived psychological well-being, and (2) to explore whether positively biased predictions are associated with resilience and foster one’s skills to cope with stressful events. To do so, we asked 85 undergraduate students to forecast PA and NA over 2 weeks, as well as to report their daily affect through a web-based Ecological Momentary Assessment. According to the results, positively biased PA forecasting (i.e., overestimating positive emotional states) was associated with greater perceived psychological well-being and higher resilience. When high levels of stress were experienced, participants holding an optimistic, yet biased, estimation of future PA were more likely to successfully manage stressors, thus maintaining lower levels of NA and higher levels of positive emotions. We suggest that positively biased PA forecasting is an adaptive cognitive distortion that boosts people’s resilience and mental health, thus opening new avenues for the promotion of psychological well-being. (shrink)

Demonstrates the validity of the measure presented in "Estimating Semantic Content" on textbook examples using (binary) resolution [a generalization of disjunctive syllogism] theorem proving; the measure is based on logical probability and is the mirror image of logical form; it dates to Popper.

Neste artigo pretendemos investigar a origem e o alcance do conceito de Economia Política da Natureza, quando aplicado à luta indígena pela demarcação de seus territórios, em confronto com a dinâmica dos interesses da mercantilização capitalista da terra e dos chamados 'recursos naturais', através da análise dos fundamentos da economia política, com ênfase na sua conceitualização do trabalho. A seguir faremos um levantamento da leitura histórico-materialista destes fenômenos, para finalmente comparar estas teorias com a perspectiva antropológica do “valor” do trabalho (...) e da divisão social das riquezas em sociedades não articuladas pelo mercado auto-regulado. (shrink)