CONTRIBUTING SPEAKERS


Russ Abbott

Califronia State University, Los Angeles, USA
"Software and causality"

Worskhop Philosophy of Computer Science

Mark Addis
Birmingham City Univerisity, UK
"Syntax and semantics in evolved theories"

Worskhop Philosophy of Computer Science

Marcello D'Agostino and Luciano Floridi
University of Ferrara, Italy and University of Oxford, UK
"Towards a more realistic theory of semantic information"
Workshop Logic and Information

Patrick Allo
Centre for Logic and Philosophy of Science, Free University of Brussels, VUB, Belgium
"Hard and soft logical information"
Workshop Philosophy of Non-Classical Logics

Rodrigo de Almeida
Dept of Philosophy, Federal University of Rio de Janeiro, Brazil
"Investigations into a polynomial calculus of logic"
Contest

Edgar Luis Bezerra de Almeida and Rodrigo de Alvarenga Freire
State University of Campinas, Brazil and University of Brasilia, Brazil
"Fixing truth-value for arithmetical sentences"

Session Tools and Results

Marcos Antonio Alves and Itala M. Loffredo D'Ottaviano
UENP- State University of Northern Parana, Jacarezinho, Brazil and Dpt of Philosophy, State University of Campinas, Brazil
"A quantitative-informational approach to logical consequence"

Workshop Logic and Information

Madjid Amini
Virginia State University, Petersburg, USA
"Logical and non-logical lexicons: Was Tarski right that there are no objective grounds to draw a sharp boundary between them?"

Workshop The Idea of Logic

Bhupinder Singh Anand
Mumbai, India
"Algorithmically Verifiable quantum functions vis a vis algorithmically computable classical functions: a suggested mathematical perspective for the EPR argument"

Workshop Emergent Computational Logics

Henrique Antunes
State University of Campinas, Brazil
"A contextual definition of an abstraction operator in second-order logic"

Session Tools and Results

Pavel Arazim
Charles University in Prague, Czech Republic
"Logical pluralism from the perspective of logical expressivism"
Session Universal

Peter Arndt
Dpt of Mathematics, University of Regensburg, Germany
"Homotopy theoretical aspects of abstract logic"

Session Universal

Guillaume Aucher
University of Rennes 1, INRIA, Rennes, France
"Updates in logic"

Session Tools and Results

Philippe Balbiani and Çiğdem Gencer
CNRS, Toulouse University, France - Istanbul Kültür University, Turkey
"Computability of unification and admissibility in contact logics"

Session Tools and Results

Can Başkent
University of Bath, UK
"Paraconsistent dynamic epistemology"

Session Paraconsistency

Diderik Batens
Ghent University, Belgium
"A piece of logical handicraft illustrating a philosophical position"

Workshop Philosophy of Non-Classical Logics

André Bazzoni
Dpt of Philosophy, University of Berkeley, USA
"Between triviality and informativeness -- Identity: its logic and its puzzles"

Session Philosophy

Mathieu Beirlaen
Dpt of Philosophy, Ruhr University, Bochum, Germany
"A recipe for safe detachment"

Session Modal

Francesco Bellucci
Tallinn University of Technology, Estonia
"Logic as semiotic: Peirce’s philosophy of logic"
Workshop The Idea of Logic

Juan Manuel Campos Benítez
Benemérita Universidad Autónoma de Puebla, Mexico
"The Medieval Octagons: Analogies and Differences"
Workshop Medieval Logics


Hanife Bilgili
University of Istanbul, Turkey
"Transworld identity: some questions and some answers
"
Session Modal

Irene Binini
Scuola Normale Superiore, Pisa, Italy
"Conceivability and possibility in Abelard's theory of modality"
Workshop Medieval Logic

Rodolfo C. Ertola Biraben
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Expanding non-classical logics"

Session Universal

Frode Bjørdal
University of Oslo, Norway and UFRN, Natal, Brazil
"Librationist motives and perspectives"
Workshop Tools and Results

Justin Bledin
Johns Hopkins University, Baltimore, USA
"Logic informed"
Workshop Logic and Information

Emiliano Boccardi
State University of Campinas, UNICAMP, Brazil
"Frege’s Puzzle: Much Ado about Nothing?"
Workshop Frege's Puzzle

Stefano Borgo and Oliver Kutz
Laboratory for Applied Ontology, ISTC CNR, Trento, Italy amd University of Magdeburg, Germany
"Applied ontology, logical pluralism, and the logical constants"

Session Universal

Gudio Bonino
University of Turin, Italy
"Logic and its place in philosophy. T.H. Green and the idealistic view"

Workshop The Idea of Logic


