Lógicas rivais e a lógica paraconsistente

Título: Lógicas rivais e a lógica paraconsistente

Palestrante: Bruno Jacinto
Data: 28. 11 (quarta-feira)

Local:  Sala de Seminários CLE - IFCH - UNICAMP
Horário: 16h

 

Resumo:

 

A análise realizada por Haack do conceito de lógicas rivais tem sido utilizado por alguns filósofos de modo a dar conta das intuições acerca dos tipos de diferenças entre lógicas, e atacado por outros, na medida em que não reflete tais intuições, resultando numa concepção de pouca relevância. 

 

Apresentaremos uma clarificação do conceito, apontando algumas críticas aos critérios de identificação de lógicas como rivais propostos por Haack, mas defendendo a relevância filosófica do conceito tal como tratado pela filósofa.

 

Numa segunda parte da nossa exposição tomaremos por base a proposta apresentada para tentar definir a relação existente entre a lógica paraconsistente e a lógica clássica.
 

__._,_.___

Os Cursos de Metafísica de Kant

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade à programação de seus Seminários de Lógica e Filosofia Formal, com a palestra

Os Cursos de Metafísica de Kant
Profa. Dra. Juan A. Bonaccini -DeFIL - UFRN

Data: 30 / 11 /2007 às 16 h
Local: UFRN / CCHLA / Auditório de Filosofia

Soluções aproximadas para um MDPIP fatorado

----------------------------------------------------------------------------

Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------

Título: Soluções aproximadas para um MDPIP fatorado

Palestrante: Karina Valdivia Delgado

Data:  dia 26.11.07 às 14:00 hs

Local: Sala 252 - Bloco A - IME - USP


Resumo:

O tema principal desse seminário  está relacionado à área de planejamento sob incerteza da Inteligência Artificial (IA). Trabalhos recentes nessa área adotam modelos estocásticos, com soluções bem conhecidas. No entanto, modelos com informação incompleta são de grande interesse na área de IA por serem mais aplicáveis em problemas práticos. Nesse seminário, fazemos uma breve revisão dos principais conceitos da área de processos Markovianos de Decisão (MDPs) e apresentamos um algoritmo aproximado baseado em programação linear, para resolver MDPs fatorados (isto é, uma representação compacta para MDPs que envolvam um grande número de estados). Em seguida, definimos um MDP impreciso (MDPIP), isto é, um MDP em que as distribuições de probabilidade sob as transições de estado não são completamente conhecidas. O objetivo desse seminário é propor diferentes soluções aproximadas para um MDPIP fatorado, uma vez que não são conhecidas soluções na literatura para esse problema.

Desktops Semânticos

----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------

Título: Desktops semânticos

Palestrante: Rodrigo Rage Ferro

Data:  dia 12.11.07 às 14:00 hs

Local: Sala 252 - Bloco A - IME - USP


Resumo:
A quantidade crescente e a diversidade de dados armazenados em computadores fazem a organização e a localização da informação uma tarefa difícil. Usuários tentam por meio de uma estrutura de diretórios realizar a organização dos arquivos. Infelizmente, o sistema tradicional hierárquico de arquivos não está conseguindo mais atender de forma satisfatória este propósito. A tarefa de localizar então torna-se penosa, fazendo com que muitas vezes seja mais cômodo para o usuário usar ferramentas de busca na Web do que procurar o arquivo no seu próprio HD. Tentando integrar Web Semântica com aplicações de desktop, surge o chamado Semantic Desktop.

Entre os objetivos do desktop semântico está vincular o arquivo com a informação contextual obtida no momento em que ele é usado/salvo por meio de metadados em RDF. Assim, quando o usuário busca por um arquivo espera-se, que mais do que palavras-chave, uma semântica seja explorada de forma a restringir e tornar mais eficiente o processo de busca.

Nessa apresentação, será abordado sobre Semantic Desktop: objetivos, arquitetura típica e projetos existentes, além de como web semântica pode auxiliar nesse processo de busca mais eficiente.

Todos são bem-vindos!

Existential Graphs: Some Basics and Prospects

CONFERÊNCIA

============

Existential Graphs: Some Basics and Prospects

Dr. Ahti-Veikko Pietarinen - Departmetn of Philosophy (University of Helsinki, FInalnd)

LOCAL: SALA DE SEMINÁRIOS CLE - IFCH - UNICAMP

HORÁRIO: 14H

DATA: 9/11 (SEXTA-FEIRA)

RESUMO

Peirce proposed several diagrammatic logics (Existential Graphs) over the decade of 1897-1907. They cover fragments of first-order logic, systems of modal logics, higher-order notions, and meta-logical expressions. I present basic notions together with prospects and challenges faced by 'iconic' forms as the logic of our 'moving pictures of thought'.

A PROPÓSITO DOS LIMITES ÉTICOS DA CIÊNCIA

SEMINÁRIO CLE

=============

Título: A PROPÓSITO DOS LIMITES ÉTICOS DA CIÊNCIA

Prof. Luiz Alberto Peluso (Depto. de Filosofia- UFABC e Pesquisador
Associado, CLE- UNICAMP)
Data: 7/11 (quarta-feira) Horário: 16:00h

Local: sala de seminários CLE - UNICAMP

RESUMO

O seminário será destinado ao debate sobre os limites éticos e políticos da pesquisa científica, da invenção tecnológica e de suas aplicações práticas, e a identificação de estratégias destinadas ao controle das supostas limitações.

Na tentativa de subsidiar e colocar parâmetros para esse debate, durante o seminário, serão defendidas quatro teses fundamentais: 1. a Ciência e a Tecnologia não são moralmente neutras, elas expressam um conjunto de avaliações morais que traduzem uma visão de como o mundo deveria ser; 2. o progresso científico e tecnológico não é um bem em si mesmo para a humanidade, pois novas teorias e nova informação sobre o saber fazer podem colocar em risco o bem do ser humano; 3. A aplicação dos resultados das descobertas científicas e inovações tecnológicas não é sempre um bem para a humanidade, posto que novas descobertas podem colocar em risco a liberdade das pessoas; 4. a descoberta científica e a invenção tecnológica devem ser moralmente justificadas, posto que as investigações e descobertas não podem ser dissociadas do estudo das conseqüências que essa investigação pode produzir. Assim, há limites morais para a investigação científica e a invenção tecnológica. Associadas a essas posições são apresentados três objetivos estratégicos: 1. As teorias científicas e as inovações tecnológicas devem ser avaliadas em suas implicações, tanto teóricas quanto práticas através de constante controle crítico; 2. O controle crítico deve ser feito por cientistas e não cientistas; 3. As informações sobre as descobertas científicas e inovações tecnológicas e as conseqüências de suas implementações práticas devem ser acessíveis a todos os membros da sociedade.

Aqui serão, ainda, argumentados os seguintes pontos: um diagnóstico geral da produção filosófica atual do mundo europeu revela que, em substituição a uma onda de prevalência da Filosofia da Ciência, o trabalho dos filósofos profissionais contemporâneos tem revelado enorme interesse por Ética e Filosofia Política. Na área de Ética e Filosofia Política tem ocupado a atenção dos filósofos a questão dos limites éticos e políticos da Ciência e da Tecnologia. Isso sugere a atualidade dos temas de Ética e Filosofia Política, com especial referência ao problema do controle ético e político da Ciência e da Tecnologia.