Lectures:
1) Principles of logical analysis. Paradoxical arguments resulting from a coarse-grained analysis of premises.
2) Frege-Church semantic schema. Denotational vs. procedural semantics.
3) Transparent Intensional Logic: constructions.
4) Ramified hierarchy of types, epistemic base, intensions vs. extensions.
5) Non-existence and modalities.
6) Knowledge reprezentation and ontology.
7) Ontology as a logic of intensions
8) Hyperintensional, partial typed lambda calculus.
9) Dynamic reasoning and temporal logic.
10) Communication of agents in a multi-agent system.
Seminars:
1) Principles of logical analysis. Paradoxical arguments resulting from a coarse-grained analysis of premises.
2) Frege-Church semantic schema. Denotational vs. procedural semantics.
3) Transparent Intensional Logic: constructions.
4) Ramified hierarchy of types, epistemic base, intensions vs. extensions.
5) Non-existence and modalities.
6) Knowledge reprezentation and ontology.
7) Ontology as a logic of intensions
8) Hyperintensional, partial typed lambda calculus.
9) Dynamic reasoning and temporal logic.
10) Communication of agents in a multi-agent system.
1) Principles of logical analysis. Paradoxical arguments resulting from a coarse-grained analysis of premises.
2) Frege-Church semantic schema. Denotational vs. procedural semantics.
3) Transparent Intensional Logic: constructions.
4) Ramified hierarchy of types, epistemic base, intensions vs. extensions.
5) Non-existence and modalities.
6) Knowledge reprezentation and ontology.
7) Ontology as a logic of intensions
8) Hyperintensional, partial typed lambda calculus.
9) Dynamic reasoning and temporal logic.
10) Communication of agents in a multi-agent system.
Seminars:
1) Principles of logical analysis. Paradoxical arguments resulting from a coarse-grained analysis of premises.
2) Frege-Church semantic schema. Denotational vs. procedural semantics.
3) Transparent Intensional Logic: constructions.
4) Ramified hierarchy of types, epistemic base, intensions vs. extensions.
5) Non-existence and modalities.
6) Knowledge reprezentation and ontology.
7) Ontology as a logic of intensions
8) Hyperintensional, partial typed lambda calculus.
9) Dynamic reasoning and temporal logic.
10) Communication of agents in a multi-agent system.