- by Felipe CamargoO Silogismo e as suas transformações através dos anos. Ricardo Mendes Grande Universidade Estadual de Campinas, Brasil A lógica de Aristóteles passou por muitas transformações ao longo dos anos desde sua criação há mais de 2200 anos. Após a publicação dos manuscritos de Leibniz sobre lógica em 1903 e da obra de Łukasiewicz, a teoria […]
- by Felipe CamargoEconomic inequality and RAE models. Manuel de Jesús Luévano Robledo Universidad Autónoma de Zacatecas Is extreme inequality a natural consequence of market economies or pure “luck”? In this seminar, we will explore the nature of inequality from the perspective of econophysics. We will analyze Random Asset Exchange (RAE) models, which simulate stochastic trade interactions, highlighting […]
- by Felipe CamargoA minimalist semantics for IPLIPL Renato Reis Leme Universidade Estadual de Campinas, Brasil In this talk, I will address the problem of providing a semantics for intuitionistic propositional logic (IPLIPL), namely a semantics satisfying Γ⊢IPLφ\Gamma \vdash^{IPL} \varphi iff Γ⊨φ\Gamma \models \varphi. I will present a direct, matrix-based approach aimed at capturing the expected input-output behavior […]
- by Felipe CamargoA apropriação pela lógica das modalidades no Da Interpretação José Veríssimo da Mata (Pesquisador Independente) Neste seminário abordaremos os seguintes tópicos:1) Os paralogismos do fatalista2) Aspectos das modalidades no capítulo IX3) Aplicações singelas da teoria das modalidades de Aristóteles nainterpretação de alguns desafios lógicos #aristotles-logic, #de-interpretatione, #modal-logic
- by Felipe CamargoDistorted Conditionals: A Relevance-Theoretic Account Viktoria Denisova National Research University Higher School of Economics, Russia What makes a distorted belief irrational and can its irrationality be diagnosed without simply labelling it? This talk argues that what are traditionally called cognitive distortions are not failures of logical competence but structurally coherent reasoning patterns arising from epistemic […]
- by Felipe CamargoDesiderata and Challenges for the Formalization of the Metaphysics of Biological Species Jerzy Brzozowski Universidade Federal de Santa Catarina, Brasil Ever since Darwin formulated and presented evidence supporting the hypothesis of common descent, contemporary biology has come to conceive of species and other taxa as lineages of organisms. That is, species are groupings of successive […]
- by Felipe CamargoAGMpabdp_{abd} and AGM∘abd\circ_{abd}: Two AGM-like paraconsistent systems for abduction Ulisses Franceschi Eliano Universidade Estadual de Campinas, Brasil In the standard AGM belief change system, the most interesting operations are contraction and revision. Expansion, on the other hand, is a simple and deterministic operation. When abductive reasoning and its ampliative aspect are considered in the AGM […]
- by Felipe CamargoLógicas Anotadas: Paralelos e Peculiaridades Miguel Alfredo Nunes Universidade Estadual de Campinas, Brasil Nesta apresentação irei introduzir o conceito de lógica anotada, traçarei paralelos entre estas lógicas e outras lógicas não clássicas que se assemelham com elas e abordarei um resultado interessante sobre o uso dessa família de lógica no contexto da lógica aplicada. As […]
- by Felipe CamargoLógica da Música ou Música da Lógica? Rodrigo Trevisan Braga Universidade Estadual de Campinas, Brasil Este trabalho apresenta uma resposta intrigante às questões fundamentais sobre a relação entre Lógica e Música. Investigamos a relação entre o timbre musical e as propriedades físicas do som, a utilização da base numérica duodecimal para a afinação e a […]
- by Felipe CamargoProbabilities over a 6-valued expansion of Belnap-Dunn logic Verónica Borja Macías Universidad Tecnológica de la Mixteca, Mexico #lets, #logics-of-formal-inconsistency, #paraconsistent-logic, #probability-theory