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

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

Fragmentos da presença do pensamento idealista na história da construção das ciências da natureza

O propósito deste trabalho é estabelecer o caminho percorrido pelo idealismo em sua participação na construção das Ciências da Natureza desde a antigüidade até o final do século XX. Para os pensadores antigos, o mundo físico era governado pela idéia, e o modo de apreendê-la era por meio da contemplação da alma ou da observação e da lógica. Na escolástica essa idéia é Deus. Na renascença, Deus se torna matemático. em Galileu a Matemática do mundo é entendida pela experimentação. Para Descartes o mundo é mecânico e entendido por hipóteses dedutivas. Newton enxerga o mundo mecânico construído e corrigido pelo Deus geômetra e entendido pela observação e experimentação. Os empiristas retiram a idéia do universo e a colocam no espírito humano. em Kant as regras que organizam as idéias na mente também organizam o mundo mecânico. em Hegel o real só é real porque é racional, e essa racionalidade vem de Deus, que transforma o mundo natural e atinge o espírito humano. Os pensadores, influenciados por Hegel, percebem a incapacidade das leis da mecânica explicarem as leis da vida. Comte e Bergson procuram, de forma diferente, submeter às leis da Física às leis das ciências da vida. O universo mecanicista é absorvido pelo determinismo relativista e pelo probabilismo quântico. A linguagem da lógica se associa ao empirismo na descrição da ciência procurando retirar dela o idealismo e a metafísica e, após um período de florescimento, acaba não tendo sucesso. A dificuldade da apreensão do real volta a ser o problema da ciência no final do século XX, e a procura de uma possível solução reaproxima a ciência do idealismo.

Peirce e a organização da informação: contribuições teóricas da semiótica e do pragmatismo

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

Aplicando lógica fuzzy no controle de robôs móveis usando dispositivos lógicos programáveis e a linguagem VHDL

Pós-graduação em Engenharia Elétrica - FEIS

Lógica pragmática e educação: experiência e linguagem em Dewey e Peirce

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

O contextualismo na filosofia da linguagem contemporânea

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Filosofia

Proposta de uma arquitetura especial para simulação lógica

O objetivo deste trabalho é a proposta de uma arquitetura especial para simulação lógica (AESL). As técnicas e modelos utilizados no processo de simulação lógica são brevemente revistos. É definida uma taxonomia para AESL sob a qual são analisadas diversas propostas de AESL relatadas na literatura. Uma taxonomia já existente é comparada com a proposta. A AESL definida é programável para diferentes algoritmos de simulação lógica. O detalhamento da AESL é, então, incrementado pela implementação de um algoritmo particular. Uma linguagem de simulação discreta é utilizada na construção de um modelo da arquitetura. Os resultados da simulação deste modelo permitem avaliar o desempenho da AESL e otimizar sua estrutura. Uma comparação com outras arquiteturas conclui a análise.

Tesauro e terminologia : uma inter-relação lógica

Estudo compreendido como uma inter-relação lógica entre tesauros e Terminologia, mais especificamente nos princípios da Teoria Comunicativa da Terminologia — TCT. Analisa um tesauro do ponto de vista da sua organização estrutural. Estuda os descritores verificando sua representatividade como um elemento de representação e recuperação das informações de uma área de especialidade. Sinaliza para uma nova abordagem em relação ao tratamento dos descritores aproximando-os a uma unidade lexical terminológica. Tem como pressuposto de trabalho que a relação que se estabelece entre um sistema de recuperação da informação — SRI e os usuários do sistema é uma relação de comunicação. Apresenta algumas considerações e recomendações.

Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística

Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos de conhecimento possam compartilhar do mesmo tipo de benefícios que os sistemas mais tradicionais da Inteligência Artificial receberam quando adotaram as concepções de agência, de sistemas compostos de múltiplos agentes e de linguagens de comunicação entre estes agentes. Porém, existem dúvidas não só sobre como se poderia escalar efetivamente um sistema probabilístico para uma arquitetura multiagente, mas como se poderia lidar com as questões relativas à comunicação e à representação de conhecimentos probabilísticos neste tipo de sistema, principalmente tendo em vista as limitações das linguagens de comunicação entre agentes atuais, que não permitem comunicar ou representar este tipo de conhecimento. Este trabalho parte destas considerações e propõe uma generalização do modelo teórico puramente lógico que atualmente fundamenta a comunicação nos sistemas multiagentes, que será capaz de representar conhecimentos probabilísticos. Também é proposta neste trabalho uma extensão das linguagens de comunicação atuais, que será capaz de suportar as necessidades de comunicação de conhecimentos de natureza probabilísticas. São demonstradas as propriedades de compatibilidade do novo modelo lógico-probabilístico com o modelo puramente lógico atual, sendo demonstrado que teoremas válidos no modelo atual continuam válidos no novo modelo. O novo modelo é definido como uma lógica probabilística que estende a lógica modal dos modelos atuais. Para esta lógica probabilística é definido um sistema axiomático e são demonstradas sua correção e completude. A completude é demonstrada de forma relativa: se o sistema axiomático da lógica modal original for completo, então o sistema axiomático da lógica probabilística proposta como extensão também será completo. A linguagem de comunicação proposta neste trabalho é definida formalmente pela generalização das teorias axiomáticas de agência e comunicação atuais para lidar com a comunicação de conhecimentos probabilísticos e pela definição de novos atos comunicativos específicos para este tipo de comunicação. Demonstra-se que esta linguagem é compatível com as linguagens atuais no caso não-probabilístico. Também é definida uma nova linguagem para representação de conteúdos de atos de comunicação, baseada na lógica probabilística usada como modelo semântico, que será capaz de expressar conhecimentos probabilísticos e não probabilísticos de uma maneira uniforme. O grau de expressibilidade destas linguagens é verificado por meio de duas aplicações. Na primeira aplicação demonstra-se como a nova linguagem de conteúdos pode ser utilizada para representar conhecimentos probabilísticos expressos através da forma de representação de conhecimentos probabilísticos mais aceita atualmente, que são as Redes Bayesianas ou Redes de Crenças Probabilísticas. Na outra aplicação, são propostos protocolos de interação, baseados nos novos atos comunicativos, que são capazes de atender as necessidades de comunicação das operações de consistência de Redes Bayesianas secionadas (MSBNs, Multiple Sectioned Bayesian Networks) para o caso de sistemas multiagentes.

