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