Exército de Certificados em Lógica se Amplia na Tecnológica.

  
Na data de ontem, 17 de novembro de 2015, tive a grata satisfação de Certificar mais um grupo de Jovens Acadêmicos das Exatas no campo da LÓGICA FORMAL em decorrência da conclusão do Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA o qual ministrei no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (a TECNOLÓGICA). Parabéns para os Acadêmicos Certificados. Bem-Vindos à FORÇA.

Nosso Exército continua a se ampliar.

Que com o PODER da LÓGICA os novos Jovens Acadêmicos Certificados possam transformar realidades sempre para melhor.

Carlos Magno Corrêa Dias
18/11/2015

LIBERTAS + AUCTORITAS + POTESTAS.

Hoje, 15 de novembro, celebram-se os 126 anos da Proclamação de nossa República.

Que fundamentada na liberdade, igualdade e participação nos desenvolvamos enquanto República Federativa do Brasil para a necessária interação responsável entre o Estado e a Nação.

República (RES PUBLICA)

MULTITUDE + COMMUNIO + CONSENSUS IURIS =

= LIBERTAS + AUCTORITAS + POTESTAS. 

Sejamos BRASILEIROS em nosso BRASIL comemorando nossa REPÚBLICA.

Carlos Magno Corrêa Dias
15/11/2015

Trivialidades Matinais

Carlos Magno Corrêa Dias
12/11/2015

A LÓGICA que não EDUCA a mente faz apenas embotar e sofrer o pensamento.

  
Ora! Ora! Ora! É BÁSICO.

Qualquer ser dedutivo é capaz de decidir sobre a validade (ou não) do “raciocínio lógico” enunciado por:

“Não é verdade que se pintar bolinhas é um ato de consciência estética, então pular pontos modais não é um condicionamento surreal de alegria primária. Se sonhos contingenciais são pregos inteligentes voláteis, então assaltar batatas pensantes é evoluir para retóricas causais. Nestas condições, é óbvio concluir, necessariamente, que se pular pontos modais não é um condicionamento surreal de alegria primária, então não é verdade que a consciência colorida sólida não é uma forma transcendente de desígnio atemporal”.

Carlos Magno Corrêa Dias
07/11/2015

Cursos EC São Laureados com 5 Estrelas.

   
Ora! Ora! Ora! Não há como desapegar. Filhos são sempre filhos.

Como um dos Pais (Fundadores) dos Cursos de Engenharia da Computação da Universidade Tecnológica Federal do Paraná (UTFPR) e da Pontifícia Universidade Católica do Paraná (PUC-PR) recebo com grata satisfação a notícia que ambos os Cursos receberam 5 (CINCO) estrelas no MELHORES UNIVERSIDADES 2015 do Guia do Estudante da Editora Abril.

Parabéns para nós. Sempre SUCESSO. Que continuemos a prosperar e avançar.

Carlos Magno Corrêa Dias
06/11/2015

Na Esteira do Tempo CEM é Igual a DEZ.

   
Com grata satisfação completo CEM eventos propostos, coordenados e ministrados nos DEZ anos de existência da TECNOLÓGICA (2005 a 2015).

Dentre Cursos, Palestras, Seminários e Colóquios, conduzi os seguintes Eventos; quais sejam:

(001) A Lógica da Necessidade (2012)

(002) Álgebra da Lógica Aplicada na Avaliação de Raciocínios Dedutivos (2013)

(003) Álgebra Enunciativa de Primeira Ordem no Cálculo Proposicional (2009)

(004) Álgebra Proposicional e Implicações Lógicas (2010)

(005) Álgebras Computáveis e Recursivamente Computáveis (2010)

(006) Análise de Argumentos Dedutivos em Lógica Matemática (2013)

(007) Análise Inferencial Dedutiva em Lógica Matemática (2015)

(008) Análise Lógica da Teoria dos Conjuntos Através do Cálculo Proposicional e dos Predicados (2009)

(009) Análise Lógica de Modelos Diferenciais e Integrais nas Engenharias (2014)

