We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory. The key concept we employ is that of a Lawvere hyperdoctrine for which we describe a notion of quotient completion. That notion includes the exact completion on a category with weak finite limits as an instance as well as examples from type theory that fall apart from this.

We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin.One level is given by an intensional type theory, called Minimal type theory. This theory extends a previous version with collections.The other level is given by an extensional set theory that is interpreted in the first one by means of a quotient model.This two-level theory has two main features: it is minimal among the most relevant foundations for constructive mathematics; it is constructive thanks (...) to the way the extensional level is linked to the intensional one which fulfills the “proofs-as-programs” paradigm and acts as a programming language. (shrink)

In this paper we analyze an extension of Martin-Löf s intensional set theory by means of a set contructor P such that the elements of P are the subsets of the set S. Since it seems natural to require some kind of extensionality on the equality among subsets, it turns out that such an extension cannot be constructive. In fact we will prove that this extension is classic, that is “ true holds for any proposition A.

We present and study the category of formal topologies and some of its variants. Two main results are proven. The first is that, for any inductively generated formal cover, there exists a formal topology whose cover extends in the minimal way the given one. This result is obtained by enhancing the method for the inductive generation of the cover relation by adding a coinductive generation of the positivity predicate. Categorically, this result can be rephrased by saying that inductively generated formal (...) topologies are coreflective into inductively generated formal covers. The second result is that unary formal covers are exponentiable in the category of inductively generated formal covers and hence, thanks to the coreflection, unary formal topologies are exponentiable in the category of inductively generated formal topologies. From a localic point of view the exponentiability of unary formal topologies means that algebraic dcpos are exponentiable in the category of open locales. But, the coreflection theorem states that open locales are coreflective in locales and hence, as a consequence of well-known impredicative results on exponentiable locales, it allows to prove that locally compact open locales are exponentiable in the category of open locales. (shrink)

We give arguments explaining why, when adopting a minimalist approach to constructive mathematics as that formalized in our two-level minimalist foundation, the choice for a pointfree approach to topology is not just a matter of convenience or mathematical elegance, but becomes compulsory. The main reason is that in our foundation real numbers, either as Dedekind cuts or as Cauchy sequences, do not form a set.

Here, we present a category ${\mathbf {pEff}}$ which can be considered a predicative variant of Hyland's Effective Topos ${{\mathbf {Eff} }}$ for the following reasons. First, its construction is carried in Feferman’s predicative theory of non-iterative fixpoints ${{\widehat {ID_1}}}$. Second, ${\mathbf {pEff}}$ is a list-arithmetic locally cartesian closed pretopos with a full subcategory ${{\mathbf {pEff}_{set}}}$ of small objects having the same categorical structure which is preserved by the embedding in ${\mathbf {pEff}}$ ; furthermore subobjects in ${{\mathbf {pEff}_{set}}}$ are classified by (...) a non-small object in ${\mathbf {pEff}}$. Third ${\mathbf {pEff}}$ happens to coincide with the exact completion of the lex category defined as a predicative rendering in ${{\widehat {ID_1}}}$ of the subcategory of ${{\mathbf {Eff} }}$ of recursive functions and it validates the Formal Church’s thesis. Hence pEff turns out to be itself a predicative rendering of a full subcategory of ${{\mathbf {Eff} }}$. (shrink)

