Lógica inferencial avançando no tempo.

Há mais de dez anos, lá em maio de 2014, iniciava o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL (concluído em 28/07/2014) no qual apresentei o Cálculo Proposicional e a Álgebra da Lógica instituídos em Lógica Matemática Dedutiva de Primeira Ordem necessários para o desenvolvimento de Métodos e Técnicas para a Avaliação Formal da Validade e da Consistência de Raciocínios Dedutivos estruturados como Argumentos (em geral) ou Inferências (em particular).

DIAS, C. M. C. - 2024

No Curso em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL desenvolvi, também, Procedimentos Técnicos de Decisão Semânticos e Sintáticos estabelecidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica.

Centrado nos fundamentos da Análise Inferencial e Teoria da Argumentação, desenvolvidos em Lógica Formal (Dedutiva), o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL foi mais um momento direcionado para proporcionar capacitação na Avaliação da Validade de Argumentos Dedutivos e para apresentar, também, técnicas poderosas necessárias e eficientes para promover a correção de Raciocínios Falaciosos frequentemente gerados e não percebidos.

Carlos Magno Corrêa Dias
29/07/2024

Como nascem os paradoxos.

Tudo tem uma LÓGICA muito embora, na maioria das vezes, sejamos incapazes de concordar com as razões advindas das necessárias premissas. ... ... ... Assim, então, nascem os PARADOXOS.

DIAS, C. M. C. - 2024

Carlos Magno Corrêa Dias
09/07/2024

Obra sobre Silogística avançando para meio século.

“Partindo-se do fato que a linguagem usual, decorrente da língua materna, é imprecisa, apresentando, em muitas das vezes, um caráter polissêmico; é notório, centrando-se em condições históricas, pretender qualificar que as linguagens formais (linguagens simbólicas) revestem-se de funções precisas e imperiosas, sendo, em essência, monossêmicas [que têm apenas um sentido] e depuradas de ambiguidades. Neste sentido, dissimulando tendências de natureza conceitual, ou mesmo divorciando-se de consagradas correntes filosóficas, há de se dizer que o cientista, atualmente, distingue-se de seus antepassados, categoricamente, pela detenção do poder originário das linguagens simbólicas explícitas ou subjacentes; as quais além de possibilitar a criação de novas tecnologias possibilitam ao pesquisador vislumbrar limites jamais imagina­dos.”

O parágrafo precedente é apresentado como parte da introdução do meu artigo intitulado “Silogística: uma introdução à lógica dos enunciados categóricos” o qual foi publicado na “Revista Tecnologia & Humanismo” do então Cefet-PR (Centro Federal de Educação Tecnológica do Paraná), de número 19, do primeiro semestre de 1999, há mais de 25 (vinte e cinco) anos, há mais de um quarto de século.

DIAS, C. M. C. - 2024

No artigo enfatizo “o quão importante é dominar uma deter­minada linguagem formal para se pensar correta­mente na dependência do universo relacional onde o pensamento se obriga à tomada de decisões”; bem como apresento técnicas formais de estruturação e avaliação de raciocínios analíticos em nível quantificacional a partir da Silogística de Aristóteles e, em particular, sobre a Lógica das Proposições Categóricas; as quais emprestam ao homem o método analítico eficaz para o desenvolvimento de suas potencialidades.

“Silogística: uma introdução à lógica dos enunciados categóricos” encontra-se disponível no PERI (Portal de Periódicos Científicos da UTFPR (Universidade Tecnológica federal do paraná)) no endereço http://periodicos.utfpr.edu.br/rth/article/view/6598.

Celebro, com júbilo, mais este importante trabalho que desde sua publicação vem sendo fonte de inspiração para outros trabalhos inovadores e fundamentais.

Carlos Magno Corrêa Dias
03/07/2024

Futuro internacional da Indústria do Paraná.

A convite do Sistema Fiep (Sistema Federação das Indústrias do Estado Paraná) participei, em maio de 2024, da Consulta Pública sobre o Projeto “ROTAS ESTRATÉGICAS PARA O FUTURO DOS NEGÓCIOS INTERNACIONAIS PARANAENSES 2040” quando encaminhei proposições de série de ações estratégicas visando moldar o caminho internacional a ser percorrido pela Indústria do Paraná até o ano de 2040.

Sistema Fiep - 2024

No conjunto de sugestões apresentadas considerei, também, posições pontuais sobre as principais barreiras impeditivas para o pleno alcance da visão de futuro estruturada no Projeto “ROTAS ESTRATÉGICAS PARA O FUTURO DOS NEGÓCIOS INTERNACIONAIS PARANAENSES 2040”.

