Acabou de sair:
     http://www.lemonde.fr/sciences/article/2012/05/20/la-difficile-ascension-vers-la-resolution-d-un-probleme-mathematique_1704410_1650684.html O trabalho do Tao é fantástico, e tem outras coisas supreendentes que ele mostrou , como o fato de que a sequencia de todos os numeros primos contem progressoes aritméticas de tamanho ilimitado. Mas é interessante notar que a Conjectura dosTrês Impares, isto é, que "todo número inteiro impar pode ser escrito como a soma de três primos" é consequência direta da Conjectura dos Pares, "todo par pode ser escrito como a soma de dois primos". Isso porque, se x é ímpar e p é um primo ímpar, entao obviamenet (x- p) é par e pode ser escrito como a soma de dois primos, pela Conjectura dos Pares. Daí, nao somente, por exemplo 179 = 19 + 71 + 89, mas 179 = 157 + 17 + 5 e 179= 109 + 53 + 17. Acontece que, dessa forma, cada ímpar x pode ser escrito de pelo menos (x/ ln x) fomas diferentes, lembrando que x/ ln x é o numro aproximado de primos ímpares menores que x (Gauss e Legendre). O que isso significa é que a Conjectura dos Pares deve ser bem mais difícil de demonstrar que a Conjectura dos 3 Impares, e Terence Tao mostrou a Conjectura dos 5 ìmpares. Fabuloso, mas ainda longe da solução!

Minicurso - "Pensamento Crítico, Lógica e Argumentação”

Coordenadoria Geral da Unicamp – Espaço da Escrita


Minicurso

Referência do Minicurso:

Pensamento Crítico - o Poder da Lógica e da Argumentação -

(Walter Carnielli e Richard L. Epstein)

Gênero: Argumentação e pensamento crítico

Autor: Carnielli, Walter A./ Epistein, Richard L.

Editora: RIDEEL

Ano de Edição: 2010

Pensamento Crítico - o Poder da Lógica e da Argumentação

Resenha Manuscrito vol.35 no.2 CLE Campinas Jul/Dez. 2012

Combate à exclusão racional - Agência FAPESP


Entrevista CBN-

SLIDES
  SLIDES PARTE I- AS BASES FUNDAMENTAIS

SLIDES PARTE II- A LÓGICA E A ESTRUTURA DOS ARGUMENTOS


SLIDES PARTE III- COMO EVITAR MAUS ARGUMENTOS


SLIDES PARTE IV- O MUNDO DA EXPERIÊNCIA E A RAZÃO

Material adicional para a disciplina: HF005 Teoria de Conjuntos I, turma A Segundo Semestre de 2015 Prof. Walter Carnielli e Dr. Gabriele Pulcini Terças-feiras, 14h às 18h Sala 211, CLE Links para exclusivo uso didático! 1) Iain T. Adamson. A Set Theory Workbook. Birkhäuser; 1998 https://copy.com/mgTDoGH1YEm8S6iI 2) Stephen Pollard. A Mathematical Prelude to the Philosophy of Mathematics. Springer, 2014 Conteúdo: 1 Recursion, Induction . 2 Peano Arithmetic, Incompleteness 3 Hereditarily Finite Lists 4 Zermelian Lists 5 The Hierarchy of Sets 6. Frege Arithmetic 7 Intuitionist Logic https://copy.com/PskTZYF9Rz3fjNqE 3) Leitura adicional: tópicos de Paolo Mancosu. The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940 Oxfored University Press, 2014. https://copy.com/fMmKePqbkUr2O4QS

HG510 A- Tópicos Especiais de Lógica I

"Introdução à Lógica Modal para Filósofos"
5ªs -feiras -14h00 às 18h00, sala 206, CLE-Unicamp

Prof. Walter  Carnielli

PED  Pedro Lemos, doutorando.

Disciplina de Graduação- Departamento de  Filosofia, Unicamp

1. Semestre de 2014

Material para o curso:

1)Walter Carnielli and Claudio Pizzi (with the assistance of Juliana Bueno-Soler). Modalities and Multimodalities. Springer, 2008.

Disponível em:

https://dl.dropboxusercontent.com/u/6465890/HF007%20Logicas%20Nao-Classicas/Modalities%20and%20Multimodalities-Chapters1-4.pdf

2)Saul A. Kripke. "Naming and Necessity" 

 Harvard University Press, 1981

Lecture 1 (pgs 22 a 70)

Após várias semanas de uma criteriosa introdução sobre Lógicas Modais (sintaxe e semântica) e seus problemas, estudaremos os argumentos de Kripke em “Naming and Necessity”, explorando a noção de designação rígida de nomes próprios, e a separação entre os conceitos de “a priori/analítico”, e o conceito de “necessário”.

Disponível em:

http://tinyurl.com/lecture-1-kripke