Consistency with the formal Church’s thesis, for short CT, and the axiom of choice, for short AC, was one of the requirements asked to be satisfied by the intensional level of a two-level foundation for constructive mathematics as proposed by Maietti and Sambin From sets and types to topology and analysis: practicable foundations for constructive mathematics, Oxford University Press, Oxford, 2005). Here we show that this is the case for the intensional level of the two-level Minimalist Foundation, for short (...) MF, completed in 2009 by the second author. The intensional level of MF consists of an intensional type theory à la Martin-Löf, called mTT. The consistency of mTT with CT and AC is obtained by showing the consistency with the formal Church’s thesis of a fragment of intensional Martin-Löf’s type theory, called \, where mTT can be easily interpreted. Then to show the consistency of \ with CT we interpret it within Feferman’s predicative theory of non-iterative fixpoints \ by extending the well known Kleene’s realizability semantics of intuitionistic arithmetics so that CT is trivially validated. More in detail the fragment \ we interpret consists of first order intensional Martin-Löf’s type theory with one universe and with explicit substitution rules in place of usual equality rules preserving type constructors -rule which is not valid in our realizability semantics). A key difficulty encountered in our interpretation was to use the right interpretation of lambda abstraction in the applicative structure of natural numbers in order to model all the equality rules of \ correctly. In particular the universe of \ is modelled by means of \-fixpoints following a technique due first to Aczel and used by Feferman and Beeson. (shrink)

Las escuelas públicas de los barrios segregados de Santiago se han ido vaciando de alumnos chilenos que los padres reubican en otras escuelas, pero gracias a la llegada de niñas y niños hijos de inmigrantes, consiguen seguir funcionando. Son escuelas situadas en el centro de la ciudad, en sectores que dan cuenta del abandono del Estado y de la agonía de calles adoquinadas y casonas señoriales ahora convertidas en alojamientos baratos para inmigrantes. En este escenario, los niños provenientes de la (...) inmigración devienen actores secundarios, pero debido a las crisis son finalmente protagonistas de la sobrevida de la institución escolar. Niños útiles, que permiten la continuidad de las escuelas al mismo tiempo que son maltratados por su origen. El propósito de este artículo es dar cuenta del racismo cotidiano que viven los hijos de inmigrantes peruanos a partir del habla que despliegan los adultos de la comunidad educativa que los acoge. ¿Cómo los caracterizan, cómo los evalúan? ¿Es acaso la extranjeridad heredada de sus padres la frontera que impide su integración? (shrink)

Archivo contemporáneo como obra de arte.

En el mes de marzo, a 43 años de la última dictadura argentina, se realizó en el Museo de Arte y Memoria la muestra “Memoria colectiva en tiempos de genocidios”. Con la curaduría de Laura Pomerantz*, la misma reunió un conjunto de obras realizadas por seis artistas, en torno a la temática de los genocidios.

O fenómeno FinTech revolucionou o modo de prestar serviços financeiros e transformou a relação entre o prestador destes serviços e o consumidor, sendo as plataformas digitais e aplicações o meio através do qual o consumidor passou a relacionar-se com o seu prestador de serviços financeiros. O sector bancário precisa adaptar-se de forma célere e urgente à nova realidade. O perfil do consumidor de serviços financeiros alterou-se e quanto mais digital e tecnológico se tornarem os prestadores de serviços financeiros, surgem novas (...) desigualdades sociais. Propomo-nos analisar que desigualdades se geraram e quais os atuais impactos sociais. (shrink)

El siguiente artículo propone una presentación del Hip Hop en Chile, comprendido como un movimiento plural que puede ser pensado en términos de tácticas y estrategias de resistencia. Para ello se comienza por una caracterización general de esta práctica considerando sus diversos componentes -música, danza y grafiti- seguida de una descripción de sus orígenes históricos y de su contexto social de emergencia asociado a la segregación y a la estigmatización urbanas. Luego, a partir de la revisión de diversas investigaciones provenientes (...) de la historia y de la sociología se aborda su desarrollo en nuestro país, lo que permite indagar sus singularidades y su poder de contestación en nuestra historia reciente. Posteriormente se trata la cuestión del como un arte popular teniendo en cuenta diversas dimensiones en las que se expresa la capacidad creativa de sus autores y de su comunidad de públicos. Por último se aborda el potencial político del Hip Hop explorando sus posibilidades para ser comprendido como un arte de resistencia que opera tácticamente. (shrink)

