Pesquisa
MISSÕES DA LÓGICA: OFICINAS DESPLUGADAS COM PENSAMENTO COMPUTACIONAL E FUNÇÕES EXECUTIVAS EM CRIANÇAS NEURODIVERGENTES
Este artigo apresenta uma proposta de intervenção pedagógica desplugada voltada ao desenvolvimento do pensamento computacional e do controle inibitório em crianças neurodivergentes, com ênfase em perfis de Transtorno do Espectro Autista (TEA) e Tran…
APONTAMENTOS EM FILOSOFIA DA LÓGICA
Neste artigo discutimos alguns aspectos da lógica nos dias atuais. O propósito central é mostrar a evolução dessa disciplina. Começamos com uma breve introdução onde especificamos o que queremos dizer com o termo “lógica”. A seguir, exporemos e disc…
APONTAMENTOS EM FILOSOFIA DA LÓGICA
Neste artigo discutimos alguns aspectos da lógica nos dias atuais. O propósito central é mostrar a evolução dessa disciplina. Começamos com uma breve introdução onde especificamos o que queremos dizer com o termo “lógica”. A seguir, exporemos e disc…
TEORIA DE CATEGORIAS: UMA SEMÂNTICA CATEGORIAL PARA LINGUAGENS PROPOSICIONAIS
O PONTO CENTRAL DESSA DISSERTAÇÃO É EXPOR CATEGORIALMENTE AS FUNÇÕES DE VERDADE DO CÁLCULO PROPOSICIONAL CLÁSSICO, ASSIM COMO PROVAR, TAMBÉM CATEGORIALMENTE, QUE A DEFINIÇÃO DADA SE COMPORTA TAL COMO AS TABELAS DE VERDADE DOS OPERADORES. PARA TANTO…
A LÓGICA DO TRACTATUS E O OPERADOR N: DECIDIBILIDADE E CAPACIDADE EXPRESSIVA
O PRESENTE TRABALHO TEM COMO OBJETO DE ESTUDO O PRIMEIRO E ÚNICO LIVRO PUBLICADO POR WITTGENSEIN, SEU TRACTATUS LOGICO-PHILOSOPHICUS. NOSSO TÓPICO CONSISTE NAS DIFICULDADES ENVOLVIDAS EM UMA DE SUAS TESES MAIS CENTRAIS: A TESE SEGUNDO A QUAL TODA E…
EMARANHAMENTO: UMA ABORDAGEM LÓGICA
NESTA DISSERTAÇÃO APRESENTAMOS UM NOVO FORMALISMO LÓGICO, BASEADO NO SISTEMA MODAL S4, INTRODUZIDO POR DÉCIO KRAUSE E JONAS ARENHART, PARA TRATAR DOS CONCEITOS DA MECÂNICA QUÂNTICA DE SUPERPOSIÇÃO E MEDIDA. ALÉM DISSO, DESENVOLVEMOS, DE MODO INFORMA…
Lógicas da Inconsistência Deôntica
Esse trabalho expõe brevemente o que são as Lógicas da Inconsistência Formal..Essas lógicas não trivializam na presença de contradições, pois a partir de A e ~A temos simplesmente que ~oA, ou seja, A não é consistente, ou não é seguro..De maneira an…
A LÓGICA MATEMÁTICA E OS FUNDAMENTOS DA MICROECONOMIA
APÓS A MATEMATIZAÇÃO DA MICROENOMICA OCORRIDA ESSENCIALMENTE EM VIENA NOS ANOS 20 E 30 MUITOS PESQUISADORES COMEÇARAM A SENTIR QUE TAL MATEMATIZAÇÃO (ESSENCIALMENTE TOPOLÓGICA) NÃO CAPTAVA DE FORMA ADEQUADA OS FENÔMENOS ECONÔMICOS. CONTUDO, TAIS CRÍ…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.