Members of the Group:
Meghdad Ghari
(Resident Researcher)
Payam Seraji
(NonResident Researcher)
Former Members:
Mojtaba Aghaei
(Resident
Researcher)
Amir Khamseh
(NonResident
Researcher)
Upcoming Event:
▶ Lecture:

Constructing Real Numbers in Intuitionistic Mathematics 
Mojtaba Aghaei, Isfahan University of Technology 
Thursday, November 16, 2017 (Aban 25, 1396) at 14:00
(More Info)
(Slides)


Short Courses:
(5) Amir Ehssan Karbasizadeh, University of Isfahan

Misunderstanding Godel's Incompleteness Theorems in Physics and Philosophy
(MoreInfo)
(Slides)

Thursday, May 11, 2017 (21 Ordibehesht 1396) 14:0016:00


(4) Payam Seraji

Proofs of Godel's Incompleteness Theorems
(MoreInfo)
(Slides)

Thursday, May 04, 2017 (14 Ordibehesht 1396) 14:0016:00


(3) Amir Khamseh

First Order Arithmetic and Godel's Incompleteness Theorems
(MoreInfo)
(Slides)

Thursday, April 27, 2017 (07 Ordibehesht 1396) 14:0016:00


(2) Amir Khamseh

Computable Functions: Unlimited Register Machines and Church's Thesis
(MoreInfo)
(Slides)

Thursday, April 20, 2017 (31 Farvardin 1396) 14:0016:00


(1) Payam Seraji

An Introduction to Turing Machines and Computability Theory
(MoreInfo)
(Slides)

Thursday, April 13, 2017 (24 Farvardin 1396) 14:0016:00




Mathematical, Philosophical and Computational Logic
(Course 2: First Order Predicate Logic)
More Info...

(4) Meghdad Ghari, IPM

Resolution Proof System for First Order Logic
(MoreInfo)
(Slides)

Thursday, March 9, 2017 (19 Esfand 1395) 14:0016:00


(3) Morteza Haj Hosseini, University of Isfahan

Predicate Logic; Philosophical and Critical Review
(MoreInfo)

Thursday, February 23, 2017 (5 Esfand 1395) 14:0016:00



(1) Hamid Alaeenezhad, Tarbiat Modares University

History and Philosophical Foundations of Logic
(MoreInfo)
(Slides)

Thursday, February 9, 2017 (21 Bahman 1395) 14:0016:00




Mathematical, Philosophical and Computational Logic
(Course 1: Propositional Logic)
More Info...

(3) Ali Kalantari, University of Isfahan

An Investigation on Truth Functionality of Logical
Constants in Propositional Logic and Their Counterparts in Natural Language
(Slides)
(Handout)

Thursday, December 8, 2016 (18 Azar 1395) at 13:30


(2) Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)

Decision Procedures for Satisfiability and Validity in Propositional Logic
(More Info)
(Slides)

Thursday, November 24, 2016 (4 Azar 1395) at 13:30


(1) Hamzeh Mohammadi, Isfahan University of Technology

Propositional Logic
(Slides)

Thursday, November 17, 2016 (27 Aban 1395) at 13:30


Visitors:
•
Heike Mildenberger
(AlbertLudwigsUniversität Freiburg, Germany)
•
Darío Alejandro García
(University of Leeds, UK)
•
Thomas Studer
(University of Bern, Switzerland)
•
Andres Villaveces
(Universidad Nacional de Colombia)
•
Kai Hauser
(Technical University of Berlin, Germany)
Public Lectures:
• Heike Mildenberger, AlbertLudwigsUniversität Freiburg, Germany

Independence in Combinatorics and in Algebra
(Abstract)

Thursday, April 13, 2017 (24 Farvardin 1396) 11:0012:00


• Andrés Villaveces, Universidad Nacional de Colombia, Colombia

Sheaf Semantics and Limit Structures
(Abstract)

Thursday, Decmber 3, 2015 (12 Azar 1394) 11:0012:00


• Kai Hauser, Technical University of Berlin, Germany

Intuition and Mathematical Objects
(Abstract)

Monday, March 9, 2015 (18 Esfand 1393) 10:0012:00


• Kai Hauser, Technical University of Berlin, Germany

What Computers Cannot Do: A Philosophical Approach
(Abstract)

Sunday, March 8, 2015 (17 Esfand 1393) 14:0015:00


Past Events:


IPMIsfahan
Workshop
on "Various Aspects of Modality"
More Info...

Past Lectures:
 Payam Seraji, IPMIsfahan
Constructibility and Rosserizability of Some Proofs of the
Godel's First Incompleteness Theorem
November 2, 2017
More Info
 Morteza Haj Hosseini, University of Isfahan
Propositional Logic; Critical Study
15 December 2016
More Info
Slides
 Darío Alejandro García, University of Leeds
Applications of Ultraproducts of Finite
Structures to Combinatoricss
3 November 2016
More Info

Mohammad Maarefi
Some Reflections on the Epistemology of
Mathematical Practice and Models of
Mathematics (Defending a Faithful Philosophy
of Mathematics)
28
April 2016
More
Info

Hamzeh Mohammadi, Isfahan University of
Technology
Fuzzy Logics
26
April 2016
More Info
 Meghdad Ghari,
Institute
for Research in Fundamental Sciences (IPM)
Reasoning about Uncertain Evidence
28
January 2016
More Info

Afshin Zarei
,
Isfahan University of Technology
Authentication protocols and a logical
method
for analyzing them
19
November2015
More Info

Meghdad Ghari,
Institute
for Research in Fundamental Sciences (IPM)
Proof Analysis in ModalJustification Logics
11
June 2015
More Info

Amir Khamseh, Kharazmi University
Hindman's Theorem, Variable Words and
Reverse Mathematics
28 May 2015
More Info

Mojtaba Aghaei,
Isfahan University of Technology
Admissibility of rules in reduced normal
forms in S4
7 May 2015
More Info

Kai Hauser, Technical University of Berlin
Large Cardinal Numbers and Infinite Games
8 March 2015
More Info

Mojtaba Aghaei,
Isfahan University of Technology
Constructive Mathematics
27 November 2014
More Info

Amir Khamseh, Kharazmi University
An introduction to reverse mathematics
20 November 2014
More Info

Hamzeh Mohammadi, Isfahan University of
Technology
Modal Logic with Counting
30 October 2014
More Info

Meghdad Ghari,
Institute
for Research in Fundamental Sciences (IPM)
Tableau Proof Systems for Justification
Logics
23 October 2014
More Info
 Meghdad Ghari,
Institute
for Research in Fundamental Sciences (IPM)
Justification Logics
and their Epistemic Semantics
16 October 2014
Useful Links:
•
Mathematical Logic Group (IPMTehran)
•
Iranian Association for Logic
•
Logic Group (Sharif University of Technology)
