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 Articial 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 |