Produção Intelectual Ampliando “Divisas”.

Mais um Registro de Propriedade Intelectual (PI) obtido. Desde 26 de fevereiro de 2014 meu livro “Cálculo Lógico Inferencial” (ISBN 978-85-88925-18-2) passa a compor o acervo de Propriedades Intelectuais de nossa Nação.

Uma vez mais tenho a satisfação de contribuir com meu trabalho para ampliar a “Produção Intelectual Nacional” e somar resultados para que nosso país consiga se distinguir no cenário internacional no correspondente setor.

Na sequência, então, prepare-se a festa de lançamento deste meu mais recente livro oportunidade na qual será realizada a tradicional “noite de autógrafos”.

Carlos Magno Corrêa Dias
30/03/2014

II COENTELOG.

A partir dos quatro Seminários SELOGMAS (Seminário de Lógica Matemática Sentencial) e SECAFUNP (Seminário de Cálculo das Funções Predicativas em Lógica Matemática), cada um com duas edições, os quais apresentei, respectivamente, nos anos de 2010 e 2011, criei o I COENTELOG (COLÓQUIO ENTELECHIA LOGICAE), o qual ministrei em 23 de junho de 2013.

Aquele primeiro COLÓQUIO ENTELECHIA LOGICAE, cujo tema foi a “Lógica da Inovação nas Relações de Aproximação entre Indústria e Ciência”, destinou-se, exclusivamente, aos meus Alunos de Cursos de Engenharia e que já atuavam, de alguma forma, no Meio de Produção (principalmente na Indústria Paranaense).

Cabe ressaltar, entretanto, que no I SECAFUNP (2010) tratei questões relacionadas às “Instâncias Sentenciais e Funções Quantificadas” enquanto que no II SECAFUNP (2011) abordei o tema “Lógica Formal e Filosofia Analítica como Fator de Inovação”. Já no I SELOGMAS (2010) apresentei considerações sobre a “Completude dos Fundamentos Necessários e Suficientes da Matemática” e no II SELOGMAS (2011) apresentei exposição sobre aspectos relacionados com a “Inovação Tecnológica Centrada na Lógica Clássica”.

A transformação dos SELOGMAS e SECAFUNP em um único evento atendeu, de um lado, questões de ordem prática e, de outro, a percepção que os aspectos Sentenciais e Predicativos da Lógica tratados em conjunto podem, invariavelmente, promover um maior alcance. A transformação da forma de Seminário para a forma de Colóquio procurou propiciar, também, uma comunicação formal para público alvo direcionado, abrindo as possibilidades inclusivas para abordagem de outros temas não estritamente fixados no campo da Lógica ou da Filosofia Analítica.

A partir, então, do I COENTELOG são aventadas possibilidades mais amplas para considerar e divulgar questões voltadas à Lógica ou à Filosofia da Ciência que poderão ser direcionadas para a solução de problemas do “mundo real”.

No sentido aventado, gera-se, então, a possibilidade de uma sequência atemporal de apresentações que pretendem uma aproximação efetiva entre distintas Áreas do Saber e a Lógica Formal. Em particular, são almejadas interações entre a Indústria, a Ciência, as Tecnologias e a Universidade, centrada na Lógica da Inovação e em uma nova concepção de “Engenharia Matemática” e de “Engenharia Lógica” que venho defendendo nas seguidas Ações de Extensão que tenho programado.

No período de 17 de março de 2014 até 27 de março de 2014 desenvolvi uma segunda edição do COLÓQUIO ENTELECHIA LOGICAE cujo tema principal foi “INOVAÇÃO EM ENGENHARIA LÓGICA”.
   

Nesta segunda edição apresentei aos participantes os pressupostos estruturais da concepção de Engenharia Lógica proposta como Área de Conhecimento Analítica necessária para integrar Pesquisa, Desenvolvimento e Inovação no campo da Teoria da Demonstração Lógica associada à Axiomatização, Análise Lógica Inferencial, Computabilidade e Teoria dos Modelos.