La migración humana es un cambio de residencia que afecta principalmente a los individuos que la viven pero también a los países y regiones de donde parten y a donde llegan. Se trata de un complejo fenómeno multidimensional y difícil de estudiar por su carácter retrospectivo que obliga a examinarlo posteriormente al acto de partir. Sabemos que está causado por las crisis económicas, sociales, religiosas y políticas, que son muchos los factores que lo explican y que el proceso globalizador de (...) los últimos años ha incidido fuertemente en el fenómeno. Pero en lo que nos atañe -una reflexión comprensiva desde las ciencias sociales- hemos preferido detenernos, para no perder de vista, y con ello no perder-la-vista, en las consecuencias cotidianas (aun incompletas) que tiene para las peruanas inmigrantes el hecho de vivir y trabajar en Santiago de Chile. ¿Por qué se vienen? ¿Cómo resuelven sus vidas? ¿Qué vínculos mantienen con sus familias, sus pueblos, sus amigos? ¿Cómo las han acogido? ¿Cómo son sus trayectorias de trabajo? ¿Han logrado acostumbrarse? ¿Piensan quedarse en Chile o desean regresar al Perú? Intentando responder a estas preguntas, el presente trabajo desea aportar a la reflexión a partir de fragmentos de un estudio que actualmente llevamos a cabo. Pensamos que pueden servir para dar a conocer sus experiencias y para construir nuevos abordajes y metodologías de investigación científica que ayuden a que sus existencias sean más dignas y que sus vínculos con Chile se construyan de un modo menos violento. (shrink)

Resumen de Tesis Tiempo humano y tiempo natural: una distinción problemática en los debates sobre el tiempo histórico del siglo XX por M. E. Arabarco.

Within the framework of the present call for papers, the article reflects on the tensions that the pandemic exacerbated between health as a universal right, the particular rights of indigenous peoples, and the regional health practices of these peoples. From there, it aims to analyze the way in which through the regulations and protocols to prevent the spread of Covid-19, sanctioned by the State of Argentina, forms of government were administered in Foucauldian terms to make people live that came into (...) tension and excluded other ways of living belonging to indigenous peoples. In order to problematize these exclusions, we will focus mainly on the claims made by the indigenous movement and, in particular, by Mapuche communities and organizations, which were articulating a request for them to let them live. Letting live implied a complaint regarding the implementation of health measures which, as they were being managed, did not guarantee access to health for these peoples within the biomedical system, nor the continuity of their own health practices and systems. (shrink)

ABSTRACTThe manuscript offers a theoretical reflection on the concept of direct democratic institutions with the aim of shedding light on their institutional grammar. Specifically, it addresses the...

El presente trabajo se propone brindar un abordaje normativo de la cuestión de la legitimidad democrática de los referéndums. Se centrará en una objeción puntual contra ellos, la que los sospecha de proveer a la mayoría un medio para tiranizar a las minorías, aquí traducida en términos de tensión entre el principio de soberanía popular y el sistema de derechos, pues exacerba la soberanía popular en detrimento de derechos humanos, en el caso, derechos de las minorías. Contra esta objeción sostendré (...) que si la gramática institucional del referéndum garantiza una estructura básica de justicia y él es utilizado en un contexto democrático, entonces este armoniza el principio de soberanía popular y el sistema de derechos, y por tanto, no representa un medio para tiranizar a las minorías, i.e. goza de legitimidad democrática en lo que concierne al aspecto aquí considerado. En el caso de que alguna de aquellas condiciones falten, el referéndumresulta ilegítimo en términos democráticos. Del primer tipo de referéndum se dirá que pertence a la forma pura, mientras que, del segundo, se dirá que reviste la forma corrupta. A lo largo del artículo se especificará en qué consisten las condiciones y. (shrink)

Traditionally, historical time and natural time have been considered different to each other. Reinhart Koselleck also distinguishes them but he argues that modern historical time is born by increased independence from natural time. The aim of this paper is to explore some classical sources from this point of view in order to show that human time is understood, until modernity, through natural rhythms. This is observed in the interpretation of historical and political successions through the perspective of degeneration, decline and (...) world aging, among others. (shrink)

