We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...) rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

We investigate dynamic operations acting over a knowing how logic. Our approach makes use of a recently introduced semantics for the knowing how operator, based on an indistinguishability relation between plans. This semantics is arguably closer to the standard presentation of knowing that modalities in classic epistemic logic. Here, we discuss how the semantics enables us to define dynamic modalities representing different ways in which an agent can learn how to achieve a goal. In this regard, we study two types (...) of updates: ontic updates (for which we provide axiomatizations over a particular class of models), and epistemic updates (for which we investigate some semantic properties). (shrink)

ENTREVISTA COM PROFESSORAS(ES) DE FILOSOFIA DO ENSINO MÉDIO DO CEARÁ – BLOCO ICom: Debora Klippel Fofano, Francisca Evanice Mourão Lima, John Karley de Sousa AquinoPor: Antônio Alex Pereira de Sousa, Paulo Willame Araújo de Lima.

Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's definability theorem fail in a number of well-known quantified modal logics , their counterparts in quantified hybrid logic have these properties. These are special cases of the main result of the paper: the quantified hybrid logic of any class of frames definable in the bounded fragment of first-order logic has the interpolation property, (...) irrespective of whether varying, constant, expanding, or contracting domains are assumed. (shrink)

Hybrid languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant for generated (...) submodels. We then show that $\mathscr{H}$ enjoys interpolation, provide counterexamples for its finite variable fragments, and show that weak interpolation holds for the sublanguage $\mathscr{H}$. Finally, we provide complexity results for $\mathscr{H}$ and other fragments and variants, and sharpen known undecidability results for $\mathscr{H}$. (shrink)

Atores com distintas perspectivas educacionais têm utilizado, cada vez mais, o vocábulo autonomia de acordo com os seus interesses. Objetivamos com este artigo, que é uma revisão de literatura, discutir sobre a autonomia a partir de enfoques da Filosofia, da Psicologia e da Sociologia. As contribuições de autores como Rousseau, Kant, Freud, Adorno, Agamben, Piaget, Kamii, Martins, Freire, Barguil, dentre outros, enriquecem uma leitura interdisciplinar da complexa relação entre autonomia e Educação. Concluímos que a autonomia não é uma característica do (...) sujeito, mas uma prática indispensável para o seu desenvolvimento individual e social, bem como para fortalecer o processo democrático. (shrink)

This paper reflects on the three main ethical challenges we faced when conducting digital ethnography in three autism Brazilian communities on Facebook: how to position oneself as a researcher, how...

Resumo: Ao longo da história, lepra e leproso foram objetos de representações de caráter depreciativo que permitiram a utilização de um modelo de tratamento para a doença fundamentado na exclusão do enfermo e no seu confinamento compulsório em instituições asilares. O artigo procura discutir a relação entre representações abstratas e práticas de poder a partir das medidas adotadas no combate à lepra no Brasil do século XX.Palavras-chave: lepra, representações, segregação, práticas de poder, violência.: In history, leprosy and leprous were subject (...) to depreciative representations which allow the usage of a leprosy treatment model based on patients exclusion and confining asylum institutions. This essay aims to discuss the relationship between abstract representations and power practices from the description of measures introduced with reference to leprosy in Brazil, 20th century.Key-words: leprosy, representations, segregation, power practices, violence. (shrink)

Pretendemos aqui mostrar que o vínculo indissociável entre crítica da inteligência e intuição da duração acarreta a nova definição da metafísica: “experiência integral”, segundo Bergson. A relação entre o trabalho de desqualificação de ilusões racionais e a redescoberta do ser como duração expõe, desse modo, como a consciência pode voltar a seus próprios dados e neles encontrar uma experiência real e inegável, a da presença do ser e de nosso pertencimento ao ser. A filosofia bergsoniana procura, nesse âmbito, conjugar reflexibilidade (...) e sensibilidade. Em suas duas primeiras obras, pelo estudo profundo e detalhado dos processos psicológicos, Bergson defende que a consciência à qual a duração apareceria é a mesma que se toma como objeto, “espectadora e atriz”. A consciência age e vê, é o ver do fazer — ou, antes, do fazer-se. A duração que apareceria à consciência é a própria consciência: a consciência da duração e a duração da consciência estariam identificadas nessa visão. (shrink)