No COLÓQUIO ENTELECHIA LOGICAE: INOVAÇÃO EM ENGENHARIA LÓGICA objetivei apresentar aos participantes relações específicos entre a Lógica Analítica, a Filosofia Analítica e a Computabilidade, priorizando considerações sobre os seguintes assuntos; quais sejam: Cálculo Proposicional em Lógica Formal, Cálculo dos Predicados em Lógica Formal, Álgebra da Lógica, Procedimentos Recursivos, Dedução Lógica, Teoria da Demonstração Dedutiva, Argumentação Analítica, Decidibilidade, Otimização, Sistemas Axiomáticos, Teoria dos Mundos Possíveis, Sistemas Computáveis, Análise Inferencial, Teoria dos Modelos e Lógicas Formais.

Carlos Magno Corrêa Dias
28/03/2014

Embotamento Nefando de Causal Perspectiva.

Nada mais perverso para a imaginação que habitar o mundo dos bem informados.

Carlos Magno Corrêa Dias
21/03/2014

Lógica e Filosofia da Ciência Expõe Resultados em Seminário Científico.

Em março de 2013, criei o Grupo de Pesquisa em Lógica e Filosofia da Ciência, o qual foi certificado pela Universidade Tecnológica Federal do Paraná (UTFPR) e que, também, está cadastrado como Grupo de Pesquisa reconhecido pelo Conselho Nacional de Pesquisa (CNPq) passando a integrar o Diretório dos Grupos de Pesquisa no Brasil.

O Grupo de Pesquisa em referência, do qual além de Proponente sou Líder, foi concebido para atuar nas seguintes cinco Linhas de Pesquisa; quais sejam: Epistemologia, Ergonomia, Filosofia, Inovação Científica e Tecnológica, bem como, em Lógica.

Cadastrado no CNPq na Área Específica de LÓGICA e vinculado à Área de Avaliação em FILOSOFIA da CAPES (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior) o Grupo de Pesquisa em Lógica e Filosofia da Ciência propõe a realização de estudos lógicos e filosóficos sobre métodos e técnicas para a avaliação e correção formal de raciocínios estruturados a partir da codificação e decodificação de proposições utilizadas na fundamentação de teorias das Ciências (em geral) e das Ciências Exatas (em particular) em conformidade com a evolução e o alcance das Lógicas Formais e da Filosofia Analítica para atingir Inovação e a necessária relação de aproximação estrita entre as Ciências e as Tecnologias.

Por julgar ser necessário apresentar à Comunidade os últimos resultados obtidos pelo Grupo de Pesquisa em Lógica e Filosofia da Ciência, bem como, evidenciar futuras ações pretendidas e já programadas institui, então, o Seminário de INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOFIA DA CIÊNCIA o qual passarei a apresentar, periodicamente, como Ação de Extensão na Academia.

Nesta primeira edição, realizada no período de 10 de março de 2014 até 14 de março de 2014, o tema do Seminário de INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOFIA DA CIÊNCIA foi “Engenharias em Inovação Científica e Tecnológica” e cujo objetivo foi apresentar, de forma compendiada e sistematizada, considerações gerais sobre os estudos e pesquisas em desenvolvimento atualmente nas Linhas de Pesquisa em Epistemologia, Ergonomia, Inovação Científica e Tecnológica, Filosofia e Lógica mantidas pelo Grupo de Pesquisa em Lógica e Filosofia da Ciência (GPLFC).

O Seminário de INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOFIA DA CIÊNCIA: Engenharias em Inovação Científica e Tecnológica foi apresentado sob a forma de cinco palestras ministradas por cada um dos membros do Grupo de Pesquisa em Lógica e Filosofia da Ciência conforme os estudos e pesquisas que estão realizando na atualidade.

Assim sendo, foram apresentadas as palestras: “Engenharia do Conhecimento e Ontologias” (palestra ministrada pelo Professor Luiz Fernando Lopes), “Modelos Sistematizados em Matemática Financeira” (palestra ministrada pelo Professor Luiz Roberto Calliari), “Problemas Mal Postos e Métodos de Regularização” (palestra ministrada pelo Professor Altemir José Borges) e “Segurança no Trabalho e Ergonomia” (palestra ministrada pelo Professor Antonio Gomes de Araújo). No evento ministrei a palestra intitulada “Engenharia Lógica, Cálculo Lógico Inferencial e Engenharia Matemática”.

