Counting models for a two conjunctive formula $F$, a problem known as $\sharp $2Sat, is a classic $\sharp $P complete problem. Given a 2-CF $F$ as input, its constraint graph $G$ is built. If $G$ is acyclic, then $\sharp $2Sat can be computed efficiently. In this paper, we address the case when $G$ has cycles. When $G$ is cyclic, we propose a decomposition on the constraint graph $G$ that allows the computation of $\sharp $2Sat in incremental way. Let $T$ be (...) a cactus graph of $G$ containing a maximal number of independent cycles, and let $\overline{T}=-E)$ be a subset of frond edges from $G$. The clauses in $\overline{T}$ are ordered in connected components $\{K_1, \ldots, K_r\}$. Each $, i=1,\ldots,r$ is a knot of the graph. The arrangement of the clauses of $\overline{T}$ allows the decomposition of $G$ in knots and provides a way of computing $\sharp $2Sat in an incremental way. Our procedure has a bottom-up orientation for the computation of $\sharp $2Sat. It begins with $F_0 = T$. In each iteration of the procedure, a new clause $C_i \in \overline{T}$ is considered in order to form $F_i = $ and then to compute $\sharp $2Sat$$ based on the computation of $\sharp $2Sat$$. (shrink)

Every so often an experiment trying to give reliable evidence for a metallic hydrogen solid is reported. Such evidence is, however, not too convincing. As Eric Scerri has recently reiterated, “the jury is still out on that issue” . This search stems from the common spectroscopy shared by the hydrogen atom and all the alkali metal atoms, and perhaps is guided by a desire to place hydrogen atop the alkali metals, in Mendeleiev’s Table, reinforced by the fact pointed out by (...) Scerri that there is no other obvious place for hydrogen in said Table. But H2 is a light gas at room temperature, while Li, Na, K and the other alkali elements form solid metal crystals. At very low temperatures, of course, hydrogen solidifies, but it is formed by H2 molecules . Our purpose here is to use a new argument to break this impasse: “should H be grouped with the alkali metals with which it shares a common spectroscopy, but which solidifies in a completely different fashion?” This argument has been proposed before in a couple of papers in this journal to establish a similar question for He and the alkaline earths , as is discussed in “Precedents” section. (shrink)

With increased visibility of trans people comes increased philosophical interest in gendered language. This chapter aims to look at the research on gendered language in analytic philosophy of language so far, which has focused on two concerns: (1) determining how to define gender terms like ‘man’ and ‘woman’ such that they are trans inclusive and (2) if, or to what extent, we should use gendered language at all. We argue that the literature has focused too heavily on how gendered language (...) can harm trans people, and has not considered how trans people use gendered language to create meaning and joy for ourselves. Pulling from the literature in sociolinguistics, we look at examples of how trans people use language to make their lives better by gaining recognition, playing with gendered language, finding joy in gendered language, and taking control of definitional power, concluding that debates about gendered language need to consider not only how such language harms trans people but also how trans people use it for our own liberation. (shrink)

Este trabalho analisa a influência tributária na definição do modelo constitucional de atribuição dos resultados econômicos da exploração do petróleo offshore, no Brasil. Além da abordagem constitucional do tema, destaca-se a participação dos entes federativos estaduais nas rendas da produção de petróleo, sua federalização e, em decorrência, a redução das rendas dos entes federativos subnacionais, implicando num movimento compensatório pela via da utilização de elementos de natureza tributária, tais como o extinto Imposto Único sobre Minerais e o regime constitucional especial (...) de cobrança na origem do ICMS devido nas operações de combustíveis e derivados de petróleo. (shrink)

There is a curious phenomenon where people from marginalized populations are taken to be arrogant when they show no signs of superiority. In effect, their actions are misconstrued, and their attitudes are rendered unintelligible. Given that arrogance is standardly taken to be a flaw in one’s moral character, understanding such misattributions should give us insight into the affective marginalization many people face. This talk aims to give a thorough exploration of arrogance under oppression. I argue that arrogance is a kind (...) of self-preoccupation that involves projecting one’s values, goals, and concerns onto others as if they were objective values, goals, and concerns. When the affectively marginalized communicate their self-respect through things like protest, people mistake that self-respect as self-preoccupation given how the affectively marginalized are constructed. Furthermore, given how affective marginalization not only inhibits how the marginalized are understood by others, but inhibits their own affective lives, I argue that taking up an arrogant attitude is not always morally vicious, but can be a beautiful form of political resistance but all things considered good. (shrink)

