Melving Fitting
Dpt of Mathematics and Computer Sciences, City University of New York, USA
"Cut-free proofs for more and more logics"
Session Universal
Juliana Bueno Soler
State University of Campinas - UNICAMP, Brazil
"Paraconsistent probability theory: betting rationally under contradiction"
Session Paraconsistency
Ernest Lepore
Rutgers Center for Cognitive Science, Rutgers University, USA
"Discourse and logical form"
Session Language
Irina Starikova
University of São Paulo, Brazil
"Creativity and visualisations in mathematics"
Workshop C3GI
JC Beall
Department of
Philosophy, University of Connecticut, USA and University of Tasmania, Australia
"There is no logical negation"
Session Philosophy
Christian Strasser
(joint work with Jesse Heyninck)
Ruhr-University, Bochum, Germany
"Argumentation semantics for adaptive logics"
Session Argumentation
Julie Brumberg-Chaumont
CNRS, Paris, France and European University Institute, Florence, Italy
"From syllogisms to syllogistic consequences: a turning point in the history
Workshop Medieval Logic
Roman Murawski
Adam Mickiewicz University, Poznan, Poland,
"On the way to modern logic -- the case of Polish logic" of logic"
Workshop The Idea of Logic
Samet Büyükada
Department of Philosophy, Istanbul Medeniyet University
"Hypothetical syllogism in Avicenna"
Session History
Rodrigo Freire
University of Brasilia, Brazil
"First-order logic and first-order function"
Session Tools and Results
Ahmet Çevik
Middle East Technical University, Ankara, Turkey
"Is the Church-Turing thesis the new Pythagoreanism?"
Session Computation
Graham Priest
City University of New York, USA
Workshop Philosophy of Non-Classical Logics
Eros Corraza
LCLI, The University of the Basque Country, Carleton University, Ottawa ON, Canada
"Identity Statements, Doxastic Co-Indexation, and Frege’s Puzzle"
Workshop Frege's Puzzle
Vinod Goel
York University, Toronto, Canada
"Is there a logical reasoning module in the brain?"
Session Cognition
Maarten McKubre-Jordens
University of Canterbury, Christchurch, New Zealand
"Invitation to non-classical mathematics"
Workshop Inconsistent Mathematics
|
Olivia Caramello
Dpt of Mathematics, University of Paris 7, France
"The theory of topos-theoretic 'bridges', five years later"
Session Algebra and Category
Luciano Floridi
Oxford Internet Institute, Oxford, UK
"In search for a conceptual logic of information"
Workshop Logic and Information
Elena Dragalina-Chernaya
University Higher School of Economics, Moscow, Russia
"The ontology of logical form: formal ontology vs. formal deontology"
Workshop The Idea of Logic
Secret Speaker
Department of
Secret, University of Nothing, Kancago, Goustavia
Ekaterina Kubyshkina
University Panthéon Sorbonne, Paris 1, France
"Truth-functional alternative to epistemic logic and it's application to Fitch's paradox"
Session Paradox
João Marcos
Department of
Informatics and Applied Mathematics, UFRN, Natal, Brazil
"Consequiland: on logics with many dimensions"
Workshop Non-Classical Abstract Logic
Una Stojnić
Dept of Philosophy, Rutgers University, USA
"One’s Modus Ponens: classical logic and
semantics for modality"
Session Modal
Pei Wang
Temple University, USA
"Toward a logic for realistic reasoning in humans and computers"
Workshop Emergent Computational Logics
Gordana Dodig-Crnkovic
Mälardalen University, Sweden
"A dual representation theory of quantum Systems
and its ontological consequences"
Workshop Representation and Reality
Gianfranco Basti
Pontifical Lateran University, Vatican City
"A dual representation theory of quantum Systems
and its ontological consequences"
Workshop Representation and Reality
Raymond Turner
School of Computer Science and Electronic Engineering, University of Essex, UK
"Ontology of Programs"
Workshop Philosophy of Computer Science
Maria Manzano
University of Salamanca, Spain
"Leon Henkin and the Completeness theorem"
Jaan Valsiner
Clark University, USA
"Can one create a logic of development?"
Workshop Utopian Thinking and Logic-s
Tony Veale
UCD School of Computer Science and Informatics, Dublin, Ireland
"Seduced and Abandoned in the Chinese Room"
Workshop C3GI
Storrs McCall
McGill, Canada
"Connexive logic based on an incompatibility operator"
Workshop Connexive Logics
|