Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Uma aplicação da lógica Fuzzy

Pós-graduação em Matemática Universitária - IGCE

Um modelo algébrico para a lógica do muito

Pós-graduação em Filosofia - FFC

Uma lógica do poucos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Sobre o uso da função proposicional e sua gênese segundo a epistemologia genética

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

O "Progestão" no contexto da modernização do Estado brasileiro: mediação para a democratização da gestão escolar ou para a implantação da lógica gerencial na escola?

Este trabalho tenta responder a algumas interrogações relativas a um programa de formação de gestores que indica formas de organização e gestão do espaço escolar sustentado no discurso do democrático, o Progestão Programa de Capacitação a Distância para Gestores Escolares. Tem como objetivo geral desvendar as matrizes teóricas deste Programa por meio da análise do conceito de democracia incorporado nas mediações de gestão democrática que foram propostas e nas novas formas de organizar e de gerir a escola. O objeto de estudo Progestão é uma proposta específica de gestão escolar, oriunda da união de várias secretarias de educação estaduais, que segue as diretrizes do Ministério de Educação. Considera para a gestão escolar a introdução de novos instrumentos organizacionais e gerenciais, como possibilidade de melhoria da qualidade da educação. Recorremos à pesquisa documental e bibliográfica como estratégias para o entendimento do objeto proposto, analisando os documentos de criação e de implementação do programa, os seus diferentes materiais didáticos e um conjunto de autores que se constituem na sua base teórica. Todo o material foi por nós organizado e analisado considerando as possibilidades de contribuição para a consolidação de práticas formais ou efetivas de democracia escolar. Partimos do pressuposto de que nem sempre que se usa a palavra democracia significa que se acredita efetivamente nela, mas sim que se generalizou o reconhecimento de que a democracia é uma virtude. Verificamos que os elementos de mediação propostos para a gestão educacional, em função de sua perspectiva de democracia, apesar de positividades e avanços na ampliação da participação da comunidade escolar na administração das unidades de ensino, são usados como ferramenta de uma concepção de democracia formal, servindo para a legitimação de práticas de gestão tradicionalmente consolidadas. Por fim, verificamos que o Progestão se coloca como um instrumento por meio do qual se busca introduzir a lógica gerencial na gestão da escola pública brasileira.

Manejo florestal comunitário em unidades de conservação na Amazônia: uma avaliação de impactos na Resex Verde para Sempre - PA e na RDS Rio Negro - AM

Os planos de manejo florestal comunitário são importantes instrumentos de geração de renda e preservação ambiental para as populações tradicionais que vivem nas Unidades de Conservação da região amazônica. No entanto, poucas são as evidências de que esta atividade tenha trazido benefícios sociais a estas comunidades. Neste contexto, a presente pesquisa teve como principal objetivo identificar os impactos econômicos e sociais a partir da introdução do Projeto de Apoio ao Manejo Florestal Sustentável na Amazônia (ProManejo) na Reserva Extrativista (Resex) Verde para Sempre (Porto de Moz – PA) e do Programa Bolsa Floresta (PBF) na Reserva de Desenvolvimento Sustentável (RDS) Rio Negro (Novo Airão – AM). Para tanto, foi realizada uma pesquisa do tipo avaliação de efetividade, contemplando três dimensões: (i) objetiva, que exprime a alteração na renda e em sua composição entre os períodos ex-ante e ex-post à iniciativa; (ii) substantiva, que visa auferir as variações nas condições sociais, tais como, habitação, infraestrutura e acesso a bens de consumo, e; (iii) subjetiva, que busca descrever a percepção de melhoria das variáveis econômicas (renda e benefícios), sociais (atendimento dos serviços públicos) e ambientais (redução do desmatamento). O estudo também pode ser classificado como um quase experimento, o qual utilizou três tipos de estratégias de pesquisa: bibliográfica, documental e de campo. Este último contemplou a aplicação de um questionário estruturado por meio de entrevistas domiciliares com os/as chefes de família, e possibilitou conhecer 53% das famílias beneficiárias do projeto na Resex e 63% na RDS. As evidências apontam que ambas as iniciativas surtiram impactos positivos, principalmente, no incremento da renda das famílias e na redução do desmatamento. Em relação às condições de vida e à gestão do plano de manejo florestal, os resultados indicam uma situação mais favorável na RDS, devido à metodologia participativa e ao prazo indeterminado de término do Programa Bolsa Floresta (PBF).

