Centro de lógica, epistemologia e história da ciência
Logic, Rationality, and Probability
First RatioLog Workshop
March 25-27, 2024
About
The Centre for Logic, Epistemology, and the History of Science will promote the First RatioLog Workshop: Logic, Rationality, and Probability in March 25-27, 2024.
Logic, Rationality, and Probability is a meeting for logic related researchers to present their research in relation to rationality and probability.
Our main guest is Luis Estrada-González, from Universidad Nacional Autonóma de México. He will be presenting his work in the intersection of logic, rationality, and probability.
About
The workshop runs from 9:30 a.m. to 12:00 noon and from 2 to 5 p.m. (UTC–3), Monday through Wednesday, March 25-27, 2024, at CLE-Unicamp, room 206.
Each talk will last 1 hour (45 minutes of presentation and 15 minutes of questions and answers).
This Workshop is primarily dedicated to researchers and students participating in the FAPESP Thematic Project "RatioLog". Everyone is welcome, but due to the limited number of slots, acceptance may be restricted. Students are invited to submit their presentation to ongarattorafa@gmail.com.
Activities
March 25
Morning
9:30 AM
Luis Estrada-González
Irrelevancies in inconsistent mathematics
10:30 AM
Coffee Break
11:00 Am
Marcelo E. Coniglio
Swap structures and their fibring: a new way to combine non-deterministic matrices
Activities
March 25
Afternoon
2:00 PM
Pedro Carrasqueira
On alignment and isolation of intelligent systems
3:00 PM
Coffee Break
3:30 pm
Walter Carnielli
Paraconsistency and paracompleteness without tears: A topological
interpretation for the Logic of Evidence and Truth
Activities
March 26
Morning
9:30 AM
Luis Estrada- González
An relevant approach to Bell's theorem and Lewis' triviality result
10:30 am
Coffee Break
11:00 Am
Anderson Beraldo
Synalgebra of Quantum Probability
Activities
March 26
Afternoon
2:00 PM
Rodolfo C. Ertola-Biraben
Modalities combining two negations
3:00 PM
Coffee Break
3:30 pm
Henrique Antunes and Abílio Rodrigues
On a Universally Free First-Order Extension of
the Logic of First-Degree Entailment
Activities
March 27
Morning
9:30 AM
Maíra Bittencourt
The relationship between induction, probability, and the philosophy of science, according to Jack Good.
10:30 AM
Coffee Break
11:00 AM
Rafael Ongaratto
Knights and Knaves meet ProLog
Activities
March 27
Afternoon
2:00 PM
Vinícius Litvinoff Justus and Verónica Andrea González-López
Inferência Causal: Uma Introdução aos Modelos Causais Estruturais
3:00 PM
Coffee Break
3:30 pm
Roundtable
Common Research Topics: Brazil and Mexico
Participants
LUIS estrada-gonzález
(unam - iif)
Participants
MARCELO CONIGLIO
(IFCH/CLE - UNICAMP)
wALTER CARNIELLI
(IFCH/CLE - UNICAMP)
juliana BUeno-soler
(cle/ft - UNICAMP)
Other
Information
Logic, Rationality, and Probability is an event promoted with the support of FAPESP, as it is part of the FAPESP project RatioLog.
For more information: walterac@unicamp.br
Organization: Walter Carnielli, Rafael Ongaratto and Maíra Bittencourt