The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice ( $${\mathfrak{I}}$$ -lattice), which can be modeled by an algebraic structure built in quasi-set theory $${\mathfrak{Q}}$$. This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that ‘naturally’ arises is non distributive.

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L3, the intuitionistic system I1 and several paraconsistent logics, as for instance Sette's system P1, the D'Ottaviano and da Costa system J3 and da Costa's systems Cn, 1≤ n≤ω. (shrink)

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result.

Apresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.

Deontic logic is a branch of symbolic logic interested in notions such as obligatory, permissible, optional, ought, and others similar. There are some equivalent ways to present the Standard Deontic Logic or KD. In this paper, we will mention some of them and highlight one that is of interest. With this presentation we can propose a simple algebraic model for the Standard Deontic Logic.

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.

We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as its Lindembaum algebra, which (...) we postpone to a future work. Thus we conclude that the initial intuitions by Birkhoff and von Neumann that the ``logic of quantum mechanics" would be not classical logic, is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In the first sections, we present the main motivations and a ``classical'' situation which mirrors that one we focus on the last part of the paper. This paper is our first analysis of the algebraic structure of indiscernibility. (shrink)

Neste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e ordem. Então, apresentamos outros sistemas formais que consideram especificamente um conceito de implicação, dado pelas álgebras implicativas e pela lógica implicativa. Esta lógica implicativa, que tem como modelo as álgebras implicativas, apresenta apenas um operador, o (...) de implicação; e este conceito de implicação, mais uma vez, remete para as noções de consequência e ordem. Por fim, a partir da caracterização de consequência que está no texto, introduzimos um modelo algébrico para esta lógica implicativa. (shrink)

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK . Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK , which turns out to be deductively equivalent to the non-normal modal logic EMT4 . DOI:10.5007/1808-1711.2011v15n2p287.

We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing (in a preliminary form) some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as (...) its Lindembaum algebra, which we postpone to a future work. Thus we conclude that the initial intuitions by Birkhoff and von Neumann that the ``logic of quantum mechanics" would be not classical logic (a Boolean algebra), is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In the first sections, we present the main motivations and a ``classical'' situation which mirrors that one we focus on the last part of the paper. This paper is our first analysis of the algebraic structure of indiscernibility. (shrink)

In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.

From generalized quantifiers we move to modulated logic. So with this motivation we show ways for the construction of some modal logics. With the translations between logics we show some inter-relations between modal logics. Finally, we introduce some opportune concepts for a type of classification of deontic logic.

Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este conjunto. Esta estrutura matemática caracteriza um espaço quase topológico. Este artigo mostra uma visão algébrica dos espaços de Tarski e introduz uma lógica proposicional modal que interpreta o seu operador modal nos conjuntos fechados de algum espaço de Tarski. DOI:10.5007/1808-1711.2010v14n1p47.

Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space.

Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space. • DOI:10.5007/1808-1711.2010v14n1p47.

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L₃, the intuitionistic system Iⁱ and several para-consistent logics, as for instance Sette's system Pⁱ, the D'Ottaviano and da Costa system J₃ and da Costa's systems $\text{C}_{n}$ , 1 ≤ n ≤ ω. (shrink)

