13/03 - Samir Gorsky

Título: A Lógica e a Metafísica dos Enigmas: Surpresa, Espanto e Informação. 

Resumo: O presente trabalho tem por objetivo avaliar o papel do estudo sistemático da surpresa, do espanto, da admiração e dos enigmas para a teoria do conhecimento e, em termos mais gerais, para filosofia. Tal estudo envolve ainda conceitos filosóficos importantes tais como os de informação, jogo, problema, raciocínio, conhecimento e ignorância. As análises lógica e filosófica que enfocam a teoria da informação serão baseadas, em princípio, nos trabalhos de Yehoshua Bar-Hillel, Rudolf Carnap e Jaakko Hintika (Carnap; Bar-Hillel, 1952), (Carnap; Bar-Hillel, 1953) e (Hintikka. 1970) sobre a semântica da informação e no texto de Walter Carnielli, Marcelo E. Coniglio e João Marcos (Carnielli et al., 2007) sobre lógicas da inconsistência formal. Neste âmbito, tem-se como meta identificar o espectro lógico subjacente a um cenário informativo arbitrário. A partir disso, propomos uma teoria semântica da informação tendo em conta constituintes não-clássicos. Investigamos a ideia de que algumas partes da teoria dos enigmas e da noção formal de surpresa são instâncias da teoria dos jogos sobre cenários não-clássicos, a relevância de tal estudo para a filosofia e, em particular, para a teoria do conhecimento.

06/03 - Maíra Bittencourt

Aspectos filosóficos de processos de decisão que envolvem probabilidade: teste de hipóteses, modelos econométricos e teoria bayesiana da decisão

Este seminário pretende apresentar um recorte dos resultados de uma monografia defendida em dezembro de 2012, na área de estudo da filosofia da probabilidade. De modo geral, procuramos trabalhar a seguinte questão: como pode ocorrer a tomada de decisão a partir de dados estatísticos ou de atribuições de probabilidades a eventos? O seminário será dividido em quatro partes. A primeira parte será uma exposição das questões filosóficas que os testes de hipóteses e os modelos econométricos podem apresentar. Em seguida serão apresentados brevemente os fundamentos de duas teorias da probabilidade: a teoria frequentista e a teoria subjetiva. A terceira parte tratará da Teoria Bayesiana da Decisão, que é uma teoria de agência racional que utiliza a probabilidade subjetiva para o cálculo da utilidade esperada. Por fim, as considerações finais visam formular algumas questões filosóficas pertinentes aos problemas citados anteriormente, além de fornecer algumas indicações bibliográficas.

Cronograma do Primeiro Semestre 2013

06/03 - Maíra Bittencourt

13/03 - Samir Gorsky

20/03 - Reunião de Departamento

27/03 - Não haverá seminário - X Seminário Nacional
de História da Matemática

03/04 - Não haverá seminário - Uni-Log

10/04 - Walter Carnielli

17/04 - Juan Carlos

24/04 - Ricardo Grande

01/05 - Feriado

08/05 - Henrique Almeida

15/05 - Reunião de Departamento

22/05 - Tony Marmo

29/05 - Newton Marques Peron

05/06 - Carolina Blasio

12/06 - Márcio Moretto

19/06 - Reunião de Departamento

26/06 - Dante Cardoso de Almeida

07/12 - Samuel Gomes da Silva

"A estrutura conjuntística e topológica do primeiro ordinal não-enumerável"

Samuel Gomes da Silva

Instituto de Matemática

Universidade Federal da Bahia

RESUMO (PDF)

Sexta, dia 07, às 10hs

05/12 - Colloquium Logicae: Barry Cooper

Alan Turing and the Computing Revolution:

Ten Big Ideas that Changed the World

Special Session of Colloquium Logicae

Prof. Barry Cooper

Wednesday, December 5th, room PE11 at FEEC, UNICAMP

15h00

Organized  by the Centre for Logic, Epistemology and the History of Science – CLE

at the State University of Campinas – UNICAMP

Extended session: 45 min + 15 min coffee break + 45 min, followed by discussions

Prof. S. Barry Cooper is currently Professor of Mathematical Logic at the University of Leeds. Author of Computability Theory (Chapman & Hall/CRC. 2004 ) and co-author of "Incomputability in Nature" (Cooper, S. B.; Odifreddi, P. (2003), Prof. Cooper is a leading mover of the return to basic questions of the kind considered by Alan Turing, and of interdisciplinary developments related to computability. He is currently President of the Association Computability in Europe, and is Chair of the Turing Centenary Advisory Committee (TCAC) which is co-ordinating the Alan Turing Year.

For this impressive series off events see 

http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php13#dec

______________________

Abstract:

Title: Alan Turing and the Computing Revolution: Ten Big Ideas that Changed the

World

Alan Turing did an amazing amount during his short life - a short list of what makes him remembered includes:

How at the age of 23, he came up with the idea of the "stored program" universal computing machine, basically the blueprint for every computer in existence today;

His leading role in breaking the German Enigma code at the secret decoding centre at Bletchley Park, helping shorten the 2nd World War by two years with his ground-breaking involvement in building and fully exploiting decoding machines;

And the innovative and original work in bringing mathematics to bear on important problems in biology and medicine.

In this talk we look at Turing's ideas and enduring impact on academic research, the IT industry and the wider world we live in and we outline some of his visionary insights which point to a new generation of "intelligent" computers.

We assume no specialist knowledge, but be prepared to be challenged!

Ver mapa maior

room PE11 at FEEC, UNICAMP

21/11 - Tony Marmo

LÓGICA MODAL EPISTÊMICA E DOXÁSTICA NA VIZINHANÇA

Usualmente, as lógicas epistêmicas e doxásticas tratam os operadores de conhecimento (K) e crença (B) ou como primitivos ou como um deles sendo o dual do outro. A segunda opção reflete uma tradição filosófica que encara o conhecimento como um conjunto de opiniões verdadeiras e justificadas. Neste trabalho, proponho que considerar uma abordagem um pouco diferente, a começar pela questão: Por que uma lógica doxástica não pode ser vista como uma lógica epistêmica não-normal, com o mesmo operador primitivo em jogo (K ou B, tanto faz)? Ou seja, olhando de outro ângulo, por que o conhecimento não seria um conjunto de “opiniões normais”? Estamos referindo as diferenças entre os raciocínios sobre relatos epistêmicos a sistemas como K, T ou D, da “família de Lewis”, ou então a outros como E, R, etc. Podemos falar, de um modo mais geral, em operadores atitudinais, mas tirando o ônus explicativo da interpretação que cada operador modal recebe: as diferenças entre as atitudes proposicionais (ou epistêmicas) assistem nas relações de vizinhança entre os mundos e não em como as designamos verbalmente (saber, crer, reconhecer, pensar, etc.). (As proposições são elementos do conjunto das partes de W, e pela relação de vizinhança associamos os elementos de W a subconjuntos do conjunto das partes de W, enquanto que os sujeitos epistêmicos são parâmetros dos operadores modais.)

14/11 - Francesc Esteva, Lluís Godo e Tommaso Flaminio.

Francesc Esteva, Lluís Godo e Tommaso Flaminio.

Institut d' Investigació en Intel.ligència Artificial (IIIA) de Catalunha, Espanha.