Verónica Macías Borja
Benemérita Universidad Autónoma de Puebla, Mexico
"A panoramic view over the dualization of intuitionistic logic"

Session Paraconsistency

Ross Brady
Dpt of Philosophy, La Trobe University, Australia
"The use of definitions and their logical representation in paradox derivation"
Workshop Philosophy of Non-Classical Logics

Carlos Caleiro and Sérgio Marcelino
Security and Quantum Information Group, Institute for Telecommunications, IST, University of Lisbon, Portugal
"Fibring logics: decidability and conservativity Part I and part II"
Session Universal

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

Session Paradox

Walter Carnielli and Abilio Rodrigues
Center of Logic, State University of Campinas - UNICAMP, Brazil and Department of Philosophy - Federal University of Minas Gerais, Belo Horizonte, Brazil
"An epistemic approach to paraconsistency: dealing with evidence and truth"

Workshop Philosophy of Non-Classical Logics

Massimiliano Carrara
University of Padua, Padova, Italy
"On the exclusivity of logical negation"

Workshop Philosophy of Non-Classical Logics

Joan Casas-Roma, Antonia Huertas, M. Elena Rodríguez and Maria Manzano
University Oberta de Catalunya, Barcelona, Spain and University of Salamanca, Spain
"Intensionality: uncomfortable but necessary in the history of logic"

Session Cognition

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

Session Paradox

Cian Chartier
ILLC, University of Amsterdam, The Netherlands
"Indefinite extensibility from revision sequences"

Workshop Philosophy of Non-Classical Logics

Saloua Chatti
Department of Philosophy, University of Tunisia, Tunis
"Logical consequence in Avicenna's theory"
Workshop Medieval Logic

Alexey Chentsov and Mykola Nikitchenko
Taras Shevchenko National University of Kyiv, Ukraine
"Composition-nominative logics as institutions"
Session Algebra and Category

Nadège Chell
LAIOS, IIAC, EHESS, Paris, France
"Contemporary imaginaries of women elected in positions of power in the temporality of globalization"
Workshop Utopian Thinking and Logic-s

Daniele Chiffi, Massimiliano Carrara and Ciro De Florio
University of Padua, Padova, Italy and Catholic University of the Sacred Heart, Milano, Italy
"Towards a pragmatic logic for denial"
Workshop Non-Classical Abstract Logic

Graziana Ciola
Scuola Normale Superiore, Pisa, Italy
"Marsilius of Inghen's Consequentiae"
Workshop Medieval Logic


Ahmet Ayhan Çitil
Department of Philosophy, Mayis Üniversity, Istanbul, Turkey
"Logic and Metaphysics"
Session Philosophy

Selma Coecke
Oxford University, UK
"A quest for new quantum words: reasons"

Session Language

Neil Coleman and Christopher S. Gifford
University of Bristol, UK
"Types of information pluralism"
Workshop Logic and Informationl

Diana Costa and Manuel A.Martins
Dept of Mathematics, University of Aveiro, Portugal
"Quasi hybrid logic: semantics and proof theory"

Session Paraconsistency

Vaston Gonçalves da Costa, Edward Hermann Haeusler, Marcela Quispe Cruz and Jefferson de Barros Santos
Federal University of Goías and PUC - Rio de Janeiro, Brazil
"Np system and Mimp-graph association"

Session Computation

Marek Czarnecki, Dariusz Kalocinski, Michal T. Godziszewski
University of Warsaw, Poland
"Learnability in the limit and the Church’s thesis
Session Computation

Diogo Henrique Bispo Dias
Dpt of Philosophy, USP, Brazil
"A paraconsistent defense of logical pluralism and relativism"

Workshop Philosophy of Non-Classical Logics


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

Session Paradox

Iovan Drehe
Romanian Academy Iaşi Branch, Iaşi, Romania
"Fallacy and virtue argumentation"

Session Argumentation

Laurent Dubois
University of Brussels, Belgium
"Lambda theory: to a zero-order logic with quantifiers"

Session Tools and Results

Marie Duží
VSB-Technical University Ostrava, Czech Republic
"Procedural theory of analytic information"
Workshop Logic and Information

Luis Estrada-González
Institute for Philosophical Research, UNAM, Mexico
"On the limitations of naïve set theory with non-classical logics"
Workshop Inconsistent Mathematics

Pedro Falcão
University of São Paulo, Brazil
"Duality, self-duality and generalized quantifiers"
Session Tools and Results

Thomas Ferguson
Department of Philosophy City University of New York, USA
"On arithmetic formulated Connexively"
Workshop Connexive Logics

José Martínez Fernández
University of Barcelona, Spain
"Belnap's logic as a logic of experts"

