SESSION PARADOX

KEYNOTE SPEAKER
Ekaterina Kubyshkina
University Panthéon Sorbonne, Paris 1, France
"Truth-functional alternative to epistemic logic and it's application to Fitch's paradox"


Guillermo Araujo Cardoso
Federal University of Minas Gerais, Belo Horizonte, Brazil
"Considering the liar in Kripke's framework"

Alessandro De Cesaris
University of Eastern Piedmont, Vercelli, Italy
"The paradox of singularity. contradiction and individuals between Aristotle and Hegel"


Farzad Didehvar
Department of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran
"A semantic situation without syntax (non- axiomatizibility of some theories)"

Doukas Kapantaïs
Academy of Athens, Greece
"Paraconsistent intuitionistic logic for future contingents
"

Valeri Zlatanov Lichev
Institute for the Study of Societies and Knowledge, Bulgarian Academy of Sciences, Sofia, Bulgaria
"The role of paradoxes in Belles-Lettres"

 



Raja Natarajan
Tata Institute of Fundamental Research, Mumbai, India
" Condorcet paradox and program logics"

Alexandre Rademaker and Edward Hermann Haeusler
IBM Research, Rio de Janeiro, Brazil, Dpt of Informatics, PUC-Rio, Brazil
"On how kelsenian jurisprudence and i tuitionistic logic help to avoid contrary- to-duty paradoxes in legal ontologies"

Denis I.Saveliev
Moscow State University, Russia
"On paradoxical and non-paradoxical systems of propositions referring to themselves"

Andrew Schumann
University of Information Technology and Management in Rzeszow, Poland
"Bayesian networks on transition systems"

Shawn Standefer
Auburn University, USA
"Towards non-classical approaches to circular definitions"

Jan Stepanek
Masaryk University, Brno, Czech Republic
"Sorites paradox and the need for many-valued logics"

Byeong-uk Yi
University of Toronto, Canada
"An analysis of Bach-Peters sentences""


For co-authored papers, first is the name of the one who will present the talk. Talks are located in a workshop or in a session
Keynote talks= 45 mn / Contributed talks = 30 mn (including discussion in both cases)