Este artículo propone un diálogo entre Norbert Lechner y José Aricó a partir del diagnóstico del primero, a fines de la década del ochenta, respecto a los ejes articuladores del debate latinoamericano entre los años sesenta y los ochenta: revolución y democracia. Se propone una discusión del esquema de Lechner a partir de intervenciones de Aricó en el período, postulando cierta continuidad en el pensamiento de Aricó entre revolución y democracia: el concepto de una democracia social avanzada y la interrogación (...) en torno al sujeto de transformación de nuestras sociedades recorre diferentes etapas de las intervenciones del cordobés, aún cuando se modifican sensiblemente las gramáticas de su producción discursiva. This paper proposes a dialogue between Norbert Lechner and José Aricó from a diagnosis of the first, in the late eighties, about the pivotal elements of Latin American debate between the sixties and eighties: revolution and democracy. We propose a discussion over a Lechner scheme, from Aricó interventions in this period, postulating some continuity in the thinking of Aricó between revolution and democracy: the concept of advanced social democracy and the question about the subject of transformation of our societies goes through different stages in his interventions, even when significantly altered the discursive production grammars. (shrink)

We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We also prove (...) a theorem that ensures the termination of the process of finding the justified facts. Two more lemmas define a reduced search space for checking specificity. In order to implement the theoretical ideas, the language is restricted to Horn clauses for the evidential context. The language used to represent defeasible rules has been restricted in a similar way. The authors intend this work to unify the various existing approaches to argument-based defeasible reasoning. (shrink)

KOINONIA/ASETT MINGA/MUTIRÃO DE REVISTAS DE TEOLOGIA LATINO-AMERICANAS Teología de la Liberación y movimiento ecuménico: breve reflexión desde una práctica (Liberation Theology and ecumenical movement: a brief reflection from praxis).

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

Exploring informal components of clinical reasoning, we argue that they need to be understood via the analysis of professional wisdom. Wise decisions are needed where action or insight is vital, but neither everyday nor expert knowledge provides solutions. Wisdom combines experiential, intellectual, ethical, emotional and practical capacities; we contend that it is also more strongly social than is usually appreciated. But many accounts of reasoning specifically rule out such features as irrational. Seeking to illuminate how wisdom operates, we therefore build (...) on Aristotle’s work on informal reasoning. His account of rhetorical communication shows how non-formal components can play active parts in reasoning, retaining, or even enhancing its reasonableness. We extend this account, applying it to forms of healthcare-related reasoning which are characterised by the need for wise decision-making. We then go on to explore some of what clinical wise reasoning may mean, concluding with a case taken from psychotherapeutic practice. (shrink)

Bi-intuitionistic logic is the result of adding the dual of intuitionistic implication to intuitionistic logic. In this note, we characterize the expressive power of this logic by showing that the first order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intuitionistic directed bisimulations. The proof technique is originally due to Lindstrom and, in contrast to the most common proofs of this kind of result, it does not use the machinery of neither saturated models nor elementary (...) chains. (shrink)

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $\mathcal {L}_{\omega \omega }^{-} $ ). In this note, we provide a fix: we show that $\mathcal {L}_{\omega \omega }^{-} $ is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we (...) use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity. (shrink)

This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic can be obtained? We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; but the shift (...) to non-classical logic may recast the meanings of these apparently ‘absolute’ theorems. (shrink)

This book treats practical and political reasoning as an active engagement with the world and other people; it cannot be understood as exclusively cognitive and this is seen as a virtue rather than a deficiency. Informal, emotional, characterological, aesthetic and interactional aspects of thought can be constituents of reasonable arguing. The work examines key capacities connected with argumentation, in a variety of fields from professional and medical ethics to work organization and the practice of art.

