Relação direta entre conhecimento e poder criam distinções.

  
Conhecimento é poder. Quanto mais conhecedor é o homem tanto mais poderoso o será.

Carlos Magno Corrêa Dias
30/12/2015

Que por Minerva o ENGENDRAR sempre se mantenha.

   
Ontem, dia 11 de dezembro de 2015, data em que celebramos no Brasil o DIA DO ENGENHEIRO, não tive como saudar os Amigos Engenheiros devido a uma intervenção médica que tive que realizar a qual me tirou do ar. Mas, não poderia deixar a data passar sem a devida consideração.

Assim, aos Politécnicos (os Engenheiros) minha saudação para que, orientados sempre por "Minerva", continuem a ENGENDRAR soluções que contribuam para a melhoria de vida das Pessoas e para o Progresso e Desenvolvimento de nossa Nação.

Carlos Magno Corrêa Dias
12/12/2015

Atemporais vicissitudes racionalistas no controle lógico.

  
A instituição de uma lógica reversa mantém possibilidades alternativas de pensamento válido.

Carlos Magno Corrêa Dias
28/11/2015

Nexos do pensar conjuntivo.

  
Em tudo há uma lógica sem levar em conta que nem toda lógica é identificável.

Carlos Magno Corrêa Dias
14/11/2015

PDI, PSP e P-PI são INDISSOCIÁVEIS.

  
PDI (Pesquisa, Desenvolvimento e Inovação) constitui conjunto de obrigações indissociáveis assim como PRODUTOS, SERVIÇOS e PROCESSOS (PSP) são exigidos de PDI para a produção de PATENTES (P) e PROPRIEDADES INTELECTUAIS (PI).

Carlos Magno Corrêa Dias
06/11/2015

Mestre dos Poderes.

O LIVRO educa mentes e é fonte inesgotável de poder.

Carlos Magno Corrêa Dias
29/10/2015

Pensar é uma NECESSIDADE não circunstancial.

  
PENSAR foi, é, e, sempre será muito perigoso nos miseráveis mundos possíveis onde não há a correspondente possibilidade. Entretanto, mesmo assim, PENSEMOS.

Carlos Magno Corrêa Dias
22/10/2015

Dilema da Resiliência Crítica.

   
A história propõe o diálogo entre a filosofia e a lógica, mas enquanto a lógica desnuda a filosofia é a filosofia que veste a lógica diante da história.

Carlos Magno Corrêa Dias
09/10/2015

Matéria Transformada, Qualidade de Vida Possibilitada.

Hoje, 20 de setembro de 2015, é o DIA DO ENGENHEIRO UNIVERSAL.

Parabéns aos ENGENHEIROS QUÍMICOS que ao transformarem a matéria promovem a melhoria de vida das pessoas.

Carlos Magno Corrêa Dias
20/09/2015

Project: Logic Engineering.

       

Category:
Research Group (CAPES/CNPq).

Sector:
Technology management.

Objectives:
Develop Analytical Technology Optimized Decision focused on formal logic (in Calculation Logic and Algebra of Logic), in Argumentation Theory and Deductive Inferential Analysis for Utterance, Assessment and Trou­bleshooting, Processes and Services Real World (in general) and Industry (in particular), establishing their me­thods and techniques. Enable the establishment of effective approaches between Industry and Academia, between Science and Te­chnology.Only when the Industry and Academia come together to solve real-world problems will be allowed to promote the generation of useful knowledge and necessary for the proper development of our nation and for the betterment of the People.

Benefits:
Optimization. Process consistency directors. Prevention of occurrences of logical errors (contradictions). Pro­duce required results. New possibilities of action or directions. Possibilities of the company following dynamic differentiated and more efficient. The reality of business is equated consistently and logically.

Responsible/Coordinator Researcher:
Carlos Magno Corrêa Dias.

In “Catálogo de inovação (Innovation catalog) - Universidade Tecnológica Federal do Paraná”. Curitiba: Ed. UTFPR, 2011. ISSN impresso 2178-4000. ISSN CD ROM 2237-4000.

Carlos Magno Corrêa Dias 
17/09/2015