3)David Kaplan. Demonstratives - An Essay on the Semantics, Logic, Metaphysics, and Epistemology of Demonstratives and others Indexicals, de 1977 (em Almog, J., Perry, J. e Wettstein, H. (eds.) Themes from Kaplan, New York, Oxford: Oxford University Press, 1989).

UNIVERSIDADE ESTADUAL DE CAMPINAS

INSTITUTO DE FILOSOFIA E CIÊNCIAS HUMANAS

DISCIPLINA DE PÓS-GRADUAÇÃO

HF001-G – Introdução à Lógica -1º Semestre/2014

Prof. Walter Alexandre Carnielli

Dr. Rodrigo de Alvarenga Freire (assistente)
Terças-feiras,  14:00-18:00, sala 204, CLE-Unicamp

PROGRAMA:

Introdução às grandes questões da Lógica Formal; Indução e Recursão Lógica Proposicional Clássica (LPC) ; Assinatura e Linguagem; Semântica de LPC ; Sistemas Dedutivos par LPC: Axiomática, Dedução Natural e Tableaux Analíticos; Teoremas de Corretude, Completude, Substituição, Formas Normais, Decidibilidade; Lógica de Predicados (LQ); Quantificadores;

Semântica de LQ: Estruturas e Interpretação; Sistemas Dedutivos para LQ: Axiomática,Dedução Natural e Tableaux Analíticos; Indecidibilidade.

EMENTA:

Elementos de Lógica de primeira ordem, abordando detalhadamente o cálculo proposicional clássico e apresentando as principais técnicas metalógicas. Estudo detalhado de cálculo de predicados clássico. Teorias de primeira ordem. Caracterização, completude e compacidade.

Decidibilidade e indecidibilidade.

BIBLIOGRAFIA:

1) Texto principal:

Herbert B. Enderton. “A Mathematical Introduction to Logic”,

Second Edition, Academic Press, 2001

Homepage com erratas, comentários etc.:

http://www.math.ucla.edu/~hbe/amil/

Textos auxiliares recomendados:

2) Walter A. Carnielli, Marcelo E. Coniglio e Ricardo Bianconi  “Lógica e Aplicações: Matemática, Ciência da Computação e Filosofia”

(Versão Preliminar - Capítulos 1 a 5)

http://www.cle.unicamp.br/prof/coniglio/LIVRO.pdf

3) Neil Tennant. Natural Logic. Edinburgh UP 1978, 1990.

Livremente acessível em http://people.cohums.ohio-state.edu/tennant9/Natural Logic.pdf

4) Paul Teller. A Modern Formal Logic Primer. Prentice Hall, 1989.

Livremente acessível em tellerprimer.ucdavis.edu

Médias finais (e notas das provas P1 e P2)  da disciplina HG404- Introdução à Lógica - 2. Semestre  de 2013

Graduação em Filosofia, UNICAMP

Tabelas de  notas  e  médias disponíveis no arquivo público do DropBox:
http://tinyurl.com/Notas-HG404-2S-2013

Notas:

1) A  média  M  foi calculada tendo a  prov P2  com peso 2,  Portanto

 M= (P1  + 2.P2) 3

2) A  frequência foi calculada  por amostragem. A disciplina previa 16  semanas, forma passadas  4 listas de presença em dats aleatórias.

Os estudantes que tiveram  2, 3  ou 4  presenças  nestas  listas por amostragem foram considerados como tendo frequência maior ou igual a 75%  (e  portanto aprovados por frequência).

 Os estudantes que tiveram  0 ou 1   presença  nas  listas por amostragem foram considerados como tendo frequência menor que 75%  (e  portanto reprovados por frequência).  Nesse caso, ná podem fazer  o Exame Final.

Notem que o procedimento por amostragem requer uma   margem de erro,  mas probabilidade de um  estudante ter  0 ou 1 presença  nas listas por amostragem  e o frequência  maior ou igual a 75%  é muito pequena (menos de 5%). 

Existe  uma  notável correlação estatística entre os estudantes que tiveram  0 ou 1 presença  nas  listas por amostragem, aqueles que não entregaram as  listas de exercício e os que tiveram  pelo menos uma das notas menor que 5. Esta correlação  é auto-explicativa...

Filosofia analítica  não só  "existe",  contrariando a opinião de alguns, como pode ser  beletrismo, tanto quanto sua contraparte...

Este  "slow blog" é de fato  lento,  tão lento que nçao se avexa de recolocar temas, nem de divulgar coisas antigas. Ou melhor, "vintage".

Este  post do New  York TImes,  de  junho de 2012,  merece ser  lido  (ou re-lido):

Is Philosophy Literature?

By JIM HOLT

http://opinionator.blogs.nytimes.com/2012/06/30/is-philosophy-literature/