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