DA OBJEÇÃO AO RECONHECIMENTO: uma análise da política eclesiástica da Assembleia de Deus brasileira com respeito à educação teológica formal (1943-1983)

Este texto é resultado de uma pesquisa, do ponto de vista histórico e sociológico, sobre a política eclesiástica da Assembleia de Deus brasileira com respeito à formação teológico-pastoral. Buscou-se entender como se deu a mudança de postura da liderança assembleiana, que, de uma objeção inicial quanto à educação teológica formal, passou a reconhecê-la como requisito ao ministério pastoral. O marco cronológico que delimita o tema explica-se pelo fato de que, em 1943, ocorreram as primeiras discussões oficiais sobre o ensino teológico formal, ocasião em que a Assembleia de Deus rejeitou a criação dos seminários teológicos. A mudança ocorreu gradativamente, mediante uma série de acontecimentos, dentre eles, a diminuição de influência dos missionários suecos junto às Assembleias de Deus, a criação da Casa Publicadora, a chegada de missionários norte-americanos e à ascensão de pastores apoiadores de uma educação formal. Quarenta anos depois, em 1983, a Convenção Geral dos líderes assembleianos decidiu recomendar a qualificação teológica, como exigência ao ministério pastoral. A metodologia adotada foi de uma pesquisa bibliográfica. Visando um estudo explicativo, foi feito um levantamento de dados históricos a partir dos periódicos oficiais da AD, além de documentos que retratam o assunto proposto neste trabalho.

A Rádio-peão no ar Um estudo sobre a comunicação informal e a comunicação formal face a face no ambiente organizacional

A rádio-peão é estudada nos Estados Unidos desde o período pós II Guerra Mundial. No Brasil, este processo comunicacional ganhou relevância no final da década de 1970 com os movimentos operários que buscavam formas democráticas de diálogo, durante o regime militar. Já a comunicação formal face a face começou a ser praticada nas organizações brasileiras em meados dos anos 1990, com a chegada de novos modelos internacionais de gestão empresarial. Ao estudar estes dois formatos de comunicação, através de pesquisas bibliográfica e documental e entrevistas semi-abertas com acadêmicos e profissionais de mercado de diferentes áreas de conhecimento e atuação, foi possível um aprofundamento acerca de suas histórias, atributos e papéis desempenhados hoje, nas organizações, além de como essas formas de comunicação face a face (formal e informal) interagem entre si, de acordo com interesses pessoais ou organizacionais.(AU)

EDUCAÇÃO NÃO-FORMAL E O MOVIMENTO METODISTA: UMA DISCUSSÃO A PARTIR DA ESCOLA DOMINICAL!

A proposta deste trabalho foi de investigar a contribuição da educação não-formal para a educação formal, no contexto da Escola Dominical da Igreja Metodista. O referencial teórico ancora-se em autores que se dedicam aos estudos relacionados à educação não-formal: Afonso (2002), Simson (2001), Brandão (2002), Duran (2007), Delors (2002), Gadotti (2005), Libâneo (2005) e Gohn (2001). A educação não-formal foi problematizada no contexto da Escola Dominical, tendo por base dados históricos que remontam ao seu início na Inglaterra do Sec. XVII, seu fundamento na história do movimento metodista e na biografia do seu fundador, considerando as contribuições de Buyers (1929/1945), Heitzenrater (2006), Reily (1991) e Levièvere (1997). A pesquisa empírica, de cunho qualitativo, teve por base a realização de entrevista intensiva e a aplicação de questionários. A entrevista foi realizada com um bispo honorário da Igreja Metodista, cuja história de vida está relacionada ao ambiente da Escola Dominical, à formação ali recebida e sua influência na escolha de sua profissão. Os questionários elaborados foram encaminhados à comunidade que frequenta a Escola Dominical, sendo respondidos por vinte e duas pessoas. A análise das respostas dos entrevistados considerou as condições contextuais nas quais os entrevistados estavam envolvidos. Os resultados obtidos suscitam alguns questionamentos, pois o ambiente em que se deu a proposta inicial da Escola Dominical, no Movimento Metodista, apresenta uma enorme distancia do lugar em que a mesma prática é realizada hoje, evidenciando-se a grande dificuldade para a Escola Dominical manter-se atrativa em um mundo moderno, que oferece muitas opções de lazer, cultura e educação, diferente do séc. XVII, em que a educação era privilégio de poucos. Apesar deste desafio, a Escola Dominical e a educação não-formal que ela oferece hoje, são vistas, por seus participantes, como fundamentais na formação do caráter tanto espiritual quanto moral, e relevante a sua contribuição para a sociedade como um todo.