This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should, respectively, satisfy and falsify. By means of an elementary chains construction, we prove that each model can be elementarily extended to a $\kappa $-saturated model, i.e. a model where as many types as possible are realized. In order (...) to prove this theorem we obtain, as by-products, some results on tableaux and their consistency and satisfiability and a generalization of the Tarski–Vaught theorem on unions of elementary chains. Finally, we provide a structural characterization of $\kappa $-saturation in terms of the completion of a diagram representing a certain configuration of models and mappings. (shrink)

This essay addresses the relationships between prescription and description in legal rules. The analysis will focus on the culture-laden connotations of factual categories implied in all legal sentences and/or provisions. This investigation is spurred by the need to assess the impact of cultural difference in people’s understanding of legal imperatives and, symmetrically, how that impact is to be considered in the application of law. Differences in ways of categorizing the world could position the cultural pre-understanding required by law, and the (...) pluralism recognized and protected by constitutional principles and human/fundamental rights discourse, at a crossroads. Hence, even when we find an illegitimacy or an ignorance about what legal rules do not explicitly state but instead implicitly presuppose, this does not exclude that behind that ignorance there may be something worthy of legal protection. A question emerges: is it legitimate and reasonable to consider the ignorantia facti resulting from differing ways of categorizing the factual world as automatically and uncritically subject to the principle ignoratia legis non excusat? The essay continues with an assessment of the possible consequences of ignorantia facti in the administration of justice in multicultural societies and migration contexts. For this purpose, the opportunity for an intercultural use of law—including within national law—will be considered as a means of avoiding the discriminatory application of ignorantia facti. This topic will be addressed by leveraging both semiotic and cultural-anthropological analytical tools, including the well-known greimasien “contrat de véridiction”. (shrink)

Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.

We show that propositional intuitionistic logic is the maximal abstract logic satisfying a certain form of compactness, the Tarski union property, and preservation under asimulations.

O artigo – desde uma perspectiva da educação como direito humano universal que reconhece a diversidade – realiza um recorrido panorâmico por uma série de dimensões da educação intercultural no ensino superior do Chile, especialmente universitária, discute criticamente a situação atual da interculturalização na universidade – entendida genericamente – e conclui com algumas perguntas que podem orientar pesquisas ou decisões que levem a que o ensino superior considere os direitos indígenas, permita a expressão de sua cultura, promova a interculturalidade, forme (...) os técnicos e profissionais que requerem o desenvolvimento da sociedade e das comunidades e enriqueça a docência e a ciência com outros paradigmas de conhecimento. Desse modo, que reconheça e valide a interculturalidade e os aportes das culturas indígenas a sua identidade, formação e produção de conhecimento. Trata das comunidades e dos estudantes indígenas em geral, mas aprofunda a situação desde o povo mapuche, embasando-se em projetos de pesquisa e desenvolvimento e em experiências em e desde a Região da Araucanía. A proposta se centra na ideia de que o direito à educação, desde a lei e inconstitucionalidade atual, se centra no sistema escolar formal de ensino básico e médio e não considera a educação superior ou a um sistema de educação continuado como direito universal, no qual poderia se especificar uma condição especial aos estudantes indígenas. Por isso, hoje se luta pela igualdade de oportunidades de inclusão entre indígenas e não indígenas. Palavras-chave: Ensino Superior. Interculturalidade. Cultura mapuche. (shrink)

The many constraints of outer space experience challenge the human ability to coexist. Paradoxically, astronauts assert that on the international space station there are no conflicts or, at least, that they are able to manage their differences, behavioral as well as cognitive, in full respect of human rights and the imperatives of cooperative living. The question is: Why? Why in those difficult, a-terrestrial, and therefore almost unnatural conditions do human beings seem to be able to peacefully and collaboratively live together? (...) What is there beyond terrestrial boundary conditions that allows for such a result? And what can we learn from the astronauts’ experience about the effectiveness of human rights on Earth? My proposal is that the a-terrestrial dimension deeply alters the mind/body indexical framework and, in this way, disentangles the human inclination to semiosis from the cognitive and behavioral habits of categorization and territorialization inherent in the experience on Earth. If analyzed through the spectrum of an interdisciplinary approach involving anthropology, semiology, law, and human geography, I think that outer space enterprises can offer many insights into the cognitive and ethical/political hindrances to the effectiveness of human rights and their intercultural uses. Meanwhile the compulsive greed for a possessive territorialization of outer space and celestial bodies is growing by leaps and bounds. It haunts and imbues both astropolitics and space law. The astronauts’ semio-anthropological experience of human rights and cooperative coexistence seems to have been left in orbit. The future requires awareness and action by anthropologists, semioticians, cognitive scientists, geographers and lawyers, working all together in an interdisciplinary effort to move beyond approaching the experiential with a territorial mindset. The hope is that the “dark dream” of human exploitation/colonization of outer space will not turn from a political and legal speculation into a future reality. (shrink)

