É Possível Mudar o Mundo.

Em setembro de 2000, em Nova Iorque, durante a Cúpula do Milênio, promovida pela Organização das Nações Unidas (ONU), líderes de 189 países firmaram acordo objetivando fazer com que a humanidade conseguisse alcançar um desenvolvimento sustentável de forma que as pessoas e entidades adquirissem a responsabilidade coletiva de respeitar e defender os princípios da dignidade humana e da equidade social. Naquela oportunidade nasceu a “Declaração do Milênio” a qual tomou (como prioridade) buscar os meios para a eliminação da extrema pobreza e da fome no planeta até 2015.

Para se atingir os propósitos então estabelecidos foram definidos “oito objetivos”, os quais são conhecidos como ODM - Objetivos de Desenvolvimento do Milênio (Millenium Development Goals - MDG); quais sejam:
(01) Acabar com a fome e a miséria;
(02) Educação básica de qualidade para todos;
(03) Igualdade entre sexos e valorização da mulher;
(04) Reduzir a mortalidade infantil;
(05) Melhorar a saúde das gestantes;
(06) Combater a AIDS, a malária e outras doenças;
(07) Vida e respeito ao meio ambiente; e,
(08) Todo mundo trabalhando pelo desenvolvimento.

No Paraná, O “Movimento Nós Podemos Paraná”, centrado nos ODM (referenciados, também, como os “Oito Jeitos de Mudar o Mundo”), trabalha desde 2006 para que o Estado venha alcançar tais objetivos até o ano de 2015. Fazer do Paraná uma referência de qualidade de vida e desenvolvimento sustentável e do paranaense um povo líder de seu destino é a missão do “Movimento Nós Podemos Paraná”.

Dando continuidade às ações já realizadas, para 2012, o “Movimento Nós Podemos Paraná” objetiva trabalhar nos Municípios do Estado do Paraná com menor desenvolvimento econômico e social, contribuindo assim para que estes alcancem as metas dos ODM. Neste sentido, buscando o comprometimento voluntário da população e das instituições constituídas é intenção potencializar as ações já existentes e implementar novas ações focadas nos ODM para melhorar o “Índice de Desenvolvimento Humano” (IDH) das correspondentes regiões do Estado.

Assim, venha unir forças para ajudarmos a atingir estas metas. Participe. Faça a diferença. Como nos lembra o movimento: “Eu posso. Você Pode. O Paraná Pode. Nós Podemos”.

Carlos Magno Corrêa Dias
Curitiba-Pr, 31/08/2012

Performances Progressivas e Futuristas Abrilhantam Clássicas Produções.

Algumas preciosidades insistem em criar momentos mágicos que eternizam a capacidade humana de surpreender pelo talento e que transcendem a trivialidade. Tal é o caso do álbum “Tribute to The Beatles”, de Rick Wakeman, lançado em 1997.

Neste trabalho, o inglês Richard Christopher Wakeman, considerado um dos pais do Rock Progressivo (e apontado, também, com um dos criadores do Rock Sinfônico), nos brinda com a apresentação de arranjos fantásticos de onze músicas já clássicas e muito especiais dos Beatles.

Quebrando preconceitos, como sempre, Rick Wakeman faz-se admirar ao tocar livremente com sua visão futurista e com a custumeira maestria as suas releituras das tradicionais: Norwegian Wood, You've Got To Hide Your Love Away , The Fool On The Hill, Eleanor Rigby, Come Together, While My Guitar Gently Weeps, We Can Work It Out, The Help Trilogy, Things We Said Today, Blackbird e She's Leaving Home.

As transformações inovadoras implementadas pelo tecladista deram um novo sentido para cada uma daquelas canções, sendo o álbum constituído de verdadeiras sinfonias (no sentido estrito dos termos). Assim, o artista em sua versão das mencionadas músicas passeia pelos teclados e, em músicas como “Eleanor Rigby”, vai da primeira à última oitava sem medir consequências.

O álbum, mesmo já completando quinze anos de existência, se mantém progressista para possibilitar a incursão de excepcionais viagens atemporais que valem muito experimentar seguidas vezes e em momentos distintos de nossas vidas.

Carlos Magno Corrêa Dias
Curitiba-PR, 28/08/2012

“Sigam-me os que forem brasileiros.”

Recordando a célebre frase do Soldado Brasileiro, Marechal de Campo, Luís Alves de Lima e Silva (25/08/1803 – 07/05/1880), o Duque de Caxias, o Patrono do Exército Brasileiro, o Pacificador, o Marechal de Ferro, saldamos o “DIA DO SOLDADO”.

