Home      Log In      Contacts      FAQs      INSTICC Portal
Special Session
Special Session: Is Human Reasoning Really Nonmonotonic? - non-nonmonotonicity 2013

19 - 22 September, 2013 - Vilamoura, Algarve, Portugal

Within the International Conference on Knowledge Engineering and Ontology Development - KEOD 2013



Piotr Lukowski
University of Lodz

Brief Bio
Professor of the University of Lódz (Poland), Dr habil. Piotr Lukowski is the Head of the Department of Cognitive Science, at the Institute of Psychology. He is a member of the European Network for Social Intelligence (SINTELNET) - www.sintelnet.eu. His current research interests are in the cognitive sciences, formal and philosophical logic, also in the theory of communication especially the theory of persuasion and psycho-manipulation. In the case of the formal logic, he is interested in nonmonotonicity, dualization of logics, logic of falsehood, deductive-reductive form of logics, belief revision. His philosophical researches are focused on logical features of the natural language, ways of human thinking, correctness of thinking and logical errors. His latest books are “Paradoxes”, Springer, 2011, and “Logika praktyczna z elementami wiedzy o manipulacji” (in Polish) [Practical logic with elements of the knowledge on psychomanipulation - handbook for students of law faculties], Wolters Kluwer, 2012.


It seems that nonmonotonicity of our reasoning is an obvious truth. Almost every logician not even believes, but simply knows very well that a human being thinks in a nonmonotonic way. Moreover, a nonmonotonicity of thinking seems to be a phenomenon parallel to the existence of human beings: “Of course, humans have been reasoning nonmonotonically for as long as they have been reasoning at all”, Makinson (1994). Examples allegedly illustrating this phenomenon are not even analyzed today. They are simply quoted. Nowadays, this is a standard approach to nonmonotonicity. However, even simple analysis of those “obvious” examples shows that they illustrate various problems of our thinking, among which none concerns nonmonotonicity. Also three formal Makinson’s constructions seems to be unrelated to nonmonotonicity. However, their worth is really big. Every construction is extremely important from the point of view of human ways of thinking. Each of them successfully covers some special kind of human reasoning. Serious researches of our everyday thinking cannot ignore Makinson’s proposal. Fixed and stable sets of rules, traditionally defining logical systems, have almost nothing common with our thinking. Makinson’s constructions propose a realistic approach to our everyday reasoning. None construction is nonmonotonic in the sense of Tarski’s condition for consequence operation, but also human thinking is not nonmonotonic. Every, proposed by Makinson class of consequences is worth of researches but not in the paradigm of nonmonotonicity. They are important for explanation of various ways of our thinking, among which probably none is nonmonotonic.


Paper Submission: June 24, 2013 (expired)
Authors Notification: July 11, 2013 (expired)
Camera Ready and Registration: July 22, 2013 (expired)


Wilfird Hodges, Queen Mary, University of London, United Kingdom
Andrzej Indrzejczak, University of Lodz, Poland
Hiroakira Ono, Japan Advanced Institute of Science and Technology, Japan
Andrzej Pietruszczak, Nicolaus Copernicus University of Torun, Poland
Heinrich Wansing, Ruhr Universitat Bochum, Germany


Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines and Templates.
Papers should be submitted electronically via the web-based submission system at: http://www.insticc.org/Primoris


All accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on CD-ROM support - and submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus.
SCITEPRESS is a member of CrossRef (http://www.crossref.org/).
All papers presented at the conference venue will be available at the SCITEPRESS Digital Library


KEOD Special Sessions - non-nonmonotonicity 2013
e-mail: keod.secretariat@insticc.org