Bhimrao Ramji Ambedkar is well known as one among the protagonists of India’s political history in the 20th century, as he played a major role in the struggle against the caste system, and in designing a pluralist and egalitarian democracy. Ambedkar’s intellectual legacy is a crucial tool for investigating the contradictions of the contemporary Indian political experience, and as such has much to offer to the international political-philosophical debate. This essay presents the main aspects of Ambedkar’s thought, focusing on themes (...) such as his non-majoritarian conception of democracy, the tension between universality and difference in political citizenship, social and political equality, as well as his reflection on religious identity. Ambedkar’s intellectual profile will also be assessed in light of the ongoing debate on the status of a non-derivative Indian political thought. (shrink)

Princípios lakatosianos e a abordagem de problemas matemáticos na perspectiva do PBL: possíveis contribuições Resumo: Imre Lakatos foi um importante filósofo do século XX que abordou conhecimentos relacionados à ciência e à Matemática. Esta última é fortemente explorada na obra Provas e Refutações e é tratada neste artigo como base essencial para se explorar princípios lakatosianos relacionados à abordagem de problemas matemáticos. Tal perspectiva é abordada aqui sob o enfoque do Problem-Based Learning (PBL). O objetivo é explorar possíveis relações entre (...) determinadas contribuições filosóficas de Lakatos e uma abordagem em torno de problemas. Este artigo estrutura-se em bases de uma pesquisa qualitativa, de caráter exploratório e bibliográfico. Pretende-se contribuir com a ampliação de estudos e reflexões envolvendo o campo da Filosofia e da Educação Matemática. Palavras-chave: Lakatos; Filosofia da Matemática; Provas e Refutações; Problemas matemáticos; PBL. Lakatosian principles and the approach of mathematical problems from the perspective of the pbl: possible contributions Abstract: Imre Lakatos was an important philosopher of the twentieth century who addressed knowledge related to science and mathematics. The latter is strongly explored in the work Proof and Refutation and is treated in this article as an essential basis for exploring Lakatosian principles related to the approach to mathematical problems. Such perspective is approached here under the Problem-Based Learning (PBL) approach. The aim is to explore possible relationships between certain philosophical contributions by Lakatos and an approach to problems. This article is structured on the basis of a qualitative, exploratory and bibliographic research. It is intended to contribute to the expansion of studies and reflections involving the field of philosophy and mathematical education. Key-words: Lakatos; Philosophy of mathematics; Proof and Refutation; Mathematical problems; PBL. Principios lakatosianos y el enfoque de los problemas matemáticos desde la perspectiva del pbl: posibles contribuciones Résumé: Imre Lakatos fue un importante filósofo del siglo XX que abordó los conocimientos relacionados con las ciencias y las Matemáticas. Este último está fuertemente explorado en el trabajo Pruebas y Refutación y se trata en este artículo como una base esencial para explorar los principios lakatosianos relacionados con el enfoque de problemas matemáticos. Esta perspectiva se aborda aquí bajo el enfoque de aprendizaje basado en problemas (ABP). El objetivo es explorar las posibles relaciones entre determinadas aportaciones filosóficas de Lakatos y una aproximación a los problemas. Este artículo se estructura a partir de una investigación cualitativa, exploratoria y bibliográfica. Se pretende contribuir a la expansión de estudios y reflexiones que involucren el campo de la filosofía y la educación Matemática. Mots-clés: Lakatos ; Filosofía de las Matemáticas ; Pruebas y Refutación ; Problemas matemáticos ; PBL. Financiamento de Pesquisa: CAPES Data de registro: 06/03/2021 Data de aceite: 18/08/2021. (shrink)