Project: Logic Applied to Nanoscience.

      

Category:
Research Group (CAPES/CNPq).

Development Sector:
Electroeletronics and Electronic Instrumentation.

Objectives:
Structure Calculation Logic for the institution of a formal logic applied to the Nanoscience and Nanotechnology (in general) and Nanomachines (in particular) focused on the generation Deductive Inferential Analysis of Pro­ducts, Services or dependent processes of fundamental determinants and corresponding structures that will ensure Completeness, Consistency and Correctness Logic. The main motivation for the development of the project in reference is the possibility of building a correspon­ding formal calculation that will logically and formally evaluate the corresponding arguments which may be developed in Nanoscience.

Benefits:
Faster and more intense will be generated real-world applications. Building nanomáquimas will be heavily fa­vored. Dissipation of previous redundancies and increase efficiency. Promoting greater competitiveness. Prior development of methods and techniques consistent to ensure space-saving and energy, and increased produc­tivity.

Responsible/Coordinator Researcher:
Carlos Magno Corrêa Dias.

In “Catálogo de inovação (Innovation catalog) - Universidade Tecnológica Federal do Paraná”. Curitiba: Ed. UTFPR, 2011. ISSN impresso 2178-4000. ISSN CD ROM 2237-4000. Catálogo de Inovação - UTFPR.

16/09/2015

SNCT 2015 Convida à PARTICIPAÇÃO.

  

No período de 19 a 25 de outubro de 2015 será realizada a XII Semana Nacional de Ciência e Tecnologia (SNCT), com o tema: LUZ, CIÊNCIA E VIDA. 

A SNCT constitui o principal evento de popularização e difusão da Ciência e da Tecnologia no Brasil. Somos todos convidados a participar criando e provendo eventos relacionados com Ciência e Tecnologia. 

A SNCT constitui, também, uma excelente oportunidade para promover as necessárias aproximações entre a Indústria e a Universidade, para o estabelecimento das exigidas interações entre a Academia e o Mundo do Trabalho, para conseguirmos o efetivo relacionamento entre Ciência e Tecnologia.

Carlos Magno Corrêa Dias
08/09/2015

Perspectivas Póstumas Implicam Prospectivas Indevidas.

  
Agir em função das visões de futuro é deixar-se escravizar pela utopia do talvez.

Carlos Magno Corrêa Dias
26/08/2015

Mágicos Transformando o Mundo.

  
Mesmo que não exista qualquer fama os ARTISTAS são aqueles seres mágicos que tornam o mundo um lugar mais suportável. No dia 24 de agosto celebra-se o DIA DOS ARTISTAS. Para todos os ARTISTAS: os aplausos e as felicitações.

Carlos Magno Corrêa Dias
24/08/2015

Dilema da Aprendizagem Retroativa.

    
O transcorrer da vida nos proporciona a aquisição de novos significados na medida em que nos permitimos a melhor apreciação e interpretação das situações que já vivenciamos.

Carlos Magno Corrêa Dias
19/08/2015

De uma fusão anunciada para a possível transcendência.

  
Em 15 de agosto de 1946 entrava em operação o ENIAC (Electronic Numerical Integrator Analyzer and Computer), o qual é considerado como o primeiro computador digital eletrônico programável de grande escala; não sendo, entretanto, o primeiro computador, haja vista já existirem antes os computadores eletromecânicos tal qual o MARK I.

Abrindo as fronteiras ilimitadas para a criação dos computadores digitais (programáveis) o ENIAC foi construído entre os anos de 1943 e 1945, durante a Segunda Guerra Mundial; tendo sido concebido com o objetivo principal de realizar cálculos balísticos.

Composto por 17.468 (dezessete mil, quatrocentas e sessenta e oito) válvulas termiônicas (de 160 kW de potência), de 1.500 (mil e quinhentos) relés e uma quantidade enorme de capacitores, resistores, dentre outros componentes, sua capacidade de processamento era de 5.000 (CINCO MIL) operações por segundo (capacidade impensável antes de sua criação, mas facilmente superada pelas calculadoras científicas criadas a partir da década de 70).