O DESAFIO DO PEDAGOGO NOS ESPAÇOS DE EDUCAÇÃO NÃO FORMAL

A pesquisa teve como foco analisar e problematizar aspectos relevantes que envolvem a trajetória formativa e o processo de conquista e abrangência da atuação do pedagogo a partir de sua inserção em espaços de educação não formal, pois com o advento da globalização, surge à constatação na sociedade atual da importância e da necessidade da educação não formal. Nesse processo, é possível reconhecer que a educação não é um processo exclusivo da escola, ela pode acontecer em locais diferentes e em diversas situações sociais que não corresponde ao modelo escolar formal. Nesta perspectiva, busca-se superar a compreensão da educação somente como prática formal e ampliar seu sentido, reconhecendo não só a importância, mas a necessidade das práticas educativas que acontecem para além da escola. A pesquisa de cunho qualitativo compreende um trabalho bibliográfico intenso, no que se refere à construção e à conquista de espaços dos pedagogos no campo da educação não formal no Brasil. Assim, a pesquisa tem como suporte teórico alguns autores que problematizam questões relacionadas à educação não-formal: Afonso, 2002; Libâneo, 2001; Gadotti, 2005; Gohn, 2008; Duran & Santos Neto (2007). Foram realizadas entrevistas semi-estruturadas com o total de 04 sujeitos, sendo 03 pedagogos que trabalham numa ONG (Organização Não-Governamental) que tem como foco o trabalho com Projetos Sociais e 01 coordenadora de projetos da própria instituição, de forma a compor um perfil desses profissionais inseridos em tal contexto. Considerando dados da investigação é possível dizer que a educação não formal é uma modalidade de educação que vem se ampliando muito na sociedade atual. Por outro lado, apesar dessa ampliação, a sua compreensão ainda é de difícil entendimento porque não há uma legislação específica que lhe dê sustentação, o que abre precedentes para algumas considerações do que se denomina modalidade de educação não formal. O aprofundamento da análise dos dados da pesquisa possibilitou chegar a considerações mais precisas do campo da educação não formal, além de trazer elementos para compreensão de sua importância nesse diversificado universo de atuação.

A OCUPAÇÃO RACIONAL DA ARTE NA EDUCAÇÃO FORMAL: UM ESTUDO DESDE A PERSPECTIVA DA CRIATIVIDADE

A arte e a atividade criativa são alguns dos ingredientes essenciais para o crescimento individual, social e cultural do ser humano e, em consequência, da humanidade. Contudo, desde o século XVI vivemos fortemente influenciados pelos parâmetros da racionalidade cognitivo-instrumental. Particularmente na cultura ocidental tem sido predominante a supervalorização da objetividade, da racionalidade e das ciências duras em detrimento da criação artística. Esta pesquisa examina a ocupação racional da arte e sua influência na limitação da criatividade no ambiente escolar. Assim, analisa as diversas concepções de criatividade, à luz da evolução histórica e as influências herdadas do contexto sóciocultural. Considera ainda o conceito de Arte/Educação em sua relação com as condições históricas da inserção da educação formal no Brasil. Finalmente, esta dissertação identifica as marcas da racionalidade em processos educacionais correntes no Brasil, tendo como referência teorias contemporâneas. As conclusões deste trabalho poderão servir como base para fornecer subsídios à reflexão sobre a necessidade de renovação dos olhares sobre a criatividade, como instrumento de formação intelectual, no ensino de artes no contexto escolar.

Beyond the formal/informal economy binary hierarchy

