Home
History
Administration
People
Activities
Publications
  Useful Links
  Administrative Forms
   

 

  Events
   

 

  About Isfahan
  Gallery of Visitors
  Gallery of Pictures
   

 

  Contact
  Webmail
Groups

Extremal Combinatorics

Functional and Harmonic Analysis

Lie Algebra

Logic

Representation Theory

Ring Theory

 

Search Mathematics
Enter your search string here
and click on Go! to continue

GO!

 
IPM > School of Mathematics > IPM-Isfahan > Groups

Logic Group

 

Members of the Group: 
Meghdad Ghari (Resident Researcher) 
Payam Seraji (Non-Resident Researcher) 


Former Members: 
Mojtaba Aghaei  (Resident Researcher) 
Amir Khamseh  (Non-Resident Researcher)  

 

Visitors:

-            Heike Mildenberger (Albert-Ludwigs-Universitä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, Albert-Ludwigs-Universität Freiburg, Germany

Independence in Combinatorics and in Algebra (Abstract)

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

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

Sheaf Semantics and Limit Structures (Abstract)

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

• Kai Hauser, Technical University of Berlin, Germany

Intuition and Mathematical Objects (Abstract)

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

• Kai Hauser, Technical University of Berlin, Germany

What Computers Cannot Do: A Philosophical Approach (Abstract)

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



 

Past Events:

 

IPM-Isfahan Workshop on "Various Aspects of Modality" 

More Info... 

 

Short Courses:

 

 

 

Mathematical, Philosophical and Computational Logic 
(Course 3: Proof Theory) 




 

 

(2) Meghdad Ghari, University of Isfahan and IPM

Eliminate or don’t Eliminate the Cut, That’s the Problem 

Thursday, February 15, 2018 (19 Bahman 1396) 14:00-16:00

(1) Meghdad Ghari, University of Isfahan and IPM

A Survey of Proof Systems for First-Order Logic  

Thursday, February 8, 2018 (26 Bahman 1396) 14:00-16:00

 

 

 

 

Mathematical, Philosophical and Computational Logic 
(Course 3: Computability and Godel's Incompleteness Theorem) 

More Info... 

Group Photo 1   Group Photo 2 

 

(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:00-16:00

(4) Payam Seraji

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

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

(3) Amir Khamseh

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

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

(2) Amir Khamseh

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

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

(1) Payam Seraji

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

Thursday, April 13, 2017 (24 Farvardin 1396) 14:00-16: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:00-16:00

(3) Morteza Haj Hosseini, University of Isfahan

Predicate Logic; Philosophical and Critical Review  
(MoreInfo)

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

(2) Ali Valizadeh, Amirkabir University of Technology

First Order Logic and Mathematical Structures 
 
 (MoreInfo) (Slides) (Lecture notes of the 2nd part)

Thursday, February 16, 2017 (28 Bahman 1395) 14:00-16:00

(1) Hamid Alaeenezhad, Tarbiat Modares University

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

Thursday, February 9, 2017 (21 Bahman 1395) 14:00-16: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

 

 

Past Lectures:

- Ali Valizadeh, Amirkabir University of Technology

Some Results on Hrushovski Constructions

December 27, 2018

 

- Afshin Zarei Isfahan University of Technology

Decidability of expansions of the ordered additive group of real numbers

December 20, 2018

 

- Mohsen Khani, Isfahan University of Technology

Dependence via Hrushovski Constructions

December 13, 2018

 

- Rouh Allah Ebrahimpour Isfahani, University of Isfahan

The Analysis of Moore’s Paradox

November 29, 2018

 

Meghdad Ghari, University of Isfahan and IPM

Interpolation for Justification Logics

November 15, 2018

 

- Ali Kalantari, University of Isfahan

In what sense logic guides reasoning: MacFarlane on the normativity

May 24, 2018

 

Meghdad Ghari, University of Isfahan and IPM

The Protagoras Paradox and Temporal Justification Logic

May 17, 2018

 

- Morteza Haj Hosseini, University of Isfahan

Two Non-Classical Logic Systems (A New Outlook on Elements of Logic)

Part 2

April 19, 2018

 

- Morteza Haj Hosseini, University of Isfahan

Two Non-Classical Logic Systems (A New Outlook on Elements of Logic)

Part 1

April 12, 2018

 

 -Masoud Alvand, University of Isfahan

 The closure of Knowledge and Justification Logic

  March 1, 2018   

 

- Mojtaba Aghaei, Isfahan University of Technology

Constructing Real Numbers in Intuitionistic Mathematics

November 16, 2017
(More Info) 

 

Payam Seraji, IPM-Isfahan

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 Modal-Justification 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 (IPM-Tehran)

      -  Iranian Association for Logic

      -  Logic Group (Sharif University of Technology)