O ENIAC era programado por uma equipe de 80 (oitenta) mulheres cuja função constituía em resolver “manualmente” as equações necessárias para os cálculos de balística (o que era conseguido mediante a manipulação de milhares de interruptores que assumiam o valor 0 ou 1 conforme estivessem desligados ou ligados).

Para testar o ENIAC foram escolhidas, dentre cerca duzentas candidatas, seis mulheres (cinco delas matemáticas de formação) para criar um algoritmo e realizar a implementação do mesmo no ENIAC.

Atualmente reconhecemos estas profissionais como as primeiras PROGRAMDORAS (COMPUTADORAS ELETRÔNICAS) da história da INFORMÁTICA; quais sejam: Kathleen "Kay" McNulty Mauchly Antonelli (1921-2006), Betty Jean Jennings (nascida Jean Bartik, 1924-2011), Frances Elizabeth "Betty" Holberton (nascida Frances Elizabeth Snyder, 1917-2001), Marlyn Meltzer (nascida Marlyn Wescoff, 1922-2008), Frances Spence (nascida Frances Bilas, 1922-2012) e Ruth Lichterman Teitelbaum (1924-1986).

“Informatik” (1956), “Informatique” (1962), “Informatika” (1966), INFORMÁTICA. Independentemente do vocábulo originalmente adotado atualmente, no dia 15 de agosto celebramos o DIA DA INFORMÁTICA e alvitramos desenvolvimentos cada vez mais intensificados na correspondente área do saber.

A Informática, de forma muito geral, pode ser definida como a ciência que estuda o processamento automático de informações por intermédio do computador; não sendo lícito confundir Informática com computador haja vista que a Informática existe em decorrência da existência do computador.

Todavia, a Informática é, por muitas vezes, tomada como o conjunto das ciências relacionadas ao armazenamento, transmissão e processamento de informações em meios digitais; ou como o processo de tratamento da informação por meio de máquinas eletrônicas; ou como a ciência que estuda o conjunto de informações e conhecimentos por meios digitais; ou, ainda, como a ciência que estuda o processamento automático de informações por meio do computador (o qual, em particular, ou em última análise, é apenas uma máquina (no sentido estrito do termo)).

Mas, a Informática é entendida, também, como a ciência que funde, em dada medida e em particular grau de complexidade, os conceitos de Matemática e Informação, áreas estas incompletas, incompletáveis e de infindas possibilidades (no sentido de constituírem campos abertos em ampla expansão).

Na associação intrínseca estabelecida entre Matemática, Informação e Máquina Programável estabelecemos, entretanto, os caminhos da “transcendência” nos mais diversos e distintos sentidos os quais o homem vem trilhando incansavelmente.

Que a INFORMÁTICA sempre avance para a melhoria de vida dos humanos.

Carlos Magno Corrêa Dias
15/08/2015

IBM 5150, um Privilégio na História.

  
O revolucionário (fantástico) IBM Personal Computer (PC) 5150 [Sistema Operacional: IBM BASIC / PC DOS 1.0, CP/M-86, UCSD p-System; CPU com processador INTEL 8088 de 4,77 MHz (versão econômica do processador 8086); Memória: 64 KB RAM e 40 KB ROM; duas unidades de disquetes de 5,25 polegadas (com capacidade de 160 KB); sem disco rígido] foi colocado no mercado no dia 12 de agosto de 1981. 

Em novembro de 1981 adquiri um destes (Foto: Wikipédia). Quem teve um IBM PC 5150 nunca esquece a satisfação ímpar experimentada. Fomos privilegiados.

Carlos Magno Corrêa Dias
12/08/2015

Sobrepujando Limites Inexistentes.

Numa perspectiva holística escondem-se mistérios ontológicos de provas impossíveis.

Carlos Magno Corrêa Dias
11/08/2015

Antinomias Paradoxais Condicionais.

No mundo das contingências enunciam-se sentenças tautológicas que escondem evidências contraválidas.

Carlos Magno Corrêa Dias

22/07/2015

Tautologia dos Freios Condicionais.

Muita “matemática” deixou de ser realizada a partir da LÓGICA e muito mais “matemática” será impedida de ser produzida com a permanência da LÓGICA.