In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the complexity of the satisfiability problem of (...) a number of hybrid temporal logics: the basic hybrid language over transitive trees; nominal Until logic; and referential interval logic. We discuss the effects of including nominals, the @ operator, the somewhere modality E, and the difference operator D. Adding nominals to tense logic leads for several frame-classes to an increase in complexity of the satisfiability problem from PSPACE to EXPTIME. On transitive trees, however, the satisfiability problem for this language can be decided in PSPACE. Along the way we make a detour through hybrid propositional dynamic logic: we establish upper bounds for a number of temporal logics by generalizing results due to Passy and Tinchev [29] and De Giacomo [16]. We conclude with some remarks on the relevance of our results to description logic, and draw attention to the utility of the spypoint technique for proving upper and lower bounds. (shrink)

Businesses that maintain ethical standards have an advantage in the marketplace based on the increasing interest of consumers in products that have a social and ethical component. Fair trade organisations that adopt environmental, social and ethical principles in trading are in a good position to make the most of this growing interest in the market. However, it is unclear whether fair trade organisations are taking full advantage of emerging market opportunities for ethically traded products. This research explores this issue by (...) describing the business strategies of three fair trade organisations that import and sell craft goods into Western countries and evaluates them in the context of this growing market. The research findings indicate that in order to remain in business, fair trade craft organisations have had to adopt better business practices in recent years, improving quality, customer service and product offerings to customers. However, growth appears to be limited, as distribution remains focused on a small, niche market. This paper explores the distribution strategies of two fair trade commodity organisations that are successfully reaching a wider customer base, demonstrating that fair trade products have a unique selling advantage in the mainstream marketplace. In conclusion, fair trade craft organisations are not exploiting this market opportunity to the degree they should and will need to explore wider distribution and alternative business strategies to expand their market share. (shrink)

We investigate the expressive power of memory logics. These are modal logics extended with the possibility to store (or remove) the current node of evaluation in (or from) a memory, and to perform membership tests on the current memory. From this perspective, the hybrid logic (↓), for example, can be thought of as a particular case of a memory logic where the memory is an indexed list of elements of the domain.

In this article the authors briefly sketch the nature of Brazilian bioethics. Bioethics emerged in Brazil later than in other Western countries and the 1990’s were the most important period for the spread of the discipline in the country. It is in this period that some structural elements of bioethics were established, such as research groups, regulation of Local Research Ethics Committees (Comitês Locais de Ética em Pesquisa – CEP), the creation of the National Commission of Ethics in Research with (...) Human Beings (Comissão Nacional de Ética em Pesquisa com Seres Humanos – CONEP) and the Brazilian Bioethics Society (Sociedade Brasileira de Bioética – SBB). With regard to theoretical work, Brazilian bioethics is clearly an importer of theories from countries central to the studies of bioethics, or, in another words, countries where bioethics first emerged and was established. The most commonly used theory among Brazilian researchers is principlism. (shrink)

A Aprendizagem Baseada em Problemas é uma das metodologias de ensino que vem sendo adotada em diferentes níveis educacionais. O objetivo deste artigo é promover reflexões sobre a utilização dessa prática na educação básica do Brasil, em particular no campo da educação matemática. Este trabalho é um ensaio teórico que engloba pesquisas teóricos e práticas na área. A partir de inspirações da análise de conteúdo são evidenciados alguns resultados que parecem favorecer tanto a prática docente quanto as aprendizagens dos estudantes.

Rather than a natural product, a computational analysis leads us to characterize déjà vu as a failure of memory retrieval, linked to the activation in neocortex of familiar items from a compositional memory in the absence of hippocampal input, and to a misappropriation by the self of what is of others.

The presence of Muslims in the European public spheres has raised a hoist of debates concerning issues of neutrality, tolerance, and secularism. All over Europe, Muslims are the target of specific forms of hostility, a phenomenon rising substantial questions about the real inclusivity of European democratic spaces. The category of ‘Islamophobia’ has emerged as a valid heuristic tool to identify specific processes of racialization of religion. However, its validity has been fiercely questioned, and the use of this term has been (...) defined as a pretext to bar the way to any form of criticism and objection to Islam. This paper will use the case of Islamophobia to reflect on the new set of conflicts between freedom of religion and freedom of speech, in the perspective of constructing post secularist, pluralistic public spheres. This paper adopts gender as a privileged lens to identify the mechanisms of essentialization and reification at work in the case of Islam. (shrink)

