About US

The history of philosophical logic in Iran dates back to the
works of great thinkers such as Farabi (870- 950 AD) and
Ibn-Sina (or Avicenna, 973- 1037 AD). However, interest in
modern logic is relatively recent. For example, the first
monograph in mathematical logic published in Iran was
Gholam-Hossein Mosaheb’s rigorous text Madkhalé Manteghé
Soorat (Introduction to Formal Logic) in 1955. It was reviewed
by L. A. Zadeh, J. Symbolic Logic, 22 (1957) pp. 354-355.i

Since the day of inception of Institute for Research in
Fundamental Sciences (IPM) in 1989, Mathematical Logic has
been one of the main domains of activity at its School of
Mathematics. Briefly, through inviting a select number of
prominent logicians from the republics of the former Soviet
Union, activities in logic were initiated and the candle of
interest was lit. This start was relatively successful in
kindling interest in the subject in Iran. Furthermore, in
those early days, an international congress and a summer
school, both in logic, were organized and hosted by IPM,
adding to the presence of the subject in Iran. Later by
establishing a Ph.D. program in Mathematical Logic at IPM, the
cause was advanced with help from Iranian logicians educated
abroad and the program in logic was consolidated. Since then,
IPM has hosted many other international conferences,
workshops, and weekly seminars on mathematical logic. There
have been postdoctoral fellows in the field as well.

Research areas have included philosophical logic later pursued
elsewhere, general logic (subsystems of classical logic,
especially intuitionistic logic and basic logic), model theory
(simple theories, model-theoretic algebra, models of
arithmetic and set theory, o-minimality), set theory, and
proof theory (first order arithmetic, weak arithmetics and
interactions with complexity theory, constructive mathematics,
intuitionistic mathematics). Computability theory and
computable analysis have been of interest as well.

Since 2009 there has been a sort of new structural divisions
and independent research groups within the School. The
Mathematical Logic Group was soon recognized, and
reestablished again.

You can see a list of all news and events related to
mathematical logic at IPM since its foundation HERE.