Mantendo o padrão das Ações de Extensão que proponho e coordeno, o Seminário de INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOFIA DA CIÊNCIA: Engenharias em Inovação Científica e Tecnológica foi desenvolvido gratuitamente para os participantes e não foram considerados quaisquer ônus para a Universidade Tecnológica Federal do Paraná (UTFPR) uma vez que tanto os Palestrantes quanto o Proponente e Coordenador não cobraram proventos específicos. Não foi considerado, também, qualquer tipo beneficiado advindo de qualquer forma de fomento.

Como fiz observar o Seminário de INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOFIA DA CIÊNCIA: Engenharias em Inovação Científica e Tecnológica é o primeiro de uma série que ocorrerão na sequência sempre com a intenção de divulgar os estudos, pesquisas e trabalhos desenvolvidos pelo Grupo de Pesquisa em Lógica e Filosofia da Ciência (GPLFC) da UTFPR/CNPq.

Carlos Magno Corrêa Dias
22/03/2014

Arte da Poesia Chama Reflexão Mundial.

Como o título “Melhor Homenagem à Poesia é Fazer Poesias.”, postei em 14/03/2014, no endereço http://repositorio-entelechia-logicae.blogspot.com.br/2014/03/melhor-homenagem-poesia-e-fazer-poesias.html, texto no qual rendo homenagem ao DIA NACIONAL DA POESIA.

Hoje, 21 de março de 2014, celebramos o DIA MUNDIAL DA POESIA. Assim sendo, continuemos a brindar a Poesia fazendo Poesias ou lendo mais e mais Poesias.

O DIA MUNDIAL DA POESIA foi criado na XXX Conferência Geral da UNESCO, realizada em 16 de Novembro de 1999. Sendo a poesia uma das expressões artísticas que permeia diferentes realidades e que contribui para a diversidade criativa promovendo tanto a percepção quanto a compreensão da realidade, o objetivo principal da data é difundir a poesia e a linguagem literária para promover a necessária reflexão.