Este artigo apresenta reflexões sobre o letramento literário a partir da recepção da obra O olho de vidro do meu avô, de Bartolomeu Campos de Queirós, por meio da análise de depoimentos de leitores comuns – a literatura no cotidiano dos indivíduos - e de trechos de artigos científicos sobre a obra – a literatura no campo acadêmico. Apresentamos também uma sequência didática desenvolvida com alunos do 6º ano do Ensino Fundamental de uma escola pública de Itabirito, interior de Minas (...) Gerais, a partir da recepção do livro. Para a realização da prática pedagógica, usamos a proposta sugerida e experienciada por Rildo Cosson para o letramento literário, denominada pelo pesquisador como “Sequência Básica”, composta por quatro etapas: motivação, introdução, leitura e interpretação. Dessa forma, procuramos compreender a literatura, a leitura literária e o letramento literário na vida social e na escola, pois cabe a essa instituição proporcionar aos alunos experiências que desenvolvam essa competência para o letramento literário, a se perpetuar pela vida adulta. O principal objetivo desse processo no contexto escolar é formar um leitor que aprecie significações estéticas, capaz de se inserir em uma comunidade que faça suas próprias escolhas literárias, que saiba manipular seus instrumentos culturais e possa construir com eles um sentido para si e para o mundo em que vive. Dessa forma, é necessário reconhecer a importância de atividades que abarquem diferentes tipos de materiais escritos, mas que não sejam negligenciados os textos literários, multiplicando, dessa forma, os espaços de leitura e constituindo comunidades de leitores na escola e fora dela. (shrink)

1a pt. Socrática. t. 1. Cármides ; Lisis ; Eutifron ; Apología; Critón ; Fedón ; Menón -- t. 5. Eutidemo ; Gorgias -- t. 7-8. República.

Hablar de conflictos y negociación en medio de la guerra no es fácil. Los ánimos exacerbados nunca han sido buenos consejeros para la toma prudente de decisiones, de allí que el ejercicio por tratar de entender estos temas es de la mayor importancia en momentos de incertidumbre como los que vivimos actualmente los colombianos.

The rapid adoption of digital technologies has revolutionized business operations and introduced emerging concepts such as Digital Twin (DT) technology, which has the potential to predict system responses before they occur, making it an attractive option for smart and sustainable tourism. However, implementing DT software systems poses significant challenges, including compliance with regulations and effective communication among stakeholders, and concerns surrounding security, privacy, and trust with the use of big data. To address these challenges, this paper proposes a documentation framework (...) for architectural decisions (DFAD) that applies the concept of big data governance to the digital system. The framework aims to ensure accountability, transparency, and trustworthiness while adhering to rules and regulations. To demonstrate its applicability, a case study and three case scenarios on the potential use of Mobile Positioning Data (MPD) in Indonesia for DT technology in smart and sustainable tourism were examined. The paper highlights the benefits of DFAD in shaping stakeholder communication and human–machine interactions while leveraging the potential of MPD to measure tourism statistics by Statistics Indonesia since 2016. Not only the documentation framework promotes compliance with regulations, but it also facilitates effective communication among stakeholders and enhances trust and transparency in the use of big data in DT technology for smart and sustainable tourism. This paper emphasizes the importance of effective big data governance and its potential to promote sustainable tourism practices. The multidisciplinarity approach on political science, software engineering, tourism, and official statistics provides an opportunity for academic contribution and decision-making processes. (shrink)

La réflexion qui suit vise à examiner s’il existe des formes brésiliennes spécifiques de résistance au nihilisme européen. Pour répondre à cette question, il est nécessaire, premièrement, de reconquérir le sens de la notion philosophique de « nihilisme européen ».

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)

We can easily verify that the development of the main theories of knowledge in the modern period of Western philosophy was closely related to the status quo of the development of mathematics and science in a general way. This characteristic is especially evident in the Kantian project of providing the philosophical basis to explain the possibility of (Euclidean) geometry and Newtonian physics, which Kant based on principles which he considered sine qua non conditions of human knowledge. However, the physics that (...) have developed in the first half of the 20th century presented situations in which physicists themselves had to question themselves about the epistemological problems involved in the description, interpretation, and ultimately, in the communication of observed phenomena, so that some concepts dear to traditional epistemology proved to be either invalid or inefficient to explain the possibility of objective knowledge in the face of this new set of phenomena. Therefore, we would like to briefly present how this contrast between traditional epistemology and quantum theory occurs, as well as how physicists Niels Bohr and Werner Heisenberg dealt with the new situation that was presented. (shrink)