This paper explores two persistent questions in the literature on presumptions: the place and the nature of presumptions in law and legal argumentation. These questions were originally raised by James Bradley Thayer, one of the masters of the Law of Evidence and the author of the classic chapter devoted this subject in A preliminary treatise on Evidence. Like Thayer, I believe that these questions deserve attention. First the paper shows that the connection between presumptions and argumentation is a constant feature (...) in the literature on presumptions, since its foundation in the Middle Ages to modern times. James Bradley Thayer was probably the last jurist who clearly saw that presumptions belong to argumentation. Second, the paper examines two sources of controversy in the language of presumptions. First, “presumption” is an ambiguous word in the legal discourse. As a result, it is almost impossible to provide a clear and succinct answer to the question “What is a presumption?”. Second, there are at least four reconstructions of the concept of presumption whose merits and shortcomings are relevant to explore. The analysis presented here may be of interest for legal and non-legal scholars and, hopefully, it may help to shed light on the possibilities and limits of an interdisciplinary dialogue about presumptions. (shrink)

Philosophers of race and other writers in the Black and Latinx intellectual traditions have remarked on what it is like to live under “the racial gaze,” to be shaped and limited by the way whites perceive us. However, little work has been spent developing how the racial gaze functions in whites’, and other racially privileged people’s, moral psychology. I argue in this paper that there is a morally objectionable way of perceiving people of color. This claim builds on an insight (...) from Iris Murdoch that our perception can be morally evaluable and extends it to issues of race. I articulate how racial stereotypes and misvaluing distort one’s perception of people of color and that these distortions are organizing around a dominant conception for race that plays an important role in the oppression of people of color. I believe understanding racist perception lays a foundation for understanding the moral dimensions of interpersonal (as opposed to structural) racism. (shrink)

Este artículo se orienta en sentido inverso al sugerido por Cristina Rivera Garza y refrendado por la mayoría de los textos especializados en su obra: en vez de priorizar la ruptura y la innovación, atiende la trabazón que ata _Autobiografía del algodón_ con una fecunda tradición narrativa en América Latina: aquella empecinada en representar la alteridad sociocultural. Mi hipótesis es que, sin menoscabo de los ademanes vanguardistas de esta novela, es dable hallar en ella tensiones que, en distintos niveles, remiten (...) a la dificultad de asir la imagen de los algodoneros a los que se pretende reivindicar. Así, pese a que _Autobiografía del algodón_ se ofrece como un tránsito de lo personal y familiar a lo comunitario/nacional (en tanto que extiende temporal y territorialmente los efectos de la siembra de algodón), lo cierto es que Rivera Garza se enfrenta a la dificultad de encarar literariamente un referente cuya filiación sociocultural es disímil a la suya. La fluctuación entre los atributos de la narración homodiegética y la heterodiegética, la exteriorización de las capas que componen el texto y el asomo a una temporalidad diferente son los recursos puestos en juego para tratar de menguar la ajenidad sustantiva frente al mundo aludido. (shrink)

We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, usually (...) separately. In this work, we develop a logical language that allows us to describe them together. We present syntax, semantics and a complete axiom system; we discuss similarities and differences with other approaches and mention how the work can be extended. (shrink)

Texto originalmente publicado em HORSTMANN, R-P. “Hegels Theorie der bürgerlichen Gesellschaft”. In: SIEP, Ludwig, G. W. F. Hegel: Grundlinien der Philosophie des Rechts. De Gruyter. pp. 189-208 (2016).

This chapter explores Marcel’s relationship with German idealism, the impact idealism had on his existentialism, his philosophical evolution beyond idealist conceptions of objectivity and consciousness, and his own move towards the authentic “ethical self,” whose goal is a reciprocal, intersubjective relationship with others who are freely seeking the inner meaning of experience. It will argue that the authentic self is fundamentally personal because it is embodied, non-objective, and creates opportunities for others to existentially flourish. The continuing progress of the ethical, (...) authentic self in a world that threatens it establishes Marcel’s existentialism as way to flourish in the midst of absurdity, and so establishes it as more than a mere reaction to German idealism. (shrink)

Le laboratoire scientifique est ici appréhendé dans sa spécificité propre. Il est bien situé en tant qu'objet anthropologique. Le lecteur trouvera dans ce livre la problématique du pouvoir dans le laboratoire, il découvrira une manière spécifique de traiter la dialectique entre production identitaire individuelle et collective.

