Lógica Analítica Inferencial. (Parte II)

Quais, então, são os pressupostos lógicos levados em conta quando da apresentação da Parte I de Lógica Analítica Inferencial?

Se Lógica e Matemática não constituem uma única Ciência, qual é, portanto, a fronteira, se é que a mesma existe, entre Matemática e Lógica Matemática? Em suma, o que torna lógica a Matemática e, de resto, matemática a Lógica Ma­temática? Quais são as características técnicas (ou, digam-se, matemáticas) de uma Lógica Matemática? Como se definiria a Lógica Matemática? É possível definir a Lógica Matemática?

A despeito das questões anteriores, um fato é inquestionável e merece destaque, qual seja: não se pode, efetiva e evidentemente, definir, de maneira exata, objetiva e inequívoca, Matemática e Lógica Matemática sem entrar em minúcias técnicas ou sem estudar o progressivo desenvolvimento de ambas as Ciências. Por outro lado, deve-se considerar, também, que, questões de tal mérito, certamente, dirigem as discussões a respeito dos fundamentos tanto da Matemática quanto da Lógica Ma­temática no âmbito da história e da filosofia da Ciência.

No estado atual de desenvolvimento em que se encontram tais Ciências é preciso salientar que muito embora Matemática e Lógica Ma­temática, efetivamente, não constituam uma única estrutura for­mal, desconsiderar as relações inerentes entre as mesmas é antes de qualquer estudo pormenorizado, um grande e infeliz equívoco. Há de se observar, também, que uma linha divisória, uma demarcação efetiva, entre Matemática e Lógica Matemática é praticamente im­possível de ser estabelecida; uma vez que, o desenvolvimento da Matemática se deve a uma construção lógico-racional e a axiomatização e formalização da Lógica Matemática é consolidada através de processos matemáticos. Entretanto, e certamente, Matemática e Lógica Matemática não dão origem a um único corpo de conhecimentos.

As considerações apresentadas levam esta explanação a mencionar outro dos problemas fundamentais na história da Matemática. Qual seja: o poder cognoscitivo da racionalidade, in extenso, vem caracterizar o fundamento a priori da Matemática ou, pelo contrário, a Matemática (organismo científico totalmente coe­rente), enquanto instrumento hipotético das Ciências Naturais, tem seu fundamento, sua gênese, a posteriori? E, no cerne desta questão reside, de fato, o problema da busca dos fundamentos da Matemática. Estariam os fundamentos da Matemática na Lógica Matemática? Ou não seria a Matemática a base para uma Lógica Matemática?

Embora as questões em pauta sejam objeto de estudos específicos e debates acirrados, observe que a complexidade, o rigor e a essência da Matemática não podem ser resumidos à questão da individualização do fundamento; porém não se deve per­der de vista que a relevância a priori e a posteriori das origens e dos limites matemáticos institui a fronteira entre o pensamento crítico e o pensa­mento lógico-racional. Saliente-se, outrossim, que não é possível vislumbrar aplicações da Matemática ao mundo sensível (mundo natural) sem, contudo, conhecer e/ou compreender a estrutura e as verdades correspondentes que lhe caracterizam o desafio intelectual em si mesmo.

Mas, é necessário enfatizar que o fascínio e a exuberância da Matemática, tal qual da Lógica Matemática, residem no fato de serem os seus fundamentos determinados pelas leis do pensamento, pois toda verdade matemática encerra em si uma genuína e transparente construção da razão.

Essencialmente, as leis matemáticas, enquanto racionalidade, são estabelecidas por juízos necessários, os quais, regimentados pelo princípio da Identidade, da Não-Contradição e do Terceiro Excluído (princípios estes que correspondem, também, às leis fundamentais da Lógica Matemática), constituem estrutura inteiramente coerente e logicamente formalizada. Tais juízos, ditos analíticos, corroboram as verdades matemáticas; dando à Matemática um fundamento cognoscível a priori em que a precisão e a exatidão de suas estruturas advêm de leis racionais, ou antes, de relações entre juízos apoiados em princípios primeiros oriundos da pura razão.

Assim, as leis matemáticas, e de resto as próprias leis lógicas, não constituem um conjunto estéreo de tautologias (como alguns menos avisados pretendem proclamar) e nem tão pouco se fundamentam, exclusivamente, na experiência sensível (como outros insistem em defender).

O mundo da Matemática, tal qual da Lógica Matemática, não é aquele em que os enunciados coexistem dialeticamente. É, por excelência, o mundo da abstração formal; opera-se no universo das relações abstratas, formaliza seus princípios e as estruturas de seu consignamento e, trans­pondo a trivialidade do conteúdo, vem estabelecer suas verdades em função da forma conceitual.

Todavia, quais são os pressupostos que caracterizam ou individualizam a Logica e o correspondente mundo analítico, necessário? Para possíveis respostas ou eventuais encaminhamentos é sugerido ler a terceira e última parte de Lógica Analítica Inferencial que em breve será publicada neste mesmo mundo possível.

Carlos Magno Corrêa Dias
Curitiba-PR, 04/01/2013