Os determinantes morfogenéticos da linguagem expressiva

O presente trabalho parte de uma reinterpretação dos determinantes e da organização da linguagem expressiva em indivíduos portadores de deficiência da audição. Neste sentido, submete a uma análise crítica as condições de estruturação e aquisição de um sistema de comunicação simbólica de natureza essencialmente verbal por parte de tais indivíduos. Avalia, em particular modo, a perspectiva de uma organização fonológica do discurso em portadores de surdez profunda “pré-linguagem~, como um processo que ultrapassa as possibilidades d e uma mera aprendizagem. A linguagem vista então como um processo semiótico de natureza percepto-expressiva, que se estabelece ao longo do desenvolvimento filogenético e ontogenético é assim interpretada, a luz de um novo modelo teórico sobre a Cognição Humana . Tal modelo, pautado em contribuições da Cibernética, da Lógica, da Linguística e da Epistemologia Genética, estabelece plataformas morfogenéticas, a partir das quais o psiquismo se organizaria. Desta maneira, 2 (dois) objetivos essenciais pretendem ser atingidos no presente e s tudo. 1º ) oferecer uma base teórica à dinâmica e processual cognitivo em que o surdo se vê envolvido ao longo da aprendizagem de um sistema verbal-simbólico - à luz de uma hipótese pré-formista, de base morfogenética. 2º) avaliar, a partir da linguagem expressiva escrita apresentada por deficientes auditivos com perda profunda ~pré-linguagem", a hipótese formulada por F. Lo P. Seminério (1980) "de uma memória morfogenética na espécie humana", a partir do que, toda a atividade cognitiva se organizaria, passando a operar segundo estruturas-código, pré-fixadas. A fim de confirmar as proposições estabelecidas, apresenta - se uma Verificação Empírica através de estudos exploratórios realizados com 6 (seis) sujeitos. Os resultados obtidos confirmam a existência de um marco seletivo e organizador de natureza audio-fonética, também entre indivíduos surdos. Constata-se que a informação veiculada é capaz de ser tratada, programada e recuperada linguisticamente, ainda que sem a possibilidade de um mecanismo de retroalimentação ao sistema que se desenvolve. O que equivale a dizer, que o indivíduo surdo apesar de não ouvir, programa à nível áudio-fonético, programação essa que vem a ser recuperada ou atualizada graças aos recursos e técnicas pedagógicas especializadas. Tais resultados sugerem uma reavaliação dos métodos psicopedagógicos usuais nesta área, podendo-se retomar sob nova orientação o debate de temas atuais, nas diretrizes das técnicas e do instrumental utilizado.

As tecnologias da informação e comunicação vão à escola : um movimento de captura à lógica disciplinar