This paper compares pair and Mob programming in university courses from students' perceptions of technical and human aspects. Wilcoxon signed rank tests were performed. Results indicated that students preferred pair programming in technical aspects and in a global evaluation they completed.

Humans and AI systems are usually portrayed as separate sys- tems that we need to align in values and goals. However, there is a great deal of AI technology found in non-autonomous systems that are used as cognitive tools by humans. Under the extended mind thesis, the functional contributions of these tools become as essential to our cognition as our brains. But AI can take cognitive extension towards totally new capabil- ities, posing new philosophical, ethical and technical chal- lenges. To (...) analyse these challenges better, we define and place AI extenders in a continuum between fully-externalized systems, loosely coupled with humans, and fully-internalized processes, with operations ultimately performed by the brain, making the tool redundant. We dissect the landscape of cog- nitive capabilities that can foreseeably be extended by AI and examine their ethical implications. We suggest that cognitive extenders using AI be treated as distinct from other cognitive enhancers by all relevant stakeholders, including developers, policy makers, and human users. (shrink)

El presente artículo hace una lectura de la obra dramatúrgica Bandada de pájaros: segundo ensayo sobre la memoria (2016) de Jorgelina Cerritos (San Salvador, 1974) desde una perspectiva tanatopolítica. Se indaga acerca del poder que ejerce el Estado salvadoreño en la vida de la ciudadanía, representada por personajes que, desprovistos de su categoría de persona, ven interrumpidos todos sus derechos. Estos sujetos son miembros de una comunidad que se convierten en una amenaza potencial a suprimir por parte del Estado. Además, (...) se analiza la vulnerabilidad de la mujer ante el aparato bélico heteropatriarcal y las posibilidades del teatro como espacio para la construcción de una memoria que restituya el recuerdo y la identidad de los miles de desaparecidos durante la guerra civil salvadoreña. (shrink)

The principle of overlap of classes holds that when two entities interface, the effect is a blurring of boundaries between conceptual territories. In this paper, this question is in order: Is Folk Catholicism an instance of overlap of classes? If Folk Catholicism is not construed as such, these fallacies – using Robin George Collingwood’s perspective in his An Essay on Philosophical Method, may unfold: the fallacy of precarious margins, the fallacy of identified coincidents, and the fallacy of false disjunction. The (...) first fallacy holds that the ‘Folk’ in Folk Catholicism has no contribution to how ‘Catholicism’ unfolds. The second fallacy maintains that the extensions of both ‘Folk’ and ‘Catholicism’ are clearly delineated. The third fallacy underscores that Folk and Catholicism are mutually exclusive terms. When such fallacies are accepted, this paper holds that Folk Catholicism as a construct may be a contradiction of terms on what it means to be Folk and Catholic. This is the illogical consequence given that the truth of what it means to be folk necessitates the falsity of what it means to be Catholic and vice-versa. However, when recognized from the lens of the overlap, Folk Catholicism is construed as a term that evolves and is historically conditioned. (shrink)

An initial study of Robin George Collingwood's The Principles of Art and Benedetto Croce's Aesthetic: A Science ofExpression and General Linguistic gives an immediate impression that Collingwood appropriated and incorporated many elements in Croce's work to his own position. This is probably the main reason why Collingwood, in his correspondence with Croce, sincerely expressed his gratitude to the Italian Philosopher for laying the foundation of his art-theory. Collingwood's acknowledgement of Croce's influence and the apparentsimilarity in their theories on art disposes (...) us to wonder if Collingwood mayhave only extended, hence, reiterated the principles of Croce's position. Given this impression, the present article hopes to provide a study between Collingwood's and Croce's theories of art in the hope that we can tease out a crucial difference between their standpoints. If we can demonstrate a significant difference, then we may have provided ourselves with the cudgels to assert that Collingwood's theory of art is also unique. (shrink)

El presente artículo aborda los engranajes entre escritura y ciudadanía que plantea el poemario de Elvira Hernández, Estado de sitio. Para ello, considera los factores de orden sociocultural que acompañaron su producción, circulación y recepción crítica, en el contexto del estallido social de octubre 2019 en Chile, la coyuntura feminista y el actual proceso constituyente. Hitos de nuestra historia reciente frente a los cuales la poeta se posiciona ética y estéticamente desde una concepción política de la palabra como litigio, (...) esto es, una disputa –discursiva y social– por la enunciación de (en) lo común. (shrink)

