SEMANA DA LÓGICA, na UFRN (2007.2)

Mais uma realização do grupo de pesquisa da UFRN em
"Lógica e Filosofia Formal".

Estão todos convidados!

Tema: Fundamentos da demonstração automática de teoremas
Palestrante: João Marcos
Data de realização: 10/12/07, 2a-feira, 18h30
Local: anfiteatro B do CCET
Resumo:
Esta palestra fará uma breve introdução histórica e conceitual à área de demonstração assistida ou automática de teoremas. Os fundamentos teóricos relacionados à programação funcional e à lógica de ordem superior servirão de base para uma apresentação ao ambiente computacional de demonstração *Isabelle*.

Tema: Matemática Discreta Aplicada
Palestrante: Lucas Cavalcante
Data de realização: 11/12/07, 3a-feira, 18h30
Local: anfiteatro B do CCET
Resumo:
Nesta palestra veremos como lidar com objetos fundamentais da Matemática Discreta no ambiente de demonstração assistida de teoremas *Isabelle*. O objetivo é expor uma similaridade entre demonstrações implementadas com o auxílio da ferramenta *Isabelle* e aquelas realizadas da maneira usual, à mão. Abordaremos conceitos como funções recursivas, conjuntos parcialmente ordenados, princípio da indução e estruturas de dados em forma de listas.

Tema: Dedução Natural em *Isabelle*
Palestrante: Dalmo Mendonça
Data de realização: 12/12/07, 4a-feira, 18h30
Local: anfiteatro B do CCET
Resumo:
Demonstrações de teoremas por dedução natural no sistema *Isabelle* podem ser feitas da maneira usual: aplicando regras de inferência. A garantia da correção é um ponto forte do sistema. Será apresentada a teoria correspondente à Lógica Clássica Proposicional e será mostrado como criar regras de inferências derivadas e regras de abreviatura. A maior vantagem do *Isabelle* aparece no uso de técnicas avançadas, os taticais, que são comandos que permitem automatizar parcialmente ou totalmente as demonstrações.

Tema: Uma introdução ao Cálculo Lambda
Palestrante: Talis Lincoln
Data de realização: 13/12/07, 5a-feira, 16h30
Local: anfiteatro B do CCET
Resumo:
Nesta palestra será apresentado o Cálculo Lambda, um sistema formal desenvolvido para estudar definições e aplicações de funções. Mostraremos conceitos, regras, definições e notações do Cálculo Lambda. Serão discutidos ainda as grandes semelhanças com linguagens de programação funcional, em particular SML, e a estreita relação existente entre programas de computador e demonstrações matemáticas, fenômeno conhecido como isomorfismo de Curry-Howard.

Casamento de instâncias dentro de uma Ontologia - O caso das Produções Bibliográficas do Currículo Lattes

----------------------------------------------------------------------------
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: Casamento de instâncias dentro de uma Ontologia - O caso das Produções
Bibliográficas do Currículo Lattes

Palestrante: André Casado Castaño

Data:  dia 3.12.07 às 14:00 hs

Local: Sala 252 - Bloco A - IME - USP


Resumo:

Um dos problemas que pode-se ter dentro de uma ontologia é o de haver
múltiplas instâncias que representam um mesmo objeto.
Esse problema pode aparecer normalmente em qualquer ontologia por
diversas razões e estamos olhando em especial, neste estudo, as
ontologias criadas automaticamente através de scripts.
Mostraremos um pouco mais detalhadamente o problema das instâncias
múltiplas para o caso do Currículo Lattes, em especial para o problema
das produções bibliográficas dos pequisadores.
Será mostrada uma solução que está sendo implementada, segundo alguns
critérios específicos para o Currículo Lattes, para que
automaticamente sejam detectados objetos iguais e realizado o correto
casamento de instâncias, evitando problemas de duplicidades dentro da
ontologia.

Todos são bem-vindos!

MODALIDADES CATÓDICAS E ANÓDICAS

MODALIDADES CATÓDICAS E ANÓDICAS

Juliana Bueno-Soler
Programa de Pós-Graduação - IFCH/ UNICAMP
Grupo de Lógica Teórica e Aplicada - CLE/UNICAMP
 

RESUMO

Discutirei o papel da negação no âmbito das modalidades, tema central da
minha Tese de Doutorado, partindo das modalidades anódicas (sem negação) e
introduzindo gradativamente o elemento catódico (negações ) através das
LFI's (lógicas da inconsistência formal).

Mostrarei que resultados de completude e incompletude podem ser obtidos
para amplas classes de lógicas anódicas e catódicas axiomatizadas pelo
esquema geral de sistemas multimodais G^<a,b,c,d> combinados com LFI's,
com vistas também á obtenção de semânticas de traduções possíveis.

Avaliarei ainda a questão dos métodos de prova por tablôs e anéis de
polinômios para tais sistemas.
 

__._,_.___
 

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.

Embodied Embedded 'Higher' Cognition?

CONFERÊNCIA CLE 30 ANOS

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

Prof. Dr Wilhelm Haselager

(Radboud University of Nijmegen - Holanda)

Título: Embodied Embedded 'Higher' Cognition?

DATA: 31 de outubro de 2007 (quarta-feira)

HORÁRIO: 10h

LOCAL: Auditório 2 do IFCH - UNICAMP

Aproximações para as Lógicas Modais K, T, D, S4 e S5

----------------------------------------------------------------------------
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: Aproximações para as Lógicas Modais K, T, D, S4 e S5

Palestrante: Guilherme de Souza Rabello

Data: dia 29.10.07 às 14:00 hs

