In the present paper we study systematically several consequence relations on the usual language of propositional intuitionistic logic that can be defined semantically by using Kripke frames and the same defining truth conditions for the connectives as in intuitionistic logic but without imposing some of the conditions on the Kripke frames that are required in the intuitionistic case. The logics so obtained are called subintuitionistic logics in the literature. We depart from the perspective of considering a logic just as a (...) set of theorems and also depart from the perspective taken by Restall in that we consider standard Kripke models instead of models with a base point. We study the relations between subintuitionistic logics and modal logics given by the translation considered by Došen. Moreover, we classify the logics obtained according to the hierarchy considered inAlgebraic Logic. (shrink)

This paper explores the apparently fairness of the United Nations’ collective security system, through an indicator: the attention paid, in terms of amount of resolutions, by the Security Council to the major episodes of political violence within the second half of twentieth century where the principle of “responsibility to protect” should have been activated. This study, however, is embedded into a wider context: the social conditions which allowed for the emergence of the modern State. The underlying thesis points out that (...) those same conditions had to be present at the international before a global organism with real capacity to order the world may appear. Along this line of thought, the paper resorts to the experience of the Human Rights Effectiveness Institute in the process of developing a human rights effectiveness index. (shrink)

Tarski algebras, also known as implication algebras or semi-boolean algebras, are the \-subreducts of Boolean algebras. In this paper we shall introduce and study the complete and atomic Tarski algebras. We shall prove a duality between the complete and atomic Tarski algebras and the class of covering Tarski sets, i.e., structures \, where X is a non-empty set and \ is non-empty family of subsets of X such that \. This duality is a generalization of the known duality between sets (...) and complete and atomic Boolean algebras. We shall also analize the case of complete and atomic Tarski algebras endowed with a complete modal operator, and we will prove a duality for these algebras. (shrink)

In this note we introduce and study algebras of type such that is a bounded distributive lattice and ⌝ is an operator that satisfies the condition ⌝ = a ⌝ b and ⌝ 0 = 1. We develop the topological duality between these algebras and Priestley spaces with a relation. In addition, we characterize the congruences and the subalgebras of such an algebra. As an application, we will determine the Priestley spaces of quasi-Stone algebras.

We show that for an arbitrary logic being locally tabular is a strictly weaker property than being locally finite. We describe our hunt for a logic that allows us to separate the two properties, revealing weaker and weaker conditions under which they must coincide, and showing how they are intertwined. We single out several classes of logics where the two notions coincide, including logics that are determined by a finite set of finite matrices, selfextensional logics, algebraizable and equivalential logics. Furthermore, (...) we identify a closure property on models of a logic that, in the presence of local tabularity, is equivalent to local finiteness. (shrink)

La filosofía de la ciencia se desarrolló durante la primera mitad del siglo xx bajo el supuesto de que la ciencia podía caracterizarse por la estructura lógica tanto del conocimiento articulado en las teorías más exitosas como de sus explicaciones. En la segunda mitad del siglo xx se cuestiona fuertemente esa idea, pero se sigue asumiendo que la filosofía de la ciencia debe hacerse siguiendo los cánones de una epistemología fundamentalista que considera que el avance de la ciencia pasa por (...) una ontología cada vez mas austera guiada por la idea de "mientras menos mejor". Desde esta perspectiva fundamentalista, el que las diferentes ciencias hablen de diferentes tipos de cosas es un obstáculo al entendimiento, producto de la imperfección del conocimiento actual. Este ideal nos invita a pensar que la epistemología debe hacerse reflexionando sobre el conocimiento articulado en nuestras teorías más austeras y nos compromete con propuestas reduccionistas problemáticas que no permiten explicar la diversidad de recursos epistémicos que de hecho utilizan los científicos. En este libro promovemos una epistemología que no sigue el lema de "mientras menos mejor", sino el de "organizar nuestros recursos epistémicos de manera que se genere entendimiento". Así, la misma estructura de las explicaciones y las prácticas (que incluye métodos y normas respecto de lo que se considera plausible y valioso) es lo que nos da la pauta para responder a la pregunta de qué es lo que hay. Esta estrategia epistémica nos obliga a hacer una filosofía de la ciencia muy cercana a la ciencia, reconociendo la pluralidad de sus métodos, objetivos y prácticas, sin reducir la filosofía de la ciencia a la sociología o a cualquier otra ciencia en particular. (shrink)

Usual derivations of Lilders's projection rule show that Liuders's rule is the rule required by quantum statistics to calculate the final state after an ideal (minimally disturbing) measurement. These derivations are at best inconclusive, however, when it comes to interpreting Liuders's rule as a description of individual state transformations. In this paper, I show a natural way of deriving Liiders's rule from well-motivated and explicit physical assumptions referring to individual systems. This requires, however, the introduction of a concept of individual (...) state which is not standard. (shrink)