This paper analyses the metaliterary statements that pervade the oeuvre of Ennodius of Pavia (a.d. 474–521) in order to reconstruct his underlying conception of language: its nature, power, function, limitations, and dangers. This new perspective provides a more nuanced insight into the paradoxical poetics of the author as well as his final renunciation to literature after his appointment as bishop of Pavia.

In deduction the truth of the premises guarantees the truth of the conclusion because the conclusion is contained in the premises; because of that many philosophers have denied the possibility of gaining knowledge through deduction or through deductive reasoning, which leads to a problem known as the paradox of inference. To address this problem, I propose a distinction between deductive reasoning as a cognitive process capable of generating new knowledge, and implication as a logical relation between propositions, which accounts for (...) deduction’s validity, and I present scientific evidence to underpin this proposal. En la deducción la verdad de las premisas garantiza la verdad de la conclusión porque la conclusión está contenida en las premisas; por ello varios filósofos han negado la posibilidad de obtener conocimientos a través de la deducción o del razonamiento deductivo, dando lugar a un problema que se conoce como paradoja de la inferencia. Pare enfrentar este problema propongo distinguir entre el razonamiento deductivo como proceso cognitivo capaz de generar conocimientos nuevos y la implicación deductiva como una relación lógica entre proposiciones que da cuenta de la validez de la deducción, y presento evidencia científica que apoya esta propuesta. (shrink)

This study examines the relationship between cooperative business relations in small businesses and environmental protection, one of the most important policies of social responsibility in manufacturing. We reviewed the literature and carried out an empirical study of 930 small manufacturing firms in Spain. Results indicate that small businesses that maintain and improve their cooperative relations through business networking with universities, competitors, suppliers and customers spend more on environmental protection. The managerial, practical, research and policy implications of the obtained research findings (...) are discussed. (shrink)

En los últimos años, ha habido un creciente interés en analizar los problemas relativos a la epistemología de la prueba jurídica. En distintas culturas jurídicas, las cuestiones de prueba y razonamiento acerca de los hechos han sido abordadas desde diversas perspectivas. La cultura jurídica latinoamericana no es, en este sentido, una excepción: hay actualmente un vigoroso grupo de juristas en la región que se ha ocupado de estudiar problemas relativos a los procesos probatorios en el Derecho...

In the first author's thesis [10], a sequential language, LRT, for real number computation is investigated. That thesis includes a proof that all polynomials are programmable, but that work comes short of giving a complete characterization of the expressive power of the language even for first-order functions. The technical problem is that LRT is non-deterministic. So a natural characterization of its expressive power should be in terms of relations rather than in terms of functions. In [2], Brattka examines a formalization (...) of recursive relations in the style of Kleene's recursive functions on the natural numbers. This paper is an expanded version of [13] which establishes the expressive power of LRTp, a variant of LRT, in terms of Brattka's recursive relations. Because Brattka already did the work of establishing the precise connection between his recursive relations and Type 2 Theory of Effectivity, we thus obtain a complete characterization of first-order definability in LRTp. (shrink)

Neurofeedback has been suggested as a potential complementary therapy to different psychiatric disorders. Of interest for this approach is the prediction of individual performance and outcomes. In this study, we applied functional connectivity-based modeling using electroencephalography (EEG) and functional near-infrared spectroscopy (fNIRS) modalities to (i) investigate whether resting-state connectivity predicts performance during an affective neurofeedback task and (ii) evaluate the extent to which predictive connectivity profiles are correlated across EEG and fNIRS techniques. The fNIRS oxyhemoglobin and deoxyhemoglobin concentrations and the (...) EEG beta and gamma bands modulated by the alpha frequency band (beta-m-alpha and gamma-m-alpha, respectively) recorded over the frontal cortex of healthy subjects were used to estimate functional connectivity from each neuroimaging modality. For each connectivity matrix, relevant edges were selected in a leave-one-subject-out procedure, summed into “connectivity summary scores” (CSS), and submitted as inputs to a support vector regressor (SVR). Then, the performance of the left-out-subject was predicted using the trained SVR model. Linear relationships between the CSS across both modalities were evaluated using Pearson’s correlation. The predictive model showed a mean absolute error smaller than 20%, and the fNIRS oxyhemoglobin CSS was significantly correlated with the EEG gamma-m-alpha CSS (r = −0.456, p = 0.030). These results support that pre-task electrophysiological and hemodynamic resting-state connectivity are potential predictors of neurofeedback performance and are meaningfully coupled. This investigation motivates the use of joint EEG-fNIRS connectivity as outcome predictors, as well as a tool for functional connectivity coupling investigation. (shrink)