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

 

Member of the group:
Meghdad Ghari (Post-Doctoral Research Fellow)


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


Upcoming Event:

▶ Short Course on Mathematical, Philosophical and Computational Logic:
Misunderstanding Gödel's Incompleteness Theorems in Physics and Philosophy
Amir Ehssan Karbasizadeh, University of Isfahan
Thursday, May 11, 2017 (21 Ordibehesht 1396) 14:00-16:00
(More Info) (Slides)


Short Courses:

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


More Info...

Group Photo 1   Group Photo 2

(5) Amir Ehssan Karbasizadeh, University of Isfahan
Misunderstanding Gödel'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 Gödel's Incompleteness Theorems
(MoreInfo) (Slides)
Thursday, May 04, 2017 (14 Ordibehesht 1396) 14:00-16:00
(3) Amir Khamseh
First Order Arithmetic and Gödel's Incompleteness Theorems
(MoreInfo) (Slides)
Thursday, April 27, 2017 (07 Ordibehesht 1396) 14:00-16:00
(2) Amir Khamseh
Computable Functions: Unlimited Register Machines and Church's Thesis 
(MoreInfo) (Slides)
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


 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...


Past Lectures:

-  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)



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

@ IPM_Isfahan