ACESSO À JUSTIÇA: DELINEAMENTOS GERAIS E ANÁLISE NO PROJETO DE NOVO CÓDIGO PROCESSUAL CIVIL.

RESUMO Este artigo convoca as concepções do Círculo de Bakhtin para redesenhar atividades de leitura literária propostas em livro didático brasileiro, tornando-as mais responsivas à vida contemporânea. Tem como base os conceitos de dialogismo e de responsividade, evocados para contribuírem com a percepção da infecundidade do uso do modelo de atividades vigente na formação de leitores e para apontar possibilidades na elaboração de atividades abertas ao diálogo das vivências dos alunos/leitores com os textos literários, bem como convidativas à expressão das (...) atitudes responsivas ativas dos alunos frente à leitura literária. Uma atividade baseada em soneto camoniano, presente em livro didático aprovado pelo PNLD 2018, é analisada na tentativa de contribuir com a desaprendizagem de práticas referentes à abordagem da leitura literária na escola. Por fim, o mesmo soneto camoniano é abordado para elaboração de proposta de atividades pautada no dialogismo e na responsividade. ABSTRACT This article summons the conceptions of the Bakhtin Circle to redesign literary reading activities proposed in Brazilian textbooks, making them more responsive to contemporary life. It is based on the concepts of dialogism and responsiveness and evokes such concepts to contribute to the perception of infertile use of the current activity model in the reader’s formation. Besides, it points out possibilities to the elaboration of activities open to the dialogue of students/readers’ experiences with literary texts as well as inviting to the expression of the students’ active responsive attitudes towards literary reading. The article analyzes an activity based on a Camonian sonnet, which is present in one of the textbooks approved by the National Book and Teaching Material Program 2018, in an attempt to contribute to the unlearning of practices regarding the approach to literary reading in school. Finally, the same Camonian sonnet is used to elaborate a set of activities grounded on dialogism and responsiveness. (shrink)

Esse artigo defende que as ressonâncias da filosofia de Bergson no século xx francês ultrapassam a divisão estabelecida por Foucault entre as filosofias do cogito e as filosofias de sistema. O impacto de sua obra tem como razão principal a capacidade de articular o retorno à experiência e a incorporação do trabalho de sistematização de dados realizado pelas ciências do século XIX. Tal articulação delimita o teor empirista da filosofia de Bergson, que pode ser analisado em comparação com os empiristas (...) do XVIII. Examinamos nesse contexto como o trabalho crítico dirigido às ideias abstratas que conduzem a filosofia a perder de vista o concreto é o fator de convergência entre Bergson e Merleau-Ponty. Por outro lado, mostramos que a análise filosófica sobre a biologia evolutiva relaciona o bergsonismo ao projeto epistemológico de Canguilhem. (shrink)

The purpose of this text is to examine the nodal points of the interpretation of Bergson presented in “Bergson: Intuição e discurso filosófico”, by Franklin Leopoldo e Silva, in order to make explicit the originality of his circumscription of the problem of language in this philosophy that claims to be intuitive. We argue that the notions of limit and tension are mobilized by the author to demonstrate the inseparable relationship between the critique of discursivity and intuitive access to the absolute (...) that is duration. We will also try to show how this approach offers us a new look at the particular way in which Bergson links philosophy and the history of philosophy in his first work. (shrink)

Dissertação de Mestrado GUIMARÃES, Débora. A Igreja como mãe suficientemente boa à luz dos conceitos de Winnicott . 2012. 108 folhas. Dissertação (Mestrado) – Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Horizonte. Palavras-chave : Igreja. Doutrina social. Mãe Suficientemente Boa. Key words : Church. Social Doctrine. Good-enough Mother.