En Fenicias resultan dignos de destacar los cambios substanciales que Eurípides introdujo al tratamiento del mito en sus versiones tradicionales. De modo particular, en el análisis filológico-literario de prólogo y párodos se pone de manifiesto una evidente integración de espacios y tiempos teatrales y el ensamble de los dos ámbitos trágicos estructurales significa una expresión clara de los límites entre "lo propio" y "lo ajeno". Nos proponemos demostrar que el diseño espacio-temporal de prólogo y párodos construye una suerte de agón (...) en el nivel espacial que se evidencia en el trazado de los personajes de Yocasta, Antígona y el Pedagogo en el prólogo y de las mujeres fenicias en la párodos. De modo que también resulte agonal la confrontación entre propio y ajeno, ya mencionada, como característica de la composición teatral euripidea, acorde con las realidades comunicativas de la época de representación de la tragedia y con la propuesta poética del autor. In 'Phoenician Women' it is interesting to point out the substantial changes that Euripides introduced to the treatment of the myth in his traditional versions. In a singular manner, in the literary-philological analysis of the prologue and párodos it does depict an evident integration of theatrical times and spaces and the assembly of the limits between ´the foreign´ and ´the self´. We will try to show that the temporal-space design of the prologues and párodos builds a chance of agón at the spatial level that gives evidence to the outline of the characters in Yocasta, Antigone and in the Pedagogue in the prologue and the Phoenician women in the párodos. Furthermore, the confrontation between the foreign and the self is also agonistic, already mentioned, is a characteristic of the theatrical Euripidean composition, according to communicative realities of the time of the representation of the tragedy and the poetic proposal of its author. (shrink)

“¿Cómo un ser humano cualquiera, educado en los valores cristianos que son predominantes en los sectores militares de la sociedad chilena pudo, como resultado de sus comportamientos de obediencia, transgredir los umbrales de la ética y realizar actos criminales?”. Esta pregunta de investigación guía el trabajo de María Teresa Pozzoli que reseñamos. El libro de María Teresa Pozzoli aborda la debida obediencia militar arraigada en la ideología de las Fuerzas Armadas chilenas durante el período..

Muchas y diversas son las preguntas que nos hacemos en lo que atañe a la sociedad civil en los complejos tiempos actuales: ¿Qué entendemos por sociedad civil? ¿Puede ella concebirse separadamente de los Estados que la constriñen? ¿Podrá el esfuerzo solidario de una sociedad civil organizada internacionalmente desafiar al mercado capitalista neoliberal? ¿Cuáles son las propuestas que la sociedad civil hoy día presenta para los ciudadanos? Pero además, ¿quiénes conforman la sociedad civil actua..

El 24 de marzo en Argentina es una fecha en la cual se realizan en todo el país marchas y actos encabezados por las organizaciones de derechos humanos en conmemoración de las víctimas de la última dictadura cívico-militar iniciada en 1976. Sin embargo, durante los años 2020 y 2021 esta fecha estuvo signada por diferentes condicionamientos dado el Covid-19. En contexto de ASPO y DISPO, ¿qué memorias se activaron y pusieron a circular esos días? ¿Qué soportes y herramientas fueron fundamentales? (...) ¿Cómo fueron esos paisajes visuales de la memoria? ¿Cómo se conjugaron el activismo offline y el activismo online? Estas son algunas de las preguntas que se irán desentrañando a lo largo del texto. A partir del análisis, se observa una (re)configuración en los modos de hacer memoria colectiva que implicó nuevos desafíos a la hora de pensar su defensa/disputa y transmisión. Asimismo, hubo una renovación de las estrategias visuales desde las materialidades y formas y desde los modos de circulación, a la vez que se sumaron voces y luchas del presente que reavivaron el sentido de los trabajos de memoria para visibilizar problemáticas actuales y ampliar derechos que consoliden la democracia. (shrink)