O objetivo do projeto em referência é desenvolver um planejamento estratégico robusto para orientar o crescimento dos negócios internacionais do Estado do Paraná até o ano de 2040.

De forma prospectiva, centrada na inteligência coletiva de especialistas, o Projeto “ROTAS ESTRATÉGICAS PARA O FUTURO DOS NEGÓCIOS INTERNACIONAIS PARANAENSES 2040” foi idealizado objetivando a elaboração de um Roadmap com ações de curto, médio e longo prazo para mobilizar, alinhar e coordenar esforços rumo ao futuro pretendido do Estado do Paraná no campo industrial.

Carlos Magno Corrêa Dias
17/06/2024

Computação Teórica e IA acontecem a partir de Turing.

No dia 7 de junho de 1954, há 70 anos, falecia o Pai da CIÊNCIA DA COMPUTAÇÃO TEÓRICA e Pai da IA (Inteligência Artificial), o brilhante cientista Alan Mathison Turing (1912-1954) aquele que foi uma das mentes mais incríveis que a humanidade já conheceu e cujos estudos e trabalhos são a base da Computação atual.

DIAS, C. M. C. - 2024

Alan Mathison Turing é apenas um divisor de realidades dado que a partir de seu "modelo de computador universal" o mundo se transformou em uma realidade jamais sequer pensada antes. Os trabalhos de Alan Mathison Turing proporcionaram formalizar os conceitos de algoritmo e de computação.

Sua “MÁQUINA UNIVERSAL” (a “Máquina de Turing”) é o "modelo teórico de computador de uso geral" que antecedeu os modernos computadores digitais. A “MÁQUINA UNIVERSAL”, capaz de modelar qualquer computador digital, é um poderoso modelo abstrato de computar que não necessitando de implementação física pode dar conta efetivamente dos aspectos lógicos de funcionamento de um computador tais como memória, estados e transições.

O incrível “Teste de Turing” (ou "Jogo da Imitação" como originalmente foi chamado) possibilita (efetivamente) conferir se o computador “pensa” tal como o cérebro humano uma vez que permite testar a capacidade de uma máquina de exibir comportamento inteligente ao de um ser humano ou indistinguível deste. Assim, o britânico Alan Mathison Turing é, também, o precursor da IA cabendo-lhe o título de Pai da IA.

Depois de Alan Mathison Turing o mundo não foi mais o mesmo e tudo que existe hoje no campo da Computação está de alguma forma relacionado ao seu legado.

Sem o matemático, cientista da computação, lógico, criptoanalista, filósofo e biólogo teórico Alan Mathison Turing a tecnologia e a humanidade estariam muito mais atrasadas e com limitadas possibilidades de avançar rumo ao desenvolvimento e ao progresso.

Carlos Magno Corrêa Dias
07/06/2022

A Matemática viva em cada girassol.

Dada vez, com o título “Matemática Transcendente”, afirmava: “A matemática existente em um girassol não é percebida pela maioria daqueles que se dizem matemáticos; não sendo compreendida, também, em contrapartida, por grande parte dos matemáticos de fato.”.

O tempo passa, as gerações são substituídas, avanços tecnológicos e científicos surpreendentes são atingidos, alguma evolução social é percebida, novas inteligências vão surgindo, mas determinadas realidades (algo estranhas) se mantém inalteradas como aquelas situações paradoxais ou antinômicas que assolam associações a verdades “a priori”.

Todavia, aconteça o que acontecer, a série 0, 1, 1 (1+0), 2 (1+1), 3 (2+1), 5 (3+2), 8 (5+3), 13 (8+5), 21 (13+8), 34 (21+13), 55 (34+21), ... e o número irracional 1,61803398875... permanecerão chamando a atenção das mentes que (apenas) desejam enxergar. Conheça melhor um girassol e saberá muito mais sobre Matemática.

DIAS, C. M. C. - 2024

Assim, de forma notável, a sentença: “A matemática existente em um girassol não é percebida pela maioria daqueles que se dizem matemáticos; não sendo compreendida, também, em contrapartida, por grande parte dos matemáticos de fato.”; continua gritando mesmo nos dias atuais.

Carlos Magno Corrêa Dias
05/06/2024

Peculiaridade testamental essencial.

Nossas consciências nos esperarão no final de nossas jornadas terrestres.

DIAS, C. M. C. - 2024

Carlos Magno Corrêa Dias
01/06/2024