Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

The social brain is the cornerstone that effectively negotiates and navigates complex social environments and relationships. When mature, these social abilities facilitate the interaction and cooperation with others. Empathy, morality, and justice, among others, are all closely intertwined, yet the relationships between them are quite complex. They are fundamental components of our human nature, and shape the landscape of our social lives. The various facets of empathy, including affective arousal/emotional sharing, empathic concern, and perspective taking, have unique contributions as subcomponents (...) of morality. This review helps understand how basic forms of empathy, morality, and justice are substantialized in early ontogeny. It provides valuable information as to gain new insights into the underlying neurobiological precursors of the social brain, enabling future translation towards therapeutic and medical interventions. (shrink)

Several countries maintain universal health coverage, which implies responsibility to organize delivery formats of healthcare services and products for citizens. In Brazil, the health system has a principle of universal access for more than 30 years, but many deficiencies remain and the country observes a day practice for those seeking judicial decisions to determine provision of healthcare.

The usual procedure in the theory of social choice consists in postulating some desirable properties which an aggregation procedure should verify and derive from them the features of a corresponding social choice function and the outcomes that arise at each possible profile of preferences. In this paper we invert this line of reasoning and try to infer, up from what we call social situations the criteria verified in the implicit aggregation procedure. This inference process, which extracts intensional from extensional information (...) can be seen as an exercise in “qualitative statistics”. (shrink)

Frame Semantics includes context as a central aspect of the theory. Frames themselves can be regarded as a representation of the immediate context against which meaning is to be construed. Moreover, the notion of frame invocation includes context as one possible source of information comprehenders use to construe meaning. As the original implementation of Frame Semantics, Berkeley FrameNet is capable of providing computational representations of some aspects of context, but not all of them. In this article, we present FrameNet Brasil: (...) a framenet enriched with qualia relations and capable of taking other semiotic modes as input data, namely pictures and videos. We claim that such an enriched model is capable of addressing other types of contextual information in a framenet, namely sentence-level cotext and commonsense knowledge. We demonstrate how the FrameNet Brasil software infrastructure addresses contextual information in both database construction and corpora annotation. We present the guidelines for the construction of two multimodal datasets whose annotations represent contextual information and also report on two experiments: (i) the identification of frame-evoking lexical units in sentences and (ii) a methodology for domain adaptation in Neural Machine Translation that leverages frames and qualia for representing sentence-level context. Experimental results emphasize the importance of computationally representing contextual information in a principled structured fashion as opposed to trying to derive it from the manipulation of linguistic form alone. (shrink)

Urban development is seen in this paper as the process of achieving more social justice in the city through changes both in social relations and in spatiality. Autonomy, in the sense used by Cornelius Castoriadis, is here regarded as the main parameter for the evaluation of processes and strategies for positive social change. Nevertheless, the Castoriadian philosophical notion of autonomy must first be made operational before it can be reasonably applied in empirical research or policy evaluations. The aim of the (...) paper is to contribute to this operationalisation, specifically considering the role of urban planning and management in the realisation of urban development. (shrink)

Resumen de tesis de Doctorado en Filosofía: La virtud cívica republicana en las sociedades contemporáneas de Marcelo Fernández Pavlovich.Directora: Dra. Graciela Vidiella. Fecha de defensa: 13 de setiembre de 2023.

Au cours de cet entretien, Emmanuel Renault nous offre un aperçu de la manière dont la thématique de la reconnaissance est traitée en France aujourd’hui, notamment à travers le renouveau des études sur Hegel et Marx. Il explique la façon dont la reconnaissance a pu s’ériger en paradigme (en dépit de ses usages multiples et variés en France comme ailleurs), au cours de la dernière décennie et le rôle joué par Axel Honneth dans ce procès. Finalement, il explicite sa manière (...) d’envisager la pratique de la philosophie politique et son projet d’une critique du capitalisme. Emmanuel Renault nous livre également un commentaire critique mais constructif sur la manière dont Paul Ricœur envisage la reconnaissance et suggère quelques pistes concernant les possibles développements futurs des usages de la reconnaissance. (shrink)