Competitive sports involve physiological, technical and psychological skills, which influence directly on individuals’ performance. This study aims to investigate the levels of perceived stress and Heart Rate Variability before and after matches with victory and defeat in professional eSports athletes. Our hypothesis was that the winners would have better autonomic and stress responses after match, thus corroborating the literature on neurocardiac connections. Fifty male eSport players were selected players from 10 different Brazilian teams. The experiment was carried out in 2 (...) sessions. Firstly, after signing the informed consent form, 24 h before the game, anthropometric, physical activity levels and time of expertise data were recorded only for sample characterization and the players were familiarized with the perceived stress scale—10 and the HRV measurements. Secondly, players performed the PSS-10 and HRV recording at rest by 10 min 60 and 30 min before the game and 10 min after the end of the game. Overall, concerning PSS-10 our findings show that VG had significant reduced scores in post-game time compared to baseline and pre-game times, while DG had significant increased scores in post-game time compared to BL and pre-game times. Regarding HRV, our results demonstrate that VG had significant increase in RR, SDNN, rMSSD, pNN50 and HF, and significant decrease in LF and LF/HF, while DG had a significant decrease in RR, SDNN, rMSSD and HF, and significant increase in LF and LF/HF. It was observed that VG had better HRV responses as well as lower levels of perceived stress, while DG had worst HRV responses and higher levels of perceived stress. (shrink)

In this case report, we studied Theory of Mind and figurative language comprehension in a 7.2-year-old child, conventionally named RJ, with isolated and complete agenesis of the corpus callosum, a rare malformation due to the absence of the corpus callosum, the major tract connecting the two brain hemispheres. To study ToM, which is the capability to infer the other’s mental states, we used the classical false belief tasks, and to study figurative language, i.e., those linguistic usages involving non-literal meanings, we (...) used tasks assessing metaphor and idiom comprehension. RJ’s intellectual level and his phonological, lexical, and grammatical abilities were all adequate. In both the ToM false belief tasks and novel sensory metaphor comprehension, RJ showed a delay of 3 years and a significant gap compared to a typically developing control group, while in idioms, his performance was at the border of average. These outcomes suggest that RJ has a specific pragmatic difficulty in all tasks where he must interpret the other’s communicative intention, as in ToM tasks and novel sensory metaphor comprehension. The outcomes also open up interesting insights into the relationships between ToM and figurative language in children with isolated and complete ACC. (shrink)

This paper presents a short review and then examines in some detail a text by Ricardo Maliandi on the natural motives of technique. It offers/provides methodological considerations and raises anthropological and ethical issues, casting doubt about the sense and scope of the technical in relation to human evolution.Esta comunicación resume primero y analiza después con cierto detalle un escrito de Ricardo Maliandi sobre los resortes naturales de la técnica , haciendo consideraciones de método, cuestionamientos antropológicos y éticos, sentando otros reparos (...) luego respecto del sentido y alcance de lo técnico en relación con la evolución del hombre. (shrink)

Hilbert algebra with a Hilbert-Galois connection, or HilGC-algebra, is a triple \(\left(A,f,g\right)\) where \(A\) is a Hilbert algebra, and \(f\) and \(g\) are unary maps on \(A\) such that \(f(a)\leq b\) iff \(a\leq g(b)\), and \(g(a\rightarrow b)\leq g(a)\rightarrow g(b)\) forall \(a,b\in A\). In this paper, we are going to prove that some varieties of HilGC-algebras are characterized by first-order conditions defined in the dual space and that these varieties are canonical. Additionally, we will also study and characterize the congruences of (...) an HilGC-algebra through specific closed subsets of the dual space. This characterization will be applied to determine the simple algebras and subdirectly irreducible HilGC-algebras. (shrink)

The word “legitimacy” and its derivations (legitimate, legitimation, etc.) are widely employed in scientific language as they also are in current usage. In fact, we find them in several areas, from that of reasoning (“this conclusion is legitimate”) to that of law (“judgment of legitimacy”, “legitimate family”) and politics (“legitimate sovereign”). It is particularly in this latter domain, however, that they have their normal use as qualifications for power, and it is this particular aspect that I shall consider in this (...) paper. In accredited political language “legitimacy” designates a principle, or criterion, of justification for power (acting and commanding) and, correlatively, of the obedience that is its due. (shrink)

This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; we likewise establish (...) that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert-style calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new corresponding Hilbert-style calculus. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert-style calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well. (shrink)

I DO NOT INTEND to present, in this paper, either a renewed account of the classical doctrine of natural law, or a modern version of its foundation in human nature. This does not mean that I consider superfluous or meaningless both these tasks. Indeed, I am convinced that the notion of natural law is still important for a full understanding of what we mean by "law." Natural law could be interpreted, for instance, as the transcendental condition of legal experience. And (...) metaphysics--as the "ultimate knowledge of being," to put it in Edmund Husserl's terms--could prove that the being of man, analyzed in its structure, offers a convincing ontological foundation of the law. (shrink)

Se analizan algunos usos del tópico de la política en el Menón, para mostrar que la virtud discutida es política, no sólo porque los interlocutores están interesados exclusivamente en la cualidad que debe poseer el gobernante, sino también porque tal cualidad consiste en una forma de autogobierno de..