Carlos Magno Corrêa Dias
Curitiba-PR, 25/08/2012

Mistério Aparente: Condicionante Contraválida ou Condicionalidade Tautológica?

Sujeito errado, no lugar apropriado, mas no momento oportuno. Evidências circunstanciais podem levar a quadros inimagináveis. Por vezes os relativos camuflados pelas aparências escondem segredos que, quando revelados, impõem crueldade ou benevolência.

Carlos Magno Corrêa Dias
Curitiba-PR, 20/08/2012

Os Caminhos da Inovação em Engenharia Matemática.

Em diversas áreas do saber a Inovação tem permeado de forma a possibilitar uma nova ou renovada relação entre a Ciência e a Tecnologia. No campo da Matemática não é diferente, embora alguns velhos paradigmas se mantenham reproduzidos insistentemente sem uma possibilidade de mudança, infelizmente.

É urgente, porém, favorecer discussões mais contundentes sobre questões científicas e tecnológicas relacionadas com a Matemática quando se obriga a solução de problemas do mundo real na atualidade. Uma de tais possibilitadas consiste na proposição de novas formas de Engenharia como a denominada Engenharia Matemática. Ressalte-se, de imediato, entretanto, que não faço referência àquilo que usualmente se arbitra chamar de Matemática Aplicada. Engenharia Matemática não é Matemática Aplicada na concepção aqui adotada. No sentido pretendido, Matemática é um atributo do substantivo Engenharia.

Contudo, aponha-se, em particular, também, que defendo uma Engenharia Matemática centrada na relação intrínseca entre Inovação, Lógica, Modelação, Ergonomia e Usabilidade para a produção de máquinas, equipamentos, processos, ferramentas, serviços, procedimentos, tecnologias ou dispositivos que garantam o bem estar humano e o correspondente desempenho ergonômico eficiente e usabilidade eficaz dos sistemas envolvidos.

Minha proposta de Engenharia Matemática está centrada na visão que o processo de engendrar deve associar, tanto na concepção quanto na produção, necessariamente, as características psicofisiológicas do prestador do serviço, do usuário do bem e da mercadoria produzida para garantir Inovação, mas condicionado ao bem estar humano; seja no âmbito da renovação ou da invenção.

Tenho salientado, em específico, que a modelação e a modelagem (que devem ser tratadas em distinção estrita) podem promover a ampliação da Ergonomia e da Usabilidade, a partir do engendrar de tecnologias e da disseminação de ferramentas tecnológicas produzidas tanto no Meio Produtivo (fortemente ligado à Tecnologia) quanto pensadas na Academia (fortemente ligada à Ciência).

Defendo, entretanto, uma Engenharia Matemática associada à Ergonomia, mas vigiada pela Inovação, que permita não somente gerar simples soluções, como é usual no campo da Matemática Aplicada tradicional, mas que tenha por diferencial, de um lado, instituir e manter valor ergonômico agregado aos resultados e, de outro, que possa contribuir efetivamente na Usabilidade dos bens e produtos engendrados para a melhoria dos padrões de vida da população. Penso que simples modelos matemáticos, que não levem em conta, necessariamente, os distintos tipos de Ergonomia (principalmente a Cognitiva, ou Lógica), não têm muito sentido nos dias atuais.

Quanto à Ergonomia Cognitiva, a qual objetiva os processos mentais (tais como: percepção, atenção, cognição, lógica, entendimento, inferência, armazenamento e recuperação de memória) e como eles afetam as interações entre os seres humanos e os demais elementos de um sistema, tenho estruturado as bases de uma outra forma de Engenharia associada, a Engenharia Inferencial, sobre a qual observações já foram apresentadas em oportunidades anteriores; mas, que se concentra na Análise Inferencial e na Teoria Lógica da Prova.

Um conceito particular de Engenharia Matemática a ser desenvolvida no meio produtivo para o beneficio das pessoas é o que tenho perseguido. Enquanto Fator de Inovação esta Engenharia Matemática permitirá a instituição da modelação de processos e produtos centrados em soluções lógico-formais para a otimização e ampliação de resultados no meio de produção visando, em primeira instância, a qualidade de vida das populações.

A concepção de Engenharia Matemática aqui considerada não é aquela baseada em algum entendimento acadêmico daquilo que se costuma chamar Matemática Aplicada ou de quaisquer outras interpretações associadas que objetivem usar limitantes conhecimentos da Matemática ou técnicas matemáticas isoladas como se as mesmas fossem algum tipo de solução. Não há aplicação da Matemática no equacionar ou solucionar problemas do mundo real sem que haja uma forte interação com as Engenharias, a Ergonomia e a Usabilidade. Entende-se que usar (ou aplicar) a Matemática não é engendrar soluções com o auxílio da Matemática.