Mantendo a convicção que a leitura de poesias é outra das formas de se homenagear a poesia (seja de forma nacional ou mundial) volto a divulgar meu Projeto de Doações de meus Livros para contribuir na ampliação do número de leitores (http://carlosmagnocorreadias.blogspot.com.br/2014/03/contribuicao-leitura-mediante-doacoes.html).

Convido, também, e uma vez mais, a leitura das poesias apresentadas nas obras tais como “Visões Extemporâneas Sobre a Realidade” (ISBN: 85-88925-04-4), “Antinomias ou Realidades?” (ISBN: 85-900661-7-7) e “Tautologias em Razões Contraválidas” (ISBN: 85-900661-7-7). Exemplares destes livros de poesias doei recentemente à Fundação Cultural de Curitiba (FCC) com o objetivo de serem distribuídos nas Casas de Leitura de Curitiba.

Proximamente HODIERNAS PERCEPÇÕES SERIAIS (ISBN: 978-85-88925-19-9) encontrará, também, seu lugar nas estantes para apreciação dos leitores.

Carlos Magno Corrêa Dias
21/03/2014

Análise Lógica de Modelos Integro-Diferenciais.

No período de 24 de fevereiro de 2014 até 28 de fevereiro de 2014 ministrei o Curso de Extensão Universitária em ANÁLISE LÓGICA DE MODELOS DIFERENCIAIS E INTEGRAIS NAS ENGENHARIAS para meus Alunos regularmente matriculados nos Cursos de Bacharelado em Engenharia.

O Curso em referência foi desenvolvido em um total de 10 horas-aula e teve por principal objetivo apresentar aos participantes fundamentos necessários para a determinação de Modelos de Análise centrados na Diferenciação e Integração para a Modelagem e Modelação de Soluções de Problemas no campo das Engenharias, bem como, discutir Técnicas de Validação Recursiva da Lógica Matemática Dedutiva e da Engenharia Lógica para a Análise de Consistência de Modelos Formais associados à Reengenharia e Engenharia Reversa.

Como observei, quando da proposição do Curso em referência, muito facilmente se constata que grande parte dos Acadêmicos de Cursos de Graduação das Ciências Exatas e das Tecnologias (em geral) e das Engenharias (em particular) apresenta dificuldades na condução, domínio e aplicação dos conteúdos programáticos das disciplinas de Cálculo Diferencial e Integral e de outras disciplinas diretamente relacionadas ou dependentes devido a não possuem uma formação adequada no campo da Lógica Formal.

Como fiz observar, é percebido, entretanto, que tais dificuldades e os correspondentes índices elevados de reprovação e de desistência são devidos não tanto pela complexidade dos temas tratados nas disciplinas em referência, mas sim, na sua grande maioria, pelo fato dos correspondentes Alunos não conseguirem entender a LÓGICA subjacente envolvida que, acrescente-se, não é apresentada, regularmente, aos mesmos Discentes (ou, por outro lado, sequer é aventada como conteúdo formador quando da elaboração dos respectivos Projetos Pedagógicos de Curso).

O Curso de Extensão Universitária em ANÁLISE LÓGICA DE MODELOS DIFERENCIAIS E INTEGRAIS NAS ENGENHARIAS constitui, então, uma alternativa no possível caminho que venha conduzir a uma solução dos problemas aventados precedentemente uma vez que aborda não somente os fundamentos lógicos necessários para um entendimento lógico-analítico da Diferenciação e da Integração como, também, considera aspectos relacionados à Lógica da Reengenharia e da Engenharia Reversa na condução, explicação e entendimento de Modelos na Solução de Problemas de Engenharia centrados na Diferenciação e Integração.

Dentre os assuntos tratados no Curso de Extensão Universitária em ANÁLISE LÓGICA DE MODELOS DIFERENCIAIS E INTEGRAIS NAS ENGENHARIAS apresentei considerações particulares sobre: Álgebra Diferencial e Modelos Diferenciais; Álgebra Integral e Modelos Integrais; Lógica Formal como Modelo; Álgebra Proposicional e Álgebra Predicativa; Teoria Formal dos Modelos; Modelos Matemáticos e Modelos Lógicos; Reengenharia e Engenharia Reversa; Engenharia Lógica como Modelo Recursivo; Consistência Lógica; bem como, sobre a Avaliação Lógica de Modelos Aplicados.

Como salientado precedentemente, não são constatados nos Projetos Pedagógicos de Curso de Graduação das Ciências Exatas e das Tecnologias procedimentos, rotinas ou ações que possibilitem aos respectivos Alunos entenderem logicamente os vários conteúdos das disciplinas relacionadas direta ou indiretamente com a Diferenciação e integração. Devido exatamente à carência enfatizada é que o Curso de Extensão Universitária em ANÁLISE LÓGICA DE MODELOS DIFERENCIAIS E INTEGRAIS NAS ENGENHARIAS é justificado, pois, a partir do mesmo, tem-se a possibilidade de se preencher a correspondente lacuna na formação dos Acadêmicos, bem como, poderá contribuir, efetivamente, como uma primeira chamada de atenção na condução de possíveis soluções para o problema em observação.

Como de costume, ministrei o Curso de Extensão Universitária em ANÁLISE LÓGICA DE MODELOS DIFERENCIAIS E INTEGRAIS NAS ENGENHARIAS gratuitamente para os participantes (meus Alunos) e sem qualquer ônus extra para a Sociedade haja vista não cobrar correspondentes proventos. A proposição do Curso em referência não esteve, também, associada a quaisquer benefícios financeiros, não sendo favorecido por qualquer forma de fomento. Assim, uma vez mais, sigo minha contrapartida Docente no que se refere às Ações de Extensão Universitária desenvolvidas nas Academias Públicas.

Carlos Magno Corrêa Dias
19/03/2014

COPLAD Tem novos Conselheiros.

No último dia 12 de março de 2014, tomei posse, em ato solene presidido pelo Reitor da Universidade Tecnológica Federal do Paraná (UTFPR), como Conselheiro Representante Docente do Campus Curitiba no COPLAD (Conselho de Planejamento e Administração) da UTFPR.

O COPLAD é um dos Conselhos Especializados Deliberativos da Instituição e foi aprovado pela Deliberação do COUNI (Conselho Universitário) da UTFPR de número 07/2010, de 27 de agosto de 2010. 

O COPLAD é Órgão Deliberativo e de Supervisão em matéria de recursos humanos, de controle, implementação e fiscalização econômico-financeira, tecnologia da informação e estrutural da UTFPR.

A cerimônia de posse ocorreu durante a reunião do COPLAD realizada naquela mesma data (12/03/2014) e quando o COPLAD aprovou por unanimidade o Relatório de Gestão do Exercício 2013 da UTFPR. 

O correspondente documento aprovado será encaminhado ao Conselho Universitário (COUNI) da UTFPR para análise e deliberação em reunião a ser realizada em 28 de março de 2014 e, em seguida, será enviado ao Tribunal de Contas da União (TCU).

Carlos Magno Corrêa Dias
18/03/2014

Alunos das Exatas Apropriam Poder da Lógica.

Dirigido exclusivamente para meus Alunos regularmente matriculados nos Cursos de Graduação do Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) nos quais ministro disciplinas de Cálculo Diferencial e Integral conclui na semana passada mais um Curso de Extensão Universitária no campo da Lógica Formal.

