Centro de lógica, epistemologia e história da ciência
Logic, Rationality, and Probability
Second RatioLog Workshop
April 22-25, 2024
About
The Centre for Logic, Epistemology, and the History of Science will promote the Second RatioLog Workshop: Logic, Rationality, and Probability in April 22-25, 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 Branden Fitelson, from Northeastern University. He will be presenting his work in the intersection of logic, rationality, and probability. More info about him in here.
About
The workshop runs from 9:30 a.m. to 12:20 noon and from 2:00 p.m. to 4:40 p.m. (UTC–3), Monday through Thursday, April 22-25, 2024, at CLE-Unicamp, room 206.
Each talk will last 50 minutes.
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
April 22
Morning
9:30 AM
Branden Fitelson
Short Tutorial: Probability, Confirmation, and (so-called) Reasoning Fallacies
11:10 AM
Coffee Break
11:30 AM
Abílio Rodrigues
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of
Evidence and Truth
Activities
April 22
Afternoon
2:00 PM
Pedro Carrasqueira
Inconsistency as fairness: Taking inconsistent rights seriously
2:50 PM
Walter Carnielli
Some advances on topological interpretations for the Logics of
Evidence and Truth
3:40 PM
Coffee Break
4:00 PM
Júlio M. Stern
The e-value and the Full Bayesian Significance Test: Logical Properties and
Philosophical Consequences
Activities
April 23
Morning
9:30 AM
Anderson Beraldo
Quantum Neural Networks as
Synalgebraic Categories
10:20 AM
Marcelo Terra
Bell nonlocality and Kochen-Specker contextuality together
11:10 AM
Coffee Break
11:30 AM
Guilherme Toledo
SMT and non-computable functions
Activities
April 23
Afternoon
2:00 PM
Branden Fitelson
Short Tutorial: Epistemic Utility Theory
3:40 PM
Coffee Break
4:00 PM
Carlile Lavor
Is it rational to represent 3D space in Rˆ5?
Activities April 24
Morning
9:30 AM
Branden Fitelson
Short Tutorial: The Logic and Epistemology of (Indicative) Conditionals, part I
10:20 AM
Juliana Bueno
Three-Valued Modalities and Paraconsistency
11:10 AM
Coffee Break
11:30 AM
Renato R. Leme
Intuitionism with Truth Tables: A new decision method for IPL by a restricted non-deterministic matrix
Activities
April 24
Afternoon
2:00 PM
Gabriel Rocha
Paraconsistent Bayesian Networks: What, Why and How
2:50 PM
Rafael Ongaratto
What is the name of this logic?
3:40 PM
Coffee Break
4:00 PM
Daniel Diniz
Vagueness as a challenge for probabilistic and fuzzy logics
Activities
April 25
Morning
9:30 AM
Branden Fitelson
Short Tutorial: The Logic and Epistemology of (Indicative) Conditionals, part II
10:20 AM
Veronica Lopez
Inferential Statistical Thinking: Where Do We Go from Here?
11:10 AM
Coffee Break
11:30 AM
Mahan Vaz
Swap structures approach to deontic logics
Activities
April 25
Afternoon
2:00 PM
Gesiel da Silva
Evidential Fit Precedes Simplicity
2:50 PM
Alan R. Antezana
Two Logics of Actuality characterized by NMatrices
3:40 PM
Coffee Break
4:00 PM
Marcelo E. Coniglio
On models for non-trivial and contradictory theories in LFIs with replacement
Participants
Branden fitelson (NORTHEASTERN UNIVERSITY)
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