Seminários CLE

From Multirelations to Meet-Relations: ARelational Duality for Semilattices withAdjunctions Belen Gimenez Matrin (joint work with William Zuluaga) Universidad Nacional de La Plata, Brasil This talk presents a relational duality for semilattices with adjunctions (SLatas). Starting from the classical duality for semilattices and its extensions to monotone and modal semilattices, a dual framework for SLatas is […]

O 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 […]

Economic 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 […]

A 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 […]

A 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

Distorted 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 […]

Desiderata 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 […]

AGMpabdp_{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 […]

Ló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 […]

Ló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 […]