Novos artigos do Logic Journal of the IGPL - Vol. 22, No. 6 - December 2014

Saiu o número mais recente do Logic Journal of the IGPL. Um dos Editors in Chief deste journal é o meu orientador de mestrado, Ruy de Queiroz.

De todos os artigos, os mais interessantes para mim parecem ser os três abaixo. O primeiro, por Marcelo Coniglio ter sido meu professor na Unicamp e por eu ter trabalhado com Lógicas de Inconsistência Formal na minha tese de doutorado. O segundo por estar relacionado a tablôs, com que também trabalhei na minha tese. E o terceiro por relacionar lógica a classes de complexidade.

Logics of formal inconsistency arising from systems of fuzzy logic

Marcelo E. Coniglio, Francesc Esteva, and Lluís Godo

Logic Jnl IGPL 2014 22: 880-904

Link: http://jigpal.oxfordjournals.org/content/22/6/880.abstract?etoc

A tableaux-like method to infer all minimal keys

P. Cordero, M. Enciso, A. Mora, and I. Pérez de Guzmán

Logic Jnl IGPL 2014 22: 1019-1044

Link: http://jigpal.oxfordjournals.org/content/22/6/1019.abstract?etoc

Logics for complexity classes

Vladimir Naidenko

Logic Jnl IGPL 2014 22: 1075-1093

Link: http://jigpal.oxfordjournals.org/content/22/6/1075.abstract?etoc

Maratona de Latex

A Carolina Blasio (aluna de Doutorado do CLE-UNICAMP) recentemente ministrou um curso de Latex e disponibilizou um bom material.

Os links e as mensagens originais dela vão abaixo:

Caros colegas e professores,

Disponibilizo aqui o material da  "maratona de LaTeX" que tivemos aqui no CLE hoje à tarde.

Divirtam-se e escrevam (bons e) lindos documentos!

(E, por favor, abandonem o Power Point!!!)

https://dl.dropboxusercontent.com/u/10465507/latex/Aula00.pdf

https://dl.dropboxusercontent.com/u/10465507/latex/Aula01.pdf

https://dl.dropboxusercontent.com/u/10465507/latex/Aula02.pdf

Abraços lógicos,

Carol

===

Fiquei bastante contente em saber que tem um grupo de colegas da filosofia que quer aprender LaTeX! Espero poder ajudar com o caminho das pedras!

Para melhor aproveitamento recomendo alguns preparativos:

* Como a aula é prática, será importante levar seu notebook com os programas necessários instalados (confira o passo-a-passo abaixo).

* Para editar documentos em LaTeX são necessários instalar uma distribuição e um editor. 

A distribuição compatível com seu sistema operacional e as instruções de instalação você encontra aqui: http://latex-project.org/ftp.html)​.

Quem usa o Linux terá que instalar o TeXLive, para Windows o  proTeXt, e o para Mac o MacTeX.

Depois disso, será necessário instalar também um editor. Existem editores para todo os gostos! Escolha o que você se sentir mais a vontade. Mas se você não conhece nenhum, recomendo começar com estes mais populares:

Linux: Kile. http://kile.sourceforge.net/  (em geral, já vem instalado no Ubuntu);

Windows: TexnicCenter. Para instalar siga o passo-a-passo deste tutorial: http://jeec.ist.utl.pt/jeec13/MiKTeX.pdf,

instale também o o leitor de .ps e .pdf  Sumatra http://blog.kowalczyk.info/software/sumatrapdf/download-free-pdf-viewer-pt.html;

Mac: TeXShop. http://pages.uoregon.edu/koch/texshop/index.html

*Para verificar se tudo está funcionando corretamente copie e cole o seguinte texto no editor:
ftp://www.ctan.org/tex-archive/macros/latex/base/sample2e.tex , salve e
depois compile  para gerar um arquivo .pdf

Se o documento não abrir automaticamente, verifique na pasta onde você salvou o documento sample2e.tex se apareceu um novo um documento de nome sample2e.pdf .

Tudo pronto!?

*Não deixe para a aula suas dúvidas sobre a instalação, pois teremos pouco tempo! Estou no CLE o tempo inteiro, qualquer problema 'e s'o me mandar um email ou me procurar no CLE.

Para quem tem facebook, existe a comunidade  LaTeX/TeX - BRASIL para tirar dúvidas e receber algumas novidades.

Aproveito também para enviar um documento que vale a pena ter sempre à mão sempre quando você  for escrever seus primeiros textos em LaTeX: https://dl.dropboxusercontent.com/u/10465507/LaTeX/quickhelp.pdf

Se você tem tablet ou smartphone com Android, pode também instalar os apps Latex Cheat Sheet e também o Detexify.

Abraços,

CarolBlasio

"Most if not all choices in life are not binary"

M. Dunn, 2010. Too much of a good thing.

Carolina Blasio

PhD student of Philosophy

State University of Campinas (Unicamp)

Campinas, SP          Brazil

Diabetes e Carboidratos

O André Cruz, do blog 96 pés, mandou hoje o email abaixo para mim e para o Hilton Sousa, do Paleodiário:

Dia Mundial do Diabetes: atividade física ajuda controlar a glicemia

Por que ninguem fala dos carbs?

Dia Mundial do Diabetes: atividade física ajuda controlar a glicemiahttp://oglobo.globo.com/blogs/debike/posts/2014/11/14/dia-mundial-do-diabetes-atividade-fisica-ajuda-controlar-glicemia-554745.asp

Como professor de uma universidade federal, sinto-me na obrigação de comentar um pouco.
O Dr. José Carlos Souto escreveu uma longa série de posts sobre o assunto "low carb e diabetes". Confesso que não li tudo pois tudo o que li anteriormente já foi o suficiente para me convencer de que não faz sentido algum um diabético não restringir bastante os carboidratos. Não faz sentido pra mim comer carboidratos e depois tomar insulina justamente para reduzir o impacto negativo destes carboidratos.

Voltando à pergunta do André, acho que ninguém fala dos carboidratos por uma conjunção de fatores. Uma delas é que a indústria de alimentos utiliza bastante carboidratos. Outra é que sem tantos carboidratos na dieta dos diabéticos provavelmente o consumo de medicamentos contra diabetes iria diminuir bastante. E também porque ainda não há um consenso científico de que a melhor solução para o controle do diabetes.

Quanto ao consenso científico, talvez em alguns anos isto mude. Este artigo

Dietary carbohydrate restriction as the first approach in diabetes management: Critical review and evidence base

é, enquanto escrevo (14/11/2014), um dos mais baixados numa das principais revistas científicas de Nutrição.

Mas é sempre bom lembrar que nada impede que um(a) diabético(a) brasileiro(a) procure um dos vários profissionais de saúde paleo/lowcarb  e tente uma abordagem low carb para um melhor controle da glicemia.

Alguém conhece algum caso de sucesso de alguém que usa low carb para controle da diabetes?