It has been shown that the orbits of motion for a wide class of non-relativistic Hamiltonian systems can be described as geodesic flows on a manifold and an associated dual by means of a conformal map. This method can be applied to a four dimensional manifold of orbits in spacetime associated with a relativistic system. We show that a relativistic Hamiltonian which generates Einstein geodesics, with the addition of a world scalar field, can be put into correspondence in this way (...) with another Hamiltonian with conformally modified metric. Such a construction could account for part of the requirements of Bekenstein for achieving the MOND theory of Milgrom in the post-Newtonian limit. The constraints on the MOND theory imposed by the galactic rotation curves, through this correspondence, would then imply constraints on the structure of the world scalar field. We then use the fact that a Hamiltonian with vector gauge fields results, through such a conformal map, in a Kaluza-Klein type theory, and indicate how the TeVeS structure of Bekenstein and Saunders can be put into this framework. We exhibit a class of infinitesimal gauge transformations on the gauge fields ${\mathcal{U}}_{\mu}(x)$ which preserve the Bekenstein-Sanders condition ${\mathcal{U}}_{\mu}{\mathcal{U}}^{\mu}=-1$ . The underlying quantum structure giving rise to these gauge fields is a Hilbert bundle, and the gauge transformations induce a non-commutative behavior to the fields, i.e. they become of Yang-Mills type. Working in the infinitesimal gauge neighborhood of the initial Abelian theory we show that in the Abelian limit the Yang-Mills field equations provide residual nonlinear terms which may avoid the caustic singularity found by Contaldi et al. (shrink)

ExcerptAt its core, the concept of biopolitics refers to the constitution of the life of a population as the object and objective of politics. Of course, Michel Foucault pioneered this concept in his analyses from the late 1970s, first in his Collège de France course from the academic year 1975–76, “Society Must Be Defended”, and subsequently in the first volume of The History of Sexuality, published in the fall of 1976.1 Taking as his cue the analysis in the latter publication, (...) Giorgio Agamben, in a few highly schematic but rich and provocative passages from the introduction to his now seminal…. (shrink)

Es, en la dimensión cultural del poder, donde los españoles americanos y los españoles europeos, en Hispanoamérica y en España, han perdido la más importante de todas las batallas culturales: la batalla por el relato histórico. H3an sido las potencias que tradicionalmente se enfrentaron con 333España e Hispanoamérica las que han escrito —e impuesto el relato— la historia de la conquista española de América y la historia de la relación entre España e Hispanoamérica durante el mal llamado período colonial. La (...) leyenda negra, la falsa historia de la conquista española de América, ha sido la más importante herramienta utilizada por Holanda, Gran Bretaña, Francia y Los Estados Unidos en la guerra cultural que llevaron a cabo contra España. Esa guerra cultural fue, aunque por motivos distintos continuada, paradójicamente, luego por la Unión Soviética, Cuba y Venezuela. (shrink)

Abstract: The Pull Bayesian Significance Test (FBST) for precise hy- potheses is applied to a Multivariate Normal Structure (MNS) model. In the FBST we compute the evidence against the precise hypothesis. This evi- dence is the probability of the Highest Relative Surprise Set (HRSS) tangent to the sub-manifold (of the parameter space) that defines the null hypothesis. The MNS model we present appears when testing equivalence conditions for genetic expression measurements, using micro-array technology.

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

It was a tie; the heavenly vote was split right down the middle -- two in favor; two against. At issue -- "Should man be created?" The ministering angels formed parties: Love said, "Yes, let him be created, because he will dispense acts of love"; while Truth argued, "No, let him not be created, for he is a complete fake". Righteousness countered, "Yes, let him be created, because he will do righteous deeds; and Peace demurred, "Let him not be created, (...) for he is one mass of contention". The score was even. Love and Righteousness in favor, Truth and Peace against. What did the Lord do? He took Truth and hurled it to the ground, smashing it into thousands of jagged pieces. Thus he broke the tie. Now, two to one in favor, man was created. The ministering angels dared to ask the Master of the Universe, "Why do You break Your emblem, Truth?" for indeed Truth was His seal and emblem. He answered, "Let truth spring from the earth". (shrink)

Adam Smith’s lasting fame certainly does not come from his work on language. He published very little on this topic and he is not usually mentioned in standard histories of linguistics or the philosophy of language. His most elaborate publication on the subject is a 1761 monograph on the origin and development of languages (FoL). Smith’s monograph joins a long list of speculative work on this then fashionable topic (cf. Hewes 1975, 1996). The fact that he later included it as (...) an appendix to his successful.. (shrink)