A presente dissertação discute e analisa como se constitui o processo de escolarização das Tecnologias da Informação e Comunicação (TICs) em turmas de séries iniciais no âmbito da escola pública. Na articulação dos estudos de Michel Foucault e dos Estudos Culturais Pós-estruturalistas, procurei investigar práticas escolares e examinar as relações de poder-saber aí implicadas. Além disso, atentei para aqueles movimentos/ações com a finalidade de fuga, ruptura, que entraram em luta com os mecanismos/estratégias ligados à constituição do processo em questão. Com esse objetivo, para compor o corpus de pesquisa, incursionei no espaço escolar e desenvolvi observações no laboratório de Informática em um período de aproximadamente quatro meses. De acordo com essas observações, produzi um diário de campo. Também realizei entrevistas com direção e vice-direção, professora responsável pelo laboratório de Informática, professoras, alunos e alunas de séries iniciais. Participei de uma reunião de professores e reuni alguns materiais sobre as TICs que me foram disponibilizados pela escola. Explorei tais materiais atentando para as práticas de significação que os tornaram possíveis, valendo-me dos pressupostos da análise de discurso foucaultiana, que aponta para a total inseparabilidade de discurso e prática. Utilizei como ferramentas analíticas os conceitos de prática, relações de poder-saber, linguagem, disciplina. A trama das ferramentas com os materiais possibilitou-me argumentar que a constituição do processo de escolarização das TICs está relacionada a um elemento por mim identificado como tendo tornado esse processo possível, qual seja, a necessária associação das TICs à educação escolarizada e pública. Do mesmo modo, analisei a disciplinarização como um dos processos implicados na constituição da escolarização das TICs. Por meio desse processo, foi possível examinar algumas práticas/estratégias disciplinares, tanto no eixo do corpo quanto no eixo dos saberes, comprometidas em adequar/ajustar as TICs a uma determinada estrutura e organização escolarizadas.

O desdobramento de uma atitude teórica em relação à linguagem - contriuições empíricas e teóricas para a educação lingüística fundamentadas na Teoria Dialética da Atividade

Este trabalho tem como objetivo investigar a existência de uma atitude teórica com relação à língua em estudantes das Ciências da Linguagem, com o propósito de dar-lhes orientação para que desdobrem sua relação empírica em uma relação teórica com as línguas e com as Ciências da Linguagem. O referencial teórico utilizado tem como base: a Teoria Histórico-Cultural da Atividade (VYGOTSKY, LEONTJEV, LURIA, DAVYDOV, COLE, ERGESTRÖM), a Teoria Bildung – Teoria do Auto-Desenvolvimento Humano (HUMBOLDT, PESTALOZZI, FRÖBEL, KLAFKI) – e a Teoria de Sistemas Evolucionários (mais conhecida através de subteorias como a Teoria do Caos, Geometria Fractal ou Sistema Dinâmico Não-linear – JANTSCH, JUDIN, PRIGOGINE, HAREN, MANDELBOT, FEIGENBAUM, entre outros). O primeiro resultado desta pesquisa é a construção de instrumentos de investigação fundamentados em: (1) uma metodologia baseada na Lógica Dialética para operações heurísticas com conceitos pares; (2) uma Heurística Intradisciplinar para formação de sistemas em Ciências da Linguagem; (3) um projeto de um Experimento Educacional com participantes “ideais”. O segundo resultado expõe as conseqüências da concretização do Experimento Educacional com sete estudantes de Letras da Fundação Universidade Federal de Rio Grande (FURG), num período intermitente de dois anos. Os principais resultados verificados foram que: (1) esses estudantes de Letras possuem um conhecimento tácito sobre teorias lingüísticas; (2) a Heurística Intradisciplinar é um meio produtivo para aprimorar o conhecimento e a habilidade para formação de sistemas auto-refletidos nas Ciências da Linguagem; (3) o uso de Multimídia é uma ferramenta produtiva para criar sistemas complexos interativos; (4) a utilização do Experimento Educacional proporcionou o desencadeamento da iniciação científica dos estudantes do projeto.

Lógica condicional

The main goal of this work is to clarify the central concepts involved in the study of formalization of conditional sentences. More specifically, it has been done a comparative analysis of the two greater and more traditional proposals of conditional formalization (Lewis 1973c e Adams 1975). These proposals were responsible for the creation of a way of analysis that still present in the current debate about this subject. This work pursues to explain the principal assumptions held within these proposals. According to certain disambiguation techniques from Bennett (2003) and Lycan (2005), this work tries to explicit how these assumptions connect to the aims sought by the initial approaches. The following results show that there is a not declared presumption, the definition of the object of study of these theories, i.e., the definition of conditional sentence. This work argues that despite of not explicitly declared the definition of the study object has a central role in the intelligibility of the debate itself

TAB2VHDL: um ambiente de síntese lógica para máquinas de estados finitos

Pós-graduação em Engenharia Elétrica - FEIS