This essay, between serious and facetious, addresses an apparently secondary implication of the planetary tragedy produced by Covid-19. It coincides with the ‘problem of the veil,’ a bone of contention in Islam/West relationships. More specifically, it will address the question of why the pandemic has changed the proxemics of public spaces and the grammar of ‘living together.’ For some time—and it is not possible to foresee how much—in many countries people cannot go out, or enter any public places, without wearing (...) a sanitary mask. In short, almost all of us, by obligation or by urgent advice from the public authorities of the various countries, will not live the public sphere with our faces uncovered. The alteration of the social context affecting many Western countries will inevitably involve also the ‘local’ perception of the Islamic veil and—as a matter of equality—the consistency of the prohibition of wearing it. What will thus become of the ban on wearing it in public places established by some countries such as France and asseverated by the ECHR? If everyone can and will have to go around with their faces covered, why should only Islamic women be discriminated against? Will not the change in boundary conditions produced by Covid-19 also induce Western people to re-categorize the meaning of the veil? And will this re-categorization not directly affect the ‘fact’ of wearing the veil, that is, its empirical perception? And still, will this psycho-semantic change not show how empirical perceptions are cultural constructs rather than ‘objective facts,’ as such allegedly independent from the observer’s point of view? Consequentially, will the plurality of perceptions and cultural meanings related to the gesture of covering one’s own face not gain renewed relevance in determining the legitimacy of wearing the veil? The socio-semantic earthquake produced by Covid-19 compels us to rethink this and other issues orbiting around the translation of ‘facts’ into legal language; furthermore, it highlights the instrumentality of many ideological/partisan and ethnocentric assumptions passed off as objectivity regarding those alleged ‘facts.’ The essay will attempt to provide an answer to the above questions by proposing a semiotic-legal approach to intercultural conflicts and, indirectly, the pluralism in law. (shrink)

Recently the CJEU decision in the case of ‘Ewa Glawischnig-Piesczek v. Facebook Ireland Limited’ has raised the issue of the transcultural/trans-territorial signification of hate speech and hate crimes. Taking a cue from this decision and the related semiotic/legal implications, the paper proposes an analysis of the semio/pragmatic conditions for the production of performativity inherent in hate speech across different cultural universes of discourse. Given that web-based digital communication is global—at least, potentially—regardless of any spatial/political compartmentalization, it crosses different semio-cultural circuits. (...) This trans-spatiality implies transcultural crossings that can multiply and even transfigure the semantic implications of the original signifier and the related prognoses of ‘semantic effectiveness.’ Cultural boundaries therefore may function as a kind of ‘horizon of events’ for hate speech and, more inclusively, all linguistic acts and their legal signification/classification. The question then arises regarding whether and to what extent the performativity of hate speech is able to withstand the variation of cultural boundary conditions. Insofar as cultures are universes of experience, the issue to be investigated broadens, and ends up invoking the question of whether or not the production of performativity implicitly presupposes and tacitly epitomizes the semio-pragmatic implications/consequences (or, in Peircean terms, ‘bearings’) coextensive with cultural universes of experience. Were this the case, it would seem to call into question the very possibility of ‘making things only with words,’ or more explicitly, the alleged meaning of ‘linguistic acts.’. (shrink)

