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.

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.