No Curso denominado LÓGICA MATEMÁTICA INFERENCIAL PROPOSICIONAL DE PRIMEIRA ORDEM tratei procedimentos analíticos da Álgebra da Lógica necessários para o desenvolvimento de Métodos e Técnicas que possibilitam a Avaliação Formal da Validade de Raciocínios Dedutivos tomados (estruturados) na forma de Argumentos Dedutivos.

 
Centrado em Operações e Relações Lógicas do Cálculo Proposicional da Lógica Matemática de Primeira Ordem considerei, também, Procedimentos de Decisão Semânticos e Sintáticos desenvolvidos nos campos da Análise Inferencial e da Teoria da Argumentação Lógica para o “bem pensar”.

Semelhante curso foi desenvolvido em vinte horas-aula gratuitamente para os participantes, sem qualquer ônus extra para e Instituição e sem qualquer forma de fomento, cumprindo a contrapartida que defendo seja mantida no que concerne às Ações de Extensão em Universidades Públicas como a UTFPR.

Semelhante Curso de Extensão constitui mais um apoio técnico na formação dos Acadêmicos que se permitem participar de semelhante Ação de Extensão além de perspectivar o alcance de outras possibilidades tanto no mercado de trabalho quanto nas futuras opções de estudos.

A certificação e a apropriação dos correspondentes conhecimentos na área da Lógica Formal por parte dos participantes têm constituído diferencial importante e muito bem aceito segundo retorno recebido pelo próprio mercado, principalmente, no campo da Indústria.

