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:

http://math.ipm.ir/isfahan/old/Lecture%20Poster/Various%20Aspects%20of%20Modality%20-%20poster.jpg

IPM-Isfahan Workshop on "Various Aspects of Modality" 

More Info... 

 

Short Courses:

 

 

Mathematical, Philosophical and Computational Logic 
(Course 4: 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



http://math.ipm.ac.ir/Isfahan/Lecture%20Poster/ShortCourse-PropositionalLogic.jpg

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:

- Masoud Alvand, University of Isfahan

 Logical disagreements and meaning-variance of logical constants

March 7, 2019

 

 

Meghdad Ghari, University of Isfahan and IPM

Logics of Knowledge and Belief: A Survey

February 28, 2019

 

- Hamzeh Mohammadi, Isfahan University of Technology

A Cut-Free Sequent-Style Calculus for Modal Propositional Logic S5

February 21, 2019

 

- Reihaneh Zoghifard, Institute for Research in Fundamental Sciences (IPM)

Frame Definability and a Lindström Theorem for First-Order Modal Logic

February 14, 2019

 

- 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 of logic

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)