(010) Análise Lógica de Predicados em Lógica Matemática (2010)

(011) Análise Lógica Sentencial e Predicativa Aplicada na Demonstração Dedutiva (2015)

(012) Argumentos Dedutivos e Teoria da Demonstração de Primeira Ordem (2009)

(013) Aritmética de Peano e os Fundamentos da Aritmética (2009)

(014) Aritmética de Primeira Ordem e Linguagem (2009)

(015) Axiomatização da Lógica Matemática de Primeira Ordem (2013)

(016) Axiomatização da Lógica Proposicional de Primeira Ordem (2009)

(017) Axiomatização do Corpo Ordenado Completo dos Números Reais (2009)

(018) Benefícios Fiscais Subjugados pelo Academismo (2013)

(019) Cálculo das Funções Predicativas em Lógica Matemática (2010)

(020) Cálculo das Funções Predicativas Quantificadas em Lógica Matemática (2010)

(021) Cálculo Inferencial Dedutivo em Lógica Matemática Proposicional (2012)

(022) Cálculo Inferencial Proposicional em Lógica Matemática (2012)

(023) Cálculo Lógico e Análise Lógica de Funções Enunciativas ( 2013)

(024) Cálculo Lógico Inferencial (2014)

(025) Cálculo Proposicional em Lógica Matemática Inferencial Dedutiva (2014)

(026) Cálculo Sentencial Dedutivo em Lógica Matemática (2011)

(027) Cálculo Sentencial Dedutivo em Lógica Matemática Inferencial (2014)

(028) Cálculo Sentencial e Predicativo em Lógica Matemática (2009)

(029) Completude da Lógica Proposicional Clássica (2009)

(030) Completude e Corretude de Sistemas Algébricos (2010)

(031) Consistência em matemática e a Incompletude (2009)

(032) Contínua e Constante Escravidão Humana (2013)

(033) Demonstração Segundo o Princípio da Indução Finita ou Indução Matemática (2009)

(034) Demonstrações Recursivas em Análise Inferencial (2009)

(035) Engenharia Inferencial (2012)

(036) Engenharia Lógica, Cálculo Lógico Inferencial e Engenharia Matemática (2014)

(037) Engenharia Matemática Rumo à Inovação (2013)

(038) Engenharias em Inovação Científica e Tecnológica (2014)

(039) Estruturas Algébricas em Sistemas Lógicos Bivalentes e Dicotômicos (2011)

(040) Ética Maquiavélica Frente à Consciência Política Despótica (2013)

(041) Exigências holísticas entre tecnologia e ciência (2015)

(042) Filosofia da Ciência Dedutiva no Contexto Histórico e Epistemológico (2011)

(043) Filosofia da Ciência no Contexto Histórico e Epistemológico (2011)

(044) Filosofia Extemporânea Promove Antagonismo Sobre Fundamentos Estritos (2013)

(045) Funções Computáveis e Funções Recursivas (2010)

(046) Funções Recursivas Parciais (2010)

(047) I COENTELOG: Colóquio Entelechia Logicae (2013)

(048) I SCADIENG: Seminário de Cálculo Diferencial e Integral em Engenharia (2010)

(049) I SECAFUNP: Seminário de Cálculo das Funções Predicativas em Lógica Matemática: Instâncias Sentenciais e Funções Quantificadas (2010)

(050) I SELOGMAS: Seminário de Lógica Matemática Sentencial: Completude dos Fundamentos Necessários e Suficientes da Matemática (2010)

(051) I SEQUANTEI: Seminário de Quantificação Aplicada em Engenharia e na Indústria: Relação Corporativa entre Tecnologia e Ciência (2015)

(052) I SETECIEI: Seminário de Tecnologias e Ciências para Engenharia e Indústria (2015)

(053) I SIDELOFIC: Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência (2014)

(054) II COENTELOG: Colóquio Entelechia Logicae: Inovação em Engenharia Lógica (2014)