Local: Sala 252 - Bloco A - IME - USP ( http://www.ime.usp.br )

Resumo:

Inspirados por trabalhos recentes de aproximações de lógica clássica,
nós presentaremos um método que aproxima diversas lógicas modais de
uma maneira modular. Nosso ponto de partida será a limitação do
n-ésimo grau de introspecção, gerando as chamadas n-lógicas modais.
Será apresentada uma semântica para as n-lógicas, na qual as fórmulas
são avaliadas com respeito a caminhos e não mundos possíveis. Uma
teoria de prova por tableaux será também mostrada, os n-SST
(n-Single-Step Tableaux), na qual vale correção e completude para as
n-lógicas modais K, T, D, S4 e S5.

LFI's de primeira ordem: axiomática e semântica

SEMINARIOS CLE

Rodrigo Podiacki (mestrando / Dep. de Fil/ Unicamp)

data: 31/10 (quarta-feira)
horário: 15h
Local: CLE - Unicamp

LFI's de primeira ordem: axiomática e semântica

Neste seminário, exibirei versão de primeira ordem de uma lógica paraconsistente definida por Carnielli, Coniglio e Marcos em artigo recentemente publicado no Handbook of Philosophical Logic, chamada mbC. Mostrarei como fica sua respectiva sintaxe e esboçarei teorema de completude relativamente a uma semântica de valorações bivalente.

Kant, Mill e a neurociência da ética

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

Kant, Mill e a neurociência da ética
Profa. Dra. Cinara Maria Leite Nahra -DeFIL - UFRN

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

PARACONSISTENT NEWSLETTER - SUMMER 2007

Contradiction is a bad sign of truth; several things which are certain are contradicted; several things which are false pass without contradiction. Contradiction is not a sign of falsity, nor the want of contradiction a sign of truth.

Guess who said that and win free vacations to the island of inconsistencies !

Decision between winners will be made on the basis of further information: title of the book and page number.

The winner, if any, will be announced in the next newsletter.

The quotation of the last newsletter was:

The whole has no being. Or: the concept of the universe is inconsistent

Nobody found that this was Alain Badiou

http://en.wikipedia.org/wiki/Alain_Badiou

****************************************************************************************

FORTHCOMING EVENTS OF INTEREST FOR PARACONSISTENTISTS


           Workshop on Deontic Logic

           November 8-9, 2007, Roskilde, Denmark

http://akira.ruc.dk/~mamobe/deonticworkshop <http://akira.ruc.dk/~mamobe/deonticworkshop>



          LogKCA-07

           November 28-29, 2007, Donostia, Spain

           http://www.sc.ehu.es/ilcli



Structure and Identity


December 7-8, 2007, Bruxelles, Belgium




           Sixteenth Amsterdam Colloquium


December 17-19, 2007, Amsterdam, The Netherlands

http://www.illc.uva.nl/AC2007/ <http://www.illc.uva.nl/AC2007/>




           Second Winter Indian School of Logic


January 14-26, Kanpur, India

http://home.iitk.ac.in/~mohua/school/school.htm



!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

Fourth World Congress on Paraconsistency - WCP4

July 13-18, 2008, Melbourne, Australia

http://www.philosophy.unimelb.edu.au/wcp4 <http://www.philosophy.unimelb.edu.au/wcp4>

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!



******************************************************************************************

RECENT PAPERS AND PUBLICATIONS OF INTEREST FOR PARACONSISTENTISTS





P.Allo, "Logical Pluralism and Semantic Information",

Journal of Philosophical Logic, 2007

http://www.springerlink.com/content/62408168g4k14622/fulltext.pdf <http://www.springerlink.com/content/62408168g4k14622/fulltext.pdf>



            L.Horsten <http://www.springerlink.com/content/?Author=Leon+Horsten>  and P.Welch <http://www.springerlink.com/content/?Author=Philip+Welch>

"The Undecidability of Propositional Adaptive Logic <http://www.springerlink.com/content/8265uh68875g3t25/?p=746ec3018f2c4b10b1d8167e5beefb51&pi=7> ",

Synthese <http://www.springerlink.com/content/103001/> , 158 (2007),  pp.41-60.

http://www.springerlink.com/content/8265uh68875g3t25/?p=746ec3018f2c4b10b1d8167e5beefb51&pi=7



S.Kovac, "Contradictions, Objects, and Belief".
In: Perspectives on Universal Logic, Polimetrica, 2007, pp. 417-434.

http://www.polimetrica.com/?p=productsMore&iProduct=53&sName=Perspectives-on-Universal-Logic



O.Montiel, O.Castillo, P.Melin and R.Sepulveda,

"Mediative fuzzy logic: a new approach for contradictory knowledge management"

Soft Computing - A Fusion of Foundations, Methodologies and Applications <https://webmail.unine.ch/content/101181/>

http://www.springerlink.com/content/k8v1v967w3114j72/?p=4d54be76c8cb4509beeb0b760ced6550&pi=0 <http://www.springerlink.com/content/k8v1v967w3114j72/?p=4d54be76c8cb4509beeb0b760ced6550&pi=0>



G.Robles <http://www.springerlink.com/content/?Author=Gemma+Robles>  and J.M.Méndez <http://www.springerlink.com/content/?Author=Jos%c3%a9+M.+M%c3%a9ndez>

"The basic constructive logic for a weak sense of consistency <http://www.springerlink.com/content/m0316442154063m6/?p=3d8678e4d8f340749e58b179db72c596&pi=2>  »

Journal of Logic, Language and Information <http://www.springerlink.com/content/100291/> , 2007

http://www.springerlink.com/content/m0316442154063m6/fulltext.pdf <http://www.springerlink.com/content/m0316442154063m6/fulltext.pdf>



H.Wansing, " A Note on Negation in Categorial Grammar ",

Logic Journal of IGPL, 15 (2007), 271-286.

http://jigpal.oxfordjournals.org/current.dtl <http://jigpal.oxfordjournals.org/current.dtl>







**************************************************************************************
Jean-Yves Béziau and Alexandre Costa-Leite
Swiss National Science Foundation, Neuchâtel, Switzerland and New-York, USA


Previous newsletters can be found at:

http://luna.unine.ch/alexandre.costa/pnews.html <http://luna.unine.ch/alexandre.costa/pnews.html>

Programação: "Oficina ConsRel- CLE 30 Anos"

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

Programação: "Oficina ConsRel- CLE 30 Anos "
---------------------------------------------------

Objetivo: A Oficina pretende um intercâmbio de idéas em torno da visita do Prof. Daniele Mundici da Universidade de Florença no âmbito das atividades do "CLE 30 Anos", além da exposição crítica de projetos e resultados por parte dos participantes do Projeto Temático FAPESP ConsRel.

A iniciativa é desenvolvida dentro da programação das atividades do Projeto Temático FAPESP ConsRel e da GT Lógica da ANPOF.

----------------------------------------------------------
Coordenação e organização:
Prof. Walter Carnieli, Coordenador do Projeto Temático FAPESP ConsRel

http://consrel.incubadora.fapesp.br/portal
http://www.ime.usp.br/~consrel/projectDescription.html
-----------------------------------------------------------------------------------

21/09 (Sexta-feira)

9h00- 13h00: Tutorial: Prof. Daniele Mundici (Departamento de Matemática, Universidade de Florença, Itália).

"Many-valued reasoning: from foundations to applications"

This tutorial intends to introduce the foundations of many-valued reasoning, starting from scratch and reaching the most recent applications.
-----------------------------------------------------------------------------------
14h30 - 15h10: Prof. Walter Carnielli (CLE e IFCH- UNICAMP)

"Logics in polynomial form: motivation and perspectives"

I discuss here how proof-theory and semantics for several non-classical logics, specially many-valued logics, can be approached from an elementary algebraic perspective by means of polynomial series over appropriate fields. I show how this form of representation (called "polynomizing") can lead to the recovering of some ideas with roots in G. W. Leibniz and G. Boole. The polynomial representation not only contributes as a unifying perspective to integrate logic, algebra and the differential calculus but also works as an interesting heuristic
tool for logic.
-----------------------------------------------------------------------------------
15h10 -15h50: Pietro Carolino (Mestrando DF\IFCH- UNICAMP) A ser anunciado.
-----------------------------------------------------------------------------------
15h50- 16h30: Juan Carlos Agudelo (Doutorando DF\IFCH- UNICAMP)

"Unconventional models of computation through non-standard logic circuits"

The classical (boolean) circuit model of computation is generalized via polynomial ring calculus, an algebraic proof method adequate to non-standard logics (namely, to all truth-functional propositional logics and to some non-truth-functional logics). Such generalization allows us to
define models of computation based on non-standard logics in a natural way by using "hidden variables" in the constitution of the model. Paraconsistent circuits for the paraconsistent logic
mbC (and for some extensions) are defined as an example of such models. Some potentialities are explored with respect to computability and computational complexity.
-----------------------------------------------------------------------------------
Intervalo
-----------------------------------------------------------------------------------
16h50- 17h30: Rodrigo de Alvarenga Freire (Doutorando DF\IFCH-UNICAMP)

"Observações sobre Teoria de Modelos e os fundamentos do pensamento matemático"

A proposta da exposição é a de tentar esclarecer o papel de alguns desenvolvimentos da Teoria de Modelos (ligados à definabilidade) nos últimos vinte anos no contexto dos fundamentos da matemática. Para isso faremos uma discussão razoavelmente ampla sobre a questão dos fundamentos do pensamento matemático contemporâneo.
-----------------------------------------------------------------------------------
17h30 -18h10: Prof. Daniel Tausk (IME- USP). A ser anunciado.
-----------------------------------------------------------------------------------
18h10 -18h50: Leandro Suguitani (Mestrando DF\IFCH- UNICAMP)

"Tarski's axiomatization of Relation Algebra"

In 1975, Alfred Tarski delivered two lectures at Unicamp (Campinas)about Relation Algebra (RA). He was quite involved with the development of that theory, which could be seen as a branch of the so called "algebraic logic". Tarski (like De Morgan, Peirce and Schröder and others, who worked with the theory of binary relations before him) was concerned about providing an apparatus for representing the first-order logic algebraically. It was shown, afterwards, that RA could not be such an apparatus. However, Tarski's axiomatization of RA was used by him and Givant to axiomatize Set Theory. Many people kept working on some open problems left by Tarski about RA. This work aims to analyze Tarski's lectures in Brazil and put it into the historical context of the development of RA. This will be done by sketching a brief history of RA before Tarski's axiomatization, presenting the open problems which Tarski was concerned at the occasion of the lectures in Brazil and studying the different approaches that other researchers have made to these problems ever since.

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

24/09 (Segunda-feira)

9h30- 10h10: Prof. Marcelo E. Coniglio (CLE e IFCH- UNICAMP)

"The art of combining logics"

This talk is a quick tour on the subject of combining and decomposing logic systems. Emphasis is given to fibring, in its algebraic version. Preservation of meta-properties (such as soundness and completeness) are also addressed. Additionally, some applications are outlined. The material presented in this talk is based on the forthcoming material:

W.A. Carnielli, M.E. Coniglio, D. Gabbay, P. Gouveia and C. Sernadas, "Analysis and Synthesis of Logics: How To Cut And Paste Reasoning Systems". Volume 35 in the Applied Logic Series,
Springer, 2008, in print (book).

W.A. Carnielli and M.E. Coniglio, "Combining Logics" (entry in the Stanford Encyclopedia of Philosophy) http://plato.stanford.edu/entries/logic-combining/
-----------------------------------------------------------------------------------
10h20- 11h00: Teófilo Reis (Mestrando DF\IFCH- UNICAMP)
"Possible-Translations Coverings: a formalism of decomposition of logics"

In this seminar we present a general study of a new formalism of decomposition of logics, the "Possible-Translations Coverings", in short PTCs. The PTCs constitute a formal version of Possible-Translations Semantics, introduced by W. Carnielli in 1990. We show how the adoption of a more general notion of propositional signatures morphism allows us to define a category Sig, in which the connectives, when translated from a signature to another one, enjoy of great flexibility. The situation is the following: let f be a morphism from C to C' and c a n-ary connective in C; then f(c) is a non empty finite set of C'-formulas in which occur, at most, the first n propositional variables. From Sig we construct the category Log of tarskian logics and morphisms between them (these are functions obtained from signature morphisms, that is, from a multi-function). We show how to define in Log the set of possible translations of a given formula, and we define the notion of a PTC for a logic L. We analyze the existence of countable products in Log (what opens the possibility of characterizing a PTC as a conservative translation from L in a product of logics), as well as the relation between PTCs and Avron's Non-Deterministic Semantics. We still investigate the possibility of defining a category of PTCs,
what includes, among other things, the possibility of composing them. Finally, we give concrete examples of morphisms in Sig and PTCs.
----------------------------------------------------------------------------------
11h10- 1h50: Juliana Bueno-Soler (Doutoranda DF\IFCH-UNICAMP)

"The roots of possible-translations algebraization"

I explain here the ideas behind a new notion of algebraizability, the "possible-translations algebraic semantics", based upon the possible-translations semantics introduced by W. A. Carnielli developed by him and J. Marcos. This semantics is naturally adequate to obtain an algebraic interpretation to paraconsistent logics, and generalizes the well-known method of algebraization by W. Blok and D. Pigozzi. This generalization obtains algebraic semantics up to translations, a method applicable to some non-classical logics. Part of this work is being developed in collaboration with M. E. Coniglio and W. A. Carnielli.
----------------------------------------------------------------------------------
12h00- 14h00: Pausa para almoço
----------------------------------------------------------------------------------
14h00 - 14h40: Profa. Itala M. Loffredo D'Ottaviano (CLE e IFCH- UNICAMP)
(joitn work with Prof. Hércules de Araújo Feitosa (Depto. de Matemática, UNESP- Bauru)

"Is there a translation from intuitionistic logic into classical logic?"

The historial "translations" of Kolmogorov (1925), Gödel (1933) and Gentzen (1933) interpret the classical propositional calculus (CPC) into the intuitionistic propositional calculus (IPC). In
this work, based on some previous papers, we study the problem of the existence of a conservative translation from intuitionistic logic (IPC) into classical logic (CPC). By using the respective algebraic semantics associated to CPC and IPC, we prove that if the language of CPC has an infinite and denumerable set of propositional variables then, differently of what has been
supposed in the literature, there is a conservative translation from IPC into CPC – our proof is non-constructive.
----------------------------------------------------------------------------------
14h50 -15h30: Eberth Eleutério da Silva (Doutorando DF\IFCH-UNICAMP)
----------------------------------------------------------------------------------
15h40- 16h20: Milton Augustinis de Castro (Pos-Doutorando, CLE- UNICAMP)
----------------------------------------------------------------------------------
16h30- 17h10: Prof. Marcelo Finger (IME- USP)

"Minimality in axiomatizations: an algebraic approach" (work in progress)

There are several one-axiom axiomatizations for classical propositional logics using only the NAND connective, all with 23 symbols. There is a one-axiom axiomatizations for classical
propositional logics over implication and falsum, with 19 symbols only.

We show a relationship between these two possibly minimal axiomatizations and Boolean Rings. This coincidence predicts that the minimal sizes for each set of connectives is exactly 23 and
19. We present some initial results in actually trying to prove that this coincidence is no coincidence at all.

This is a joint work with Walter Carnielli.
----------------------------------------------------------------------------------
17h20 -18h00: Fábio M. Bertato (Doutorando DF\IFCH- UNICAMP)

"A perspectiva como disciplina matemática nas obras de Luca Pacioli e Leonardo da Vinci"

Considera-se, tradicionalmente, que o advento da Perspectiva Linear ocorreu em Florença, no início do Quattrocento. Para alguns autores renascentistas, os infinitos e diversos aspectos
da realidade ordenam-se em um sistema racional e universal, o espaço, que é idealmente representado pela Perspectiva. O sistema das artes liberais, considerado como parte da herança recebida da Antigüidade Clássica, estava bem estabelecido até esse período. As disciplinas matemáticas, Aritmética, Geometria, Astronomia e Música, constituíam o chamado Quadrivium. Luca Pacioli (1445 –1517?) e Leonardo Da Vinci (1452 - 1519) estavam entre aqueles autores que defendiam a elevação do status da Perspectiva, ou seja, sua inclusão no Quadrivium. Nosso objetivo é apresentar um breve panorama das classificações das matemáticas da Antigüidade
ao Renascimento e analisar alguns paralelos entre as posições de Leonardo e Luca, com base, especialmente, nos capítulos iniciais da "De Divina Proportione" e no "Paragone" do "Trattato della Pittura".

----------------------------------------------------------------------------------
18h00 - Confraternização

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

Gödel - Completude e Incompletude

CONFERÊNCIA CLE 30 ANOS

19/09/2007 - Quarta-feira - 10:00h

Daniele Mundici (Università degli Studi di Firenze)

Gödel - Completude e Incompletude

Auditório 2 - IFCH - Unicamp

A noção de identidade no naturalismo

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, com a palestra

A noção de identidade no naturalismo
Prof. Dr. Guido Imaguire -UFC

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

Vencedores do Prêmio Jabuti 2007

Saíram os vencedores do Prêmio Jabuti 2007. Na área "CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA" os vencedores foram:

http://www.cbl.org.br/news.php?recid=5633

Categoria 6 - CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA

1º - LÓGICA PARA COMPUTAÇÃO - FLÁVIO SOARES CORRÊA DA SILVA, MARCELO FINGER E ANA CRISTINA VIEIRA DE MELO (IME-USP)
2º - FÍSICA MODERNA - FRANCISCO CARUSO NETO E VITOR OGURI
3º - COMPUTABILIDADE, FUNÇÕES COMPUTÁVEIS, LÓGICA E OS FUNDAMENTOS DA MATEMÁTICA - WALTER CARNIELLI (CLE-UNICAMP)

Links para as páginas dos dois livros da área de lógica e computação podem ser encontrados na seção "Sugestões de Livros" deste blog.

Parabéns aos autores.

Platonismo em Matemática

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

Platonismo em Matemática
Prof. Dr. Giovanni Queiroz -UFPB

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

Resumo
Em filosofia da matemática, há uma posição que sustenta que as entidades matemáticas: números, pontos, linhas, planos são entidades abstratas que existem. Esta posição tem sido conhecida como “Platonismo” (posição também conhecida como realista). Vamos apresentar, em primeiro lugar, como surge a posição conhecida como “platonismo” e quais as motivações para tal visão; em seguida, discutiremos se esta posição pode ser imputada à Platão. Nós mostraremos que esta posição não é a posição de Platão (McLarty defende [2005] que a posição realista foi defendida por Glauco em A República – nós discutiremos esta afirmação de McLarty) a partir do argumento da linha dividida (Republica, livro VI, 509d e seguintes); nós mostraremos que a posição platônica aproxima-se mais da postura defendida hoje em filosofia da matemática conhecida como “if-theism” (se satisfeitas as condições q e r, então segue-se que p). Algumas formulações alternativas contemporâneas do realismo (Frege, Maddy) serão examinadas. Por fim, será discutida a abordagem estruturalista da matemática, que se apresenta ora como objeção à posição realista (Benacerraf), ora como reforço à posição realista (Shapiro). Isso significa que, embora o estruturalismo – a posição que afirma que a matemática não lida com objetos mas com estruturas – surja como alternativa às posições tradicionais em filosofia da matemática, isso não elimina a posição realista (ou platônica) tal como foi inicialmente formulada.

Caros Colegas,

É com grande satisfação que anuncio a criação de uma área de
concentração em "Lógica e Filosofia Formal" no programa de pós-graduação
(mestrado) em Filosofia da UFRN. Estão abertas inscrições para seleção
já para início das aulas no segundo semestre de 2007.
Lamento a informação de última hora. De qualquer forma, esta é a penas a
primeira turma. Esperamos ter uma entrada anual e, a partir do ano que
vem, no primeiro semestre.
Segue, anexado, um arquivo HTML com mais detalhes! Se puderem, ajudem a
divulgar!

Natal, 02 de julho de 2007,

Ângela Maria Paiva Cruz,

Daniel Durante Pereira Alves,
João Marcos de Almeida,
José Eduardo de Almeida Moura,
Maria da Paz Nunes de Medeiros.

Mestrado em Lógica na UFRN

O Programa de Pós-Graduação em Filosofia (PPGFIL) da UFRN foi ampliado e agora tem uma nova área de concentração em Lógica e Filosofia Formal. Confira algumas Informações sobre a nova área e o processo de seleção para a primeira turma.

Principais Temas de Pesquisa

• Investigação de Sistemas Formais de Lógica em seus aspectos semânticos, sintáticos e conexões filosóficas.
• Abordagem analítica, logicamente informada, de temas filosóficos gerais.
• Aplicação de métodos formais em questões computacionais vinculadas a linguagem natural e demonstração automática.
• Abordagem de temas de teoria da argumentação e suas aplicações a discursos normativos, nas ciências e na retórica.
• Investigação de aspectos lógicos e epistemológicos das ciências.

Corpo Docente

• Ângela Maria Paiva Cruz
• Daniel Durante Pereira Alves
• João Marcos de Almeida
• José Eduardo de Almeida Moura
• Maria da Paz Nunes de Medeiros

Exame de Seleção (2007-2)

Inscrições
Período	de 25/06 a 27/07
Local	Sala 706 do Departamento de Filosofia da UFRN. Tel: (84)3215-3641
Documentos	Diploma de graduação ou certificado de conclusão de curso Histórico Escolar da graduação Currículo Anteprojeto de pesquisa Duas fotos 3x4
Não há taxa de Inscrição!

Provas
Período	de 30/07 a 02/08
Prova Escrita Dividida em duas partes: Conhecimentos Comuns e Conhecimentos Especícficos	Conhecimentos Comuns Questões de análise de textos filosóficos clássicos. Esta parte da prova é comum aos candidatos de todas as áreas e linhas. A bibliografia para esta edição é: PLATÃO, Fedon. DESCARTES, Discurso do Método. Conhecimentos Específicos Questões de desenvolvimento temático específicas à área de lógica e filosofia formal. A bibliografia para esta edição é: FREGE, G, "Sobre o Sentido e a Referência". Em Lógica e Filosofia da Linguagem. São Paulo: Cultrix e EDUSP, 1978, pág. 59-86. MORTARI, C. A., Introdução à Lógica. São Paulo: Ed. Unesp e Imprensa Oficial, 2001.
Análise do Projeto de Pesquisa	Avaliação sobre a correção, exeqüibilidade, adequação ao programa e disponibilidade de orientação.
Entrevista	Sobre o projeto de pesquisa.
Proficiência em Lingua Estrangeira	O candidato pode escolher entre as seguintes linguas: inglês, francês, italiano e alemão.
Início das Aulas	20 de agosto de 2007.

Estrutura Curricular

Para obtenção do grau de Mestre em Filosofia com Área de Concentração em Lógica e Filosofia Formal, o aluno terá 2 anos para integralizar 28 créditos distribuídos da seguinte forma:

• 18 créditos em disciplinas;
• 10 créditos na elaboração e defesa da dissertação.

Espera-se que o aluno cumpra 2 disciplinas de 4 créditos e 1 seminário de programa de 1 crédito em cada semestre do primeiro ano, deixando assim o segundo ano exclusivamente para o trabalho na dissertação.

Conjunto de Disciplinas

A única disciplina obrigatória é FL001-Lógica I. As demais, no entanto, compõem o conjunto de expertises do programa e serão oferecidas conforme a disponibilidade dos professores e relevância para os projetos de pesquisa dos alunos.

FL001	Lógica I
FL101	Lógica II
FL102	Demonstrações e Refutações
FL201	Teoria dos Conjuntos
FL202	Teoria dos Modelos
FL203	Lógica Universal
FL301	Teoria da Prova
FL302	Teoria dos Tipos
FL303	Lingüística Computacional
FL401,2,3,...	Tópicos de Lógicas Não-Clássicas I, II, III, ...
FL501	Lógica Filosófica
FL502	Epistemologia
FL601	Modelagem de Sistemas Teóricos I
FL602	Modelagem de Sistemas Teóricos II
FL701	Teoria da Argumentação
FL702	Tópicos de Lógica e Argumentação I
FL703	Tópicos de Lógica e Argumentação II
FL801,2,3,...	Tópicos em Filosofia da Ciência I, II, III, ...
FL901,2,3,...	Seminários de Lógica e Filosofia Formal I, II, III, ...

Os Seminários de Lógica e Filosofia Formal (FL901, 2, 3,...) valem 1 crédito cada. Todas as demias disciplinas valem 4 créditos.

Mais Informações...

• Baixe o Edital de Seleção do Mestrado 2007.2
• Acesse o site do PPGFIL-UFRN

SEMANA DA LÓGICA, na UFRN (2007.1)

Mais uma realização do grupo/base de pesquisa CNPq/UFRN em
"Lógica, Conhecimento e Ética".

Estão todos convidados!

Tema: Aspectos topológicos da propriedade lógica da compacidade
Palestrante: Giovani Angelo Silva da Nobrega
Data de realização: 25/06/07, 2a-feira, horário 18h30-20h10
Local: sala de reuniões do DIMAp

Tema: Especificações formais (linguagem Z)
Palestrante: Regivan Hugo Nunes Santiago
Data de realização: 26/06/07, 3a-feira, horário T34 (14h55-16h35)
Local: sala 3A2

Tema: Semântica e verificação de programas
Palestrante: Jamille Silva Madureira
Data de realização: 27/06/07, 4a-feira, horário T12 (13h-14h40)
Local: sala 3C3

Tema: Lógica Temporal aplicada à computação
Palestrante: Anderson Paiva Cruz
Data de realização: 28/06/07, 5a-feira, horário T34 (14h55-16h35)
Local: sala 3A2

Tema: Lógica Combinatória e Isomorfismo de Curry-Howard
Palestrante: Gabriel de Medeiros Galvão
Data de realização: 29/06/07, 6a-feira, horário T12 (13h-14h40)
Local: sala 3C3

TOULMIN: o *layout* de argumentos"

O Departamento de Filosofia da UFRN, através da base de pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia, com a palestra

TOULMIN: o *layout* de argumentos"
Prof. Dr. José Eduardo de Almeida Moura

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

SATMS - The Simplified Assumption-based Truth Maintenance System

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

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: SATMS - The Simplified Assumption-based Truth Maintenance System

Palestrante: Tiago Motta Jorge

Data e Local: dia 11.06.07 às 16:00 hs

Local: Sala 242 - Bloco A - IME - USP

Resumo:

Truth maintenance systems (TMS) are mechanisms for keeping track of dependencies and detecting inconsistency. They are also known as a kind of belief revision systems.

Sometimes it is convenient to perform reasoning in the context of different hypothetical worlds, which may or may not resemble the way the world actually is. This strategy is particularly useful if there are a large number of hypotheses competing to account for the observations, with the possibility that a composite hypothesis may be required to cover all of them.

In an assumption-based truth maintenance system (ATMS), the program maintains a number of different contexts, referred to as environments. An environment is best thought of as a view of the world characterized by a set of assumptions.

One can think of the ATMS as being a dynamic structure that maintains dependencies among assumptions. Given a proposition, it can construct a label for that propostion telling in which environments it holds. With this structure, it is straightforward to add and retract assumptions and still be capable to check wheter or not a proposition still holds, without having to make a lot of inferences.

In this seminar, a simplified version of the ATMS will be presented. It assumes that all assumptions are fixed. Besides, it assumes that the inconsistent sets of assumptions are known a priori. The SATMS's job is just to give us one maximal consistent set of assumptions from an inconsistent set.

It will also be presented an application of the SATMS in a programming game called Guntactyx.

Probabilistic Logic with Independence

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

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: Probabilistic Logic with Independence

Palestrante: Cassio Polpo de Campos - EACH-USP

Data e Local: dia 04.06.07 às 16:00 hs

Local: Sala 242 - Bloco A - IME - USP

Resumo:
This talk investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages, and then consider graph-theoretic representations for propositional probabilistic logic with independence. Inference problems and complexity results are discussed. Finally, we examine a relational probabilistic logic in finite domains. (Joint work with Fabio Cozman, Poli-USP.)

A Epistemologia Naturalizada de Quine e o Ceticismo

O Departamento de Filosofia da UFRN, através da base de pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia, com a palestra

A EPISTEMOLOGIA NATURALIZADA DE QUINE E O CETICISMO
Prof. Dr. Jaimir Conte

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

Reasoning about depth and motion from an observer's viewpoint

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

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: Reasoning about depth and motion from an observer's viewpoint

Palestrante: Paulo E. Santos -- FEI, Sao Paulo

Data e Local: dia 28.05.07 às 16:00 hs

Local: Sala 242 - Bloco A - IME - USP

Resumo:

In this talk I present a logic-based formalism for representing knowledge about objects in space and their movements, and show how this knowledge could be built up from the viewpoint of an observer immersed in a dynamic world. Space is represented using functions that extract attributes of depth, size and distance from
snapshots of the world.

These attributes compose a novel spatial reasoning system named Depth Profile Calculus (DPC). Transitions between qualitative relations involving these attributes are represented by an extension of this calculus called Dynamic Depth Profile Calculus (DDPC). We argue that knowledge about objects in the world could be built up via a process of abduction on DDPC relations.

I'm also going to discuss some current developments of this framework and avenues for future work.

Incompletude e Inconsistência: um Jogo entre a Cruz e a Espada

Seminários de Programa do Grupo de Lógica Teórica e Aplicada CLE/IFCH
Título: Incompletude e Inconsistência: um Jogo entre a Cruz e a Espada
Palestrante: Anderson de Araújo

A prova dos teoremas da incompletude de Gödel gerou um vasto campo de pesquisa, sobretudo no que diz respeito a demonstrações simplificadas ou reformuladas com técnicas diferentes das usadas por Gödel, e à análise de suas conseqüências. Nesse contexto, pretendo esboçar uma formalização da prova apresentada por Kripke na UNICAMP, uma vez que ela ainda apresenta um caráter informal. Pretendo para tanto usar definições existentes na literatura sobre jogos lógicos, que em certa medida terão que ser redefinidos tendo em vista meu objetivo. Sendo possível tal formalização, analisarei ainda as características da prova kripkeana formalizada dos teoremas de Gödel no contexto de uma lógica paraconsistente (exemplificando com uma LFI).

Quando? Quarta-feira, 23 de maio de 2007, 16h00
Onde? Sala de Seminários do CLE (IFCH - Unicamp - Campinas-SP)

Proposta de um Algoritmo Polinomial para 3-SAT

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

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: Proposta de um Algoritmo Polinomial para 3-SAT
Palestrante: Maria Ângela Weiss
Data e Local: dia 21.05.07 às 16:00 hs
Local: Sala 242 - Bloco A - IME - USP

Resumo:


Desenvolvemos um método de tableau que consiste em um algoritmo baseado no classico KE-tableau. Nesse algoritmo, dado como input uma fórmula 3-SAT $\Psi$, temos como output, primeiramente um arranjo de literais prefixadas de $\Psi$ onde aparecem, como linhas verticais do output, apenas posssíveis ramos fechados de um tableau onde a regra de Bivalência foi aplicada nessas literais prefixadas.

Apresentamos também um algoritmo de resolução para decidir se esses arranjos de fato representam todos os possíveis ramos obtidos por Bivalência são fechados ou não, gerando como resposta $\Psi$ é válida ou $\Psi$ não é válida.

Esses dois algoritmos -- de construção dos arranjos e resolução -- provaram ser polinomiais e, no estágio de nossa pesquisa convidamos todos interesados nesse assunto a discutir, opinar e apontar possíveis falhas no processo.


Todos são benvindos

Compressão de Séries Temporais usando Modelos ARIMA

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

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
-----------------------------------------------------------------------------

Palestrante: Christian Paz-Trillo
Título: Compressão de Séries Temporais usando Modelos ARIMA
Data e Local: dia 14.05.07 às 16:00 hs
Local: Sala 242 - Bloco A - IME - USP

Resumo:

Séries temporais são variáveis observadas em diversos instantes de tempo e estão presentes em várias áreas do conhecimento. Quanto maior o detalhamento e a quantidade delas, maior o conhecimento que pode ser extraído mediante sua análise.

O desafio então é armazenar uma grande quantidade de séries temporais de maneira compactada de modo que o tempo de recuperação não seja afetado.

Neste seminário apresentamos as idéias iniciais para um mecanismo de compactação utilizando modelos ARIMA (Auto Regressive Integrated Moving Average) que prevê o armazenamento (com perda de informação) do modelo de cada série e dos erros do modelo como uma representação compacta da série original.


Todos são benvindos!
--

Marcelo Finger
Departamento de Ciencia da Computacao
Instituto de Matematica e Estatistica
Universidade de Sao Paulo
Rua do Matao, 1010, Sao Paulo-SP
Tel: +55 11 3091 9688, 3091 6135

A LÓGICA INTUICIONISTA

A Base de Pesquisa "Lógica, Conhecimento e Ética" promove mais um de seus
Seminários de Lógica e Filosofia, a saber:

A LÓGICA INTUICIONISTA
Profa. Dra. Maria da Paz Nunes de Medeiros
DEFIL / UFRN

Resumo:
A lógica intuicionista é normalmente conhecida, grosso modo, como a lógica não-clássica que rejeita o princípio do terceiro excluído. Entretanto, sua principal motivação surgiu no âmbito matemático e estava fortemente relacionada com questões relativas ao conceito de infinito. Apresentaremos as motivações, um sistema formal e os modelos de Kripke para a lógica intuicionista. Além disso, mostraremos que é possível traduzir a lógica clássica na intuicionista.

Data: 09 / 05 /2007 às 18 h 30
Local: Anfiteatro CCET / UFRN

Base Revision in Description Logics

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

-----------------------------------------------
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: Base Revision in Description Logics

Palestrante: Márcio Moretto Ribeiro

Data e Local: dia 7.05.07 às 16:00 hs

Local: Sala 242 - Bloco A - IME - USP

Resumo:

Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. The theory has been developed having in mind classical logics. In this paper, we show some problems of applying belief revision methods directly to ontologies represented in description logics and propose new operations that overcome these problems.


Todos são benvindos

Revolução paradigmática em matemática: o infinito em Cantor

Quando? Quarta-feira, 9 de maio de 2007, 16h00
Onde? Sala de Seminários do CLE (IFCH - Unicamp - Campinas-SP)

Resumo:
Face à pergunta: existiriam revoluções em matemática? — pergunta que se refere ao desenvolvimento da história da matemática, assim como a seus conteúdos e afirmações —, observamos posicionamentos diversos e muitas vezes contrários.
Muitos são os que respondem negativamente a essa pergunta, afirmando que, em matemática, não existem fenômenos aos quais possamos atribuir o nome de revoluções. Asseveram que a matemática possui um desenvolvimento cumulativo, no qual não é possível constatar intervenções que mereçam o nome de revolução.
Por outro lado há quem acredite que é possível observar, também na matemática, um padrão de desenvolvimento semelhante ao das outras formas de conhecimento científico, padrão este que se aproxima de uma concepção claramente revolucionária. Esta é a posição que defendemos e que pretendemos tornar mais explícita com este seminário.
Nosso trabalho tem como objetivo principal argumentar que o núcleo dos resultados matemáticos obtidos por Georg Cantor no final do século XIX, cujas idéias mais fundamentais giram em torno de sua especial concepção de infinito, possui as necessárias qualidades de inovação e grandeza para ser considerado como um avanço revolucionário em matemática.
A revolução a que nos referimos, e que acreditamos ter ocorrido com o surgimento da Teoria de Conjuntos de Cantor, constitui um marco no desenvolvimento da matemática. Este marco não pode ser ignorado, quer pelos matemáticos, quer pelos historiadores e tão pouco pelos filósofos.

Eberth Eleutério dos Santos

Departamento de Filosofia – Unicamp
Campinas

COMO CARACTERIZAR A NOÇÃO DE VEROFUNCIONALIDADE?

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

COMO CARACTERIZAR A NOÇÃO DE VEROFUNCIONALIDADE?
Prof. Dr. João Marcos
DIMAp / UFRN

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

Seminário de Lógica e Fundamentos na UFBA

Seminário de Lógica e Fundamentos

• Áreas de interesse: Lógicas clássicas e não-clássicas, teoria dos conjuntos, topologia conjuntística, teoria dos reticulados, álgebra universal, computação teórica.

• Professores responsáveis: Andreas Brunner, Peter Malcolm Johnson, Samuel Gomes da Silva, Steffen Lewitzka.

• Dias e Local: Quintas-feiras, às 16hs, na Sala 107 do Instituto de Matemática, Campus Ondina - UFBA.

OFF: Eventos sobre Teoria dos Modelos na Colômbia

Caros colegas,

recebi a mensagem que transcrevo abaixo falando sobre a "Primeira Oficina em Teoria dos Modelos sobre o-minimalidade", que aconteceu na Colômbia entre 28 de março e 2 de abril de 2007. Na mensagem, Pedro H. Zambrano R. informa que entre o dia 30 de julho e o dia 3 de agosto de 2007 vai acontecer um segundo encontro sobre Teoria dos Modelos na Colômbia, o Bogotá Model Theory Meeting. Leia mais detalhes abaixo.

[]s,

Adolfo






Prezado professor Adolfo Neto:

Sou estudante de doutorado em Matemática na Universidad Nacional de Colombia (Bogotá-Colômbia) e professor auxiliar da mesma universidade. Neste momento estou trabalhando com o professor Andrés Villaveces em Teoria da Estabilidade em Classes Elementares abstratas (Teoria dos Modelos).

Aqui na Colômbia a gente tem uma escola interessante em teoria dos modelos, onde os professores que trabalhan nas universidades Nacional e de los Andes (em Bogotá) tem trabalhos com pessoal importante no tema: o professor Villaveces tem trabalhos com o Saharon Shelah, o Rami Grossberg e a Monica VanDieren, o professor Alexander Berenstein (da Universidad Nacional de Colombia) tem trabalhos com o W. Henson (Illinois), o Itay Ben-Yaacov (Lyon), o Steven Buechler (Notre Dame) e o professor Alf Onshuus (Universidad de los Andes, Bogotá) tem trabalhos com o Thomas Scanlon (Berkeley) e o Clifton Ealy (Illinois), sem esquecer ao professor Xavier Caicedo, muito conhecido pelo pessoal Brasileiro.

Como parte importante desta escola em Teoria dos Modelos que a gente tem aqui na Colômbia, no passado mês de março e parte do mês de abril aconteceu a Primeira oficina em Teoria dos Modelos sobre o-minimalidade ( http://matematicas.unal.edu.co/~aberenst/ominimalidadvilladeleyva). Alguns dos conferencistas convidados foram o David Marker (U. Illinois, Chicago), o Sergei Starchenko (Notre Dame), o Charles Steinhorn (Vassar), o Assaf Hasson (Oxford), a Margarita Otero (Madrid), o Alf Dolich (U. Illinois, Chicago) e o Mário Edmundo (Lisboa), pessoal especialista em o-minimalidade.

Entre o dia 30 de julho e o dia 3 de agosto de 2007, vai acontecer um segundo encontro deste tipo aqui na Colômbia (o Bogotá Model Theory Meeting), dedicado a temas gerais em Teoria dos Modelos. Alguns dos conferencistas convidados são o John Baldwin (U. Illinois, Chicago), o Rami Grossberg (Carnegie Mellon), o Ward Henson (U Illinois, Urbana), o Frank Wagner (Lyon), a Monica VanDieren (Robert Morris Univ.), a Meeri Kesälä (Helsinki), o Clifton Ealy (U. Illinois, Urbana), o Itaï Ben Yaacov (Lyon), a Silvia Barbina (Barcelona) e a Jana Marikova (U. Illinois, Urbana)

O pessoal interessado pode visitar o site http://www.matematicas.unal.edu.co/~aberenst/tmbogota07 ou pode escrever ao Alexander Berenstein (aberenst at gmail.com), ao Andrés Villaveces (avillavecesn at gmail.com) ou ao Alf Onshuus (onshuus at gmail.com) para obter mais informação sobre o encontro.

Agradeço muito a divulgação deste encontro no seu blog, embora não é um encontro que vai acontecer no Brasil acho que tem pessoal Brasileiro que pode ficar interessado em assistir ao encontro.

Muito obrigago pela sua atenção.

Atenciosamente,
Pedro H. Zambrano R.
Estudante doutorado em Matemática
Professor Auxiliar
Universidad Nacional de Colombia
Bogotá - Colômbia.