Cri-an-ça: a criatividade, a infância e a imaginação expressadas no desenho (porque os adultos têm sempre necessidade de explicações detalhadas)

O interesse por esta temática de trabalho surgiu a partir de um estudo realizado em minha iniciação científica, que tem por título “Ação, Câmera, Luz: Entre imagens e olhares – experiência de infâncias e montagens” desenvolvido no Departamento de Educação do Instituto de Biociências, localizado na Universidade Estadual Paulista – UNESP/Rio Claro. Como o próprio título sugere, ela tem por principal objetivo inverter a lógica da conhecida frase: “Luz, Câmera, Ação”. Este trabalho, ao inverter a ordem dos fatores, busca ver se ao deixarmos a ação das crianças livre, o que se produziria seria algo mais verdadeiro, mais significativo, de fato. O que a ausência de intencionalidade geraria aos produtores de imagens. A partir de então, comecei a imaginar outro tipo de produção de imagens, não mais com câmeras fotográficas e filmadoras, mas de próprio punho. Portanto, este trabalho tem por objetivo analisar as crianças, e suas realidades através do que elas mesmas nos dizem e nos mostram em seu dia a dia por meio de seus desenhos. Os desenhos utilizados foram retirados de uma instituição de ensino não formal da cidade de Rio Claro, e entendidos como documentos. A pesquisa traz também um aporte teórico com as concepções sobre desenho infantil de alguns teóricos, como Lowenfel, Greig, La Pastina, Vigotski entre outros

Quase-verdade e pragmatismo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

Gráficos de controle: aspectos teóricos e práticos a partir da ótica da lógica formal e da lógica fuzzy

O presente trabalho faz um enlace de teorias propostas por dois trabalhos: Transformação de valores crisp em valores fuzzy e construção de gráfico de controle fuzzy. O resultado desse enlace é um gráfico de controle fuzzy que foi aplicado em um processo de produção de iogurte, onde as variáveis analisadas foram: Cor, Aroma, Consistência, Sabor e Acidez. São características que dependem da percepção dos indivíduos, então a forma utilizada para coletar informações a respeito de tais característica foi a análise sensorial. Nas analises um grupo denominado de juízes, atribuía individualmente notas para cada amostra de iogurte em uma escala de 0 a 10. Esses valores crisp, notas atribuídas pelos juízes, foram então, transformados em valores fuzzy, na forma de número fuzzy triangular. Com os números fuzzy, foram construídos os gráficos de controle fuzzy de média e amplitude. Com os valores crisp foram construídos gráficos de controle de Shewhart para média e amplitude, já consolidados pela literatura. Por fim, os resultados encontrados nos gráficos tradicionais foram comparados aos encontrados nos gráficos de controle fuzzy. O que pode-se observar é que o gráfico de controle fuzzy, parece satisfazer de forma significativa a realidade do processo, pois na construção do número fuzzy é considerada a variabilidade do processo. Além disso, caracteriza o processo de produção em alguns níveis, onde nem sempre o processo estará totalmente em controle ou totalmente fora de controle. O que vai ao encontro da teoria fuzzy: se não é possível prever com exatidão determinados resultados é melhor ter uma margem de aceitação, o que implicará na redução de erros.

Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

Frente Parlamentar Mista das Micro e Pequenas Empresas : lógica de funcionamento e resultados

Analisa o modo com que os parlamentares se organizam frente à estrutura institucional no Congresso Nacional. Tem como referências para discussão, contribuições de Barry Ames (2003) e Figueiredo e Limongi (2001) que apresentam dois modelos de funcionamento do Parlamento, o distributivista e o partidário. Analisa a atuação da Frente Parlamentar Mista das Micro e Pequenas Empresas. Enfatiza a segunda fase de funcionamento da Frente, os anos de 2008 e 2009, quando trabalhou pela regulamentação da Lei Geral das Micro e Pequenas Empresas (Lei Complementar nº 123/06) nos Estados e Municípios e seus aperfeiçoamentos por meio da aprovação de Leis Complementares nºs 127/07, 128/08 e 133/09.

Entre la epistemología y la lógica. Decisión y algoritmo de ordenación

[ES] Este trabajo en homenaje al Profesor Emilio Soldevilla trata de plantear algunos elementos de la matemática combinatoria, escogidos sin otro criterio que el de ser fácilmente visualizados para poner en evidencia el aspecto altamente significativo que poseen para la construcción de una epistemología de la economía y gestión de empresas. Y todo ello en torno a uno de los conceptos más destacados de este ámbito del conocimiento cual es el de decisión.