Entrevista realizada en Buenos Aires el 22 de noviembre de 2018, a María Herrera Magdaleno, madre de personas desaparecidas en México y activista por los derechos humanos, donde presenta las luchas del movimiento de familiares de desaparecidos en México y las labores llevadas adelante por la Cuarta Brigada Nacional de Búsqueda de Personas.

El pasado 18 de septiembre se realizaron diferentes actividades en la ciudad de La Plata y la marcha para exigir por memoria, verdad y justicia, al cumplirse 15 años de la segunda desaparición de Jorge Julio López, en el marco del juicio contra el represor Miguel Etchecolatz.

¿Qué imágenes tenemos para pensar Malvinas?, ¿qué historias de ese pasado nos relatan? pueden ser las preguntas que hilan los motivos por los cuales “Cruces, idas y vueltas de Malvinas” constituye una valiosa muestra fotográfica para ser recuperada a 40 años del Conflicto del Atlántico Sur.

¿Cómo es y en qué se ha transformado actualmente la ciudad? ¿Es sólo un espacio de flujos y de inacabables mutaciones que complican la existencia humana? ¿O es la musa deseada por los innumerables pretendientes en sus posibilidades políticas y mercantiles?Por esencia, la ciudad es central y capital, “lugar del capital”, instrumento de regulación y eje del sistema de soberanía que asegure y regule el orden general. Pero la complejidad que hoy día presenta convoca a los expertos que, preocupado..

El capitalismo histórico ha experimentado, en la escala mundial que hoy le corresponde, profundos cambios que han modificado sustancialmente su componente de acumulación, pero también, de forma significativa, el de regulación, perturbando críticamente su forma de gestionar las inequidades, desigualdades y doxas que él mismo produce. Actualmente, la expansión de un capitalismo autoritario premunido del paradigma mercantil, promueve una cultura individual que ha calado duramente en los sujetos ..

Durante las últimas décadas del siglo XIX y las primeras del siglo XX, el paradigma higienista se constituyó en una de las principales influencias para determinar políticas en pos de la construcción de un proyecto de país y de una ciudadanía homogénea desde el parámetro de la civilización. El objetivo de este artículo será indagar la forma en la que el higienismo como política, paradigma y disciplina se instaló como el conocimiento autorizado para mejorar las condiciones de salud de la (...) población, dentro de los Territorios Nacionales de la Patagonia, en particular en escuelas ubicadas dentro de territorios mapuche entre 1900 y 1940. Para realizar este análisis, serán retomadas las crónicas de dos maestros, Luis Funes y Luis Feldman Josín, que fueron destinados a parajes con población indígena en la región patagónica. Por otra parte, analizaremos los efectos de la interacción de estos discursos con otros disponibles en la mitad del siglo XX a partir de los cuales se interpelaba a los sujetos indígenas, como, por ejemplo, aquellos que postulaban la dicotomía entre "civilización - barbarie”. Y, finalmente, caracterizamos los contrapuntos entre el establecimiento de las normativas a nivel nacional y la particularidad de su gestión en la Patagonia. (shrink)

The objective of this research was to determine the relationship between educational marketing and student satisfaction in Higher Education Institutions in the Tacna region, in order to analyse the characteristics that are related to the study variables. The methodology was carried out under a quantitative approach, with a correlational and transversal research design; sample was composed of 249 students. Pearson's statistical test was applied, showing that the educational marketing variable is significantly related to student satisfaction in higher education institutions. Finally, (...) it was demonstrated that the students evidenced effective characteristics of their respective institutions that differentiate them from others. (shrink)

