Marcelo Silva

We present a categorical/denotational semantics for the Lambek Syntactic Calculus (LSC), indeed for a λlD‐typed version Curry‐Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It is defined through a hierarchical structure of categories reflecting the implicit permission to sequence expressions and the inductive construction of compound expressions. We claim that Lambek's noncommutative product corresponds to a noncommutative bi‐endofunctor into a category, which encloses all categories of such hierarchical structure. A soundness theorem for LSC is shown with respect to this semantical framework.

Este artigo tem como objetivo analisar sobre a produção da pesquisa em educação, a interconexão com as teorias educacionais e seus desdobramentos na discussão acerca dos Direitos Humanos e sua articulação com a cultura étnico-racial na Educação Básica. Buscamos desenvolver um estudo criterioso acerca das teses e dissertações da Faculdade de Educação/UNICAMP no período de 2010 – 2020 sobre a temática em questão em especial os principais discurso ideológicos que a perpassa. A metodologia levará em conta a pesquisa qualitativa acerca das teorias que congregam a proposta política e pedagógica da ciência da educação. Realizamos a análise documental dos direitos humanos em relação ao direito à educação.

El objetivo es analizar y comparar la teoría de la descolonialidad, a partir de las heterogéneas elaboraciones teóricas de dos de sus principales representantes en América Latina: Enrique Dussel (1934-2023) y Aníbal Quijano (1928-2018). Tales elaboraciones teóricas se presentan en la forma y el contenido de dos claves de lectura: el concepto de transmodernidad de Dussel y la matriz colonial del poder de Quijano; a partir de las cuales desarrollaron críticas a la modernidad y la razón, con el propósito de forjar un nuevo tipo de conocimiento, capaz de representar la identidad, autonomía y unidad latinoamericana. A partir de la lectura inmanente de las obras se presentarán los límites y posibilidades que emergen de la crítica decolonial. Es la adopción de un procedimiento metodológico complejo que podría sintetizarse en la forma y contenido del concepto de aufhebung, a partir del cual se establece la unidad de los opuestos como técnica y método de investigación y exposición de la historia y comprensión del movimiento y dinámica del objeto.

Discute-se aqui as aproximações e distanciamentos sobre o cuidado via as contribuições do pensamento de Heidegger e de Foucault. Interessa-nos saber sobre as ideias de autocuidado articuladas por Martin Heidegger e de cuidado de sí, conforme Michel Foucault, analisando as convergências e as divergências. Lançou-se mão da sistematização contrastiva de modo a ressaltar os encontros e desencontros entre os pensadores. Há aproximações no que se refere a importância dada a questão do cuidar como algo constituidor do ser humano, mas os distanciamentos se dão pelo modo como os sentidos de cuidado são concebidos. As aproximações e distanciamentos quanto a autocuidado e cuidado de si pensados por Heidegger e Michel Foucault nos lança a refletir que cada pensador fora atravessado por singularidades, processos históricos, sociais e culturais, desdobrando em compreensões específicas em torno do cuidado.

The field of Philosophy of Sport has been developing in Anglo-Saxon scholarship since the 1960s and since then has achieved considerable consolidation. However, this is a progressing field in Latin American countries like Brazil. This paper aims to analyse the trajectory of the Philosophy of Sport in Brazil, presenting an overview of its development since the 1980s and some prospects that have been generated since the turn of the century. In conclusion, the article points out that the field of Philosophy of Sport in Brazil is in the process of disciplinary consolidation, presenting a plurality of agents, institutions and theoretical approaches in its structure.

We present a categorical/denotational semantics for the Lambek Syntactic Calculus, indeed for a λlD-typed version Curry-Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It is defined through a hierarchical structure of categories reflecting the implicit permission to sequence expressions and the inductive construction of compound expressions. We claim that Lambek's noncommutative product corresponds to a noncommutative bi-endofunctor into a category, which encloses all categories of such hierarchical structure. A soundness theorem for LSC is shown with respect to this semantical framework.

Este artigo tem como objetivo apresentar os dados da pesquisa realizada na Faculdade de Educação da Universidade Estadual de Campinas-SP no ano de 2010, para aquisição do título de Doutor em Educação. Além da apresentação dos dados, a proposta será de trabalhar os conteúdos específicos da teoria da complexidade de Edgar Morin, sua implicação na produção da pesquisa e da educação brasileira e latino-americana. Por se tratar de uma discussão apresentada como aula para o programa de pós-graduação em educação da Universidade Federal de Alagoas - UFAL, as questões que serão analisadas dizem respeito aos desdobramentos das teorias educacionais na constituição epistemológica da ciência da educação.