segunda-feira, 2 de janeiro de 2017


Por que ‘opinião não é argumento’


Em entrevista ao ‘Nexo’  de 27/12/2016  explico como manter uma discussão respeitosa e produtiva, com base no material do nosso livro  “Pensamento crítico - o poder da lógica e da argumentação” (Editora Rideel), livro escrito em parceria com Richard Epstein.


Fiquei surpreso com o interesse e divulgação na mídia dessa verdade básica que todos deveriam saber...




https://www.nexojornal.com.br/expresso/2016/12/27/Por-que-%E2%80%98opini%C3%A3o-n%C3%A3o-%C3%A9-argumento%E2%80%99-segundo-este-professor-de-l%C3%B3gica-da-Unicamp
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!

segunda-feira, 31 de outubro de 2016

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

sexta-feira, 26 de dezembro de 2014

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

quarta-feira, 26 de fevereiro de 2014



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:



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





terça-feira, 25 de fevereiro de 2014


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

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




terça-feira, 3 de dezembro de 2013


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