Session Paraconsistency

Elena Ficara
Dpt of Philosophy, University of Paderborn, Germany
"Metaphysics as "Natural Logic" in Hegel"
Workshop The Idea of Logic


Samuel C. Fletcher
Ludwig Maximilian University, Munich, Germany
"Counterfactuals within scientific theories"

Session Modal


Florent Franchette
INSA, Lyon, France
"The possibility of superminds. A response to Bringsjord's argument on infinitary logic"
Workshop Representation and Reality

Alfredo Roque de Oliveira Freire
Dept of Philosophy, State University of Campinas, Brazil
"Foundations of semantic and syntactic proofs in the context of metatheories"

Session Tools and Results

Ben Fulman
Centre for Philosophy, Religion and Social Ethics, Institute for Christian Studies, Toronto, Ontario, Canada
"Adorno and logic"

Session History

Katarzyna Gan-Krzywoszynska Piotr Lesniewski and Malgorzata Lesniewska
Adam Mickiewicz University, Poznan, Poland
"Multidimensional questions in knowledge dynamics: A study in diachronic logic"

Session Philosophy

Yvon Gauthier
Dpt of Philosophy, University of Montréal, Canada
"Cosmic logic. On the Conway-Kochen free will theorem"

Session Tools and Results

Vitalii Gavryluk and Mykola Nikitchenko
European Univerisity of Kyiv, Ukraine and Taras Shevchenko National University of Kyiv, Ukraine
"Philosophical aspects of programming theory development"

Worskhop Philosophy of Computer Science

Leone Gazziero
CNRS, Lille, France
"Where medieval logicians feared to tread. Syllogismus falsigraphus according to medieval Latin sources"
Workshop Medieval Logic

Olga Gerasimova and Ilya Makarov
Department of Data Analysis and Arti cial Intelligence, National Research University Higher School of Economics
"Separator method for constructing canonical types of formulas"
Session Algebra and Category

Silvia Ghilezan, Jelena Ivetic and Nenad Savic
University of Novi Sad, Serbia
"Normalisation in substructural term calculi"

Session Tools and Results

David R. Gilbert and Giorgio Venturi
State University of Campinas, Brazil
"Reflexive insensitive modal logics"

Session Modal

Raffaela Giovagnoli
Pontifical Lateran University, Vatican City
"The relevance of language for the problem of representation"
Workshop Representation and Reality

Luca Gilli
University of Leuven, Belgium
"Non normal modal logics in Thomas Aquinas"
Workshop Medieval Logic

Michal Tomasz Godziszewski
University of Warsaw, Poland
"Computational properties of undecidable sentences - (un)provability and learnability"


Ana Claudia de Jesus Golzio and Marcelo Coniglio
Center of Logic, State University of Campinas - UNICAMP, Brazil
"On non-deterministic algebras"
Session Algebra and Category

Max Gottschlich
Dpt of Philosophy, University of Linz, Austria
"The import of formal logic with respect to knowledge: The fundamental question of the ‘Critique of Pure Reason’"
Workshop The Idea of Logic

Stefan Gruner
University of Pretoria, South Africa
"Heinz Zemanek’s almost forgotten Contributions to the philosophy of informatics"

Worskhop Philosophy of Computer Science

Rodrigo Guerizoli
Federal University of Rio de Janeiro, Brazil
"John Buridan on the Structure of Definitions: Quaestiones Topicorum I.6-8
Workshop Medieval Logic


Walter Gomide, Tiago S. dos Reis and James A. D. W. Anderson
Federal University of Mato Grosso, Brazil - Federal Institute of Education, Science and Technology of Rio de Janeiro, Brazil - University of Reading, England
"Transreal proof of the existence of universal possible"
Session Tools and Results
"The future of logic as a geometry of scientific thought"
Contest


Özgüç Güven
Department of Philosophy, Istanbul University, Turkey
"Is ‘self-evidence’ evident?"
Session Philosophy

Edward Hermann Haeusler
Dpt of Informatics, PUC-Rio,Brazil
"On non-standard finite computational models"

Session Computation

Satoru Hanada
Hokkaido University, Japan
"Rational agents with-in logic and its semantics"
Session Philosophy

M.Heblom, Oliver Kutz and Fabian Neuhaus
Otto-von-Guericke University of Magdeburg, Germany and Free University of Bozen-Bolzano, Italy
"A path is a path is a path "

Workshop Computational Creativity, Concept Invention, and General Intelligence


Anna-Sophie Heinemann
Dpt of Philosophy, Paderborn University, Germany
"The notion of logical form and its application in Boole and Jevons"

Workshop The Idea of Logic