O presente artigo objetiva apresentar alguns dos fundamentos da Pedagogia freiriana, a fim de compreender as justificativas para os constantes ataques que esse autor tem sofrido por parte da extrema direita do país. Nesse sentido, buscamos responder à seguinte problemática: quais as principais perspectivas e os fundamentos da Pedagogia freiriana que ameaçam a extrema direita do Brasil? Para tanto, buscamos responder às seguintes questões norteadoras, a saber: quem foi Paulo Freire? Em qual contexto emergiu a Pedagogia libertadora? Qual a perspectiva (...) de educação defendida pela extrema direita e suas divergências históricas com a Pedagogia freiriana? Posto isto, realizamos uma pesquisa bibliográfica de abordagem dialética, como proposta por Sánchez Gamboa, ancorando-nos nos seguintes autores: Brandão Paludo, Prado, Freire, Marx, Gramsci, dentre outros. (shrink)

The ‘1st Congress Churches and LGBTI+ Community: ecumenical dialogues for respect for diversity’ was held between 19th and 22nd of June 2019, in the city of São Paulo. The Congress was organised by the Parish of the Holy Trinity of the Episcopal Anglican Church in Brazil and Koinonia–Ecumenical Presence in Service. As we consider this congress a historic landmark in the debates concerning religions and sexualities that escape from cisheteronormativity in Brazil, in the course of this article, we propose to (...) analyse the social and political conjuncture that motivated the event. In a second step, we will briefly describe the structure of the event, as well as its objectives, in order to understand the assumptions that guided the construction of the Letter of São Paulo, the official and public document of the Congress, approved in plenary by the participants. We believe that the Congress and the Letter of São Paulo have political potential, as they claim the rights of lesbian, gay, bisexual, transgender, intersex+ people as people of faith and denounce forms of oppression, exclusion and marginalisation reinforced by conservative and hegemonic religious discourses. (shrink)

… our faults do not allow our qualities to show themselves to best effect. That is why, at the moment, Brazilians are a people of intermittent qualities and permanent faults.Mário de Andrade, Essai sur la musique brésilienne, 1928This paper sets out to discuss the use and power of music in representing social identities, concentrating on the more specific case of the Brazilian nation, which has made itself a complex and all-embracing socio-political unit in spite of the great diversity and the (...) great inequalities to be found within its borders. It is well known that what appears to be its most uniform feature, the use of a dominant language, is actually quite fragmented, due to the influence of various co-existing systems of production, cultural models and social hierarchies, which change on a daily basis. Although this diversity seems to be underwritten by daily practice and independent of debate and official encouragement, the same cannot be said of the search for national unity. It is obvious in the case of most of the action undertaken with this end in mind, that questions such as exclusion and the imbalance and arbitrariness of power have been eliminated. Besides, certain alert individuals are wary of this insistence on the construction of a nation, since the role of the old national states throughout the world seems to be disintegrating in the face of the proliferation and growing importance of social, economic and cultural relations at a supranational level. It is therefore hardly surprising that the twentieth century is considered to be a milestone in both the rise and fall of efforts to achieve Brazilian national unity. Amongst these efforts, music has played a prominent role, as I shall endeavour to show. (shrink)

O presente texto visa analisar de maneira introdutória como se constrói no decurso do pensamento filosófico ocidental a relação de interdependência entre democracia e educação, os argumentos que lhe dão sustentação, bem como as possíveis controvérsias de significação nela existentes. Para esse fim, examinamos obras fundamentais da filosofia e em específico da filosofia da educação, buscando compreender asserções de autores que implícita ou explicitamente tratam dessa articulação.

O presente trabalho visa apresentar a interpretação deleuzeana do conceito de multiplicidade em Bergson, considerando que ao separar-se do dualismo que distingue o Uno e o Múltiplo, Bergson concebe a multiplicidade como diferença de qualidade e diferença de quantidade, e a partir disso, pensará a divisão que se opera entre duração e espaço.