Para construir una imagen y un discurso urbano diferente y duradero, y regenerar una identidad colectiva en el barrio patrimonial de Xanenetla, Puebla, un grupo de voluntarios de “Colectivo Tomate” propuso en 2010 llevar a cabo un Proyecto de muralismo urbano para detonar procesos de empoderamiento del espacio público a través de colaboración entre artistas y habitantes locales. En 2011, después de haber alcanzado visibilidad en los medios y en las redes sociales en México y en el extranjero, el Plan (...) de Desarrollo Urbano de Puebla 2011-2014 incluyó a la “Ciudad Mural” de Xanenetla en el recorrido turístico del centro histórico como un atractivo de patrimonio cultural con potencial de fortalecer el desarrollo económico de la zona histórica. Las estadísticas y los análisis urbanos revelan que el impulso municipal a la industria turística a través de “gentrificación” urbana ha puesto en riesgo la cultura popular de Xanenetla y su modo de vida barrial. Nuestra investigación explora el potencial de la cultura barrial de Xanenetla como un recurso alternativo para encaminar un desarrollo urbano socio culturalmente sustentable y sensible fundamentado en la identidad local y tomando como puntos de partida la experiencia colaborativa del Colectivo Tomate y su proyecto de muralismo urbano. (shrink)

El pensamiento moderno y sus sistemas urbano-arquitectónicos de un “determinismo ontológico” tenían como propósito promover contextos habitables de formas unificadas, basados en sistemas geométricos de organización de espacios y agrupación de funciones similares a través de sistemas de zonificación de funciones. La resultante ciudad moderna ignoró intencionalmente otras urbanidades y maneras subalternas de concebir espacios habitables (Bachelard, 1969: 212, 215) por contrariar el proyecto de organización económica y política que la ha sustentado. Lo que hoy en día estamos viviendo en (...) la mayoría de las metrópolis y zonas conurbadas, por lo menos del mundo occidental, son ciudades texto que entiende la vida humana de manera cuantitativa. Privilegiando la estética formal, la espectacularidad tecnológica, y la distribución mecánica de las funciones urbanas a lo largo del territorio, el texto urbano-arquitectónico de la ciudad moderna excluye las dimensiones subjetivas, culturales, temporales, corpóreas y sensoriales de la vida urbana con consecuencias adversas para la vida de sus habitantes. (shrink)

This study aims to investigate assortative mating based on mate value from male perspective. Male participants (132 Brazilian and 106 American) evaluated hypothetical “stimulus” males described in terms of physical attractiveness, social skills, and social status (each varied in high or low levels). Participants rated each stimulus and each stimulus' preferred mating partner on nine traits. The results showed that (1) positive assortative mating was expected in romantic relationships; (2) the stimulus ratings did not vary independently, suggesting that mate value (...) is the result of the interaction of the characteristics of individuals; and (3) that participants expected physically attractive and healthier female partners to pair with high-status male stimuli. The American and Brazilian mating expectations were similar, minor differences indicate that Brazilian participants considered men with high levels of social skills to be more ambitious and intelligent; American participants expected men of high status to be healthier; Brazilians expect men of high status to have more attractive faces, while Americans expected these men to possess more attractive bodies; and Brazilian participants assigned more attractive bodies to men of lower status. These differences reflect the influence of economic and cultural factors on the local environment. The study contributes to the understanding of the construction of market value and reveals that male expectations are in line with human mating preferences. The investigation of mating expectations can be a rich approach to investigate socio-cultural aspects that are related to mating in different cultures. (shrink)