Purpose – This paper aims to evaluate critically the conventional binary hierarchical representation of the formal/informal economy dualism which reads informal employment as a residual and marginal sphere that has largely negative consequences for economic development and needs to be deterred. Design/methodology/approach – To contest this depiction, the results of 600 household interviews conducted in Ukraine during 2005/2006 on the extent and nature of their informal employment are reported. Findings – Informal employment is revealed to be an extensively used form of work and, through a richer and more textured understanding of the multiple roles that different forms of informal employment play, a form of work that positively contributes to economic and social development, acting both as an important seedbed for enterprise creation and development and as a primary vehicle through which community self-help is delivered in contemporary Ukraine. Research limitations/implications – This survey reveals that depicting informal employment as a hindrance to development and deterring engagement in this sphere results in state authorities destroying the entrepreneurial endeavour and active citizenship that other public policies are seeking to nurture. The paper concludes by addressing how this public policy paradox might start to be resolved. Originality/value – This paper is one of the first to document the role of informal employment in nurturing enterprise creation and development as well as community exchange.

The development of hard real-time systems using a formal approach

Hard real-time systems are a class of computer control systems that must react to demands of their environment by providing `correct' and timely responses. Since these systems are increasingly being used in systems with safety implications, it is crucial that they are designed and developed to operate in a correct manner. This thesis is concerned with developing formal techniques that allow the specification, verification and design of hard real-time systems. Formal techniques for hard real-time systems must be capable of capturing the system's functional and performance requirements, and previous work has proposed a number of techniques which range from the mathematically intensive to those with some mathematical content. This thesis develops formal techniques that contain both an informal and a formal component because it is considered that the informality provides ease of understanding and the formality allows precise specification and verification. Specifically, the combination of Petri nets and temporal logic is considered for the specification and verification of hard real-time systems. Approaches that combine Petri nets and temporal logic by allowing a consistent translation between each formalism are examined. Previously, such techniques have been applied to the formal analysis of concurrent systems. This thesis adapts these techniques for use in the modelling, design and formal analysis of hard real-time systems. The techniques are applied to the problem of specifying a controller for a high-speed manufacturing system. It is shown that they can be used to prove liveness and safety properties, including qualitative aspects of system performance. The problem of verifying quantitative real-time properties is addressed by developing a further technique which combines the formalisms of timed Petri nets and real-time temporal logic. A unifying feature of these techniques is the common temporal description of the Petri net. A common problem with Petri net based techniques is the complexity problems associated with generating the reachability graph. This thesis addresses this problem by using concurrency sets to generate a partial reachability graph pertaining to a particular state. These sets also allows each state to be checked for the presence of inconsistencies and hazards. The problem of designing a controller for the high-speed manufacturing system is also considered. The approach adopted mvolves the use of a model-based controller: This type of controller uses the Petri net models developed, thus preservIng the properties already proven of the controller. It. also contains a model of the physical system which is synchronised to the real application to provide timely responses. The various way of forming the synchronization between these processes is considered and the resulting nets are analysed using concurrency sets.

Development of real-time process control systems using formal techniques

A major application of computers has been to control physical processes in which the computer is embedded within some large physical process and is required to control concurrent physical processes. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control concurrent physical processes. The general objective of the research in this thesis is to investigate the use of formal techniques in the analysis of such systems at their early stages of development, with a particular bias towards an application to high speed machinery. Specifically, the research aims to generate a standardised software development formalism for real-time process-control systems, particularly for software controller synthesis. In this research, a graphical modelling formalism called Sequential Function Chart (SFC), a variant of Grafcet, is examined. SFC, which is defined in the international standard IEC1131 as a graphical description language, has been used widely in industry and has achieved an acceptable level of maturity and acceptance. A comparative study between SFC and Petri nets is presented in this thesis. To overcome identified inaccuracies in the SFC, a formal definition of the firing rules for SFC is given. To provide a framework in which SFC models can be analysed formally, an extended time-related Petri net model for SFC is proposed and the transformation method is defined. The SFC notation lacks a systematic way of synthesising system models from the real world systems. Thus a standardised approach to the development of real-time process control systems is required such that the system (software) functional requirements can be identified, captured, analysed. A rule-based approach and a method called system behaviour driven method (SBDM) are proposed as a development formalism for real-time process-control systems.