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.
see a list of all news and events related to
mathematical logic at IPM since its foundation
Institute for Research in Fundamental
All rights reserved. Please submit your
comments or questions here,
or contact Webmaster.