(055) II SCADIENG: Seminário de Cálculo Diferencial e Integral em Engenharia (2011)

(056) II SECAFUNP: Seminário de Cálculo das Funções Predicativas em Lógica Matemática: Lógica Formal e Filosofia Analítica como Fator de Inovação (2011)

(057) II SELOGMAS: Seminário de Lógica Matemática Sentencial: Inovação Tecnológica Centrada na Lógica Clássica (2011)

(058) II SIDELOFIC: Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência: Possibilidades Tecnológicas e Segurança Científica (2015)

(059) III COENTELOG: Colóquio Entelechia Logicae: Lógicas Mentais Recursivas (2014)

(060) INTELIGÊNCIA LÓGICA NAS CIÊNCIAS EXATAS (2012)

(061) IV COENTELOG: Colóquio Entelechia Logicae: Engenharia Lógica Aplicada na Indústria (2015)

(062) Lógica Como Possibilidade Tecnologia para as Ciências (2015)

(063) Lógica da Inovação nas Relações de Aproximação entre Indústria e Ciência (2013)

(064) Lógica Diferencial e Integral de Modelos Hiperbólicos (2015)

(065) Lógica dos Enunciados Categóricos (2005)

(066) Lógica e Gerenciamento Industrial (2015)

(067) Lógica Formal Aplicada na Análise Dedutiva de Inferências (2014)

(068) Lógica Matemática Aplicada à Teoria da Argumentação Dedutiva (2011)

(069) Lógica Matemática Aplicada em Modelos Inferenciais (2015)

(070) Lógica Matemática Aplicada na Avaliação de Raciocínios Dedutivos (2014)

(071) Lógica Matemática Dedutiva Aplicada (2013)

(072) Lógica Matemática Inferencial Dedutiva (2013)

(073) Lógica Matemática Inferencial Proposicional de Primeira Ordem (2014)

(074) Lógica matemática Predicativa e Quantificacional de Primeira Ordem (2011)

(075) Lógica Matemática Proposicional de Primeira Ordem (2011)

(076) Lógica Matemática Proposicional e Predicativa. (2013)

(077) Lógica Matemática Sentencial Inferencial (2012)

(078) Lógica Sentencial e Predicativa Aplicada ao Cálculo Diferencial e Integral (2010)

(079) Modelagem Diferencial e Integral nas Engenharias (2010)

(080) Modelagem Inferencial Proposicional em Lógica Matemática (2007)

(081) Modelagem Lógica Sentencial e Inferencial (2015)

(082) Morte Como Razão Suficiente (2013)

(083) Na “Montanha do Rei” é Registrada Transição entre os Medievais e o Renascimento (2013)

(084) Nanomáquinas Promovem Nova Revolução Industrial (2013)

(085) Os Caminhos da Inovação em Engenharia Matemática (2012)

(086) Paradigmas da Necessidade “Assaltam” Possibilidades (2013)

(087) Paradoxos Matemáticos e Paradoxos Lógicos (2009)

(088) Paradoxos Supõem Antinomias Maquiavélicas (2013)

(089) PDI Uma Questão Nacional (2014)

(090) Potência Lógica e Eficiência das Nanomáquinas (2013)

(091) Razão Suficiente de Maquiavel (2013)

(092) Simbiose e Exigências Relacionais entre Academia e Indústria (2015)

(093) Sistemas Algébricos em Lógica Matemática (2010)

(094) Teorema da Dedução e Provas como Procedimento Computável (2009)

(095) Teoremas da Incompletude Matemática (2010)

(096) Teoremas de Gödel e a Lógica de Primeira Ordem (2009)

(097) Teoria Axiomática dos Conjuntos de Acordo com a Lógica Matemática (2009)

(098) Teoria da Argumentação e Análise Inferencial em Lógica Matemática de Primeira Ordem (2008)

(099) Teoria da Demonstração em Lógica Matemática de Primeira Ordem (2008)

(100) Uma lógica analítica para a simbiose e exigências relacionais entre academia e indústria (2015)