A sociedade contemporânea convive com situações sociais, políticas e econômicas que suscitam o desejo de paz, de tolerância e de justiça. A escola é uma instituição essencial na organização social, pois por ela passam crianças, adolescentes e jovens por um período de tempo importante de sua formação e de construção da sua identidade. Nesse processo, o Projeto Político Pedagógico (PPP) tem um papel fundamental, pois gera uma ação intencional e propõe uma direção a partir de um compromisso construído coletivamente e (...) articulado com os interesses da educação em âmbito estadual e nacional. O objetivo desse texto é apresentar os resultados de uma pesquisa qualitativa feita em escolas da rede estadual de Belo Horizonte – MG – e mostrar a importância da formação humanista nos PPPs, pois eles oferecem elementos que ajudam as escolas a realizarem seus objetivos, a enfrentarem os desafios e a planejarem seu futuro rumo à formação de jovens cidadãos. Palavras-Chave: Juventude. Cidadania. Formação Humanista. Projeto Político Pedagógico.: Contemporary society coexists with social, political and economic conditions that give rise to the desire for peace, tolerance and justice. The school is an essential institution in social organization, because it works with young people for a considerable period of time of its formation and construction of their identity. In this process, the political Pedagogical Project (PPP) has a key role because it generates an intentional action and proposes a direction from a commitment collectively constructed and articulated with the interests of education statewide and nationally. This paper presents the results of a qualitative research conducted in schools of the state of Belo Horizonte – MG. Political Pedagogical Project offers information to help schools achieve their goals and also to face challenges and to plan their future as young citizens trainers. Keywords : Youth. Citizenship. Humanistic. Education. Pedagogical Political Project. (shrink)

Motor learning can be defined as a process that leads to relatively permanent changes in motor behavior through repeated interactions with the environment. Different strategies can be adopted to achieve motor learning: movements can be overtly practiced leading to an amelioration of motor performance; alternatively, covert strategies (e.g., action observation) can promote neuroplastic changes in the motor system even in the absence of real movement execution. However, whether a training regularly alternating action observation and execution (i.e., Action Observation Training, AOT) (...) may surpass the pure motor practice (MP) and observational learning (OL) remains to be established. To address this issue, we enrolled 54 subjects requiring them to learn tying nautical knots via one out of three types of training (AOT, MP, OL) with the scope to investigate which element mostly contributes to motor learning. We evaluated the overall improvement of each group, along with the predictive role that neuropsychological indexes exert on each treatment outcome. The AOT group exhibited the highest performance improvement (42%), indicating that the regular alternation between observation and execution biases participants toward a better performance. The reiteration of this sequence provides an incremental, adjunct value that super-adds onto the efficacy of motor practice or observational learning in isolation (42% > 25% + 10%, i.e., OL + MP). These findings extend the use of the AOT from clinical and rehabilitative contexts to daily routines requiring the learning and perfectioning of new motor skills such as sports training, music, and occupational activities requiring fine motor control. (shrink)

We present and study the category of formal topologies and some of its variants. Two main results are proven. The first is that, for any inductively generated formal cover, there exists a formal topology whose cover extends in the minimal way the given one. This result is obtained by enhancing the method for the inductive generation of the cover relation by adding a coinductive generation of the positivity predicate. Categorically, this result can be rephrased by saying that inductively generated formal (...) topologies are coreflective into inductively generated formal covers. The second result is that unary formal covers are exponentiable in the category of inductively generated formal covers and hence, thanks to the coreflection, unary formal topologies are exponentiable in the category of inductively generated formal topologies. From a localic point of view the exponentiability of unary formal topologies means that algebraic dcpos are exponentiable in the category of open locales. But, the coreflection theorem states that open locales are coreflective in locales and hence, as a consequence of well-known impredicative results on exponentiable locales, it allows to prove that locally compact open locales are exponentiable in the category of open locales. (shrink)

Com o objetivo de ressaltar a importancia da fabulaç áo , como meio de expressáo do exercicio filosofico, em Plat áo , reconstituem-se inicialmente, neste artigo, os principais passos do Teeteto, cujo final aporético decorreria da n áo exploraç áo pelos interlocutores das hipoteses da Reminiscencia e das Ideias, as quais n áo se restringem ao logos mais estrito nem se dissociam do relato mitico. Em seguida, evidencia-se que, sobretudo a partir dos dialogos da maturidade, a recriaç áo poetica da (...) tradiç áo constitui um suporte doutrindrio indispensável.  . (shrink)