2 resultados para Categorical logic
em Repositório Institucional da Universidade de Aveiro - Portugal
Resumo:
Este estudo pretende analisar as relações entre a educação para a sustentabilidade e a sensibilização à diversidade linguística e cultural no currículo dos primeiros anos de escolaridade através do desenvolvimento de um projeto de intervenção pedagógico-didática. Para tal, refletiu-se sobre as noções de educação para o desenvolvimento sustentável e de sensibilização à diversidade linguística e cultural, explicitando o modo como se podem cruzar. Com este enquadramento, e numa lógica de investigação-ação, desenvolveuse o projeto de intervenção “Do meu mundo vejo o outro e o seu mundo”, em 21 sessões, numa turma do 4º ano do 1º Ciclo do Ensino Básico, de forma colaborativa com a respetiva professora titular, numa escola do distrito de Aveiro, durante o ano letivo de 2008/2009. Recolheram-se dados através da observação direta do(a)s aluno(a)s durante as sessões e de inquéritos por questionário e por entrevista ao(à)s aluno(a)s e à professora participante. Os dados recolhidos durante as sessões foram analisados com recurso à Escala de nível de envolvimento de Leuven (Laevers, 1994) e os inquéritos por questionário e entrevista foram alvo de uma análise estatística descritiva e de uma análise de conteúdo. Identificaram-se os efeitos do projeto no(a)s aluno(a)s em termos do seu nível de envolvimento nas atividades e do desenvolvimento das suas atitudes, conhecimentos e capacidades. A partir das vozes dos participantes, analisouse ainda a apreciação que realizaram do projeto na sua globalidade. Os resultados da análise apontam no sentido de que o projeto de intervenção desenvolvido contribuiu para: ajudar a derrubar barreiras disciplinares entre as àreas do currículo; justificar a necessidade de contemplar a sensibilização à diversidade linguística e cultural em processos de educação para o desenvolvimento sustentável; desenvolver materiais didáticos diversificados construídos numa lógica interdisciplinar, reconhecidos pela professora como inovadores e importantes para aprendizagens significativas e contextualizadas; transformar atitudes do(a)s aluno(a)s face à diversidade e à sustentabilidade, na preparação para uma cidadania planetária; e desenvolver no(a)s aluno(a)s uma consciência sistémica evidenciada na capacidade de relacionamento do global e do local em temas de diferentes áreas do conhecimento. Este estudo apresenta um conjunto de argumentos para a integração do tratamento da diversidade linguística e cultural no quadro de uma educação para um futuro mais sustentável nos primeiros anos de escolaridade, pela consideração de quatro grandes preocupações educativas: educar para compreender o mundo, educar para agir no mundo; educar para conviver com os outros e educar para o nunca-mais.
Resumo:
Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics.