Members of the Group:
Meghdad Ghari (Non-Resident Researcher)
Afshin Zarei (Post-Doctoral Research Fellow)
Former Members:
Mojtaba Aghaei (Resident Reseacher)
Amir Khamseh (Non-Resident Researcher)
Payam Seraji (Non-Resident Researcher)
Ali Valizadeh (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)
April 13, 2017 (24 Farvardin 1396) 11:00-12:00
• Andrés Villaveces, Universidad Nacional de Colombia, Colombia
Sheaf Semantics and Limit Structures (Abstract)
Decmber 3, 2015 (12 Azar 1394) 11:00-12:00
• Kai Hauser, Technical University of Berlin, Germany
Intuition and Mathematical Objects (Abstract)
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)
March 8, 2015 (17 Esfand 1393) 14:00-15:00
Workshops:
IPM-Isfahan Workshop on "Various Aspects of Modality", May 12, 2016. More Info...
Short Courses:
Mathematical, Philosophical and Computational Logic
(Course 6: Philosophy of Mathematics)
(3) Mohammad Maarefi, Institute for Advanced Studies IUSS Pavia
Philosophy of mathematical practice and its problems
May 9, 2024 (20 Ordibehesht 1403) 14:00-16:00
(2) Mohammad Maarefi, Institute for Advanced Studies IUSS Pavia
Investigating some classical problems of mathematical philosophy
May 2, 2024 (13 Ordibehesht 1403) 14:00-16:00
(1) Mohammad Maarefi, Institute for Advanced Studies IUSS Pavia
An introduction to the schools of classical philosophy and mathematics
April 25, 2024 (6 Ordibehesht 1403) 14:00-16:00
Mathematical, Philosophical and Computational Logic
(Course 5: Infinity in Mathematics)
(3) Payam Seraji, Farhangian University of Isfahan
Infinity in contemporary mathematics
June 8, 2023 (18 Khordad 1402) 14:00-16:00
(2) Payam Seraji, Farhangian University of Isfahan
Foundations of calculus and set theory
June 1, 2023 (11 Khordad 1402) 14:00-16:00
(1) Payam Seraji, Farhangian University of Isfahan
Infinity in ancient Greek mathematics
May 25, 2023 (4 Khordad 1402) 14:00-16:00
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
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
February 8, 2018 (26 Bahman 1396) 14:00-16:00
Mathematical, Philosophical and Computational Logic
(Course 3: Computability and Godel's Incompleteness Theorem)
(5) Amir Ehssan Karbasizadeh, University of Isfahan
Misunderstanding Godel's incompleteness theorems in physics and philosophy
May 11, 2017 (21 Ordibehesht 1396) 14:00-16:00
(4) Payam Seraji
Proofs of Godel's incompleteness theorems
May 04, 2017 (14 Ordibehesht 1396) 14:00-16:00
(3) Amir Khamseh, Kharazmi University
First order arithmetic and Godel's incompleteness theorems
April 27, 2017 (07 Ordibehesht 1396) 14:00-16:00
(2) Amir Khamseh, Kharazmi University
Computable functions: unlimited register machines and Church's thesis
April 20, 2017 (31 Farvardin 1396) 14:00-16:00
(1) Payam Seraji
An introduction to turing machines and computability theory
April 13, 2017 (24 Farvardin 1396) 14:00-16:00
Mathematical, Philosophical and Computational Logic
(Course 2: First Order Predicate Logic)
(4) Meghdad Ghari, University of Isfahan and IPM
Resolution proof system for first order logic
March 9, 2017 (19 Esfand 1395) 14:00-16:00
(3) Morteza Haj Hosseini, University of Isfahan
Predicate logic; philosophical and critical review
February 23, 2017 (5 Esfand 1395) 14:00-16:00
(2) Ali Valizadeh, Amirkabir University of Technology
First order logic and mathematical structures
February 16, 2017 (28 Bahman 1395) 14:00-16:00
(1) Hamid Alaeenezhad, Tarbiat Modares University
History and philosophical foundations of logic
February 9, 2017 (21 Bahman 1395) 14:00-16:00
Mathematical, Philosophical and Computational Logic
(Course 1: Propositional Logic)
(3) Ali Kalantari, University of Isfahan
An Investigation on truth functionality of logical constants in propositional logic and their counterparts in natural language
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
November 24, 2016 (4 Azar 1395) at 13:30
(1) Hamzeh Mohammadi, Isfahan University of Technology
Propositional logic November 17, 2016 (27 Aban 1395) at 13:30
Book Reading Meetings:
A comparative study of modal logic In Islamic tradition and modern logic:
Book Reading: M. Fitting, R. L. Mendelsohn, First-Order Modal Logic, Kluwer, 1998.
November 27, 2022 - May 29, 2024
Collaborated Lectures:
- Shafie Shokrani, University of Klagenfurt
Leonard Nelson’s Conception of a Socratic Method in the Context of Mathematics
February 20, 2025
(in collaboration with Isfahan Mathematics House)
- Meghdad Ghari, University of Isfahan
Deontic justification logics: solving deontic paradoxes using normative reasons
July 8, 2024
(in collaboration with Iranian Association for Logic)
Past Lectures:
- Meghdad Ghari, University of Isfahan and IPM
On the algebraic structure of mathematical proofs: is it possible to define a boolean algebraic structure on mathematical proofs
May 18, 2023
- Hooman Mohammad Ghorbanian, University of Isfahan
Investigating and studying the relationship between logical categories and ontological categories in the traditional approach to logic
March 2, 2023
- Meghdad Ghari, University of Isfahan and IPM
Solving deontic paradoxes using normative reasons
December 15, 2022
- Mohammad Maarefi, Institute for Advanced Studies IUSS Pavia
What is mathematical explanation?
December 8, 2022
-Mohsen Khani, Isfahan University of Technology
Non-standard analysis
December 12, 2019
- Mohammad Mehdi Ansari, University of Isfafahn
Church-Turing thesis: a study of applications and misapplications
December 5, 2019
- Ali Sadegh Daghighi, Amirkabir University of Technology
Forcing and multiverse theory in mathematics
May 16, 2019
- 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
-Payam Seraji, IPM-Isfahan
Constructibility and rosserizability of some proofs of the Godel's first incompleteness theorem
November 2, 2017
- Morteza Haj Hosseini, University of Isfahan
Propositional logic; critical study
December 15, 2016
- Darío Alejandro García, University of Leeds
Applications of ultraproducts of finite structures to combinatorics
November 3, 2016
- Mohammad Maarefi
Some reflections on the epistemology of mathematical practice and models of mathematics (defending a faithful philosophy of mathematics)
- Hamzeh Mohammadi, Isfahan University of Technology
Fuzzy logics
- Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)
Reasoning about uncertain evidence
January 28, 2016
- Afshin Zarei, Isfahan University of Technology
Authentication protocols and a logical method for analyzing them
November 19, 2015
- Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)
Proof analysis in modal-justification logics
June 11, 2015
- Amir Khamseh, Kharazmi University
Hindman's theorem, variable words and reverse mathematics
May 28, 2015
- Mojtaba Aghaei, Isfahan University of Technology
Admissibility of rules in reduced normal forms in S4
May 7, 2015
- Kai Hauser, Technical University of Berlin
Large cardinal numbers and infinite games
March 8, 2015
- Mojtaba Aghaei, Isfahan University of Technology
Constructive mathematics
November 27, 2014
- Amir Khamseh, Kharazmi University
An introduction to reverse mathematics
November 20, 2014
- Hamzeh Mohammadi, Isfahan University of Technology
Modal logic with counting
- Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)
Tableau proof systems for justification logics
October 23, 2014
- Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)
Justification logics and their epistemic semantics
October 16, 2014