7th World School on Universal Logic
Orthodox Academy of Crete
April 1-5, 2022
The School will have 13 tutorials on all aspects of logic. Each tutorial will have a duration of 3h displayed in 3 sessions presented in 3 different days. Tutorials are for students but also for anyone who wants to know more about logic.
The School will have 13 tutorials on all aspects of logic. Each tutorial will have a duration of 3h displayed in 3 sessions presented in 3 different days. Tutorials are for students but also for anyone who wants to know more about logic.
Here is the list of tutorial with acronyms:
Here is the list of tutorial with acronyms:
- CAT: Categories of Logics and Translations
- VAR: Logics of Variable Inclusion
- FOR: Formal approaches to inconsistent science
- UEC: Universal Equational Consequence
- OCC: Occurrences and Substitutions
- UNI: Introduction to Universal Logic
- MOP: Monism vs Pluralism in the Philosophy of Logic
- PRD: Analysing proving discourse - a dialogical perspective
- ANA: Analogy
- BRI: Bridges between Semantics and Proof-Calculi
- INT: Intensional Logic
- DIA: Generic Figures: using Category Theory to Model Diagrammatic Logic
- EQU: Equality Proof-Theoretic Considerations