Carlos Magno Corrêa Dias
19/07/2015

Exército dos LÓGICOS DEDUTIVOS é Ampliado com Nova Certificação.

  
No período de 11 de maio de 2015 a 29 de junho de 2015, no Câmpus Curitiba da TECNOLÓGICA (Universidade Tecnológica Federal do Paraná - UTFPR), tive a grata satisfação de ministrar o Curso de Extensão Universitária e Tecnológica intitulado LÓGICA MATEMÁTICA APLICADA EM MODELOS INFERENCIAIS.

Desenvolvi o Curso em referência em um total de 30 horas acadêmicas para Estudantes regulamente matriculados em Cursos das Ciências Exatas do Sistema UTFPR e em disciplinas das quais sou o Professor.

O Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA EM MODELOS INFERENCIAIS foi ofertado gratuitamente para os participantes, sem ônus para a Universidade e sem vinculação com quaisquer Agências de Fomento. Tenho em semelhante ação minha contrapartida de contribuição com a Sociedade por meio da Extensão que entendo não possa ser desenvolvida de forma diferente em Instituições de Ensino Superior Públicas.

Como principal propósito do Curso o mesmo objetivou apresentar aos participantes os Cálculos Lógicos desenvolvidos em Lógica Matemática Dedutiva de Primeira Ordem como Modelos Inferenciais para evidenciar Procedimentos Formais de Raciocínios Dedutivos que permitam, por sua vez, avaliar, mediante a Álgebra da Lógica, a correspondente Validade e Consistência de Inferências Formais estruturadas como Argumentos Dedutivos nos quais Conclusões são consequências de Premissas identificadas.

Objetivei, também, a apresentação de Procedimentos Técnicos de Decisão Semânticos e Sintáticos desenvolvidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica aplicáveis em Raciocínios Bivalentes e Dicotômicos para o “bem pensar”.

O “EXÉRCITO DOS LÓGICOS DEDUTIVOS” é ampliado com a correspondente CERTIFICAÇÃO adquirida pelos Jovens Dedutivos que participaram do Curso desenvolvido.

Parabéns aos Jovens Acadêmicos pela Certificação.

Professor Carlos Magno Corrêa Dias
30/06/2015

“IGUAIS NA DIFERENÇA”. Simples assim.

Conforme o artigo primeiro da DECLARAÇÃO UNIVERSAL DOS DIRETOS HUMANOS: 
“Todas as pessoas nascem livres e iguais em dignidade e direitos. São dotadas de razão e consciência e devem agir em relação umas às outras com espírito de fraternidade”.

Acesse http://www.fia.rj.gov.br/legislacao/declaracaodireitoshumanos.pdf e conheça na íntegra semelhante LEI dos CIVILIZADOS.

Carlos magno Corrêa Dias

06/06/2015

Boas Práticas Educando na Sustentabilidade convida Parceiros.

O Conselho Paranaense de Cidadania Empresarial (CPCE), do Sistema Federação das Indústrias do Paraná (FIEP), em comemoração aos seus dez anos de existência, lançou o primeiro concurso de Boas Práticas: Educando na Sustentabilidade.

A iniciativa surgiu da Equipe de Projeto Educando na Sustentabilidade do Núcleo de Instituições de Ensino Superior (NIES) do CPCE/FIEP e tem como objetivo identificar, no Paraná, Boas Práticas que integrem as dimensões da Sustentabilidade no âmbito Econômico, Ambiental, Social e Cultural.

Estão convidadas a participar do concurso em referência todas as Organizações Públicas ou Privadas do Estado do Paraná, dos distintos setores da Economia. As inscrições podem ser realizadas até o próximo dia 30 de junho de 2015.

O CPCE articula competências de Responsabilidade Socioambiental Corporativa (RSAC) de Empresas e diferentes setores da Sociedade para estimular o desenvolvimento sustentável do Estado Paraná. Como um catalisador de ideias e promovendo o desenvolvimento de ações relacionadas com projetos sociais, culturais, ambientais e de voluntariado na Área de Sustentabilidade o CPCE tem o desafio de contribuir com a disseminação e o fortalecimento da consciência social e ambiental no Meio Empresarial Paranaense. 