We provide a model in which students must choose whether or not to cheat on a course exam. By assuming that the moral cost of acting dishonestly decreases as the number of other people who behave in the same way increases, our model explains one important channel by which unethical behavior of other individuals can influence observers’ behavior. Through the use of the Global Games approach of equilibrium selection, we build a framework that provides the micro-foundations of peer effects on (...) academic dishonesty and shows how better student technology of cheating and higher disutility of effort make the cheating equilibrium more likely to be selected. By extending the model, we find that the peer effect strength is not affected by the level of homogeneity of the cohort, but decreases in the size of the class. Our approach may be seen as an important step towards reduced-form models of peer effects on dishonest behavior. (shrink)

. In this paper we address the question of recovering a logic system by combining two or more fragments of it. We show that, in general, by fibring two or more fragments of a given logic the resulting logic is weaker than the original one, because some meta-properties of the connectives are lost after the combination process. In order to overcome this problem, the categories Mcon and Seq of multiple-conclusion consequence relations and sequent calculi, respectively, are introduced. The main feature (...) of these categories is the preservation, by morphisms, of meta-properties of the consequence relations, which allows, in several cases, to recover a logic by fibring of its fragments. The fibring in this categories is called meta−fibring. Several examples of well-known logics which can be recovered by meta-fibring its fragments (in opposition to fibring in the usual categories) are given. Finally, a general semantics for objects in Seq (and, in particular, for objects in Mcon) is proposed, obtaining a category of logic systems called Log. A general theorem of preservation of completeness by fibring in Log is also obtained. (shrink)

A ideia de uma crise do rádio consolidou-se no imaginário coletivo nas últimas décadas, a despeito de não haver ancoragem na realidade. Se muitas rádios tradicionais AM e FM saem do ar, vendidas a igrejas eletrônicas ou novos grupos empresariais, multiplica-se a oferta de conteúdos no contexto de um rádio expandido, que transborda para novas plataformas e é consumido nos mais diversos dispositivos. O rádio vai bem, obrigado, embora algumas emissoras de rádio em ondas hertzianas estejam mal das pernas, lamentando-se (...) da concorrência com serviços on-line e da erosão dos habituais índices de audiência, antes medidos em centenas de milhares de ouvintes por minuto. (shrink)

Kant, los sábados por la tarde -- ¿Andaría en algo Sócrates? -- El álef de "El Aleph" -- La angustia ya no se lleva -- El tango de la muerte -- Los ilotas y la juventud maravillosa -- Los jóvenes en Flores -- El filósofo y la princesa.

RESUMO: nas últimas décadas, a temática da consciência tem atraído atenção de pesquisadores em filosofia da mente, e em diversas disciplinas científicas e tecnológicas. O objetivo desta pesquisa foi realizar uma revisão das principais escalas e métodos de avaliação do nível de consciência utilizados na área da saúde, no âmbito internacional, tendo em vista responder a indagações que emergem no contexto da prática dos profissionais de saúde. O procedimento metodológico consistiu em adotar o Monismo de Duplo Aspecto e o Monismo (...) Reflexivo como referencial teórico, e levantar os principais procedimentos relativos à avaliação do nível de consciência na área de saúde, para então discutir se aborda o fenômeno de modo conceitualmente apropriado. Concluímos que os critérios utilizados pelas escalas de avaliação do nível de consciência e pelas escalas de profundidade anestésica avaliam possibilidades de ocorrência da experiência consciente. (shrink)

Proper fork algebras are algebras of binary relations over a structured set. The underlying set has changed from a set of pairs to a set closed under an injective function. In this paper we present a representation theorem for their abstract counterpart, that entails that proper fork algebras — whose underlying set is closed under an injective function — constitute a finitely based variety.1.

This study analyzes the possible occurrence of plagiarism and self-plagiarism in a sample of articles published in the Scientific Periodicals Electronic Library, an open database that indexes business journals in Brazil. The author compared one sample obtained in 2013 and another selected from 2018. In both samples, we verified the guidelines that each of the journals provided to authors regarding plagiarism and the adoption of software to detect textual similarities. In the analysis conducted in 2013, it was found that only (...) one journal mentioned the word “plagiarism” in its policies, although the majority of the directives required guarantees that no type of violation of authors’ rights was contained in the manuscript. In the analysis conducted in 2013, it was determined that there were literal reproductions in 31 published articles, and no relevant similarities with other publications were encountered in 16 articles. In the 2018 analysis, 69 of the publications included observations and guidelines related to plagiarism and self-plagiarism. In the analysis conducted in 2018, it was found that similarities occurred in 52 articles, and no relevant evidence of plagiarism or self-plagiarism was found in 66 manuscripts. Although a reduction in the index of the occurrence of plagiarism was observed, as was an increase in the instructions on the prevention of plagiarism by authors, practices directed at guiding authors by means of directives concerning the importance of preventing plagiarism in manuscripts submitted for publication can be recommended. (shrink)

