tag:blogger.com,1999:blog-5587811286853804822023-11-15T08:44:16.364-08:00Tools for IntelligenceWalter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.comBlogger22125tag:blogger.com,1999:blog-558781128685380482.post-75062827743160708422017-01-02T17:27:00.003-08:002017-01-02T17:27:42.761-08:00<br />
<h2>
Por que ‘opinião não é argumento’</h2>
<h2>
<br />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.<br />
<br /> <br />Fiquei surpreso com o interesse e divulgação na mídia dessa verdade básica que todos deveriam saber...</h2>
<br />
<br />
<br />
<a data-saferedirecturl="https://www.google.com/url?hl=pt-BR&q=https://www.nexojornal.com.br/expresso/2016/12/27/Por-que-%25E2%2580%2598opini%25C3%25A3o-n%25C3%25A3o-%25C3%25A9-argumento%25E2%2580%2599-segundo-este-professor-de-l%25C3%25B3gica-da-Unicamp&source=gmail&ust=1483492761027000&usg=AFQjCNEmxtQwRn6E4lLaExq7Xmu16cfQaQ" href="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" style="background-color: white; color: #1155cc; font-family: arial, sans-serif; font-size: 20.8px;" target="_blank">https://www.nexojornal.com.br/<wbr></wbr>expresso/2016/12/27/Por-que-%<wbr></wbr>E2%80%98opini%C3%A3o-n%C3%A3o-<wbr></wbr>%C3%A9-argumento%E2%80%99-<wbr></wbr>segundo-este-professor-de-l%<wbr></wbr>C3%B3gica-da-Unicamp</a>Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-37406319112451555132017-01-02T17:19:00.000-08:002017-01-02T17:19:00.027-08:00Acabou de sair:<br />
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!Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-2429614925698484962016-10-31T15:42:00.000-07:002016-11-01T10:04:44.445-07:00Minicurso - "Pensamento Crítico, Lógica e Argumentação”<!--StartFragment-->Coordenadoria Geral da Unicamp – Espaço da Escrita<br />
<br />
<br />
<!--EndFragment--> <a href="http://www.cgu.unicamp.br/espaco_da_escrita/minicurso_pensamento_critico_logica_argumentacao.php">Minicurso</a><br />
<br />
<br />
<div style="-qt-block-indent: 0; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0px; text-indent: 0px;">
<!--StartFragment-->Referência do Minicurso:</div>
<div style="-qt-block-indent: 0; -qt-paragraph-type: empty; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0px; text-indent: 0px;">
<br /></div>
<div style="-qt-block-indent: 0; -qt-paragraph-type: empty; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0px; text-indent: 0px;">
<br /></div>
<div style="-qt-block-indent: 0; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0px; text-indent: 0px;">
Pensamento Crítico - o Poder da Lógica e da Argumentação -</div>
<div style="-qt-block-indent: 0; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0px; text-indent: 0px;">
(Walter Carnielli e Richard L. Epstein)</div>
<div style="-qt-block-indent: 0; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0px; text-indent: 0px;">
Gênero: Argumentação e pensamento crítico</div>
<div style="-qt-block-indent: 0; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0px; text-indent: 0px;">
Autor: Carnielli, Walter A./ Epistein, Richard L.</div>
<div style="-qt-block-indent: 0; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0px; text-indent: 0px;">
Editora: RIDEEL</div>
Ano de Edição: 2010<br />
<br />
<a href="http://www.editorarideel.com.br/pensamento-critico-o-poder-da-logica-e-da-argumentacao/"> Pensamento Crítico - o Poder da Lógica e da Argumentação</a><br />
<br />
<a href="http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452012000200005">Resenha Manuscrito vol.35 no.2 CLE Campinas Jul/Dez. 2012</a><br />
<br />
<a href="http://agencia.fapesp.br/combate_a_exclusao_racional/11013/">Combate à exclusão racional - Agência FAPESP</a><br />
<br />
<br />
<a href="http://cbn.globoradio.globo.com/programas/cbn-total/2009/09/07/LIVRO-ENSINA-COMO-MELHORAR-O-PODER-DE-ARGUMENTACAO.htm">Entrevista CBN- </a><br />
<br />
SLIDES<br />
<a href="https://dl.dropboxusercontent.com/u/6465890/Slides%20Minicurso%20Espacco%20da%20Escrita/Esp-Escrita-I-As%20%20Bases%20Fundam.pdf"> SLIDES PARTE I- AS BASES FUNDAMENTAIS</a><br />
<br />
<a href="https://dl.dropboxusercontent.com/u/6465890/Slides%20Minicurso%20Espacco%20da%20Escrita/Pensamento%20Critico%20-%20Bloco%20II.pdf">SLIDES PARTE II- A LÓGICA E A ESTRUTURA DOS ARGUMENTOS</a><br />
<br />
<br />
<a href="https://dl.dropboxusercontent.com/u/6465890/Slides%20Minicurso%20Espacco%20da%20Escrita/Pensamento%20Critico%20-%20Bloco%20III.pdf">SLIDES PARTE III- COMO EVITAR MAUS ARGUMENTOS</a><br />
<br />
<br />
<a href="https://dl.dropboxusercontent.com/u/6465890/Slides%20Minicurso%20Espacco%20da%20Escrita/Espac%20da%20Escrita%20IV-Causa%20e%20Efeito-Slides.pdf">SLIDES PARTE IV- O MUNDO DA EXPERIÊNCIA E A RAZÃO</a><br />
<!--EndFragment-->Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-36382955548681027102014-12-26T17:19:00.003-08:002014-12-26T17:20:23.152-08:00<b>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 </b>
Links para exclusivo uso didático!
1) <b>Iain T. Adamson. A Set Theory Workbook. Birkhäuser; 1998 </b>
<a href="https://copy.com/mgTDoGH1YEm8S6iI">https://copy.com/mgTDoGH1YEm8S6iI</a>
2) <b>Stephen Pollard. A Mathematical Prelude to the Philosophy of Mathematics.
Springer, 2014</b>
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
<a href="https://copy.com/PskTZYF9Rz3fjNqE">https://copy.com/PskTZYF9Rz3fjNqE</a>
3) Leitura adicional: tópicos de
<b>Paolo Mancosu. The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
Oxfored University Press, 2014.</b>
<a href="https://copy.com/fMmKePqbkUr2O4QS">https://copy.com/fMmKePqbkUr2O4QS</a>Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-45630020700903670542014-02-26T04:26:00.002-08:002014-05-06T19:32:56.478-07:00<br />
<div class="western" style="margin-bottom: 0cm;">
<br />
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;">HG510
A- Tópicos Especiais de </span></span></span><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="background: #ffffcc;">Lógica</span></span></span></span><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"> I</span></span></span></div>
</div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;">"Introdução
à </span></span></span><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="background: #ffffcc;">Lógica</span></span></span></span><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"> </span></span></span><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="background: #ffffcc;">Modal</span></span></span></span><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"> </span></span></span><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="background: #ffffcc;">para</span></span></span></span><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"> </span></span></span><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="background: #ffffcc;">Filósofos</span></span></span></span><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;">"</span></span></span><br />
<span style="color: black;"><span style="font-family: sans-serif;"><span style="font-size: 14pt;"><u>5ªs -feiras -14h00 às 18h00, sala 206, CLE-Unicamp</u></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
Prof. Walter Carnielli</div>
<div class="western" style="margin-bottom: 0cm;">
PED Pedro Lemos, doutorando.</div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: sans-serif;"><span style="font-size: 14pt;"><u>Disciplina
de Graduação- Departamento de Filosofia, Unicamp</u></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: sans-serif;"><span style="font-size: 14pt;"><u>1. Semestre de 2014</u></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
Material para o curso:</div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: sans-serif;"><span style="font-size: 14pt;"><u>1)Walter
Carnielli and Claudio Pizzi (with the assistance of Juliana
Bueno-Soler). Modalities and Multimodalities. </u></span></span></span><span style="color: black;"><span style="font-family: verdana, arial, helvetica, sans-serif;"><span style="font-size: small;"><u>Springer,
2008.</u></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: sans-serif;"><span style="font-size: 14pt;"><u>Disponível
em:</u></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<a href="https://dl.dropboxusercontent.com/u/6465890/HF007%20Logicas%20Nao-Classicas/Modalities%20and%20Multimodalities-Chapters1-4.pdf"><span style="color: black;"><span style="font-family: sans-serif;"><span style="font-size: 14pt;"><u>https://dl.dropboxusercontent.com/u/6465890/HF007%20Logicas%20Nao-Classicas/Modalities%20and%20Multimodalities-Chapters1-4.pdf</u></span></span></span></a></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: sans-serif;"><span style="font-size: 14pt;"><u>2)Saul
A. Kripke. "Naming and Necessity" </u></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #222222; font-family: arial, sans-serif; font-size: 14pt;">Harvard University Press, 1981</span><br />
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;">Lecture
1 (pgs 22 a 70)</span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="font-family: arial;"><span style="font-size: small;">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”.</span></span></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<br />
Disponível em:</div>
<br />
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #222222;"> <span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="color: black;"><span style="font-family: arial;"><span style="font-size: small;"><b>http://tinyurl.com/lecture-1-kripke</b></span></span></span></span></span></span></div>
</div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: sans-serif;"><span style="font-size: 14pt;"><u>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).</u></span></span></span></div>
<div class="western" style="margin-left: 0.16cm;">
<br />
<br /></div>
<br />
<div class="western" style="margin-left: 0.16cm;">
<br />
<br /></div>
Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-66078456073800624132014-02-25T06:33:00.002-08:002014-03-06T19:28:05.024-08:00<br />
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #351c75; font-size: large;">UNIVERSIDADE ESTADUAL
DE CAMPINAS
</span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #351c75; font-size: large;">INSTITUTO DE FILOSOFIA
E CIÊNCIAS HUMANAS
</span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #351c75; font-size: large;"><br /></span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #351c75; font-size: large;">DISCIPLINA DE
PÓS-GRADUAÇÃO
</span></div>
<div class="western" style="margin-bottom: 0cm;">
</div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #351c75; font-size: large;">HF001-G – Introdução
à Lógica -1º Semestre/2014
</span></div>
<div class="western" style="margin-bottom: 0cm;">
</div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #351c75; font-size: large;">Prof. Walter Alexandre
Carnielli
</span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #351c75;"><span style="font-size: large;">Dr. Rodrigo de
Alvarenga Freire (assistente</span>)</span><br />
<span style="color: #351c75;">Terças-feiras, 14:00-18:00, sala 204, CLE-Unicamp</span></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
</div>
<div class="western" style="margin-bottom: 0cm;">
<span style="font-size: large;">PROGRAMA:
</span></div>
<div class="western" style="margin-bottom: 0cm;">
</div>
<div class="western" style="margin-bottom: 0cm;">
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;</div>
<div class="western" style="margin-bottom: 0cm;">
Semântica de LQ:
Estruturas e Interpretação; Sistemas Dedutivos para LQ: Axiomática,Dedução Natural e
Tableaux Analíticos; Indecidibilidade.</div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
</div>
<div class="western" style="margin-bottom: 0cm;">
<span style="font-size: large;">EMENTA</span>:
</div>
<div class="western" style="margin-bottom: 0cm;">
</div>
<div class="western" style="margin-bottom: 0cm;">
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.</div>
<div class="western" style="margin-bottom: 0cm;">
Decidibilidade e
indecidibilidade.
</div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
</div>
<div class="western" style="margin-bottom: 0cm;">
<span style="font-size: large;">BIBLIOGRAFIA:
</span></div>
<div class="western" style="margin-bottom: 0cm;">
</div>
<div class="western" style="margin-bottom: 0cm;">
1) Texto principal:</div>
<div class="western" style="margin-bottom: 0cm;">
Herbert B. Enderton. “A
Mathematical Introduction to Logic”,</div>
<div class="western" style="margin-bottom: 0cm;">
Second Edition,
Academic Press, 2001 </div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
Homepage com erratas,
comentários etc.:
</div>
<div class="western" style="margin-bottom: 0cm;">
<a href="http://www.math.ucla.edu/~hbe/amil/">http://www.math.ucla.edu/~hbe/amil/</a></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
Textos auxiliares
recomendados:</div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
2) Walter A. Carnielli,
Marcelo E. Coniglio
e Ricardo Bianconi “Lógica e Aplicações:
Matemática, Ciência da
Computação e Filosofia”</div>
<div class="western" style="margin-bottom: 0cm;">
(Versão Preliminar -
Capítulos 1 a 5)
</div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
http://www.cle.unicamp.br/prof/coniglio/LIVRO.pdf</div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
3) Neil Tennant.
Natural Logic. Edinburgh UP 1978, 1990.
</div>
<div class="western" style="margin-bottom: 0cm;">
Livremente acessível
em http://people.cohums.ohio-state.edu/tennant9/Natural Logic.pdf
</div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
</div>
<div class="western" style="margin-bottom: 0cm;">
4) Paul Teller. A
Modern Formal Logic Primer. Prentice Hall, 1989.
</div>
<div class="western" style="margin-bottom: 0cm;">
Livremente acessível
em tellerprimer.ucdavis.edu</div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<br />
<div class="western" style="margin-bottom: 0cm;">
</div>
<br />
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-37220371241818221262013-12-03T18:59:00.002-08:002013-12-03T18:59:36.530-08:00<br />
<div class="western" style="margin-bottom: 0cm;">
<span style="color: #cc0000;"><span style="font-family: Times;"><span style="font-size: large;"><b>Médias
finais (e notas das provas P1 e P2) da disciplina HG404-
Introdução à Lógica - 2. Semestre de 2013</b></span></span></span></div>
<h2 class="western">
<span style="color: #674ea7;"><span style="font-family: Times;"><span style="font-size: large;">Graduação
em Filosofia, UNICAMP</span></span></span></h2>
<h2 class="western">
<span style="color: #674ea7;"><span style="font-family: Times;"><span style="font-size: large;"><br />Tabelas
de notas e médias disponíveis no arquivo público
do DropBox:</span></span></span><span style="color: black;"><span style="font-family: Times;"><span style="font-size: large;"><br /></span></span></span><a href="http://tinyurl.com/Notas-HG404-2S-2013"><span style="color: #3d85c6;"><span style="font-family: Verdana, sans-serif;"><span style="font-size: large;">http://tinyurl.com/Notas-HG404-2S-2013</span></span></span></a></h2>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: Times;"><span style="font-size: x-large;">Notas:</span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: Times;"><span style="font-size: medium;"><span style="font-size: x-large;"><br />1)
A média M foi calculada tendo a prov P2 com
peso 2, Portanto</span></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"> <span style="font-family: Times;"><span style="font-size: x-large;">M=
(P1 + 2.P2) 3</span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: Times;"><span style="font-size: medium;"><span style="font-size: x-large;"><br /><br />2)
A frequência foi calculada por amostragem. A disciplina
previa 16 semanas, forma passadas 4 listas de presença
em dats aleatórias.</span></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: Times;"><span style="font-size: medium;"><span style="font-size: x-large;"><br />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).</span></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: Times;"><span style="font-size: medium;"><span style="font-size: x-large;"><br /></span> <span style="font-size: x-large;">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.</span></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: Times;"><span style="font-size: medium;"><span style="font-size: x-large;"><br />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%). </span></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<span style="color: black;"><span style="font-family: Times;"><span style="font-size: medium;"><span style="font-size: x-large;"><br /><br />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...</span></span></span></span></div>
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
<br />
<div class="western" style="margin-bottom: 0cm;">
<br /></div>
Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-17661507421167567522013-12-03T18:54:00.000-08:002013-12-03T18:58:36.548-08:00<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;">Filosofia analítica não só "existe", contrariando a opinião de alguns, como pode ser beletrismo, tanto quanto sua contraparte...</span></span><br />
<div>
<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;"><br /></span></span></div>
<div>
<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;"><br /></span></span></div>
<div>
<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;">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".</span></span></div>
<div>
<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;"><br /></span></span></div>
<div>
<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;">Este post do New York TImes, de junho de 2012, merece ser lido (ou re-lido):</span></span><br />
<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;"><br /></span></span>
<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;"><br /></span></span>
<h1 class="entry-title" style="background-color: white; font-family: nyt-cheltenham-hinted-1, nyt-cheltenham-hinted-2, georgia, 'times new roman', times, serif; font-size: 25px; font-weight: normal; line-height: 1.083em; margin: 5px 0px 2px;">
Is Philosophy Literature?</h1>
<address class="byline author vcard" style="background-color: white; color: grey; font-family: arial, helvetica, sans-serif; font-size: 1.1em; font-style: normal; line-height: 1.2em; margin-bottom: 2px; margin-top: 2px;">
By <a class="url fn" href="http://opinionator.blogs.nytimes.com/author/jim-holt/" style="color: #666699; text-decoration: none; text-transform: uppercase;" title="See all posts by JIM HOLT">JIM HOLT</a></address>
<address class="byline author vcard" style="background-color: white; color: grey; font-family: arial, helvetica, sans-serif; font-size: 1.1em; font-style: normal; line-height: 1.2em; margin-bottom: 2px; margin-top: 2px;">
<br /></address>
<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;">http://opinionator.blogs.nytimes.com/2012/06/30/is-philosophy-literature/</span></span><br />
<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;"><br /></span></span>
<span style="color: #333333; font-family: georgia, times new roman, times, serif;"><span style="font-size: 18px; line-height: 26.25px;"><br /></span></span></div>
Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-28637883615543251532013-10-31T19:54:00.001-07:002013-10-31T19:54:54.617-07:00<h2>
<span style="color: blue;">Slides- HG 404- Introdução à Lógica</span></h2>
<pre class="western" style="line-height: 0.74cm; margin-bottom: 0.5cm;"><h2>
<span style="font-family: arial;"><span style="font-size: 12pt;"><b><span style="color: blue;">SEMÂNTICA PARA O CÁLCULO DE PREDICADOS DE PRIMEIRA ORDEM</span></b> </span></span></h2>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">(também chamado Lógica de Primeira Ordem, ou
Lógica Elementar, ou
Teoria da Quantificação, ou
CQC)</span></span></span>
<em><span style="color: #444444;"><span style="font-family: arial, sans-serif;"><span style="font-size: small;"><span style="font-style: normal;">Referência: MORTARI</span></span></span></span></em><span style="color: #444444;"><span style="font-family: arial, sans-serif;">, </span></span><em><span style="color: #444444;"><span style="font-family: arial, sans-serif;"><span style="font-size: small;"><span style="font-style: normal;">Cezar</span></span></span></span></em><span style="color: #444444;"><span style="font-family: arial;"><span style="font-size: 12pt;"> </span></span></span><span style="color: #444444;"><span style="font-family: arial, sans-serif;">A., </span></span><em><span style="color: #444444;"><span style="font-family: arial, sans-serif;"><span style="font-size: small;"><span style="font-style: normal;">Introdução</span></span></span></span></em><span style="color: #444444;"><span style="font-family: arial;"><span style="font-size: 12pt;"> </span></span></span><span style="color: #444444;"><span style="font-family: arial, sans-serif;">à </span></span><em><span style="color: #444444;"><span style="font-family: arial, sans-serif;"><span style="font-size: small;"><span style="font-style: normal;">Lógica</span></span></span></span></em><span style="color: #444444;"><span style="font-family: arial, sans-serif;">, Editora da UNESP2001</span></span>
<span style="font-family: arial;"><span style="color: blue; font-size: 12pt;"><b>A) ESTRUTURAS E VERDADE </b></span></span>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">Cap. 10: principais idéias
</span></span></span>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">1) Definição de Verdade (Tarski)</span></span></span>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">2) A noção de Estrutura</span></span></span>
<span style="font-family: arial;"><span style="color: blue; font-size: 12pt;"><b>B) VALIDADE E CONSEQUÊNCIA LÓGICA</b></span></span>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">Cap. 11: principais idéias
</span></span></span>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">1) Validade, contingênca e contradição em primeira ordem</span></span></span>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">2) A noção de consequência semântica</span></span></span>
<span style="font-family: arial;"><span style="color: blue; font-size: 12pt;"><b>C) TABLÔS SEMÂNTICOS PARA FÓRMULAS QUANTIFICADAS </b></span></span>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">1) As regras proposicionais e as 4 regras quantificacionais</span></span></span>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">2) Regra heurística para tentar fechar um tablô: use primeiro as regras F(Qualquer) e V(Existe), e só depois as regras V(Qualquer) e F(Existe),</span></span></span>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">3) Exemplos</span></span></span>
<span style="color: black;"><span style="font-family: arial;"><span style="font-size: 12pt;">4) Alguns tablôs são infinitos</span></span></span>
<span style="font-family: arial;"><span style="color: blue; font-size: 12pt;"><b>D) A INDECIDIBILIDADE DE CQC</b></span></span></pre>
<pre class="western" style="line-height: 0.74cm; margin-bottom: 0.5cm;"><a href="http://tinyurl.com/slides-semantica-1a-ordem-tabl">Slides Semântica de Primeira Ordem e Tablôs Semânticos</a>
</pre>
Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-26148842080372677722013-08-16T09:14:00.000-07:002013-08-16T09:14:48.692-07:00Um caso para o pensamento crítico: A gafe do “boimate” (“boi com tomate”) de VEJA<br />
<div class="western" style="margin-bottom: 0.46cm; margin-top: 0.46cm;">
<strong><span style="color: #222222;"><span style="font-family: Arial, sans-serif;"><span style="font-size: medium;"><span style="font-weight: normal;">Para
meus estudantes de Lógica e Pensamento Critico, interessados em
ver casos reais de bobagem por falta de cuidado em identificar as
fontes. Reproduzido de</span></span></span></span></strong><strong><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="font-weight: normal;">:</span></span></span></span></strong></div>
<div class="western" style="margin-bottom: 0.46cm; margin-top: 0.46cm;">
<strong><span style="color: #222222;">
<span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="font-weight: normal;"><a href="http://www.acidezmental.xpg.com.br/gafe_veja.html">http://www.acidezmental.xpg.com.br/gafe_veja.html</a></span></span></span></span></strong></div>
<h1 class="western" style="margin-bottom: 0.46cm; margin-top: 0.46cm;">
<strong><span style="color: #222222;"> <span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;"><span style="font-weight: normal;">O
caso não é único, vejam também </span></span></span></span></strong><strong><span style="color: black;"><span style="font-family: Arial;"><span style="font-size: 15pt;">O
“boimate” da </span></span></span></strong><strong><span style="color: black;"><span style="font-family: Arial;"><span style="font-size: 15pt;"><i>Folha, </i></span></span></span></strong><span style="color: #313030; font-family: Verdana; font-size: 9pt; line-height: 0.46cm;">Observatório
da Imprensa, Luciano Martins Costa em 22/02/2012 na edição 682</span></h1>
<div align="LEFT" class="western" style="border: none; line-height: 0.46cm; margin-bottom: 0.62cm; padding: 0cm;">
<strong><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="font-weight: normal;">http://www.observatoriodaimprensa.com.br/news/view/o_ldquo_boimate_rdquo_da_lt_i_gt_folha_lt_i_gt</span></span></span></span></strong></div>
<div class="western" style="margin-bottom: 0.46cm; margin-top: 0.46cm;">
<br /><br />
</div>
<table bgcolor="#ffffff" border="0" cellpadding="5" cellspacing="0" style="width: 468px;">
<colgroup><col width="458"></col>
</colgroup><tbody>
<tr>
<td valign="TOP" width="458"></td>
</tr>
<tr>
<td bgcolor="#ac0a12" valign="TOP" width="458">
<div class="western">
<a href="http://www.acidezmental.com/gafe_veja.html"><span style="color: white;"><span style="text-decoration: none;"><span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: medium;"><b>A
REVISTA VEJA, A SABICHONA E A MAIOR GAFE DO JORNALISMO CIENTÍFICO
BRASILEIRO: O CASO DO BOIMATE</b></span></span></span></span></a></div>
</td>
</tr>
<tr>
<td valign="TOP" width="458">
<div class="western" style="margin-bottom: 0.5cm;">
<spacer align="RIGHT" height="260" type="BLOCK" width="302"><img align="BOTTOM" border="0" height="110" name="figura1" src="http://www.acidezmental.xpg.com.br/0imagensKJG/boimate.jpg" width="150" /></spacer></div>
<div class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">O
ano era 1983. A Revista Veja, então com 15 anos de
história, cai no conto da revista inglesa New Science, que em
todo 1° de abril costumava soltar notícias absurdas sobre
descobertas científicas. Naquele ano, a publicação britânica
noticiou a descoberta do “fruto da carne”, derivado da fusão
da carne do boi e do tomate, batizado com o sugestivo nome de
“boimate”.</span></span></div>
<div class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">Para
a Veja, este constituiu-se, sem dúvida, no mais sensacional ”
fato científico” daquele ano e assim publicou uma reportagem na
sua edição de 27 de abril. Na verdade, tratou-se da maior
“barriga” (notícia inverídica) da divulgação científica
brasileira.</span></span></div>
<div class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">O
autor da gafe foi o diretor de redação da revista na época,
Eurípedes Alcântara. Inclusive, ele se tornou uma entidade
mitológica no jornalismo brasileiro. Ele ficou tão empolgado com
a matéria que nem percebeu as pistas que a New Science colocou no
texto. Além da idéia já inicialmente absurda, a revista disse
que a descoberta havia sido feita pelo Dr. McDonald’s
(referência a lanchonete) na Universidade de Hamburgo, Hamburguer
em inglês.</span></span></div>
<div class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">Com
o texto original nas mãos, Eurípides convocou o correspondente
da Veja na Alemanha para repercutir junto a comunidade científica.
Sabendo da tamanha bobagem, ele não aceitou trabalhar nesta
matéria e acabou sobrando para um repórter entrevistar um
engenheiro genético da USP, Ricardo Brentani. No primeiro contato
do repórter, o cientista disse ser impossível tal experiência.
Com a pauta nas mãos e precisando de uma boa declaração, o
repórter insistiu mudando a pergunta para “Mas suponhamos
que…”. O geneticista caiu e estava aí a maior barriga do
jornalismo científico apoiada por alguém da USP.</span></span></div>
<div class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">Dentre
os absurdos da matéria, que você pode ler na íntegra abaixo, o
seguinte trecho: “a experiência dos pesquisadores alemães,
porém, permite sonhar com um tomate do qual já se colha algo
parecido com um filé ao molho de tomate. E abre uma nova
fronteira científica”.</span></span></div>
<div class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">A
descoberta do engano foi feita pelo jornal O Estado de S. Paulo
que, após esperar inutilmente pelo desmentido, resolveu ” botar
a boca no mundo” no dia 26 de junho.</span></span></div>
<div class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">Finalmente,
com o objetivo de pôr fim ao caso que já divertia as redações,
a Veja publicou, na edição de 6 de julho, ou seja, depois de
dois meses, o desmentido: ” tratou-se de lastimável equívoco”.
E justificou-se, explicando que é costume da imprensa inglesa
fazer isso no dia 1º de abril e que, desta vez, havia cabido à
revista entrar no jogo, exatamente no ” seu lado mais
desconfortável”.</span></span></div>
<div class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">Na
edição comemorativa de 30 anos, a Veja publicou uma pequena nota
sobre o caso, leia </span></span><a href="http://veja.abril.com.br/30anos/p_114.html" target="_blank"><span style="color: #ac0a12;"><span style="text-decoration: none;"><span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">aqui</span></span></span></span></a><span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">.</span></span></div>
<div class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">Confira
a matéria na íntegra em um scan da revista original publicado no
blog do </span></span><a href="http://colunistas.ig.com.br/luisnassif/2009/01/24/o-boimate-em-cores/" target="_blank"><span style="color: #ac0a12;"><span style="text-decoration: none;"><span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">Nassif</span></span></span></span></a><span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">.
Detalhe especial para o lide: “Familiarizados com as delicadas
estruturas da células…”</span></span></div>
<div class="western" style="margin-bottom: 0.5cm;">
<br /><br />
</div>
<div class="western" style="margin-bottom: 0.5cm;">
<br /></div>
<div class="western" style="margin-bottom: 0.5cm;">
<img align="BOTTOM" border="0" height="338" name="figura2" src="http://i697.photobucket.com/albums/vv336/gafesdaimprensa/boimatelide.jpg" width="313" /></div>
<div align="CENTER" class="western" style="margin-bottom: 0.5cm;">
<img align="BOTTOM" border="0" height="296" name="figura3" src="http://i697.photobucket.com/albums/vv336/gafesdaimprensa/boinateaomolho.jpg" width="324" /></div>
<div align="LEFT" class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">Agora
destaque para o infográfico da Veja. Além do absurdo, vale a
pena para ver como era feito sem o auxílio de computadores.</span></span></div>
<div align="CENTER" class="western" style="margin-bottom: 0.5cm;">
<img align="BOTTOM" border="0" height="375" name="figura4" src="http://i697.photobucket.com/albums/vv336/gafesdaimprensa/boimategrafico.jpg" width="360" /></div>
<div class="western" style="margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;">Aqui
segue uma carta do leitor publicada na edição seguinte a do
Boimate. Hilário!</span></span></div>
<div align="CENTER" class="western">
<img align="BOTTOM" border="0" height="198" name="figura5" src="http://i697.photobucket.com/albums/vv336/gafesdaimprensa/boimatecarta.jpg" width="368" /></div>
</td>
</tr>
</tbody></table>
<br />
<div class="western">
<strong><span style="color: #222222;"><span style="font-family: arial, sans-serif;"><span style="font-size: 14pt;"><span style="font-weight: normal;"><br /></span></span></span></span></strong></div>
<div class="western" style="background-color: white; margin-bottom: 0.5cm;">
<span style="font-size: 13pt;"><b><span style="font-family: Trebuchet MS, Verdana;">MAIS:</span></b></span></div>
<div class="western" style="background-color: white; margin-bottom: 0.5cm;">
<span style="font-family: Trebuchet MS, Verdana;"><span style="font-size: x-small;"><a href="http://veja.abril.com.br/30anos/p_114.html">http://veja.abril.com.br/30anos/p_114.html</a> na ediçao VEJA coloca a a culpa nos cientistas:</span></span></div>
<div class="western">
</div>
<div class="western" style="background-color: white; margin-bottom: 0.5cm;">
<span style="color: black;">“ <span style="font-family: Times;"><span style="font-size: small;"><i>Depois de ouvir cientistas brasileiros respeitados, VEJA publicou uma reportagem a partir de uma brincadeira de 1 de abril da revista New Scientist...”</i></span></span></span></div>
Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-11226759402687398622013-08-12T08:43:00.002-07:002013-08-21T19:02:33.856-07:00<br />
<span style="color: blue;"><br /></span>
<span style="color: blue; font-family: Times, Times New Roman, serif; font-size: large;">Material para a disciplina <span class="il" style="background-color: #ffffcc;">HG404</span><span style="background-color: white;"> A - Introdução à Lógica, </span></span><span style="background-color: white; color: blue; font-family: Times, 'Times New Roman', serif; font-size: large;">Graduação em Filosofia, IFCH- UNICAMP, 2013.</span><br />
<span style="font-family: Times, 'Times New Roman', serif; font-size: 16px;"><span style="color: blue;"><br /></span></span>
<br />
<h2>
<ul>
<li><span style="font-family: Times, 'Times New Roman', serif;"><span style="color: blue; font-size: large;">Versao preliminar do livro em preparação:</span></span></li>
</ul>
</h2>
<span style="color: blue; font-family: Times, Times New Roman, serif;"><span style="font-size: 16px;"><br /></span></span>
<span style="color: blue; font-family: Times, Times New Roman, serif;"><span style="font-size: large;"> "Lógica Existe Para Todos"</span><span style="font-size: 16px;"> (W. Carnielli, J. Bueno-Soler, M. E. Coniglio)</span></span><br />
<span style="color: blue; font-family: Times, Times New Roman, serif;"><br /></span>
<span style="color: blue; font-family: Times, Times New Roman, serif;"><br /></span>
<span style="color: blue; font-family: Times, Times New Roman, serif;">http://tinyurl.com/logica-existe-paratodos</span><br />
<span style="color: blue; font-family: Times, Times New Roman, serif;"><br /></span>
<br />
<h2>
<ul>
<li><span style="color: blue; font-family: Times, Times New Roman, serif;">Slides sobre "Lógica e Argumentação"</span></li>
</ul>
</h2>
http://tinyurl.com/lmxsrjj<br />
<br />
<span style="color: blue; font-family: Times, Times New Roman, serif;"><span style="background-color: white;">Baseado no livro "</span><span style="background-color: white; line-height: 19px;">Pensamento Crítico: o poder da lógica e da argumentação" (Walter A. Carnielli e Richard L. Epstein Editora: Rideel Edição: 2ª edição (2010) ISBN: 978-85-33914728).</span></span><br />
<span style="background-color: white; line-height: 19px;"><span style="color: blue; font-family: Times, Times New Roman, serif;"><br /></span></span>
<span style="color: blue; font-family: Times, Times New Roman, serif;"><span style="background-color: white; line-height: 19px;"> Sinopse: Este</span><span style="line-height: 22px;"> livro estuda as técnicas de como construir um bom argumento, analisa as discussões sobre o pensamento crítico, frases vagas, afirmações morais, maus argumentos, frases ambíguas entre outras. Em especial, o livro esclarece os vínculos entre a teoria da argumentação e a lógica contemporânea.</span></span><br />
<span style="color: blue; font-family: Times, Times New Roman, serif;"><span style="line-height: 22px;"><br /></span></span>
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="http://imagens2.estantevirtual.com.br/imagens/capas/82238999.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://imagens2.estantevirtual.com.br/imagens/capas/82238999.jpg" /></a></div>
<span style="color: blue; font-family: Times, Times New Roman, serif;"><span style="line-height: 22px;"><br /></span></span>
<span style="color: #333333; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px; line-height: 22px;"><br /></span>Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-6510658635905399572013-01-27T07:32:00.001-08:002013-01-27T07:32:32.966-08:00Review on "Dual Tableaux: Foundations, Methodology, Case Studies"Review on "Dual Tableaux: Foundations, Methodology, Case Studies" (authors: Ewa Orlowska and Joanna Golinska-Pilarek), Springer, 2011
This is my recent review on the book about "dual tableaux" by Ewa Orlowska and Joanna Golinska-Pilarek (in a few words: good book, but I had some gentle criticisms on the real nature of dual tableaux and on the scope of the results:
Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8
Available as 'Online First' on SpringerLink:
http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s11225-013-9467-6
Since Springer is charging the fortune of EURO 159,99 for the 4-pages review, I am here making freely available the draft version (almost identical to the published version):
http://dl.dropbox.com/u/6465890/Reviews/Carnielli_Dual%20Tableaux-%20Foundations%2C%20Methodology%2C%20Case%20Studies.pdf
Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-27461792385147668342011-09-16T16:02:00.000-07:002011-09-16T16:13:32.684-07:00<b>Como aplicar o paradigma paraconsistente com sucesso?</b>
Muitas vezes percebemos intuitivamente que uma situação (uma teoria,
ou uma certa área intelectual) tem uma certa "vocação" paraconsistente,
ou poderia ser melhor vista do ponto de vista paraconsistente.
Mas como explicar isso, ou mesmo expressar este ideia em termos formais?
No artigo a seguir, com Martin Caminada e Paul Dunne propomos três postulados
necessários (mas não suficientes) para que uma abordagem possa ser repensada como
paraconsistente. Isos abre as portas para uma vasta gama de aplicações do
paradigma paraconsistente, que me parece algo que a comunidade pesegue há bastante
tempo. Damos três exemplos ilustrativos: argumentação abstrata (com diagramas), programação lógica e lógica de default.
"Semi-stable semantics"
Caminada, M. W. A., Carnielli, W. A., Dunne, P. E.
<a href="http://logcom.oxfordjournals.org/">Journal of Logic and Computation</a>
Advance Access 10.1093/logcom/exr033
First published online: September 14, 2011
<b>Discussion/abstract</b>
In this article, we have stated three postulates (non-interference, crash resistance and backward compatibility) that aim to capture necessary properties for the notion of paraconsistency. That is, our aim is to describe what it means for a formalism to be a paraconsistent version of another formalism. This makes it possible to meaningfully apply paraconsistency to a whole range of formalisms that are fundamentally different to classical logic, which has traditionally been the main focus of paraconsistency. To illustrate the applicability of these postulates outside of the domain of classical logic, we show how they can be satisfied with respect to three non-classical formalisms:
abstract argumentation, logic programming and default logic.
Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-32723539103205085132011-06-23T11:15:00.000-07:002011-06-23T11:25:54.561-07:00Empresas para escrever artigos, escrever relatórios, demonstrar teoremas e inventar conjecturasFiquei estarrecido com o artigo ``Escreva bem ou pereça- Cursos e serviços ajudam pesquisadores a redigir um bom trabalho científico''<br />publicado em PESQUISA FAPESP, n. 162, abril de 2011, pp. 34-42.<br /><br /><br />O artigo está diponível aqui:<br />http://dl.dropbox.com/u/6465890/PESQUISA%20FAPESP-%20Escreva%20bem%20ou%20perecca.pdf<br /><br />No artigo, a FAPESP faz uma descarada publicidade para a empresa Publicase, que tem como sócias as biólogas Marcia Triunfol Elblink e Andrea Kaufmann-Zeh, as quais foram editoras de ``Science'' e ``Nature''. ``Nature'' é publicada pela Nature Publishing Group, uma divisão da Macmillan Publishers Limited:<br /><br />http://www.nature.com/nature/index.html<br /><br /> <br />e ``Science'' é publicada pela HighWire Press, associada à American Association for the Advancement of Science:<br /><br />http://www.nature.com/nature/index.html.<br /><br />É claro que todos devemos aprender, e ensinar, como redigir bem, escolher bem as referências, colocar os resultados da melhor maneira possível, <br />mostrar a relevância dos resultados, etc., etc. Isso vale para artigos teses, monografias, e tudo o mais que se escreve-- inclusive é usual que se paguem revisores em língua estrangeira, ou mesmo ajuda para editar textos. Mas pagar uma empresa que escolha os tópicos da pesquisa, e que atue quase em co-autoria, me parece um absurdo tão grande comop pagar um maratonista premiado que me empurre na Maratona de Nova Iorque e querer o troféu! <br /><br />Sim, porque ao ensinar, como redigir bem, escolher bem as referências, colocar os resultados da melhor maneira possível, <br />mostrar a relevância dos resultados, etc., o objetivo é que a futuro cientista aprenda a fazer isso sozinho!<br /> <br />O texto da FAPESP, na página 36, quase dá a tabela de preços do ``serviço prata'' e do ``serviço ouro'': <br /> <br />``Desde 2008, a Nature Publishing Group (NPG), editora que publica a revista Nature, disponibiliza um serviço de edição de papers. O NPG<br />Language Editing é dividido em duas categorias. No serviço ouro, o texto é retrabalhado por dois editores especialistas no assunto e revisto por outros dois profissionais. No serviço prata, há um editor a menos no processo. A NPG não faz traduções – e deixa claro que o serviço não implica compromisso de<br />aceitação do artigo pelas revistas da editora. Outro exemplo é a empresa norte- -americana American Journal Experts (AJE), que reúne uma rede de doutores em vários campos do conhecimento. A AJE começou a operar em 2004. ``<br /> <br /> <br /> E continua, na p. 38:<br /> <br />``A Unicamp prepara reforços na estratégia de aperfeiçoar as habilidades de redação científica de pesquisadores. Nesse ano, vai oferecer<br />novos workshops com a Publicase e um seminário com Carl Schwarz, diretor da editora Elsevier, para atingir estudantes de pós-graduação.''<br /><br />De fato a UNICAMP já fez isso em maio de 2011: foi promovido um certo ``Seminário para Autores e Revisores- Como publicar artigos em periódicos internacionais”, no Auditório DGA da UNICAMP, em 04 de maio de 2011, 10h.<br /><br />Os palestrantes, cujo preço não sabemos, mas cujo custo somado em pelo menos passagens e diárias assustaria a maior dos pesquisadores que recebem no máximo R$ 4.000,00 por ano, sujeitos a atrozes burocratas, para gastar com viagens e pesquisa, foram Rose Olthof formada em matemática aplicada na Erasmus University de Rotterdam e com mestrados em Literatura Inglesa e Ciência Literária. Atualmente cursando o MBA na Rotterdam School of Management, e Carl Schwarz formado em física pela Utrecht University. Ambos trabalharam (ou talvez ainda trabalhem) para a Elsevier.<br /><br />Nenhum deles com doutorado ou com carreira acadêmica-- ou seja, a UNICAMP paga a estas pessoas para ``ensinar'' seus professore, inclusive titulares , como ser revisores e como publicar artigos, ao invés de buscar nos seus quadros os cientistas que são editores e revisores internacionais há anos!<br /><br />Ao invés s de melhorar as revistas que temos, os recursos da FAPEPS agora irão para melhorar o nível dos artigos das revistas da Elsevier, da Science e sa Nature, que depois serão bem indexados pela Web of Science da Thomson Learning, o que vai melhorar o desempeho das ações da Macmillan Publishers Limited Group, da HighWire Press, da Elsevier e da própria Thomson Learning na bolsa de NY!<br /><br />Será que a FAPESP vai também liberar recursos para pagar gente boa para fazer aqueles procedimentos chatos de laboratório, demonstrar teoremas e propor conjecturas? E para escrever relatórios? Estou procurando sócios para a empresa PROOFCASE, e para a REPORTCASE!Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com3tag:blogger.com,1999:blog-558781128685380482.post-15686215946259270522011-04-16T06:14:00.000-07:002011-04-16T06:48:42.639-07:00Cono se iniciou a lógica polivalente?Os sistemas de lógica polivalente (ou multivalente) partem do princípio de que pode haver mais de dois valores de verdade; estes podem ser verdade, falsidade, e meia-verdade, ou mesmo diversos (finitos ou infinitos) graus de aproximação entre verdade e falsidade. Até aí, nada de espantoso; o mais interessante e difícil é de fato *construir* lógicas que operem dessa forma.<br /><br />Pois bem,; dizem as mal-informadas línguas (ou copiam de quem diz) que Jan Lukasiewics teria "iniciado" o estudo das lógicas multivalentes ao tentar (com sucesso discutível) uma saída filosófica honrosa para o problema dos futuros contingentes de Aristóteles.<br /><br />Fans de Charles Peirce, o "Aristóteles americano" (!!), clamam que sua lógica trivalente, anterior à de Lukasiewicz, teria sido o início do movimento multivalorado. Outros buscam tal origem em MacColl, Vasil'ev e Post, e até em Kleene.<br /><br />Defendo, ao contrário, que quem de fato indicou o movimento na direçao dos valores de verdade como elementos reais, e não artifícios "ad hoc", foi Paul Bernays. No artigo <br /><br />"<span style="font-weight:bold;">Paul Bernays and the eve of non-standard models<br />in logic</span>"<br /><br />disponível em<br />http://dl.dropbox.com/u/6465890/Introducao%20aa%20Logica/On%20Paul%20Bernays.pdf<br /><br />argumento que Bernays olhava os valores de verdade como elementos necessários a partir de suas provas de independência dos axiomas do Principia Mathematica de Whitehead e Russell. Bernays trabalhava na direção dos geômetras, que não "inventam" retas distorcidas para tentar resolver pendengas, mas chegam a elas quase que de forma necessária a partir da noção do que chamo de "espaço lógico", ou seja, de ampliar os horizontes para evidenciar propriedades antes invisíveis, como a independência do 5. Postulado de Euclides. Detalhes no artigo, que vai sair na <span style="font-style:italic;">Anthology on Non-Classical Logics</span> (Birkhauser).<br /><br />A briga com os devotos dos santos de plantão, notadamente de Peirce e Lukasiewicz, já está lançada...Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-59833369542939184992011-02-25T19:09:00.000-08:002011-02-25T19:18:06.815-08:00Duas novas resenhasAcabo de terminar duas trabalhosas resenhas, sobre dois livros bem diferentes:<br /><br />2) Davide Bondoni sobre Ernst Schröder e suas "Operações do Cálculo Lógico" (<br /><br />"Parafrasi Schröoderiane, ovvero Ernst Schröder- Le operazioni del Calcolo Logico" em italiano), que vai sair no Logic and Logical Philosophy,<br /><br />link direto:<br />http://dl.dropbox.com/u/6465890/Reviews/Review%20Davide%20Bondoni.pdf<br /><br />e <br /><br />2) Dov M. Gabbay, Valentin Shehtman e Dmitrij Skvortsov, "Quantification in Nonclassical Logic", Elsevier, 2009, esta para oo Mathematical Reviews,<br /><br /> <br />link direto:<br />http://dl.dropbox.com/u/6465890/Reviews/Review%20%20MR%20%20Gabbay%20et%20allia.pdfWalter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-82650078973773027962011-02-21T18:51:00.000-08:002011-02-21T18:53:35.987-08:00Disciplina HF001 - Introdução à Lógica<span style="font-weight:bold;">Disciplina de Pós-Graduação- Curso de Filosofia, IFCH-UNICAMP<br /><br />Primeiro semestre de 2011<br /></span><br /><br />Disciplina HF001 - Introdução à Lógica<br />Programa:<br />1. Introdução: histórico e paradoxos.<br />2. Linguagens formais: indução e recursão estrutural.<br />3. Semântica dos conectivos clássicos.<br />4. Formas normais. Conjuntos adequados de conectivos.<br />5. Conseqüência semântica.<br />6. Sistemas axiomáticos: axiomática para a lógica proposicional clássica.<br />7. Teoremas de correção, de completude e de compacidade.<br />8. Outros métodos de prova: tablôs, seqüentes, dedução natural.<br />9. Linguagens de primeira ordem. Estruturas de primeira ordem.<br />10. Axiomatização da lógica de predicados. Completude e compacidade. Aplicações.<br />11. Tablôs, seqüentes e dedução natural para lógica de primeira ordem.<br />12. Teoremas de Compacidade e Löwenheim-Skolem <br />13. As limitações da lógica de primeira ordem. <br />14. Lógica de segunda ordem.<br />15. Caracterização da lógica de primeira ordem: o Teorema de Lindström <br />Ementa:<br />Curso introdutório de lógica clássica, abordando primeiramente o cálculo proposicional clássico e apresentando as principais técnicas da lógica formal. Estudo detalhado do cálculo de predicados clássico, com exemplos de teorias de primeira ordem. Análise dos teoremas principais: completude, compacidade, Lowenhëim-Skolem e o o Teorema de Lindström.<br /><br /><br /><br /><br />Bibliografia:<br />Principal:<br />Canielli, W. A; Coniglio, M.E.; Bianconi, R. Lógica e aplicações: Matemática, Ciência da Computação e Filosofia (versão Preliminar, incluindo Teorema da Completude para lógica de primeira ordem). Disponível em: http://www.cle.unicamp.br/prof/coniglio/teaching.htm.<br /><br />Ebbinghaus, H.D.; Flum, J.; e Thomas, W., Mathematical Logic. Springer Verlag, segunda edição (1996).<br /><br />Secundária<br />Kleene, S.C., Introduction to Metamathematics. John Wiley & Sons, Inc. (1967).<br /><br />Mendelson, E., Introduction to Mathematical logic. International Thomson Publishing, quarta edição (1997).<br /><br />Schoenfield, J.R. Mathematical Logic. Addison-Wesley Publishing Company (1967)<br /><br />Smullyan, R., First-Order Logic. Springer Verlag (1968).<br /><br />Smullyan, R. Lógica de Primeira Ordem, (Traducão de Andrea Loparic, Rene P. Mazak e Luciano Vicente). Editora UNESP, 2009Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-26538226723030876222011-02-21T18:44:00.001-08:002011-02-21T18:48:43.557-08:00Aspectos filosóficos e conceituais das lógicas não-clássicas<p class="western" style="margin-bottom: 0cm; color: rgb(153, 0, 0);" align="CENTER"><span style="font-size:180%;"><span style="font-family:Times New Roman, serif;"><b>Disciplina Graduação- Curso de Filosofia, IFCH-UNICAMP</b></span></span></p><p class="western" style="margin-bottom: 0cm;" align="CENTER"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;"><b><span style="color: rgb(153, 0, 0);font-size:180%;" >Primeiro semestre de 2011</span><br /></b></span></span></span></p><p class="western" style="margin-bottom: 0cm;" align="CENTER"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;"><b><br /></b></span></span></span></p><p class="western" style="margin-bottom: 0cm;" align="CENTER"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;"><b><br /></b></span></span></span></p><p class="western" style="margin-bottom: 0cm;" align="CENTER"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;"><b>Aspectos filosóficos e conceituais das lógicas não-clássicas</b><br /><br />Nível:Graduação<br />Disciplina: HG903 A- Tópicos Especias de Filosofia da Lógica I<br /><br /> Professor: Walter A. Carnielli<br /> Monitor (PED): Samir Bezerra Gorsky<br /><br /> Ementa: </span></span></span> </p> <p class="western" style="margin-bottom: 0cm;"><br /></p> <p class="western" style="margin-bottom: 0cm;"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;">Abordaremos as motivações histórico-filosóficas bem como as características formais e estruturais dos principais sistemas de lógica não-clássica, incluindo conceituali-zação, axiomatização, semântica e meta-teoremas a respeito de alguns sistemas de lógica intuicionista, modal, polivalente e paraconsistente. Os tópicos serão tratados de maneira introdutória, porém rigorosa.<br /><br /> Programa<br /><br /> 1. Introdução<br /> 2. Lógica modal<br /> 2.1. Motivações histórico-filosóficas<br /> 2.2. Sistemas normais. Axiomatização e principais teoremas<br /> 2.3 Semânticas de Kripke<br /> 2.4 Alguns meta-teoremas<br /><br /> 3. Lógica Intuicionista<br /> 3.1. Motivações histórico-filosóficas<br /> 3.2. Álgebra de Heyting, axiomatização e principais teoremas<br /> 3.3 Semânticas de Kripke e semântica topológica<br /> 3.4 Alguns meta-teoremas<br /><br /><br /> 4. Lógica Paraconsistente<br /> 4.1. Motivações histórico-filosóficas<br /> 4.2. Taxonomia das lógicas paraconsistentes e principais teoremas<br /> 4.3 Semânticas de valorações e semânticas de traduções possíveis<br /> 4.4 Alguns meta-teoremas<br /><br /><br /> 5. Lógicas polivalentes<br /> 5.1. Motivações histórico-filosóficas<br /> 5.2. Axiomatização e principais teoremas<br /> 5.3 Semânticas tabulares<br /> 5.4 Alguns meta-teoremas<br /> 6. Discussão e significado: a lógica contemporânea<br /><br />Bibliografia Básica<br /><br />L. E. J. Brouwer. 1912, “Intuitionism and Formalism,” Tradução em<br />íngua inglesa de A. Dresden, Bull. Amer. Math. Soc. 20 (1913): 81–96, republicado em Benacerraf e Putnam (eds.) 1983: 77–89.<br /><br />Patrick Blackburn, Maarten de Rijke, e Yde Venema. Modal Logic. Cambridge,<br />2001.<br /><br />Walter Carnielli e Claudio Pizzi. Modalities and Multimodalities.<br />Logic, Epistemology, and the Unity of Science. Vol. 12. Springer, Amsterdam, 2008.<br /><br />Walter Carnielli, Marcelo E. Coniglio e João . Marcos. Logics of Formal Inconsistency. In: Handbook of Philosophical Logic, vol. 14, pp. 15–107. Eds.: D. Gabbay; F. Guenthner. Springer, 2007. </span></span></span> </p> <p class="western" style="margin-bottom: 0cm;"><br /></p> <p class="western" style="margin-bottom: 0cm;"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;">Disponível nos CLE e-Prints Vol. 5(1), 2005 </span></span></span> </p> <p class="western" style="margin-bottom: 0cm;"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;">ftp://logica.cle.unicamp.br/pub/e-prints/vol.5,n.1,2005-revised.pdf<br /><br />Susan Haack. Filosofia das lógicas. Tradução de Cezar Augusto Mortari e<br />Luiz Henrique de AraújoDutra. São Paulo: Editora UNESP, 2002.<br /></span></span></span> </p> <p class="western" style="margin-bottom: 0cm;"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;">Sítios Internet</span></span></span></p> <p class="western" style="margin-bottom: 0cm;"><br /></p> <p class="western" style="margin-bottom: 0cm;"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;">Joan Moschovakis. 'Intuitionistic Logic' . Stanford Encyclopedia of Philosophy<br /><a href="http://plato.stanford.edu/entries/logic-intuitionistic/" target="_blank">http://plato.stanford.edu/entries/logic-intuitionistic/</a> </span></span></span> </p> <p class="western" style="margin-bottom: 0cm;"><br /></p> <p class="western" style="margin-bottom: 0cm;"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;">Siegfried Gottwald. 'Many-Valued Logic' .<br />Stanford Encyclopedia of Philosophy<br /><a href="http://plato.stanford.edu/entries/logic-manyvalued/" target="_blank">http://plato.stanford.edu/entries/logic-manyvalued/</a> </span></span></span> </p> <p class="western" style="margin-bottom: 0cm;"><br /></p> <p class="western" style="margin-bottom: 0cm;"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;">Walter Carnielli e Marcelo E. Coniglio. 'Combining Logics'.</span></span></span></p> <p class="western" style="margin-bottom: 0cm;"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;">Stanford Encyclopedia of Philosophy</span></span></span></p> <p class="western" style="margin-bottom: 0cm;"><span style="color:#000000;"><span style="font-family:Times New Roman, serif;"><span style="font-size:130%;"><a href="http://plato.stanford.edu/entries/logic-combining">http://plato.stanford.edu/entries/logic-combining</a>/</span></span></span></p> <p class="western" style="margin-bottom: 0cm;"><br /></p>Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-81752832334268679952011-02-03T16:08:00.000-08:002011-02-03T16:22:02.112-08:00Como demonstar em lógicas modais manuseando polinômiosUma das ideias mais interessantes que me ocorreu foi tratar expressões lógicas por meio<br />de polinômios formais sobre corpos finitos. Mostrei que isso pode ser feito com lógicas polivalentes<br />finitárias em geral (incluindo a lógica clássica, obviamente), com lógicas paraconsistentes, e com o fragmetno monádico da lógica de primeira ordem. Recetnemente, com meu ex-estudante Juan Calos Agudelo, agora professor<br />em Bogotá, Colômbia, mostramos que várias lógicas modais podem ser tratadas por meio de polinômnios,<br />inclusive (por meio da conhecida tradução de Gödel) a lógica intuicionista.<br /><br />O artigo "Semantics and Proof Method for Modalities" (Juan Carlos Agudelo e Walter Carnielli) vai sair no "The Review of Symbolic Logic", e já apareceu online:<br /><br />The Review of Symbolic Logic<br />doi: 10.1017/S1755020310000213<br />Published online: 14 Set 201<br /><br />----------------------------------------------------------<br />Abstract<br /><br />A new (sound and complete) proof style adequate for modal logics is defined from the polynomial ring calculus (PRC). The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra–Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S5, and can be easily extended to other modal logics.<br />----------------------------------------------------------Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-80551500980915723022007-02-19T07:57:00.000-08:002007-02-19T08:16:49.067-08:00Estará a computação quântica "passando por cima" do problema P = NP?Recentemente a empresa canadense D-Wave Systems Inc.<br />(dwavesys.com) realizou um teste com o "primeiro" computador<br />quântico de verdade, chamado "Orion", com 16 qubits (um "qubit"<br />é um "bit quântico") e que poderia ser produzido em escala.<br />Veja detalhes <a href="http://info.abril.uol.com.br/aberto/infonews/022007/15022007-3.shl">aqui</a>.<br /><br />O <a href="http://www.dwavesys.com/index.php?mact=News,cntnt01,detail,0&cntnt01articleid=4&cntnt01origid=15&cntnt01returnid=21">anúncio</a> da própria empresa, porém, provoca um erro grave<br />(certamente querendo elevar o preço das ações) ao inventar:<br /><br />"Quantum-computer technology can solve what is known as<br />“NP-complete” problems. "<br /><br />Isso é falso. Na verdade, nem o que o "Orion" pode fazer, nem o<br />que o famoso "Algoritmo de Shor" para fatorar números inteiros<br />faz, sequer chega perto da questão "P =?NP".<br /><br />Primeiro é essencial definir o que seria a "complexidade de um<br />computador quântico". A classe de problemas que um computador<br />quântico pode resolver eficientemente é chamada "classe BQP",<br />acrônimo para "bounded error quantum in polynomial time".<br /><br />Conforme Michael Nielsen e Isaac Chuang, "Quantum Computation<br />and Quantum Information". Cambridge: Cambridge University Press,<br />(2000), ISBN 0-521-63503-9, a classe BQP é definida como a<br />classe de problemas solúveis em tempo polinomial (relativo aos<br />dados da entrada do problema) cuja probabilidade de erro é<br />limitada por um certo fator.<br /><br />O problema da fatoração resolvido pelo algoritmo de Shor e as<br />façanhas do "Orion" estão certamente fora da classe P (isto é,<br />da classe dos problemas solúveis em tempo polinomial por uma<br />máquina de Turing determinística).<br /><br />Contudo, é importante notar que o problema da fatoração de inteiros<br />não é (ou pelo menos nunca foi demonstrado ser) NP-completo: veja<br />"<a href="http://en.wikipedia.org/wiki/Integer_factorization#Difficulty_and_complexity">Integer factorization</a>" da Wikepedia<br /><br />Suspeita-se, mas parece que não se sabe, que estes problemas<br />estariam fora da classe BPP (isto é, da classe dos problemas<br />solúveis por uma máquina de Turing probabilística (não-determinística) <br />com erro limitado.<br /><br />Pois bem: a classe BQP, onde estão os problemas os quais um<br />computador quântico pode resolver eficientemente, não é a mesma<br />coisa que a classe dos problemas NP-completos (nem se sabe se<br />são classes disjuntas ou não).<br /><br />Dessa forma, é um erro imaginar que computadores quânticos podem<br />resolver problemas NP-completos, ou mesmo "passar por cima" da<br />questão "P =? NP".<br /><br />Os computadores quânticos não podem fazer nada a mais do que os<br />clássicos podem fazer: uma máquina de Turing pode simular<br />perfeitamente um computador quântico (pelo menos os tratados na<br />literatura atualmente).<br /><br />Temos então as seguintes conclusões:<br /><br />1) Um computador quântico não pode resolver nenhum problema que<br />uma máquina de Turing não possa resolver (por exemplo, não<br />poderão passar a barreira do "Problema da Parada" de Turing,<br />(ver o capítulo 14 de Walter Carnielli e Richard L. Epstein, "<a href="http://www.editoraunesp.com.br/titulo_view.asp?IDT=51">Computabilidade, <br />funções computáveis, lógica e os fundamentos da Matemática</a>"<br />Editora da UNESP, 2006, ISBN: 85-7139-650-7).<br /><br />2) Consequentemente, um computador quântico não pode levar a<br />nenhuma objeção filosófica contra a Tese de Church (ver discussão<br />sobre a Tese de Church no Capítulo 24 de "Computabilidade...”).<br /><br />O que pode acontecer então com a computação quântica? Na verdade,<br />mesmo sem tocar nas questões de fundamentos da computabilidade, o<br />algoritmo Shor, se implementado num computador mais potente<br />como o "Orion", pode levar a quebrar os códigos de criptografia<br />de chave pública como o famoso RSA (porque o RSA se baseia no<br />produto de dois primos muito grandes, e portanto quem souber<br />fatorar rapidamente quebra os códigos!)<br /><br />Recentemente postamos (meu estudante de Doutorado Juan Carlos<br />Agudelo e eu) um artigo ousado, "Quantum Computation via<br />Paraconsistent Computation" (Juan C. Agudelo e Walter Carnielli)<br />que acabamos de postar em "<a href="http://arXiv.org/abs/quant-ph/0607100">arXiv</a>".<br /><br />Tratamos das "Máquinas de Turing Paraconsistentes" e mostramos<br />como estas podem simular algoritmos quânticos, resolvendo alguns<br />problemas lógicos do paralelismo quântico. É interessante notar<br />que as "Máquinas de Turing Paraconsistentes" resolvem alguns<br />problemas em tempo exponencialmente mais rápido que as máquinas<br />de Turing determinísticas usuais. Mas nunca tocamos diretamente<br />na questão "P =? NP".<br /><br />O que sugerimos é que esta tenebrosa questão possa ser vista como "lógico<br />dependente", no sentido em que a solução da questão possa<br />passar pela lógica, e não só pela análise de algoritmos. Se assim<br />for, pode-se esclarecer o fato de tal questão ser independente<br />do "status" atual da computação, como alguns cientistas pensam.Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-13435435408901687732007-02-13T21:35:00.000-08:002007-02-13T22:19:36.355-08:00Entrada " Set Theory " na Stanford Encyclopedia of PhilosophyA entrada, assinada por Thomas Jech, traz uma excelente descrição do estado da arte dos conjuntos, as principais questões técnicas e as questões filosóficas relacionadas.<br />Leia <a href="http://plato.stanford.edu/entries/set-theory/">aqui</a>.Walter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0tag:blogger.com,1999:blog-558781128685380482.post-24970059171852306412007-02-13T19:58:00.000-08:002007-02-13T22:14:04.088-08:00Meu curso de Teoria dos Conjuntos (Doutorado em Filosofia/Logica, IFCH. UNICAMP)HF005 Teoria de Conjuntos I, turma A<br />Prof. Walter Carnielli<br /><br />Segundas-feiras, 14h às 18h<br />CLE, sala 211<br /><br /> <br /><br /><blockquote>Ementa:</blockquote><br /><br />Disciplina introdutória sobre a teoria axiomática dos conjuntos, <br />partindo de uma visão geral da teoria intuitiva (ingênua) da noção de <br />conjuntos até um estudo detalhado da axiomática de Zermelo-Fraenkel <br />(ZF) e seu papel na fundamentação e na filosofia da matemática. Inclui <br />ordinais, cardinais, indução e recursão transfinita, o Axioma da Escolha <br />e a Hipótese do Contínuo e seu estatuto filosófico<br /><br />Programa:<br />1. Histórico. Teoria ingênua dos conjuntos e seus problemas.<br />2. Os axiomas básicos de ZF. Produtos cartesianos. Funções e relações.<br />3. Relações de ordem. Relações de equivalência.<br />4. Funções em ZF. Equipolência.<br />5. Conjuntos finitos e infinitos.<br />6. Outros axiomas de ZF.<br />7. Introdução aos ordinais.<br />8. Indução e recursão transfinita. Aplicações.<br />9. Aritmética ordinal.<br />10. Cardinais.<br />11. Aritmética cardinal.<br />12. A Hipótese do Contínuo e o Axioma da Escolha<br />13. O Axioma da Fundacionalidade e o Axioma da Construtibilidade<br />14. AS questões da consistência e independência:<br />15. Teoria dos conjuntos e os fundamentos da matemática<br /><br />Bibliografia:<br />Primária<br /><br />Hrbacek, Karel Jech, Thomas <br />Introduction to set theory.<br />Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, Inc., New York, terceira edição (1999) <br />ISBN: 0-8247-7915-0<br /><br />Auxiliar<br />- Coniglio, M.E., Teoria Axiomática de Conjuntos: uma Introdução. Notas <br />de aula. Disponível <a href="http://www.cle.unicamp.br/prof/coniglio/CONJUN.pdf">aqui</a>.<br /><br /><br />- Di Prisco, C.A., Una Introducción a la Teoría de Conjuntos, Coleção <br />CLE,vol. 20, UNICAMP (1997).<br /><br />- Enderton, H.B., Elements of Set Theory. Academic Press (1977).<br /><br />- Devlin, K., The Joy of Sets: Fundamentals of Contemporary Set Theory <br /> Springer; 2 edição (1993) ISBN-13: 978-0387940946<br /><br />- Suppes, P., Axiomatic Set Theory. Dover (1972).<br /><br /><br /> Calendário<br /><br />Março <br />05 – Conjuntos, Axiomas e Operações sobre Conjuntos: Cap. 1 (pp. 1-15)<br />12 – Pares Ordenados, Relações e Funções: Cap. 2, seções 1,2,3 (pp. 17-29)<br />19 – Partições e Ordem: Cap.2, seções 4, 5 (pp. 29-38) <br /> + Números Naturais: Cap.3, seção 1 (pp. 39-42)<br />26 – Propriedades dos Naturais, Recursão e Aritmética: Cap 3, seções 2, 3, 4 <br /> (pp. 42-54)<br /><br />Abril<br />02 – Estruturas: Cap 3, seção 5 (pp. 55-61) + Cardinalidade, Conjuntos Finitos e <br /> Enumeráveis: Cap 4, seções 1, 2, 3 (pp. 65-79)<br />09 – Ordens Lineares, Ordens Completas e Conjuntos Não-Enumeráveis: <br /> Cap. 4, seções 4, 5, 6 (pp. 79-92)<br /><br />16 – Aritmética Cardinal: Cap. 5, seções 1, 2 (pp. 93-101)<br />23 – Primeira prova<br /><br />Maio <br />07 – Ordinais e o Axioma da Substituição: Cap. 6, seções 1, 2,3 (pp. 103-114)<br />14 – Indução Transfinita e Aritmética Ordinal: Cap. 6, seções 4, 5 (pp. 114-123)<br />21 – Os Alephs: Cap. 7, seções 1, 2 (pp. 129-136)<br />28 – O Axioma da Escolha: Cap. 8, seção 1 (pp. 137-144)<br /><br />Junho<br />04 – Aprofundando a Aritmética dos Cardinais: Cap. 9, seções 1, 2, 3 (pp. 155-169)<br /><br />Tópicos adicionais: <br /><br />11 - O Axioma da Fundacionalidade: Cap. 14, seções 1, 2, 3(pp. 251-262)<br />18- Consistência e Independência: A Hipótese do Contínuo, o Axioma da Escolha <br /> e o Axioma da Construtibilidade: Cap. 14, seção 2 (pp. 270-277)<br />25 - Reserva<br /><br />Julho<br />02 -Segunda provaWalter Carniellihttp://www.blogger.com/profile/11768813315213790903noreply@blogger.com0