Alfred van der Helm
The Hague, the Netherlands
"Thomas Manlevelt : Ockham and beyond"
Workshop Medieval Logic

Hykel Hosni, Marcello D'Agostino and Tommaso Flaminio,
London School of Economics, London, UK; University of Ferrara, Italy; DISTA - University dell’Insubria, Varese, Italy
"Depth-bounded Probability Logic: A preliminary investigation "
Workshop Logic and Information

Tomasz Jarmuzek
Department of Logic, Nicolas Copernicus University, Torún, Poland
"Metatheory of tableau systems"

Session Completeness


Matthias Jenny
Dpt of Philosophy, Massachussets Institute of technology, Cambridge, USA
"Denial Won't Get You Anywhere"
Workshop Philosophy of Non-Classical Logics

Priyedarshi Jetli
Tata Institute of Social Sciences, Tuljapur, India
"The Inseparability of Lingua Universalis from Calculus Ratiocinator"

Session Philosophy

Carlos César Jimenez
Facultad of Superior Studies Cuautitlán, UNAM, Mexico UNAM, Mexico
"Hermeneutical and genetic-epistemological glances at paraconsistent category theory"
Workshop Inconsistent Mathematics

Farida Kachapova
Auckland University of Technology, New Zealand
"Modelling choice sequences of high types"

Session Tools and Results

Dariusz Kalocinski and Michal T. Godziszewski
University of Warsaw, Poland
"Computational complexity of Barwise's sentence and similar natural language constructions"


Vedat Kamer
University of Istanbul, Turkey
"Universal and particular relationship at solipsist logic
"
Session Philosophy

Doukas Kapantaïs
Academy of Athens, Greece
"Paracomplete intuitionistic logic for future contingents
"
Session Paradox

Hanna Karpenko
Lille 3 University, France
"Epistemic dialogical logic with possibility of revision"

Session Argumentation

Mohamed Khaled
Central European University, Budapest, Hungary
"Decidable fragments of first order logic Gödel incompleteness property"

Session Tools and Results

Yaroslav Kokhan
Institute of Philosophy, Kyiv, Ukraine
"Logical structures as formal objects"

Session Universal

Ulf Krummack and Stefan Schneider
Dpt of Cognitive Science, University of Osnabrück, Germany
"Analogical inference and transfer for creativity "

Workshop Computational Creativity, Concept Invention, and General Intelligence

Przemyslaw Krzywoszynski and Jerzy W. Ochmanski
Adam Mickiewicz University, Poznan, Poland
"Theories of questions and contemporary direct democracy"

Session Cognition


Kai-Uwe Kühnberger and Oliver Kutz
University of Osnabrück, Germany and University of Magdeburg, Germany
"Logical aspects of computational creativity in the music domain"

Session Cognition

Oliver Kutz, Fabian Neuhaus and Kai-Uwe Kühnberger
Free University of Bozen-Bolzano, Italy and University of Osnabrück, Germany
"On the role of universal logic in concept invention"

Session Cognition

Per Lennart Landgren
Oxford University, UK
"Logic as physics. On logic and the Aristotelian concept of historia, according to the Paduan philosopher Jacobus Zabarella"

Workshop The Idea of Logic

Tamar Ariela Lando
Columbia University, New York, USA
"First order modal logic and its topological semantics"
Session Modal

Sylvain Lavelle
ICAM Paris, Center for Ethics, Technology and Society (CETS)
Ecole des Hautes Etudes en Sciences Sociales (GSPR), Paris, France
"On assigning "

Session Language


Matt Lavine
Dept of Philosophy, University of Buffalo and SUNY at Potsdam, USA
"The future of logic (and ethics)"
Contest

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

Session Paradox

Vladimir Lobovikov
Institute of Philosophy and Law, Yekaterinburg, Russia
"A meta-theoretical interpretation of the logical square and hexagon of opposition"

Session Philosophy

Marcos Lopes and Paulo Santos
University of São Paulo, Brazil and FEI University Center, São Bernardo do Campo, Brazil
"Supervaluation semantics for modeling spatial representations in humans and robots"
Workshop Representation and Reality

Thalia Magioglou
Centre Edgar Morin, IIAC, EHESS, ParisFrance
"Utopian thinking in the case of the Greek youth. The use of linguistic connectors for two different "logics""
Workshop Utopian Thinking and Logic-s

Felipe Manyà and Chu Min Li
Artificial Intelligence Research Institute (IIIA) Spanish National Research Council (CSIC), Spain and Laboratoire MIS Universite de Picardie, France ´
"New insights into minimum satisfiability"

Session Computation

Sérgio Marcelino and Carlos Caleiro
Security and Quantum Information Group, Institute for Telecommunications, IST, University of Lisbon, Portugal
"Fibring logics: decidability and conservativity part II"
Session Universal