Defendo que a Engenharia Matemática deva estabelecer interface efetiva (real) com as Tecnologias e instituir Ciência que invariavelmente tenha como foco soluções com rapidez e eficácia para não apenas garantir valor de mercado, mas, também, e principalmente, gerar conhecimento e produtos necessários para o bem estar geral das pessoas e, neste sentido, não há como atender tal requisito sem que exista um forte relacionamento entre os diversos saberes e sem levar em conta uma Lógica subjacente.

Carlos Magno Corrêa Dias
Curitiba-PR, 18/08/2012

Sempre Perguntar para Continuamente Refletir.

Esta é uma prática diária no trabalho daqueles profissionais que são chamados de Filósofos. Que os Filósofos consigam, então, pela reflexão, edificar critérios ou princípios que nos permitam compreender mais adequadamente a vida. Saldemos o dia 16 de agosto, o DIA DO FILÓSOFO.

Carlos Magno Corrêa Dias
Curitiba–PR, 16/08/2012

Inovação, Lógica Formal e Filosofia Analítica Constituem Simbiose para o Desenvolvimento da Ciência.

Abordando as Relações de Impregnação Mútua entre Lógica Formal Clássica, Filosofia Analítica e Inovação Tecnológica para o desenvolvimento da Ciência foi apresentado, no final de 2011, em Curitiba, o “Segundo Seminário de Cálculo das Funções Predicativas em Lógica Matemática” (II SECAFUNP 2011).

O evento objetivou por em evidência que tanto a Lógica Formal Clássica quanto a Filosofia Analítica constituem importantes agentes para a geração de conhecimentos e de ferramentas tecnológicas adequados para garantir um estado de permanente Inovação nos meios de produção do saber, sejam eles científicos ou tecnológicos.
 
Em particular, na palestra intitulada “Lógica Formal e Filosofia Analítica como Fator de Inovação” foi observado que a Inovação está indissoluvelmente ligada à forma lógica de pensar; podendo-se mesmo afirmar que não há como pensar logicamente sem estar associado à Inovação.

Inovação surge a partir de uma reflexão sobre os requisitos de determinado problema que solicita solução, não decorrendo apenas a partir do novo. Em muitas das vezes, velhos problemas passam a ser resolvidos de forma inovadora bastando identificar as lógicas ou as filosofias envolvidas que não eram plenamente conhecidas ou compreendidas.

Também, em 2011, no “Segundo Seminário de Lógica Matemática Sentencial” (II SELOGMAS 2011), foi apresentada a palestra “Inovação Tecnológica Centrada na Lógica Clássica” quando já havia sido posto em evidência as necessárias relações de impregnação mútua entre Lógica Formal e Inovação Tecnológica.

Segundo posicionamento assumido, a Lógica Formal e a Filosofia Analítica constituem ferramentas essenciais para a garantia e manutenção da consistência de inúmeros processos e desenvolvimentos. A geração de protocolos centrados nos Cálculos Lógicos e na Análise dos Significados, para garantir confiabilidade e alcance dos produtos gerados, além de constituir Inovação favorece vislumbrar os meios necessários para a confluência entre a Ciência e a Tecnologia.

A Inovação vem propiciar os meios necessários para que a Ciência da Academia e a Tecnologia do Setor Produtivo convirjam para gerar conhecimento necessário ao desenvolvimento da Nação. Porém, a Inovação pode ser atingida ao se implementar Sistemas Lógicos Analíticos centrados na Análise e na Lógica dos Processos circundantes.

Deve-se ressaltar, ainda, que a utilização de Cálculos Lógicos e Linguagens Analíticas dissociadas da correspondente materialidade envolvida chamam a Inovação para trabalhar em conjunto e ampliar potencialidades.

Em 2012, no “Terceiro Seminário de Cálculo das Funções Predicativas em Lógica Matemática” é pretendido apresentar como a “Lógica da Necessidade”, cujos fundamentos são apresentados no livro “Paradigmas da Necessidade”, vem estabelecer diretrizes para promover Inovação no campo das Filosofias.

Carlos Magno Corrêa Dias
Coordenador dos SECAFUNPs e SELOGMASs
Ministrante das Palestras Referenciadas
Autor de “Paradigmas da Necessidade”
ongma@ig.com.br
Curitiba-PR, 16/08/2012