We generalize the notion ofconsequence relationstandard in abstract treatments of logic to accommodate intuitions ofrelevance. The guiding idea follows theuse criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each beusedin some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining betweenmultisets. We motivate and state basic definitions of relevant consequence relations, both (...) in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases). (shrink)

We provide a sucient frame-theoretic condition for a super bi-intuitionistic logic to have Maksimova's variable separation property. We conclude that bi-intuitionistic logic enjoys the property. Furthermore, we offer an algebraic characterization of the super-bi-intuitionistic logics with Maksimova's property.

In this note we study a counterpart in predicate logic of the notion of logical friendliness, introduced into propositional logic in [15]. The result is a new consequence relation for predicate languages with equality using first-order models. While compactness, interpolation and axiomatizability fail dramatically, several other properties are preserved from the propositional case. Divergence is diminished when the language does not contain equality with its standard interpretation.

En el presente trabajo examinaremos la relevancia de la categoría de decisión en el surgimiento del pensamiento impolítico contemporáneo en Italia. Con este objetivo, buscaremos elaborar una exégesis del rol de dicha noción en los desarrollos de Massimo Cacciari de finales de la década de 1970. Nuestro punto de partida se encontrará en su lectura nietzscheana sobre el diagnóstico de crisis de las categorías metafísicas y políticas tradicionales. Tal interpretación nos conducirá a estudiar su análisis de la soberanía desde una (...) “concepción criatural” del orden político. En este sentido, sostendremos que la crítica que Cacciari realiza al concepto de decisión no sólo vertebra desde sus inicios al horizonte impolítico, sino que también nos permite comprender los alcances filosóficos de su perspectiva. (shrink)

The Bible recounts that in Eden, Adam gives names to all the animals. But those names are not only representations of the animals’ nature, rather they shape and constitute it. The naming by Adam contains in itself the divide between the human and non-human. Then, there is the Fall: Adam falls and forgets Being. Though he may still remember the names he gave to the animals in Eden, he is no longer sure about their meaning. Adam will have to try (...) to remember his own intentions. Through this effort he can also become aware of how he thinks, who he is, and what was the natural order he knew before the Fall. Medieval bestiaries tell us this story. Bestiaries are works of word play populated by animal figures. They depend on back-and-forth anthropomorphization, or circular metaphor. Animal figures are portrayed as both a mirror of human nature and a window on it. Bestiaries served as means for the moral education of human beings and, at the same time, a way to criticize the current state of humanity, including political and ethical habits. Within the moral irony of medieval bestiaries we can find the origin of the invented nature that modernity will try, subsequently, to insert into natural rights discourse through the teleological oxymoron of their naturalized and naturalizing counter-factuality. I will propose a historical-semiotic journey through the ironic representations of the human-beasts from the ancient world to contemporaneity. The proposal resulting from this cultural excursion is that the words included in the many national and international Rights declarations operate much like the names Adam gave to the animals and still more as they were re-read in medieval bestiaries, both textual and musical. So, can the words of Rights still serve as musical scores, open to an infinite play of re-signification? If we were able to overcome the modern culture/nature and human being/animal dualisms, we could cast, today as in the past, a zoological gaze on human rights by means of contemporary bestiaries and, in this way, perhaps find the gist of rights’ names and our ever regained and ever lost again humanity. (shrink)

The concepts expressed by social role terms such as artist and scientist are unique in that they seem to allow two independent criteria for categorization, one of which is inherently normative. This study presents and tests an account of the content and structure of the normative dimension of these “dual character concepts.” Experiment 1 suggests that the normative dimension of a social role concept represents the commitment to fulfill the idealized basic function associated with the role. Background information can affect (...) which basic function is associated with each social role. However, Experiment 2 indicates that the normative dimension always represents the relevant commitment as an end in itself. We argue that social role concepts represent the commitments to basic functions because that information is crucial to predict the future social roles and role-dependent behavior of others. (shrink)