João Marcos, Carlos Caleiro and Sérgio Marcelino
DIMAp, UFRN, Brazil, Security and Quantum Information Group, Institute for Telecommunications, IST, University of Lisbon, Portugal
"Cancellation, many-valuedness, and combined logics"
Session Universal

Tony Marmo
University of Brazil, Rio de Janeiro
"Matters of value and of concept"

Session Modal

Manuel A.Martins and Sergey Babenyshev
Dept of Mathematics, University of Aveiro, Portugal
"Behavioral equivalence of equivalent hidden logics"

Session Computation


José Veríssimo Teixeira da Mata
Advisory Board of The Brazilian Chamber of Representatives, Brasilia, Brazil
"Frege and Aristotle about the logical foundation of mathematical functions, or Aristotle translated by Frege"

Workshop The Idea of Logic

Luca San Mauro and Jacopo Amidei
Scuola Normale Superiore, Pisa and University of Siena, Italy
"Logics of trial and error mathematics:
dialectical and quasi-dialectical systems"

Session Paraconsistency

Ingolf Max
University of Leipzig, Germany
"The explication of paraconsistency, dialetheism
and paracompleteness in classical logic
syntactically extended by functorial variables"
Workshop Philosophy of Non-Classical Logics

Stany Mazurkiewicz
University of Liège, Belgium, Technical Universiry of Dreden, Germany
"Hegel: contradiction as a property of language. A Hegelian way towards paraconsistency"

Session Paraconsistency

Joke Meheus
Ghent University, Belgium
"A unified framework for different types of normative conflicts"

Session Argumentation

Candida de Sousa Melo
Federal University of Paraiba, João Pessoa, Brazil
"Transcendental aspects of illocutionary logic"

Session Language

Rachid Mendjeli
Social anthropology; EHESS/LAS, Paris, France
"The time-space of the "halka", or narrative circle in Marrakech: utopia or heterotopia ?"
Workshop Utopian Thinking and Logic-s

Bruno Ramos Mendonça
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Logical consequence and measuring of semantic information via distributive normal forms"

Session Universal

Daniele Mezzadri
United Arab Emirates University, Al Ain, United Arab Emirates
"Logic, Judgement and Inference. What Frege Should Have Said about Illogical Thought"

Workshop The Idea of Logic

David Miller
University of Warwick, UK
"The non-classical side of classical logic"
Workshop Philosophy of Non-Classical Logics

Mehdi Mirzapour
Iranian Association for Logic, Tehran, Iran
"The origin of the distribution doctrine"
Workshop Medieval Logic

Amirouche Moktefi
Tallinn University of Technology, Estonia
"Does the problem of elimination belong to the serious business of logic?"
Workshop The Idea of Logic

Sanderson Molick and Daniel Skurt
Federal University of Rio Grande do Norte, Natal, Brazil and Ruhr University of Bochum, Germany
"Dualizing q-consequence operations"
Workshop Non-Classical Abstract Logic

Daniel Molto
University of York, UK
"A modified quasi-set theory without identity"

Session Tools and Results

Angela Pereira Rodrigues Moreira and Itala M. Loffredo D'Ottaviano
Dpt of Philosophy, State University of Campinas, Brazil
"The category TrCx and some results"

Session Algebra and Category

Alessio Moretti
Nice, France
"The oppositional geometry of political revolutions’"
Workshop Utopian Thinking and Logic-s

Enrico Moriconi
Dpt pf Philosophy, University of Pisa, Italy
"On the source of the notion of semantic completeness"

Session Completeness

Krystyna Mruczek-Nasieniewska and Marek Nasieniewski
Department of Logic, Nicolaus Copernicus University, Torun, Poland
"Completeness for some Beziau logics"
Session Modal

Alexei Y. Muravitsky
Northwestern State University, Natchitoches, USA
"A generalization of Kuznetsov's theorem and Its consequences"

Session Tools and Results

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

Mykola Nikitchenko and Stepan Shkilniak
Taras Shevchenko National University of Kyiv, Ukraine
"Logics of non-deterministic quasiary predicates"

Session Tools and Results

Cyrus F. Nourani
Acdmkrd-DAI, Simon Fraser University, Canada and TU-Berlin, Germany
"Predictive competitive model game trees"

Session Tools and Results

Alessandro Noussias
National Technical University of Athens, Greece
"Ethical aspects of data managing "

Worskhop Philosophy of Computer Science

João Daniel Dantas de Oliveira
Federal University of Rio Grande do Norte, Natal, Brazil
"What does the slingshot needs to shoot?: Slingshots arguments and plural logics"

