History
The history of philosophical logic
in Iran dates back to the works of great thinkers such as Farabi
(870 950 AD) and IbnSina (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
GholamHossein 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. 354355.
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, modeltheoretic algebra, models of arithmetic
and set theory, ominimality), 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.

©
Copyright 20002010
Institute for Research in Fundamental
Sciences (IPM)
All rights reserved.
Please submit your comments or questions here, or contact Webmaster.