O concurso Boas Práticas: Educando na Sustentabilidade tem por objetivo geral a divulgação e a promoção de ações relacionadas com a “Educação para a Sustentabilidade”. Será premiada uma “Boa Prática” conforme Regulamento disponibilizado em http://migre.me/q9tuD.

Vamos compartilhar nossas “Boas Práticas” para um mundo com mais SUSTENTABILIDADE.

Carlos Magno Corrêa dias
05/06/2015

Iniciativa de Sustentabilidade Empresarial Mundial comemora 15 anos.

  
Em 2000, a Organização das Nações Unidas (ONU) instituiu o Pacto Global com o objetivo de mobilizar a Comunidade Empresarial Mundial para a adoção de valores fundamentais e internacionalmente aceitos nas áreas de Direitos Humanos, Relações de Trabalho, Meio Ambiente e Combate à Corrupção. 

Os correspondentes valores estão reunidos em dez PRINCÍPIOS UNIVERSAIS os quais são derivados dos seguintes compromissos assumidos pelas Nações Unidas (http://www.onu.org.br/), quais sejam:
(a) Declaração Universal de Direitos Humanos (http://migre.me/pZU9P);
(b) Declaração da Organização Internacional do Trabalho sobre Princípios e Direitos Fundamentais no Trabalho (http://migre.me/pZUf8);
(c) Declaração do Rio sobre Meio Ambiente e Desenvolvimento (http://migre.me/pZUmD);
(d) Convenção das Nações Unidas Contra a Corrupção (http://migre.me/pZUve).

Os dez PRINCÍPIOS UNIVERSAIS do Pacto Global são:
(01) apoiar e respeitar a proteção dos Direitos Humanos;
(02) assegurar a não participação em violações dos Direitos Humanos;
(03) apoiar a liberdade de associação e o reconhecimento efetivo do direito à negociação coletiva;
(04) eliminar todas as formas de trabalho forçado ou compulsório;
(05) abolir efetivamente o trabalho infantil;
(06) eliminar a discriminação no emprego;
(07) apoiar uma abordagem preventiva aos desafios ambientais;
(08) desenvolver iniciativas para promover maior responsabilidade ambiental;
(09) incentivar o desenvolvimento e difusão de tecnologias ambientalmente amigáveis; e,
(10) combater a corrupção em todas as suas formas, inclusive extorsão e propina.

De 23 a 25 de junho de 2015, em Nova York, durante o Global Compact+15: Business as a Force for Good, será comemorado o aniversário de 15 anos do Pacto Global. Conheça a programação e o Pacto Global acessando: https://www.unglobalcompact.org/.

Carlos Magno Corrêa Dias
03/06/2015

Dilema da Conclusão Postulada.

 
Tudo tem uma lógica muito embora, na maioria das vezes, sejamos incapazes de concordar com as razões advindas das necessárias premissas.

Carlos magno Corrêa Dias
31/05/2015

A Lógica das Aplicações Hiperbólicas.

         
Objetivando apresentar a Lógica Formal (Analítica) do Cálculo Diferencial e Integral aplicado sobre Funções Hiperbólicas Diretas e Funções Argumento (ou Funções Hiperbólicas Inversas) ministrei, no período de 02/02/2015 a 27/02/2015, o Curso de Extensão Universitária e Tecnológica em LÓGICA DIFERENCIAL E INTEGRAL DE MODELOS HIPERBÓLICOS.

Tomando por base a Álgebra da Lógica desenvolvida no Cálculo Proposicional Dedutivo e no Cálculo Predicativo de Primeira Ordem objetivei mostrar como avaliar e analisar a Lógica da Diferenciação e Integração das Aplicações (das Funções) Hiperbólicas (Diretas e Inversas).  
   

Apresentei, também, Procedimentos Técnicos de Decisão Semânticos e Sintáticos desenvolvidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica a partir das Operações e Relações da Álgebra da Lógica Matemática para o correspondente estudo de Diferenciais e Integrais envolvendo as Aplicações Hiperbólicas.

Carlos Magno Corrêa Dias
29/05/2015