As cidades brasileiras contemporâneas possuem espaços que ora privilegiam a realização de negócios e ora a construção de cidadania. Para compreender como são ocupados destes modos se faz necessário analisar as cidades; desde sua definição, passando pelo contexto político e econômico, para então compreender seu aspecto social. Assim, este artigo busca compreender se e em que medida as características dos espaços públicos impactam no processo de construção de cidadania. Analisando por meio de observação flutuante dois espaços públicos que são duas (...) praças urbanas centrais, localizadas em duas cidades no mesmo contexto metropolitanos. Perpassa-se pelo debate regional com o intuito de evidenciar que os conflitos são equivalentes nas diversas escalas; contudo a demonstração do contexto da Região Metropolitana do Vale do Paraíba e Litoral Norte/SP, objetiva tornar evidente que as estruturas físicas locais, dos espaços públicos urbanos centrais não direcionam as relações sociais e suas disputas, mas são um meio e resultado dessas. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

Whereas ordinary legal documents are deployed as text documents for human consumption, AI & Law focuses on tackling the challenges surrounding the development of legal ontologies to assign meaning...

The cognitive reserve is widely accepted as the active ability to cope with brain damage, using preexisting cognitive and compensatory processes. The common CR proxies used are the number of formal years of education, intelligence quotient or premorbid functioning, occupation attainment, and participation in leisure activities. More recently, it has employed the level of literacy and engagement in high-level cognitive demand of professional activities. This study aims to identify and summarize published methodologies to assess the CR quantitatively. We searched for (...) published studies on PubMed, ScienceDirect, and Web of Science between September 2018 and September 2021. We only included those studies that characterized the CR assessment methodology. The search strategy identified 1,285 publications, of which 25 were included. Most of the instruments targeted proxies individually. The lack of a gold standard tool that incorporates all proxies and cognitive tests highlights the need to develop a more holistic battery for the quantitative assessment of CR. Further studies should focus on a quantitative methodology that includes all these proxies supported by normative data to improve the use of CR as a valid measure in clinical contexts. (shrink)

Vague notions, such as ‘generally’, ‘rarely’, ‘often’, ‘almost always’, ‘a meaningful subset of a whole’, ‘most’, etc., occur often in ordinary language and in some branches of science. We introduce modal logical systems, with generalized operators, for the precise treatment of assertions involving some versions of such vague notions. We examine modal logics, constructed in a modular fashion, with generalized operators corresponding to some versions of ‘generally’ and ‘rarely’.

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

Imagine your body is populated by billions of respirocytes capable of delivering 236 times more oxygen than your natural red blood cells. These mechanical, micron sized spheres are appropriately programmed by your physician to meet your personal requirements, be it the treatment of anemia or the enhancement of your physical abilities. Robert Freitas’ vision of such artificial blood cells comprised of nanometer-scale components was published in 1998 in a peer-reviewed medical journal, and was the first medical nanorobot design paper (...) to be published.The fact that this proposal for a future blood substitute was accepted as worthy of publication in a scientific journal, despite the inventor's explicit statement that such a device could not be built at the time, clouds the criteria upon which an informed opinion about the feasibility of such devices could be formed. In that respect, the idea of respirocytes formidably testifies to the current “blurring of fact and fiction” occurring in the field of nanotechnology. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

Entre outubro e novembro de 2022, um trabalho de tamanho fôlego sai do prelo na cena cultural e intelectual mexicana. Trata-se de El nihilismo mexicano: una reflexión filosófica de autoria de Mario Teodoro Ramírez vindo a lume pela Bonilla Artigas [...].

Defines the concepts, problems, principles, and theories that are used in modern philosophy.

The notion of a hypothesis being deployed essentially in the derivation of a novel prediction plays a key role in the deployment realist reply to Laudan’s and Lyon’s attacks to the No Miracle Argument. However Lyons criticized Psillos’ criterion of essentiality, urging deployment realists to abandon this requirement altogether and accept as true all the assumptions actually deployed in novel predictions. But since many false assumptions were actually deployed in novel predictions, he concludes that the “no miracle argument” and deployment (...) realism fail. I reply that the essentiality condition is required by Occam’s razor, and a “no miracle argument” deprived of that condition is a straw man. While Lyons’ criticisms of Psillos’ formalization of essentiality may be well taken, I suggest that there is a simpler formulation which escapes those criticisms and is enough to deal with the supposed counterexamples to the No Miracle Argument and deployment realism: a hypothesis is essential when it does not have a proper part (in Yablo’s sense) from which the prediction could also be derived. I then show how this condition rescues deployment realism from Lyons’ purported historical counterexamples. Essentiality in this sense cannot be detected prospectively, but this is just what we should expect, and far from causing problems for deployment realists, this frees them from unreasonable obligations. (shrink)

The aim of this paper is to analyze time-asymmetric quantum mechanics with respect to the problems of irreversibility and of time's arrow. We begin with arguing that both problems are conceptually different. Then, we show that, contrary to a common opinion, the theory's ability to describe irreversible quantum processes is not a consequence of the semigroup evolution laws expressing the non-time-reversal invariance of the theory. Finally, we argue that time-asymmetric quantum mechanics, either in Prigogine's version or in Bohm's version, does (...) not solve the problem of the arrow of time because it does not supply a substantial and theoretically founded criterion for distinguishing between the two directions of time. (shrink)

Neuroeconomics is a science pledged to tracing the neurobiological correlates involved in decision-making, especially in the case of economic decisions. Despite representing a recent research field that is still identifying its research objects, tools and methods, its epistemological scope and scientific relevance have already been openly questioned by several authors. Among these critics, the most influential names in the debate have been those of Faruk Gul and Wolfgang Pesendorfer, who claim that the data on neural activity cannot find place in (...) economic models, which should on the contrary be solely based on the data produced by choices. This paper aims at countering the gloomy and unsubstantiated claims of these two authors and those who believe that neuroscience cannot provide new and useful insights to the established knowledge of standard economics. The main point stressed here is that this perception is the product of a general misunderstanding of the advances made by neuroscience, which are incidentally of crucial importance. (shrink)

This text was published in n. 1/1987 of «Filosofia politica». We thank the authors, the director of the journal and the editor il Mulino for giving permission to republish it.

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 paper offers a metaethical analysis of so-called political moralism’s metaethical assumptions and proposes shifting away from them. It does so by taking migration ethics’ methodology as a case study of the field. First, the paper shows political moralism’s commitment to moral monism and moral overridingness. Second, it explains how such commitments are likely to lead to the formulation of toy theories - and, hence, moral regress. Third, it proposes the recognition of prudential normativity and normative pluralism as a way (...) to avoid the toy theory problem. And, fourth, it deals with two objections to this proposal. (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)