Loading…
CLMPS 2015 has ended

Sign up or log in to bookmark your favorites and sync them to your phone or calendar.

Symposia [clear filter]
Tuesday, August 4
 

14:30

Ratio ad contrarium: the logical and philosophical importance of reasoning under contradictions
4 August 02:30 PM – 04:30 PM


SPEAKERS AND TITLES

Probability measures of the inconsistent– and of the contradictory
Walter Carnielli, State University of Campinas –UNICAMP

Paraconsistency as evidence preservation: a natural deduction approach
Abilio Rodrigues, Federal University of Minas Gerais

Der Läufer darf gerade ziehen und der Läufer darf nicht gerade
ziehen? Sketches for an anthropological philosophy of paraconsistency,
based on the notion of rules
Marcos Silva, University of Ceara

On Paraconsistent Belief Revision: the AGM rationality criteria revisited
Rafael Testa, State University if Campinas-UNICAMP

Speakers
WC

Walter Carnielli

State University of Campinas-UNICAMP
AR

Abilio Rodrigues

Federal University of Minas Gerais- UFMG
MS

Marcos Silva

Federal University of Ceara- UfC
RT

Rafael Testa

State University if Campinas-UNICAMP



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 10 Fabianinkatu 33
 
Wednesday, August 5
 

14:30

Naming Logic(s)
5 August 02:30 PM – 04:30 PM

Organized by
Jean-Yves Beziau, Federal University of Rio de Janeiro


SPEAKERS AND TITLES

What makes symbolic logic “symbolic”?
Amirouhe Moktefi, Tallinn University of Technology

Formal and transcendental logic
Srecko Kovac, Institute of Philosophy, Zagreb

What is pure in Husserl’s idea of pure logic?
Manuel Gustavo Isaac, Paris Diderot University

On the minimality of minimal logic
Sergei Odintsov, Sobolev Institute of Mathematics




Chairs
avatar for Jean-Yves Beziau

Jean-Yves Beziau

Professor / Visiting Scholar, Ecole Normale Supérieure
Universal Logic, Square of Opposition, History and Philosophy of Logic, Paraconsistent Logic, Many-Valued Logic, Modal Logic, Semiotics

Speakers
avatar for Manuel Gustavo Isaac

Manuel Gustavo Isaac

Paris Diderot University, isaac.manuelgustavo@gmail.com
SK

Srecko Kovac

Institute of Philosophy, Zagreb
avatar for Amirouche Moktefi

Amirouche Moktefi

Research fellow, Tallinn University of Technology
SO

Sergei Odintsov

Sobolev Institute of Mathematics



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 3 Fabianinkatu 33
 
Friday, August 7
 

17:00

Computational Finitism and Concrete Foundations of Mathematics
7 August 05:00 PM – 7:00 PM

Organized by Marek Czarnecki, Warsaw University and Marcin Mostowski, Warsaw University

SPEAKERS AND TITLES

Concrete mathematics -- finitistic approach to foundations of mathematics
Marek Czarnecki, Warsaw University and Marcin Mostowski, Warsaw University, Warszawa and Jagiellonian University
To be presented by Marcin Mostowski

Concrete model theory. Model-theoretic constructions without actual infinity
Marek Czarnecki, Warsaw University
To be presented by Michał Tomasz Godziszewski

An infinite liar in a potentially infinite world
Michał Tomasz Godziszewski, Warsaw University

Learnability thesis, FM--representability and low models of WKL_0
Marek Czarnecki Michał Tomasz Godziszewski, Dariusz Kalociński, Warsaw University

Chairs
MC

Marek Czarnecki

University of Warsaw
MM

Marcin Mostowski

University of Warsaw

Speakers
MT

Michal Tomasz Godziszewski

University of Warsaw
avatar for Dariusz Kalociński

Dariusz Kalociński

PhD student, Institute of Philosophy, University of Warsaw



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 7 Fabianinkatu 33
 
Saturday, August 8
 

13:30

Recent Progress in Formal Theories of Truth
8 August 01:30 PM – 03:30 PM


SPEAKERS AND TITLES

The Innocence of Truth
Cezary Cieśliński, University of Warsaw

Models of Weak Theories of Truth
Mateusz Łełyk, University of Warsaw

Compositional Truth Predicate with Δ0 Induction
Bartosz Wcisło, University of Warsaw

Formalizing Yablo’s Paradox
Michał Tomasz Godziszewski, University of Warsaw

Speakers
CC

Cezary Cieslinski

University of Warsaw
MT

Michal Tomasz Godziszewski

University of Warsaw
ML

Mateusz Lelyk

University of Warsaw
BW

Bartosz Wcislo

University of Warsaw



Saturday August 8, 2015 13:30 - 15:30
Main Building, Auditorium IV