Centenária “Dama da Ciência” Nos Deixou em 2012.

No último dia 30 de dezembro de 2012, faleceu, em Roma, a cientista e senadora vitalícia da República Italiana Rita Levi-Montalcini (1909-2012), a primeira mulher italiana galardoada com um Nobel científico e a primeira a ser admitida na Academia Pontifícia de Ciências.

Em 1986, Rita Levi-Montalcini recebeu o Prêmio Nobel de Medicina como co-descobridora de importante proteína para o crescimento, manutenção e sobrevivência dos neurônios, conhecido como Fator de Crescimento NGF (Nerve Growth Factor).

A pesquisa pôs em evidência que esta proteína poderia reduzir a degeneração celular e problemas na correspondente produção da mesma estariam relacionados, de um lado, com várias doenças em que são afetadas as células nervosas e, de outro, com doenças cardiovasculares.

Conforme proclamado na Câmara de Roma, Rita Levi-Montalcini “representou a consciência civil, a cultura e o espírito de investigação do nosso tempo. Soube juntar o rigor científico com o nível máximo de humanidade”.

Rita Levi-Montalcini recebeu diversos reconhecimentos, entre os quais quatro doutoramentos "honoris causa": da Universidade de Uppsala (Suécia), do Instituto Weizmann de Israel, da "St. Mary University" dos Estados Unidos e da Università Bocconi, de Milão, Itália. Recebeu, também, o Prêmio internacional Saint-Vincent, o prêmio Feltrinelli e o prêmio "Albert Lasker de Pesquisa Médica Básica". Em 2008 recebeu o doutoramento "honoris causa" em Biotecnologia Industrial da Università Bicocca, de Milão. Em 2009, pelos seus estudos do sistema nervoso, recebeu o "Wendell Krieg Lifetime Achievement Award", reconhecimento internacional instituído pela mais antiga associação internacional dedicada ao estudo do sistema nervoso, o "Cajal Club".

Com a morte da “grande DAMA DA CIÊNCIA” o Mundo Científico ficou mais fraco em seu “CORPO” e o Mundo Real perdeu parte de sua “MENTE”.

Fica neste texto minha homenagem.

Carlos Magno Corrêa Dias
Curitiba-PR, 02/01/2013

Compromisso com a Vida é Solicitado no Início de um Novo Ciclo.

Desde 1968 a humanidade tem celebrado no dia primeiro de cada ano civil o DIA MUNDIAL DA PAZ. Tal data foi proposta pelo Papa Paulo VI, nascido Giovanni Battista Enrico Antonio Maria Montini (1897–1978), o Papa Peregrino, o primeiro Papa a visitar os cinco continentes e aquele que reconhecia ser a PAZ um bem primário e necessário do homem.

Em sua mensagem propondo o DIA MUNDIAL DA PAZ, o Papa Paulo VI proclamou: "Dirigimo-nos a todos os homens de boa vontade, para os exortar a celebrar o Dia da Paz, em todo o mundo, no primeiro dia do ano civil, 1 de Janeiro de 1968. Desejaríamos que depois, cada ano, esta celebração se viesse a repetir, como augúrio e promessa, no início do calendário que mede e traça o caminho da vida humana no tempo que seja a Paz, com o seu justo e benéfico equilíbrio, a dominar o processar-se da história no futuro".

Há de se observar, entretanto, que, embora a proposição tenha sido feita por um Papa, não havia na ideia original pretensão exclusivamente religiosa. Foi objetivado que o mundo civil compartilhasse a proposta na esperança de promover o consenso universal sobre a necessidade de se assumir o compromisso da PAZ na vida humana.

Assim, entendida como um compromisso com a vida, a PAZ deve ser defendida e compartilhada em todas as dimensões para garantir o equilíbrio, a compreensão das diferenças e a vontade de um mundo melhor centrado em relações mais justas e fraternas entre os homens.

Que pela PAZ possamos defender, promover e celebrar a VIDA humana na sua integridade e em todas as suas possibilidades. Que possamos compreender a PAZ como elo que une Verdade, Justiça, Razão e Liberdade e aí praticá-la com a devida intensidade para um mundo melhor.

Carlos Magno Corrêa Dias
Curitiba-PR, 01/01/2013

Novos Títulos Sobre Lógica Formal em 2013.

Em 2013, estarei publicando três novos livros de minha autoria nos quais trato formalmente questões relacionadas à Teoria da Argumentação, Teoria da Prova e Análise Inferencial no campo da Lógica Formal Dedutiva, quais sejam:

(01) SILOGÍSTICA: INTRODUÇÃO À LÓGICA CATEGÓRICA (Terceira Edição),
ISBN 978-85-88925-16-8;

(02) PROBLEMAS E EXERCÍCIOS DE LÓGICA MATEMÁTICA (Segunda Edição),
ISBN 978-85-88925-17-5; e,

(03) CÁLCULO LÓGICO INFERENCIAL,
ISBN 978-85-88925-18-2.

Carlos Magno Corrêa Dias
Curitiba-PR, 30/12/2012