RésuméĽauteur commence par un bref diagnostic des tendances les plus notoires de ľépistémologie contemporaine, qui trouve dans ľopérationnalisme fonctionnaliste une ≫reponse≪ au paradoxe?une connaissance construite par transformation de ľobjet et elle relève les indications ≫thérapeutiques≪ qui se trouvent déja dans ľépistémologie de Gonseth, selon lesquelles il sera possible de réintégrer ľidée?objectivité et de vérité dans la connaissance. En trois aspects: dans le domaine de la méthodologie épistémologique – elle montre que Gonseth s'est aperçu de la valeur propédeutique?une gnoséologie scientifique, comme (...) condition de base?un abord cohérent de ľépistémologie. Dans le champ de la gnoséologie, elle montre que la coloration empiriste que Piaget a regretée dans les schémas gonséthiens, selon lui trop ouverts à un contact actuel et extérieur avec ľobjet, fournit, après tout, une indication aujourdi'hui précieuse pour contrebalancer les exagérations opposées?une gnoséologie qui fait, de ľautoréférence et de la clôture du sujet, ľune des justifications de ľimpossibilité de fonder objectivement la connaissance. Finalement, elle considère que, dans le champ?une lecture philosophique des sciences, le relativisme dialectique de Gonseth récupere la valeur pragmatique et?objectivité≫circonscrite≪ de la connaissance, sans pour autant abandonner ľidée?une progression en objectivité.SummaryThe author begins with a consideration of well‐known trends of contemporary epistemology, which finds in functionalist operationalism a ‘response’ to the paradox of knowledge achieved by transformation of the object. The author goes on to note the ‘therapeutic’ indications already available in the epistemology of Gonseth, which make it possible to reintegrate the idea of objectivity and of truth into knowledge. This is done in three respects. In epistemological methodology, it is shown that Gonseth was aware of the preparatory value of a scientific gnoseology as the fundamental condition for a coherent approach to epistemology. In gnoseology, it is shown that the empirical aspect of Gonseth's schemes, which Piaget found regrettable as being too open to immediate and exterior contact with the object, does after all provide an indication that is invaluable in offsetting the opposing exaggerations of a gnoseology that makes the self‐reference and closedness of the subject one of the justifications for the impossibility of founding knowledge objectively. Finally, it is held that, on a philosophical reading of the sciences, the dialectical relativism of Gonseth recovers the pragmatic value and the value of ‘circumscribed’ objectivity of knowledge, without in so doing giving up the idea of an increase in objectivity. (shrink)

Em Uma teoria da justiça, John Rawls desenvolve os principais conceitos de sua concepção de justiça conhecida como “justiça como equidade”. Nosso foco é o aspecto distributivo desta concepção. O presente artigo procura mostrar características definidoras de uma sociedade organizada conforme as demandas de justiça dos dois princípios de justiça rawlsianos. Para tanto, exploramos os principais aspectos de uma democracia dos cidadãos-proprietários e do socialismo liberal, que são os exemplos de modelos de organização socioeconômica citados por Rawls como compatíveis com (...) sua concepção de justiça. (shrink)

This article reflects on childhood times based on the words chrónos, kairós and aión, which the Greeks use to conceptualize time, in dialogue with different authors, such as Kohan, Pohlmann, Skliar, Kohan and Fernandes. In the pedagogical field, we explore how Pedagogy of Childhood has focused on the importance of childhood temporality and children’s agency, with contributions from Hoyuelos, Parrini, Aguilera et al., Barbosa, Oliveira-Formosinho e Araújo, Oliveira-Formosinho, Pinazza and Gobbi. We reflect on what forms of organizing time are (...) possible when we think about children and their childhoods. Would it be a continuous and chronological time, a time of opportunity for the instant or the timeless intensity of the aiónic? Would it be possible to open spaces in school for other temporalities, given its immersion in chronological time, and its extreme emphasis on routine? We seek a relationship between forms of temporality, philosophy, and early education in order to explore alternative possibilities in the relationship between child and the school context, and conclude that, since the child’s is the aiónic time of intense experience, it is in the heightened dynamic immediacy and the multiple symbolic languages of play that it may be possible to create pedagogical structures that provide a dwelling for childhood temporality. (shrink)

