updraftplus domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home3/acmiteao/public_html/wp-includes/functions.php on line 6114
ACM 
A palestra versará primeiramente sobre o hexágono lógico tal como apresentado por Robert Blanché na obra Estruturas Intelectuais (1966). Em seguida, serão tecidas algumas considerações sobre o princípio de razão suficiente, importante conceito filosófico enunciado por Gottfried Wilhelm Leibniz (1646-1716). Por fim, será mostrado como o hexágono lógico pode servir de ferramenta para organizar sistematicamente os conceitos de razão suficiente e de causalidade.
Discutiremos certos aspectos do uso de linguagens infinitárias em lógica clássica de primeira ordem. Em particular, apresentaremos como linguagens infinitárias possuem a capacidade de aumentar o poder de expressabilidade de enunciados. Para isto, colocaremos o foco na noção de definibilidade de conceitos nestas linguagens e como esta noção se torna mais ampla com o uso de operadores infinitários. Apresentaremos um resultado geral sobre definibilidade por meio da noção de invariância por automorfismos de estruturas de primeira ordem.
Faremos de maneira informal uma viagem pelo mundo dos sistemas dinâmicos. Um panorama do que são, discretos e contínuos. Comentaremos como, de maneira natural, entra a aleatoriedade (sinônimo de probabilidade ou estocástico). Dinâmicas estocásticas que são modelos e servem de intuição para outras: movimento Browniano e correlatos.
O Eletromagnetismo Aplicado é uma ciência fonte de paixão de poucos e desinteresse de outros. Nos dias atuais, é fundamento para tecnologias básicas para a manutenção do conforto e estilo de vida do homem contemporâneo. Computadores, Tablets e smartphones, automóveis, barcos e trens, utensílios de uso domésticos e mesmo os atuadores (braços robôs) que os constroem nos longínquos pátios das fábricas, são exemplos de dispositivos que ganham vida graças ao Eletromagnetismo Aplicado, ciência controversa que até 1856, era estudada como duas forças separadas da natureza, o magnetismo e a eletricidade.
Ao uso de ferramentas das Estruturas Algébricas, em especial a Teoria de Grupos, se procura encontrar a Práxis de Análise Matemática. Objeto da palestra será, deslindar a Práxis de Análise Matemática, ao uso da Estrutura Algébrica, empregando a operação ‘simetria’ para indigitar, em casos concretos, a prestabilidade da Teoria de Grupos, sem interferência de operações aritméticas ou valia de números.
As investigações fundacionais – que visam o ganho de entendimento sobre as práticas matemáticas – resultaram nas disciplinas que compõem o que hoje chamamos de lógica matemática. Teoria da demonstração, teoria de modelos, computabilidade, sintaxe e semântica de teorias de conjuntos e de números, todas emergem da atividade em fundamentos da matemática.
Aprendemos que toda a matéria é constituída por pouco mais de uma centena de átomos que, assim como as letras unem-se para formar as palavras, podem unir-se para formar uma infinidade de substâncias. Os próprios átomos são formados por entidades ainda menores, como prótons nêutrons e elétrons. Estes últimos apresentam uma dupla natureza, comportando-se como partículas e/ou como ondas. Tratados como ondas, os elétrons permitem ser descritos matematicamente, e nesta palestra conversaremos sobre esta moderna descrição dos átomos.
Quanto tempo o tempo tem? Esse é um dos primeiros trava-línguas que aprendemos quando começamos a aprender a língua de nossos pais. Posteriormente aprendemos a ler as horas pelos ponteiros de um relógio mecânico. Foi sempre assim? A história do tempo é longa e seus conceitos fazem parte de cada momento importante nos avanços da humanidade como conhecemos hoje. Nesse encontro, vamos bater um papo sobre relógios, eventos, Einstein, revoluções e tempos.
Estudo e análise da Definição, das Propriedades e das Operações de Grupo, Corpo e Anel.
Gottlob Frege é popularmente considerado como o “pai da lógica contemporânea”, por oposição à lógica aristotélica. Em seu pequeno ensaio Begriffsschrift (Escrita Conceitual), publicado em 1879, ele elaborou um sistema simbólico para representar inferências lógicas. Outros filósofos e matemáticos da época haviam elaborado sistemas simbólicos análogos (e.g., Peano, Boole, Schröder) mas em nenhum deles ocorre um entrelaçamento tão profundo entre lógica, filosofia da linguagem, epistemologia e ontologia como no trabalho de Frege. Por isso ele deu origem não apenas à lógica contemporânea, mas também estabeleceu os parâmetros da filosofia da linguagem e filosofia da matemática dos séculos XX e XXI. Nesta segunda palestra, discutiremos a visão especificamente matemática (aritmética) de Frege, que tem sua origem na tradição neo-Kantiana alemã, mas que também diverge de maneira profunda da mesma. Abordaremos o entrelaçamento desta visão com a lógica, a linguagem e o pensamento, e como ela se relaciona com a visão de outros grandes filósofos contemporâneos de Frege (e.g., Boole, Hilbert, Russell e Wittgenstein).