20 Year of "Inconsistent Mathematics"

Workshop organized by

Luis Estrada-González
(Institute for Philosophical Research, UNAM, Mexico)

Carlos César Jiménez
(Facultad de Estudios Superiores Cuautitlán, UNAM, Mexico)

2015 marks the 20th anniversary of the publication of Chris Mortensen’s book Inconsistent Mathematics. Inconsistent Mathematics has been a very important and influential book, and contributed to the most recent wave of systematic studies on inconsistent mathematics in particular and non-classical mathematics in general.

Besides his technical contribution in studying and developing several inconsistent mathematical theories, Mortensen contributed to the philosophy of mathematics in several ways, for example by advancing arguments for the idea that mathematicality lies deeper than consistency, completeness or primeness, and he favored (at least partial) functionality as closer to the essence of mathematics.

Moreover, 2015 marks the 70th birthday of Chris Mortensen, which makes 2015 doubly significative and a great opportunity to discuss in this workshop Mortensen’s main contributions to logic, mathematics and philosophy.

Call for papers

Any contribution on inconsistent mathematics, whether on their technical or foundational aspects, are welcome. Particular topics of interest include, but are not limited to, the following:

- Technical work on inconsistent arithmetics, paraconsistent set theories, inconsistent calculi of infinitesimals, paraconsistent categorial logic, inconsistent geometry, and other branches of inconsistent mathematics.

- Relative interpretability between inconsistent mathematical theories and classical or other non-classical mathematical theories; in general, comparisons between inconsistent mathematics and other kinds of mathematics.

- Metamathematics of inconsistent mathematics

- Combinations of inconsistent and other kinds of mathematics.

- Paraconsistent approaches to foundational, ontological, and epistemological problems in the philosophy of mathematics

- Scientific, technological, and philosophical applications of inconsistent mathematics.

- Chris Mortensen’s contributions to formal philosophy.

Abstracts of about 500 words should be sent via e-mail as a pdf file no later than January 31th 2015 to

Inconsistent.Maths.UNILOG2015@gmail.com 

Authors will be notified by February 28th.

 

 

 

 

Keynote Speaker


Maarten McKubre-Jordens
University of Canterbury, Christchurch, New Zealand
"Invitation to non-Classical mathematics"

&&&&&&&&&&&&&&&&&&&&&&&&&&&&

Round Table

Past, present and future of inconsistent mathematics

With the participaction of Itala D'Ottaviano, Graham Priest, Diderik Batens, JC Beall and Ross Brady

&&&&&&&&&&&&&&&&&&&&&&&&&&&&

Contributing Talks

Morgan Thomas, Dept of Philosophy, University of Connecticut, USA, "Pragmatic approaches to naïve set theory"

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

Carlos César Jiménez, Facultad de Estudios Superiores Cuautitlán, UNAM, Mexico, "Hermeneutical and genetic-epistemological glances at paraconsistent category theory"