Session Argumentation

Kleidson Êglicio Carvalho da Silva Oliveira and Marcelo Coniglio
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Some results on 3-valued paraconsistent logic programming"

Session Paraconsistency

Ana-Maria Olteteanu
Cognitive Sytems, University of Bremen, Germany
"“Seeing as” and re-representation: their relation to insight, creative problem-solving and types of creativity "

Workshop Computational Creativity, Concept Invention, and General Intelligence


Adnan Ömerustaoglu
Uskudar University, Turkey
"The first studies on algebraic logic in Turkey"

Session History

Hitoshi Omori
Department of Philosophy City University of New York, USA
"A simple connexive extension of the basic relevant logic BD"
Workshop Connexive Logics

Itala M. Loffredo D'Ottaviano and Evandro Gomes
State University of Campinas and State University of Maringa, Brazil
"Vasiliev's ideas for non-Aristotelian logics: insight towards paraconsistency"
Workshop Philosophy of Non-Classical Logics

Sergey Pavlov
Institute of Philosophy, Academy of Science, Moscow, Russia
"About syntactic analogues to proof of the completeness theorem"

Session Completeness

Pawel Pawlowski and Rafal Urbaniak
Ghent University, Belgium,
Gdansk University, Poland
"First steps towards non-classical logic of informal provability"

Workshop Philosophy of Non-Classical Logics

Vasil Dinev Penchev
Bulgarian Academy of Sciences, Sofia, Bulgaria
"The quantum strategy of completeness
"
Session Completeness

Venelina Penkova Pencheva and Vasil Dinev Penchev
Sofia University "St. Kliment Ohridski", Sofia, Bulgaria and Bulgarian Academy of Sciences, Sofia, Bulgaria
"Representation and Reality by Language
"
Workshop Representation of Reality

Luiz Carlos Pereira and Edward Hermann Haeusler
Dpt of Philosophy and Dpt Informatics, PUC-Rio, Brazil
"Some general results on translations between logics and theories"

Session Universal

Mattia Petrolo and Paolo Pistone
IHPST - Université Paris 1 Panthéon-Sorbonne, Paris, France and University of Roma 3, Italy
"Harmonizing involutive and constructive negations"

Session Universal

Ivo Pezlar
Masaryk University, Brno, Czech Republic
"Natural language and proof-theoretic semantics: denotational ghosts in inferential machine"

Thomas Piecha and Peter Schroeder-Heister
University of Tübingen, Germany
"Atomic systems in proof-theoretic semantics and the problem of completeness"

Session Completeness

Darllan Conceção Pinto and Hugo Luiz Mariano
Institute of Mathematics and Statistics, University of São Paulo, Brazil
"Algebraizable logics and a functorial encoding of its morphisms"

Session Algebra and Category

Gerald S. Plesniewicz
Moscow Power Engineering Institute, Russia
"Fuzzy syllogisms"

Session Tools and Results

Nikolai L.Poliakov anf Denis I.Saveliev
Moscow State University, Russia
"On various concepts of ultrafilter extensions of first-order models"
Session Tools and Results

Stefano Predelli
University of Nottingham, UK
"Frege’s Puzzle and Millianism"
Workshop Frege's Puzzle

Florian Rabe
Jacobs University, Bremen, Germany
"The future of logic: foundation-independence"
Contest

Jiri Raclavsky
Dept of Philosophy, Masaryk University Brno, Czech Republic
"Logic as universal language and its limit: solution to the problems of quantification over types and orders in type theory"

Session Universal

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"

Session Paradox

Stephen Read
University of St Andrews, Scotland
"Paradoxes of signification"
Workshop Medieval Logic

David Ripley
Dpt of Philosophy, University of Connecticut, USA
"Uniqueness without reflexivity or transitivity"
Workshop Non-Classical Abstract Logic

Edoardo Rivello
University of Torino, Italy
"Periodicity vs reflexivity in revision theories"

Session Tools and Results


Serge Robert and
Janie Brisson
Laboratoire LANCI, Université du Québec à Montréal, Canada
"A metalogical exploration of logical structures and their cognitive relevance"
Session Universal

Abilio Rodrigues and Walter Carnielli
Department of Philosophy - Federal University of Minas Gerais, Belo Horizonte, Brazil and Center of Logic, State University of Campinas - UNICAMP, Brazil
"What would be a falsitymaker for the principle of non-contradiction?"

Workshop Philosophy of Non-Classical Logics

Marco Ruffino
State University of Campinas, UNICAMP, Brazil
"Frege’s Puzzle: Can we Pose it on Frege’s behalf?"
Workshop Frege's Puzzle