O cineclube escolar configura-se como um espaço de debate e reflexão dentro do ambiente educacional, proporcionando aos estudantes a oportunidade de exploração, crítica e análise de temas sociais, culturais e éticos a partir das obras cinematográficas. Nesse contexto, o presente trabalho busca tecer reflexões sobre o potencial do cineclube escolar como um espaço de formação voltado ao uso da fala, da construção de diálogos e de entendimentos intersubjetivos, por meio de articulações possíveis com a Teoria do Agir Comunicativo de Habermas. (...) Para isso, a fim de contextualizar tais questões e estabelecer as interações entre aquilo que se constitui como a prática cineclubista escolar com os pressupostos teóricos do agir comunicativo, realizou-se um levantamento de estudos que versam sobre o uso do cinema em sala de aula e a prática cineclubista como espaço de comunicação, bem como o referencial teórico de Habermas e seus interlocutores. As discussões apontam que, ao ser orientado pelos princípios do agir comunicativo, o formato de cineclube escolar pode apresentar o potencial de contribuir significativamente para a construção de um espaço de aprendizagem voltado ao diálogo igualitário, a autonomia e a participação ativa dos alunos, contrastando com as práticas instrumentais ainda presentes no ensino mediado pelo cinema. (shrink)

Activism is defined in this paper as involving local instigations of new series of elements intersecting the actual, generating new collective enunciations, experimentations and investigations, which erode good and common sense and cause structures to swing away from their sedimented identities. By appealing to Spinozism, the paper describes the microphysics of the activist encounter with stable structures and the ways in which activism imposes new regimes of succession of ideas and affective variations in the power of action. Rather than understanding (...) activism as supporting or leading social struggles, the definition of activism pursued here conceives it as an open-ended process and stresses the role of investigation in relation to practices within the social situations to which activism addresses itself. (shrink)

A Doutrina Transcendental do Método distingue inicialmente o método da matemática por construção de conceitos, próprio da matemática, e a análise de conceitos, que caberia à filosofia. Significaria que Kant exclui de vez a síntese na filosofia, reservando a síntese ao método de construção de conceitos na matemática? Se for assim estaríamos diante de uma dicotomia quanto ao método crítico, não dogmático: ou construção de conceitos na matemática, ou análise de conceitos na filosofia. Schelling critica a proposta kantiana seguindo a (...) linha interpretativa da dicotomia; para sanar o que considera o impasse kantiano, propõe, como alternativa, a construção de conceitos na própria filosofia, já que defende que o método da filosofia kantiana lidaria apenas com análises de conceitos sem relação com uma intuição, segundo sua interpretação. Queremos mostrar, no entanto, que não se trata de uma dicotomia, pois Kant propõe para a filosofia uma síntese transcendental por conceitos como chave do enigma para fazer da filosofia uma ciência rigorosa. Momento indispensável para entender essa síntese transcendental por conceitos é o conceito de _coisa em geral_, que deve fazer o papel da intuição sensível para haver uma síntese no uso discursivo da razão. Queremos mostrar que Kant não estava restrito a uma questão dicotômica (_síntese_-construção de conceitos X _análise_-desmembramento das notas de um conceito) no método de prova, mas tricotômica, cujo terceiro termo seria a _síntese transcendental por conceitos_, ignorada por Schelling. (shrink)

Do all questions have answers? How much can we know about the world? Is there such a thing as an ultimate truth? To be human is to want to know, to understand our origins and the meaning of our lives. In The Island of Knowledge, physicist Marcelo Gleiser traces our search for answers to the most fundamental questions of existence, the origin of the universe, the nature of reality, and the limits of knowledge. In so doing, he reaches a (...) provocative conclusion: science, the main tool we use to find answers, is fundamentally limited. As science and its philosophical interpretations advance, we are often faced with the unsettling recognition of how much we don't know. Limits to our knowledge of the world arise both from our tools of exploration and from the nature of physical reality: the speed of light, the uncertainty principle, the second law of thermodynamics, the incompleteness theorem, and our own limitations as an intelligent species. Our view of physical reality depends fundamentally on who we are and on how we interact with the cosmos. (shrink)

This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality.This generalisation (...) over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any finite number of normal multi-modal logics. (shrink)