A ARTE faz enxergar a grandeza ou a pequenez da alma*.

Dias turbulentos e carregados de estruturas formais e analíticas permitiram que o dia 12 de agosto passasse sem que a ele se fizesse uma referência especial, dado que nesta data comemora-se, em nosso país, o “Dia Nacional das Artes”. Todavia, mesmo atrasado, deixo neste espaço minha particular saudação às ARTES, pois não há como imaginar um mundo evoluído ou pessoas cultas sem que as ARTES estejam presentes.

Carlos Magno Corrêa Dias
Curitiba-PR, 15/08/2012
*In Paradigmas da Necessidade; DIAS, C. M. C., 2011.

Lógica Reversa para a Sobrevivência.

É rotineiro escutar que se dermos peixe a um homem faminto sua fome será saciada apenas naquele momento, mas se o ensinarmos a pescar ele terá o conhecimento para se alimentar sempre que necessário. Porém, há uma regra de sobrevivência a considerar que antecede uma tal máxima, ou seja: “não dê peixe para quem tem fome e nem tão pouco ensine a pescar aqueles que não têm o que comer, mas mostre aos famintos que existem os peixes e que eles servem para matar a fome”.

Carlos Magno Corrêa Dias
Curitiba-PR, 10/08/2012

Realidade Expressionista.

Quando o circo montado desgosta até mesmo o mais engraçado dos experientes palhaços é chegada a hora de reconhecer a tragédia na qual se transformou a comédia pretendida encenar.

Carlos Magno Corrêa Dias
Curitiba-PR, 03/08/2012

Alvedrio, Equidade e Progresso.

No meio do povo mais incauto sempre existirão aqueles que ou não são todos surdos, ou não são todos mudos, ou não são todos cegos; apesar da existência, inevitável, e, também, necessária, daqueles que são sempre surdos, mudos e cegos.

Carlos Magno Corrêa Dias
Curitiba-PR, 02/08/2012

Lógica Matemática Predicativa e Quantificacional Além da Trivialidade.

Objetivando certificar os participantes no campo da Álgebra das Funções Predicativas e das Funções Quantificadas desenvolvidas no Cálculo Predicativo em Lógica Formal de Primeira Ordem para a Enunciação, Análise e Resolução Lógica de Problemas de Raciocínio ministrei, no final do segundo semestre de 2011, o Curso intitulado LÓGICA MATEMÁTICA PREDICATIVA E QUANTIFICACIONAL DE PRIMEIRA ORDEM, em um total de vinte horas, em Curitiba-PR, tendo por ouvintes alunos regularmente matriculados em Cursos de Engenharia.

O Curso de Extensão Universitária em referência complementou os estudos desenvolvidos no mês de setembro de 2011 quando, também, apresentei o Curso de Extensão Universitária intitulado a LÓGICA MATEMÁTICA PROPOSICIONAL DE PRIMEIRA ORDEM, o qual, por sua vez, objetivou apresentar a Linguagem e a Álgebra Proposicional do Cálculo Enunciativo em Lógica Matemática de Primeira Ordem para a Avaliação e Correção de Raciocínios Lógicos Dedutivos formalizados segundo Argumentos e Inferências Dedutivas que estariam além de um notória trivialidade e obrigam estruturação diferenciada.

Os dois cursos referenciados foram desenvolvidos especialmente para alunos dos Cursos Regulares de Engenharia e conduzidos no sentido de apresentar os pressupostos necessários para o desenvolvimento de habilidades nos campos da Teoria da Demonstração Dedutiva e da Teoria da Prova relacionados a Sistemas Algébricos Dicotômicos e Bivalentes.

Como tenho considerado, introduzir, com desejável rigor e grau de aprofundamento, particulares técnicas dedutivas de cálculo para a avaliação formal de raciocínios passíveis de estruturação como argumentos dedutivos foi, também, outro dos objetivos dos cursos em referência.

Dada a grande procura pelos cursos ofertados, é intencionado ofertar na seqüência, nos próximos semestres letivos novos cursos semelhantes e com um número maior de vagas para os interessados.

Para o futuro Engenheiro é importante desenvolver habilidades no sentido de ser possível a tomada de decisões sobre problemas de raciocínio de forma analítica sem que os mesmos sejam comprometidos pela materialidade ou condicionamentos do mundo real. E em tal sentido, é que defendo a posição que as técnicas formais de investigação da validade de modelos formalizados com os recursos operacionais da Lógica Formal são fontes de soluções das mais amplas e eficientes.    

Carlos Magno Corrêa Dias

Curitiba-PR, 02/08/2012