Thinking and Rationality

Here the schedule of the workshop

Workshop organized by

Walter Carnielli, Marcelo Coniglio
(State University of Campinas - UNICAMP, Brazil)

Juliana Bueno Soler
(Federal University of ABC, São Paulo, Brazil)

Contemporary logic with its plethora of systems for approaching topics such as reasoning about truth, about knowledge, about belief, about preference, and for reasoning under more liberal attitudes (by dropping certain classical laws) such as in reasoning under constructive paradigms (intuitionism), reasoning under contradictions (paraconsistency), multi-alethic reasoning (many-valuedness), reasoning under uncertainty (fuzzyness), and so on, can be confronted and complemented with other tools for modeling decision making and intelligent interaction that take into account the information states of agents and the information flow such as belief revision, preference revision, multimodal and dynamics logics, reasoning in societies against individual reasoning, etc.

But, on the other hand, abandoning some classical laws and adding a dynamic side to logics has the price of imposing more severe constraints for the mathematical and formal rendering of logics. How this affects rationality and the foundational aspects of the idea of critical thinking? if we accept not to have a unique theory of rationality, how could we then expect to reason collectively as in science and, collective decisions and in dialogical argumentation? This workshop aims at discussing the philosophical and logical roots of thinking and rationality broadly conceived, as well as their connections to contemporary logic and information.


  • Johan van Benthem (University of Amsterdam and Stanford University)
  • Giacomo Bonanno (University of California, Davis)
  • Juliana Bueno-Soler (Federal University of ABC, Santo Andre))
  • Walter Carnielli (UNICAMP, Campinas)
  • Marcelo Coniglio (UNICAMP, Campinas)
  • Mamede Lima-Marques (UnB, Brasilia)
  • Eric Pacuit (Tilburg University)

Event supported by:

- FAPESP Thematic Project Logical Consequence, Reasoning and Computation – LogCons

- CLE-UNICAMP The Centre for Logic, Epistemology and the History of Science at the State University of Campinas

- CPAI/UnB - Center for Research in Architecture of Information at the University o Brasilia

Organizers contact:  or  or 

TOPICS INCLUDE (but are not restricted to):

  • Game theory and logic
  • Social choice theory and logic
  • Logic and information -Logics between statics and dynamics
  • Probabilistic reasoning
  • Decision making
  • Causal reasoning and counterfactual thinking
  • Economic roots on logic
  • Logic roots on economics
  • Cultural influences on thinking and logic
  • Different rationalities


Paper submissions: January 11, 2013

Notification of paper acceptance: February28, 2013

Workshop dates: Between April 2-3, 2013

Post-Conference Publication: to be announced

Page length for submission: 5-10 pages

Format: Preferably tex format free style plus PDF

Submissions via email




Keynote Speaker

Otávio Bueno

Department of Philosophy,
University of Miami, USA

"Logic and Rationality"


Contributing Speakers

Ana Cholodovskis, State University of Campinas - UNICAMP, Brazil, LFIs and Non-Monotonicity

Samir Gorsky, Dpt of Philosophy, University of Brasilia, A Simple Solution to Ulam's Game with Lies

Claudio Pizzi, Dpt of Philosophy, University of Siena, Italy, Rational and Reasonable Inference

Mariana Matulovic, State University of Campinas - UNICAMP, Brazil, Polynomials as Universal Tools: Unifying Proofs from Classical to Non-Classical Logics

Frode Bjordal, University of Oslo, Norway, On the Librationist Farewells to Modus Ponens and Truth-Functionality

Diego Tajer, University of Buenos Aires, Argentina, Logical Knowledege and Ordinary Reasoning; More than considering, Less than Believing

Rafael Azevedo, Mamede Lima-Marques and Manoel Tenorio, CPAI-UnB, Brasilia, Brasil, Towards an Architecture of Information for Social Choice Systems

Abilio Rodrigues, Federal University of Minas Gerais - UFMG, Brazil, On a Philosophical Justification of Logics of Formal Inconsistency

Walter Carnielli, State University of Campinas - UNICAMP, Brazil, Evading Gödel's Theorems?

Juliana Bueno-Soler, Federal University of ABC, São Paulo, Brazil, Paraconsistent Description Logics from the Formal-Consistency Viewpoint

Marcelo Coniglio and Tarcisio G.Rodrigues, State University of Campinas - UNICAMP, Brazil, New Results on mbC and mCi

Sylvain Lavelle, ICAM, Paris, France, Elements of Special and General Logic The crazy Hypothesis: Logic is about Truth, Goodness, Beauty and Utility

Kent Hurtig, Dpt of Philosophy, University of Stirling, Scotland, Conditionalism about the Normativity of Rationality

Luis Menasché Schechter, UFRJ, Rio de Janeiro, Brazil, Plausibility and Justification