Na sequência estão previstos outros desenvolvimentos semelhantes em consonância com o Projeto de Extensão Universitária que mantenho no campo da Lógica e da Filosofia da Ciência ( http://repositorio-entelechia-logicae.blogspot.com.br/2013/12/milesima-certificacao-em-logica-e.html).

Carlos Magno Corrêa Dias
14/03/2014

Primeiro Algoritmo Computado por Máquina Analítica.

No DIA INTERNACIONAL DA MULHER, 8 de março, rendendo minhas homenagens a Augusta Ada (Byron) King (1815-1852), uma das mais importantes personagens da História da Tecnologia, cumprimento todas as mulheres pela passagem da data.

Condessa de Lovelace, a inglesa hoje conhecida como Ada Lovelace é reconhecida como a primeira PROGRAMADORA da história, auxiliou no desenvolvimento da primeira máquina de cálculo (considerada como o primeiro modelo de computador) e foi a criadora do primeiro ALGORITMO especificamente criado para ser processado por uma máquina (implementado em um computador).

Parabéns MULHERES.

Carlos Magno Corrêa Dias
08/02/2014

Contribuição à Leitura Mediante Doações de Livros.

Há mais de uma década passei a doar exemplares de livros de minha autoria no campo da Lógica e da Filosofia para Bibliotecas Públicas, Bibliotecas de Universidades e de Instituições de Pesquisa.

A partir de 2013 ampliei as possibilidades quando passei a doar à Fundação Cultural de Curitiba (FCC) exemplares de meus livros que escrevi no campo da Literatura objetivando que os mesmos fossem distribuídos para as Casas de Leitura de Curitiba ou para as TUBOTECAS (projeto que apoio e incentivo fortemente).

Exemplares de “Visões Extemporâneas Sobre a Realidade” (ISBN: 85-88925-04-4) e de “Antinomias ou Realidades?” (ISBN: 85-900661-7-7) compuseram as primeiras doações à FCC (http://www.curitiba.pr.gov.br/noticias/doacoes-e-parcerias-ajudam-a-montar-acervo-das-tubotecas/31961).

No último dia 05/02/2014 doei à FCC exemplares de meu livro “Tautologias em Razões Contraválidas” (ISBN: 85-900661-7-7). Na sequência novas doações ocorrerão.

Carlos Magno Corrêa Dias
07/03/2014

Mais um Ciclo de Sucesso Completado no Mundo Acadêmico.

Patrono, Nome de Turma, Paraninfo, Professor Homenageado, Homenageado Especial. Dezenas foram as semelhantes deferências recebidas ao longo das décadas como Professor. Mas, em 14 de fevereiro de 2014, tive o privilégio ímpar de receber outra Homenagem muito especial. Foi homenageado como PAI DE GRADUADA. Com orgulho ímpar recebi a importante homenagem na Cerimônia de Colação de Grau da Turma de 2013 do Curso de Engenharia Química da Pontifícia Universidade Católica do Paraná (PUCPR). 

Ter Filha formada como ENGENHEIRA UNIVERSAL (Engenheira Química) é regalia que, também, não tem preço e que faz toda diferença.

Carlos Magno Corrêa Dias
05/03/2014

TRÍADE EXISTENCIAL EM SIMBIOSE TRANSCENDENTE.

A morte é uma ilusão, pois a vida transcende o limite existencial da matéria que a envolve.

Se uma outra vida após a morte terrena existe, então a morte não pode ser aceita como o fim de tudo e sim deve ser enaltecida como processo transcendente que possibilita o início de um novo caminhar.

A morte é apenas um ritual de passagem que deve ser considerado para garantir a plenitude da vida.

Carlos Magno Corrêa Dias
04/03/2014

Dissimulado Desengano.

A dor da traição é apenas sentida quando se confiava anteriormente nos traidores. Não se confiando previamente nos traidores a traição é apenas decepção.

Carlos Magno Corrêa Dias
03/03/2014

Lógica Deôntica Enfim Alcança Necessidade.

No campo de meus Estudos e Pesquisas sobre Lógica sempre procurei alguma distância (de segurança) da Lógica Deôntica, pois, impiedosamente, semelhante forma da Lógica nos exige sobremaneira extensões que o formalismo das Lógicas Analíticas não tem interesse proporcionar.

Contudo, diante de alguns acontecimentos recentes me vejo obrigado a contribuir, também, neste campo da Lógica Modal para analisar formalmente “normas” (mais especificamente: “normas de conduta”) ou “proposições que enunciam normas”.

Recuperando ensinamentos de antigos Mestres farei instituir uma “Álgebra Imbricada”, fortemente relacionada com a Lógica Formal Dicotômica e Bivalente, a partir dos Operadores de Obrigação, Permissão, Proibição, Faculdade, Capacidade (dentre outros) para por em questionamento “absurdos regimentais” que passarei a pontuar.

Carlos Magno Corrêa Dias
02/03/2014

PNLD Soma para Atingir ODM2.

Por compartilhar a posição que, no Brasil, o Livro Didático contribui fortemente para a Aprendizagem e constitui relevante estratégia de Ensino venho chamar a atenção pela passagem do dia 27 de fevereiro quando comemoramos o “Dia Nacional do Livro Didático” ressaltando, em consequência, a importante Política Pública instaurada pelo Programa Nacional do Livro Didático (PNLD) criado em 1985.

O Livro Didático distribuído aos Estudantes da Rede Pública de Ensino é instrumento de apoio e de auxílio tanto para quem APRENDE quanto para quem ENSINA.

Contribuamos para o aprimoramento dos Livros Didáticos objetivando a ampliação da qualidade do processo de Ensino e da Aprendizagem de nossos Jovens e o cumprimento integral do ODM 2.

Carlos Magno Corrêa Dias
01/03/2014