Anna Carla Russo and Olivia Caramello
University of Salerno, Italy and University of Paris-Diderot, France
"Morita-equivalences for MV-algebras"

Session Algebra and Category

Eugen Russo
University of Salerno, Italy
"A paraconsistent formalization of Nicolaus Cusanus's logical-philosophical method in De Docta Ignorantia"
Session Paraconsistency

Chiaki Sakama and Katsumi lnoue
Wakayama University and National Institute of Informatics, Japan
"Can machine learn logics?"

Workshop Emergent Computational Logics

Saeed Salehi
University of Tabriz, and IPM, Iran
"Theorems of Tarski and Gödel's second incompleteness - computationally"

Session Computation


Wagner Sanz
Federal University of Goias, Brazil
"Philosophical elucidation of implication
"
Workshop Philosophy of Non-Classical Logics

Benoît Sauzay, Gaëll Guibert and Jean-Pierre Desclés
STIH-LaLIC Paris-Sorbonne, Paris, France
"Algebraic and logical operations on operators: one application to semantic computation"

Session Computation

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

Fabien Schang
National Research University Higher School of Economics, Moscow, Russia
"Catuskoti: Paracomplete, Paraconsistent, Both, or None?"
Workshop Philosophy of Non-Classical Logics

Marcin J. Schroeder
Akita International University, Japan
"From deductive systems of logic to logic of information"

Session Universal

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

Zekâi Sen
Turkish Water Foundation, Istanbul
"Linguistic crisp and symbolic logics in mathematics and derivation
"
Session Language

Mohammad Shafiei
IHPST/University of Paris 1, Paris, France
"Husserl's idea of pure logic: constructive or axiomatic?"

Workshop The Idea of Logic
"Unified logics, an alternative for combining logics"
Contest

Elena Shulga
Institute of Philosophy, Russian Academy of Sciences, Moscow
"Universal logical hermeneutics"

Session Universal

Marco Aurélio Oliveira da Silva
Federal University of Bahia, Salvador, Brazil and IHPST, Paris, France
"Abstraction and formal causality in Albert the Great"
Workshop Medieval Logic

Samuel G. da Silva and Valeria de Paiva
Federal University of Bahia, Salvador, Brazil and Research Lab, Nuance Communications, Inc., Sunnyvale CA, USA
"Dialectica categories, cardinalities of the continuum and combinatorics of Ideals"

Session Algebra and Category


Hartley Slater
Dept of Philosophy, University of Western Australia
"The future of logic: as a moral science"
Contest

Florentin Smarandache
Math and Science Division, University of New Mexico, USA
"n-valued refined neutrosophic logic and its applications to physics"

Workshop Emergent Computational Logics

Marcelo Soares and Itala M. Loffredo D'Ottaviano
São Paulo State University, Bauru, Brazil and Dpt of Philosophy, State University of Campinas, Brazil
"Studies on da Costa's paraconsistent differential and integral calculus"

Session Paraconsistent

Ludovic Soutif
Pontifical Catholic University, PUC - Rio de Janeiro, Brazil
"In What Sense (Statement) of the Puzzle Problematic?"
Workshop Frege's Puzzle


Edelcio Gonçalvez Ki de Souza
University of São Paulo, Brazil
"On a geometrical formulation of a class of consequence structures"

Session Universal

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

Alexander Steen and Max Wisniewski
Dpt of Mathematics and Computer Science, Free University of Berlin, Germany
"Embedding of first-order nominal logic into higher-order logic"

Session Tools and Results

Erik Stei
Rheinische Friedrich-Wilhelms-University, Bonn, Germany
"A surprising consequence of pluralism about logical consequence"

Session Universal

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

Session Paradox

Thomas Studer
University of Bern, Switzerland
"Probabilistic justification logic"
Session Universal

David Suarez-Rivero
State University of Campinas, UNICAMP, Brazil
"Wettstein on Frege’s Puzzle"
Workshop Frege's Puzzle

David Svodoba
Catholic Theological Faculty of Charles University, Czech Republic
"Various conceptions of science in the light of the distinction between characteristica universalis and calculus ratiotinator"

Session History

Maria Svyatkina and Valery B. Tarassov
Bauman Moscow State Technical University,Russia
"Toward logical models of understanding: axiology, logical pragmatics, pragmatic logics, what else?"

Session Cognition

Gugliemo Tamburrini and Nicola Angius
University of Naples "Federico II" and University of Sassari, Italy
"A plea for explanatory pluralism in computer science"

Worskhop Philosophy of Computer Science

Koji Tanaka
Australian National University, Canberra, Australia
"Paraconsistency and external justification"
Workshop Philosophy of Non-Classical Logics