No presente ensaio, discute-se o impacto do negacionismo na Educação escolar. Essa ideologia é baseada em falsos argumentos, cujos protagonistas negam evidências cientificamente comprovadas, como forma de fortalecer seus anseios pelo poder. A narrativa negacionista atinge pessoas que aceitam acriticamente e replicam esses argumentos como se fossem verdades absolutas. Um dos resultados da disseminação e aceitação dessa ideologia é o estímulo a ações extremistas, como vimos acontecer recentemente no Brasil. A negação fomenta intencionalmente os analfabetismos histórico, social e científico. As (...) pessoas "contaminadas" por essa ideologia extremista ignoram os argumentos lógicos e permanecem alheias ao avanço da Ciência. Acreditam em disparates, como o chamado “terraplanismo”; são disseminadores de informações falsas; promovem “cruzadas” antivacinação; defendem o uso de medicamentos ineficazes; e fomentam o descrédito da democracia. As ideias de Paulo Freire, que estimulam o cultivo do pensamento crítico e emancipatório, é o aporte teóricometodológico que norteia este ensaio, contextualizado na prática docente dos autores, que consideram a Educação como uma prática de liberdade. (shrink)

O presente artigo versa sobre a judicialização do acesso ao direito à saúde mediante o Ativismo Judicial. Tem por objetivo apontar a inefetividade do Ativismo Judicial como forma de garantir o acesso ao direito Constitucional à saúde. Para sua consumação, foi utilizado o método de abordagem dedutivo, os métodos de procedimento histórico, interpretativo e analítico, bem como as técnicas de pesquisa bibliográfica e documental.Procede à análise da efetividade das normas constitucionais e infraconstitucionais que regulamentam o direito à saúde no Brasil. (...) Critica a busca excessiva do Judiciário para garantir o acesso à saúde pública. (shrink)

Teams are considered to be extremely complex dynamic entities that suffer at the hand of constant evolution of their structure to meet and adapt to the varying situational demands they come face-to-face with (Kozlowski & Ilgen, 2006). Agencies, industries, and government institutions are currently placing greater attention to the adaption of team dynamics and teamwork as they are important to key organizational outcomes. As greater attention is being placed on the maturation of team dynamics, the incorporation of efficient methodological tools (...) to understand how teams are being measured over time becomes critical. Thus, the purpose of this paper is to present a review of relevant academic articles detailing the science behind methodological tools and general approaches to study team dynamics over time. We provide an overview of the methodological tools used to understand team dynamics with accordance to specific temporal elements. Drawing from Kozloski, Gully, Nason, and Smith (1999) process model of team development, we highlight relevant emergent team constructs within each stage. As well, for each stage, we discuss the what and how to measure team dynamics. Our analyses bring to light relevant, novel and complex approaches being used by researchers to examine specific constructs within different team developmental phases (e.g., agent-based simulations, computational modeling) and the importance of transitioning from a single source methodology approach. Implications and future research are also discussed. (shrink)

Fueled by ever-growing amounts of (digital) data and advances in artificial intelligence, decision-making in contemporary societies is increasingly delegated to automated processes. Drawing from social science theories and from the emerging body of research about algorithmic appreciation and algorithmic perceptions, the current study explores the extent to which personal characteristics can be linked to perceptions of automated decision-making by AI, and the boundary conditions of these perceptions, namely the extent to which such perceptions differ across media, (public) health, and judicial (...) contexts. Data from a scenario-based survey experiment with a national sample (N = 958) show that people are by and large concerned about risks and have mixed opinions about fairness and usefulness of automated decision-making at a societal level, with general attitudes influenced by individual characteristics. Interestingly, decisions taken automatically by AI were often evaluated on par or even better than human experts for specific decisions. Theoretical and societal implications about these findings are discussed. (shrink)