Carlos Magno Corrêa Dias
05/11/2015

205 Anos Depositando Nossa História.

   
Em 29 de outubro de 2015, celebramos os 205 anos de fundação da nossa Biblioteca Nacional do Brasil (BNBR) a qual é considerada pela UNESCO como uma das dez maiores e mais importantes Bibliotecas Nacionais do mundo.

A Biblioteca Nacional do Brasil salvaguarda a Bibliografia Brasileira corrente, assegura o registro e a guarda da Produção Intelectual nacional, bem como defende e preserva a Língua e a Cultura nacionais.

Tenho, em particular, a grande honra e o privilégio de ter cada um dos livros que escrevi e publiquei depositados e guardados em nossa excelente Biblioteca Nacional. Semelhante distinção não tem preço.

Parabéns para a BNBR.

Carlos Magno Corrêa Dias
30/10/2015

Por um Câmpus da UTFPR em JACAREZINHO.

       
Com 115 anos de existência, JACAREZINHO (fundada em 2 de abril de 1900) é conhecida como a “Capital Estudantil do Norte Pioneiro”.

Em JACAREZINHO temos a Universidade Estadual do Norte do Paraná (UENP) e a sede da Reitoria da UENP. No Câmpus Jacarezinho da UENP temos instalados o Centro de Ciências Humanas e da Educação - CCHE e o Centro de Letras, Comunicação e Artes - CLCA (antiga FAFIJA - Faculdade Estadual de Filosofia Ciências e Letras de Jacarezinho), o Centro de Ciências Sociais Aplicadas - CCSA (antiga FUNDINOPI - Faculdade de Direito do Norte Pioneiro), o Centro de Ciências da Saúde - CCS (antiga FAEFIJA - Faculdade de Educação Física e Fisioterapia de Jacarezinho), e, mais recentemente, a Faculdade de Odontologia na UENP.

Em JACAREZINHO temos o TECPAR (Instituto de Tecnologia do Paraná); a BioFábrica; o Câmpus Jacarezinho do Instituto Federal do Paraná (IFPR), a Universidade Aberta do Brasil (UAB); a Fundação Faculdade de Agronomia Luiz Meneghel e a UNIBRAS Centro de Pós-Graduação, Estudos e Negócios.

JACAREZINHO é um dos Núcleos Regionais de Educação do Estado do Paraná, possui um Parque Industrial instalado e conta unidades do IAP (Instituto Ambiental do Paraná), IBGE (Instituto Brasileiro de Geografia e Estatística), SEBRAE, CIEE, FECOMÉRCIO e FIEP.

      

Assim, vê-se, claramente, que a implantação do Câmpus Jacarezinho da UTFPR em JACAREZINHO (“Capital Estudantil do Norte Pioneiro”) viria somar forças ao significativo Sistema de Ensino já existente para multiplicarmos possibilidades em nosso Estado do Paraná.

Carlos Magno Corrêa Dias
29/10/2015

Capital Estudantil do Norte Pioneiro e Câmpus da TECNOLÓGICA: uma possibilidade interessante.

  
Neste dia 28 de outubro de 2015, no qual celebramos o DIA DO SERVIDOR PÚBLICO, me ocorre uma excelente ideia: um Câmpus da TECNOLÓGICA na “Capital Estudantil do Norte Pioneiro”.

 

Sim, estamos iniciando campanha pela implantação do Câmpus JACAREZINHO da UTFPR (Universidade Tecnológica Federal do Paraná).

Carlos Magno Corrêa Dias
28/10/2015

Todas as “verdades” são VERDADES.

  
Nossas “verdades” não são “melhores” ou “piores” que as verdades de nossos vizinhos. As verdades dos outros são apenas inferidas a partir de “premissas diferentes” as quais não se obrigam conduzir a “conclusões” equivalentes às nossas. Assim, a “LÓGICA” não permite admitir o cercear de outras “verdades” porque temos as nossas próprias “verdades”.

Carlos Magno Corrêa Dias
24/10/2015