Iskender Tasdelen
Anadolu University, Turkey
"Infinitary modal logic for convergence in distance spaces"
Session Modal

Valery B. Tarassov
Bauman Moscow State Technical University,Russia
"Dia-logics and dia-semantics: a bilattice-based approach"

Session Argumentation

Rafael Testa, Marcelo Coniglio and Márcio Ribeiro
Center of Logic, State University of Campinas - UNICAMP, Brazil, University of SãoPaulo, USP, Brazil
"Clarifying some rationality criteria of AGM-like paraconsistent belief revision"

Session Paraconsistency


Erik Thomsen
Charles River Analytics Cambridge, MA USA
"Triggering a Copernican shift in logic through sequenced evaluations"
Contest

Marcin Tkaczyk and Tomasz Jarmuzek
University Catholic University of Lublin and Department of Logic, Nicolas Copernicus University, Torún, Poland
"Jerzy Los and the origin of temporal logic"

Session History

James Trafford
University for the Creative Arts, Epsom, United Kingdom
"Abstract duality and co-constructive logic"

Workshop Philosophy of Non-Classical Logics

Alper Turken
Bogazici University, Istanbul, Turkey
"Hegel and the idea of negative self-relatedness"
Workshop Philosophy of Non-Classical Logics


Stanley Tweyman
York University, Canada
"The logic of David Hume's Dialogues concerning natural religion"

Session Philosophy

Matthias Unteruber
University of Bern, Switzerland
"The strange status of the principle of conditional non-contradiction "
Workshop Connexive Logics


Safak Ural
Logic application and research association, Istanbul, Turkey
"Communication is possible according to a new interpretation of solipsism"

Session Language

Rafal Urbaniak and Pawel Sinila
Ghent University, Belgium, Gdansk University, Poland, University of Bristol, UK
"The inapplicability of (selected) paraconsistent logics"

Session Paraconsistency

Vadim Vagin, Marina Fomina and Oleg Morosin
National Research University MPEI, Moscow, Russia
"Application of argumentation in generalization problems"

Session Argumentation

 


Bao Long Dang Van
Catholic University of Louvain, Louvain-la-Neuve, Belgium
"Anti-intuitionism as a logic of refutation"

Workshop Non-Classical Abstract Logic


Daniel Vanderveken
University of Trois Rivières, Canada
"Illocutionary logic, discourse pragmatics and universal grammar"
Session Language

Ioannis Vandoulakis and Petros Stefanas
The Hellenic Open University, Greece and National Technical University of Athens, Athens, Greece
" Mathematical Style as Expression of the Art of Proving "

Workshop Computational Creativity, Concept Invention, and General Intelligence

Vladimir Vasyukov
Institute of Philosophy, Russian Academy of Sciences, Moscow
"Categorical logic Approach to formal epistemology"

Session Algebra and Category

Ruxandra I. Vulcan
University Paris-Sorbonne, Paris IV, France
"Pierre de La Ramée as a logician pontoneer"

Session History

Henri Wagner
Dpt of Philosophy, University of Bordeaux 3, France
"Reconsidering ‘Truth by convention’: conventionalism, logical pluralism and logical universalism in the early Quine"
Session History

Abdul Jaleel Kadhim Al Wali
Dpt of Philosophy CHSS, United Arab Emirates University
"Logic Functions in the Philosophy of Al-Farabi"

Session History

Heinrich Wansing
University of Bochum, Germany
"Natural deduction for bi-connexive logic "
Workshop Connexive Logics

Jack Woods
Bilkent University, Ankara, Turkey
"Revision and logical neutrality, or: a plea for ecumenical reasons"

Session Cognition

Urszula Wybraniec-Skardowska
University of Opole, Poland
"Logic and sense"

Session Language

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

Session Paradox

Elia Zardini
University of Lisbon, Portugal
"Against the world"
Workshop Philosophy of Non-Classical Logics

David Zarebski
IHPST, University Panthéon-Sorbonne, France
"Internal inconsistencies: how can an information system ontology be both realistic and common-sense friendly?"
Workshop Representation and Reality

Mikhail Zarechnev and Bora Kumova
Department of Computer Engineering, Izmir Institute of Technology, Turkey
"Fuzzy-syllogistic reasoning with ontologies"

Workshop Emergent Computational Logics

Xunwei Zhou
Beijing Union University, Beijing , China
"Mutually-inversistic logic unifies more than a dozen logics"

Session Universal

Reihane Zoghifard and Massoud Pourmahdian
Department of Mathematics and Computer Science, AmirKabir University of Technology, Tehran, Iran
"Lindström theorem for first-order modal Logic"
Workshop Non-Classical Abstract Logic

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)