Editorial

É com grande satisfação que apresentamos para os leitores da Revista Eletrônica Informação e Cognição o presente volume dedicado à Lógica. Cabe então realçarmos a associação existente entre Lógica, Informação e Cognição.

Depression, Brain Glucose Metabolism and Consciousness

A correlation between depression and resistance to insulin was recently discovered. How to conciliate this finding with the fact that glucose transport to neurons is not made directly by insulin? We present an explanatory hypothesis based on a mechanism of dynamical glucose balance in the brain that includes lactate transport from astrocytes to neuronal mitochondria supporting ATP (and then cAMP) production. The depressed brain has defective ATP production, possibly leading in several cases to excessive glucose consumption without increasing neuronal ATP levels. This hypothesis can help to explain the surprisingly positive results found in the treatment of depression with aromatherapy. Some odors like citrus fragrances possibly fool the brain’s glucose level sensors, reducing the subjective feeling of "low energy". Could a conscious process trigger a reaction against the underlying causes of depression?

On guessing and reasoning: a reply to Paul Bourgine's

Charles Peirce ends the above tentative definition of the grounds for abduction by stating that “the effort should therefore be to make each hypothesis, which is practically no more than a question, as near an even bet as possible” (CP 1.121). The reason why I am quoting this passage of the Collected Papers is that I assume it can justify why should I (with no solid background in symbolic logic or mathematics) dare coming up with a debate on Paul Bourgine’s article “Models of abduction.” Taking the following rendition of an abductive inference as a guide: The surprising fact, C, is observed; But if A were true, C would be a matter of course, Hence, there is reason to suspect that A is true. (CP 5.189) I therefore decided to consider Paul’s article as a “surprising fact,” and to try my best in devising relevant questions about it. I believe should thank my deductive capacities for enabling me to extract hopefully clear and reliable consequences from those questions, but I will only be able to evaluate the pertinence of my efforts after a moment o f induction I expect to share with you, dear reader.

SOBRE O CARÁTER INTUITIVO DA TEORIA DOS CONJUNTOS DE DEDEKIND: CONSIDERAÇÕES SOBRE O AXIOMA DA REGULARIDADE

In this article, I intend to show that Dedekind’s set theory has not an intuitive character, once in Dedekind’s set theory the axiom of regularity is not valid. Since such axiom guarantees that the notion of pertinence has a behavior related to our intuitions about sets, Dedekind’s set theory is not an intuitive one, but rather an abstract set theory, in which our normal conceptions about sets and their properties are not valid.

Asas da Imaginação - Por Que HA Tantas Teorias Sobre a Consciência?

Examina-se a origem da consciência sob o enfoque da evolução da imaginação. Propõe-se que o imaginário seja processo e resultado da relação organismo-objeto, e fonte da capacidade de imaginação. Com base em Castoriadis e Damásio, lança-se a hipótese de um terceiro nível para o fluxo de imagens para explicar a evolução da imaginação, e esboça-se um cenário para a sua evolução na espécie humana. Examina-se o status da representação, gerada pelo imaginário, concluindo-se que é, ao mesmo tempo, real e fictício. Analisa-se o papel do imaginário na educação, arte e ciência, e sugere-se que a capacidade de imaginação é essencial para se compreender a forma criativa com que o ser humano apreende e (re)constrói a sua realidade.

A Hierarquia de tipos lógicos de Oswaldo Chateaubriand

Compara-se a hieraquia de tipos lógicos de Oswaldo Chateaubriand com a hierarquia de tipos lógicos de Frege-Russell e com a hierarquia cumulativa de conjuntos puros. Mostra-se como as noções de propriedade lógica e de proposição lógica emergem da hierarquia de Chateaubriand, e sugerem-se modificações nesta hierarquia para adequá-la ao projeto inacabado de Kurt Gödel para a fundamentação das ciências formais.

A Física Quântica e parágrafo Relevante o Entendimento da Mente?

Nas duas últimas décadas do século passado, se tornaram populares as teorias quânticas da mente, principalmente as hipóteses do físico Roger Penrose e suas aplicações à neurobiologia por Stuart Hameroff. A possibilidade de uma explicação física da mente viria a romper o dualismo de corpo e mente celebrizado na filosofia de René Descartes, ao mesmo tempo em que – devido às características intrínsecas aos processos quânticos – estariam resguardadas a privacidade do mundo subjetivo e a liberdade da vontade (“free will”) dos seres possuidores de vida mental.

EDITORIAL

Intitulamos este volume de ‘Lógica e Filosofia da Ciência’. Usualmente é muito difícil demarcar uma ciência ou área do conhecimento, determinar claramente quais são seus princípios fundamentais e, ainda mais despropositado, dizer quais são suas fronteiras. Esta afirmação se aplica integralmente à Filosofia e suas duas áreas, aqui destacadas, Lógica e Filosofia da Ciência. Contudo, tradicionalmente há uma estreita relação entre Lógica e Filosofia da Ciência em que uma das áreas é buscada para justificar, motivar, envolver e inter-relacionar-se com a outra. Uma boa formação em Lógica recomenda uma leitura refinada sobre muitos textos relevantes da Filosofia da Ciência e, naturalmente, a recíproca é completamente verdadeira.

Species-Specific Knowledge About the Environment: A Biophilosophical View

The biological work of Jacob von Uexkull (1934) raised an hypothesis that different animal species living in the same environment would have different knowledge about it. He suggested that each species perceives the world according to the structure of their effectors. In this essay I discuss mechanisms in the animal brain possibly responsible for the "embodied" or "pragmatic" character of cognition.

IDENTIDADE, INDIVIDUALIDADE E QUASE-CONJUNTOS

This is an expository paper in which we present some motivations that have conduced to quasi-set theory, whose main ideas are also sketched.