Schedule of the General Session - 7th UNILOG
The 7th UNILOG, like previous editions, will be a 100% in-person event. A good opportunity to meet and discuss with colleagues from all over the world in the beautiful and relaxing place of the conference center of the Orthodox Academy of Crete by the sea in the Island of Crete.
The 7th UNILOG, like previous editions, will be a 100% in-person event. A good opportunity to meet and discuss with colleagues from all over the world in the beautiful and relaxing place of the conference center of the Orthodox Academy of Crete by the sea in the Island of Crete.
Thursday, April 7
Thursday, April 7
10h15 - 10h45 Pierre Saint-Germier, Université Catholique de Louvain-la-Neuve, Belgium, "Relevant Tonk"
10h15 - 10h45 Pierre Saint-Germier, Université Catholique de Louvain-la-Neuve, Belgium, "Relevant Tonk"
10h45-11h15 COFFEE BREAK
10h45-11h15 COFFEE BREAK
11h15-11h45 Stephen Read, University of St Andrews, Scotland, "Consequence and Signification in Fourteenth-Century Logic"
11h15-11h45 Stephen Read, University of St Andrews, Scotland, "Consequence and Signification in Fourteenth-Century Logic"
11h45- 12h15 Claudia Anger, University of Hagen, Germany, "Euler-type Diagrams and Syllogistics – How to Solve Operational Constraints"
11h45- 12h15 Claudia Anger, University of Hagen, Germany, "Euler-type Diagrams and Syllogistics – How to Solve Operational Constraints"
13h00-14h00: LUNCH
13h00-14h00: LUNCH
14h15-15h00 Cristina Barés Gómez, University of Sevilla, Spain, "The Logic of Medical-Veterinary Diagnosis"
14h15-15h00 Cristina Barés Gómez, University of Sevilla, Spain, "The Logic of Medical-Veterinary Diagnosis"
15h00-15h30 Mark Addis, Open University and London School of Economics and Political Science, United Kingdom "Categorical Representation of Discrete Dynamical Systems Computability"
15h00-15h30 Mark Addis, Open University and London School of Economics and Political Science, United Kingdom "Categorical Representation of Discrete Dynamical Systems Computability"
16h00 -16h30 COFFEE BREAK
16h00 -16h30 COFFEE BREAK
16h30-17h00 Gail Brekke, Prairie View A&M University, Texas Undergraduate Medical Academy, USA, "Fighting with Infinity: A Proposal for the Addition of New Terminology"
16h30-17h00 Gail Brekke, Prairie View A&M University, Texas Undergraduate Medical Academy, USA, "Fighting with Infinity: A Proposal for the Addition of New Terminology"
17h00-17h30 Zuzana Rybaříková, Palacký University Olomouc, Czech Republic, "Specification of Tenses in Tichý’s Transparent Intensional Logic and Prior’s Temporal Logic"
17h00-17h30 Zuzana Rybaříková, Palacký University Olomouc, Czech Republic, "Specification of Tenses in Tichý’s Transparent Intensional Logic and Prior’s Temporal Logic"
19h: DINNER
19h: DINNER
Friday, April 8
Friday, April 8
9h30-10h15 KEYNOTE LECTURE Ivan Varzinczak, Université d’Artois and member of CRIL lab and CNRS, France, "Defeasible Description Logics"
9h30-10h15 KEYNOTE LECTURE Ivan Varzinczak, Université d’Artois and member of CRIL lab and CNRS, France, "Defeasible Description Logics"
10h15-10h45 Guillaume Aucher, Université de Rennes, France , "A van Benthem theorem for atomic and molecular logics"
10h15-10h45 Guillaume Aucher, Université de Rennes, France , "A van Benthem theorem for atomic and molecular logics"
10h45 - 11h15 Ricardo Santos, LanCog, Centre of Philosophy of the University of Lisbon Portugal, "The Overdetermined Future"
10h45 - 11h15 Ricardo Santos, LanCog, Centre of Philosophy of the University of Lisbon Portugal, "The Overdetermined Future"
11h15-11h30 COFFEE BREAK
11h15-11h30 COFFEE BREAK
11h30-12h00 Edoardo Rivello, University of Torino, Italy "An Abstract Theory of Definitions with an Application to Self-referential Truth"
11h30-12h00 Edoardo Rivello, University of Torino, Italy "An Abstract Theory of Definitions with an Application to Self-referential Truth"
12h00 - 12h30 Steven Obua, United Kingdom, "Abstraction Logic"
12h00 - 12h30 Steven Obua, United Kingdom, "Abstraction Logic"
12h30 - 13h00 Vangelis Triantafyllou, University of Ioannina, Greece", Ancient Logic as a Form of Geometry"
12h30 - 13h00 Vangelis Triantafyllou, University of Ioannina, Greece", Ancient Logic as a Form of Geometry"
13h00-14h00: LUNCH
13h00-14h00: LUNCH
14h00-14h30 Víctor Aranda Utrero, Manuel A. Martins and Mariıa Manzano, Computense University of Madrid, Spain, University of Aveiro, Portugal, Univeristy of Salamanca, Spain, "A Theory of Types with Partial Boolean Functions"
14h00-14h30 Víctor Aranda Utrero, Manuel A. Martins and Mariıa Manzano, Computense University of Madrid, Spain, University of Aveiro, Portugal, Univeristy of Salamanca, Spain, "A Theory of Types with Partial Boolean Functions"
14h30-15h00 Georgios Pitsiladis, National Technical University of Athens, Greece "A relativistic formal description of software development"
14h30-15h00 Georgios Pitsiladis, National Technical University of Athens, Greece "A relativistic formal description of software development"
15h00-15h30 Serge Robert, Université du Québec à Montréal, Montréal, Québec, "The Cognitive Foundations of Logical Connectives and Fuzzy Reasoning Contexts"
15h00-15h30 Serge Robert, Université du Québec à Montréal, Montréal, Québec, "The Cognitive Foundations of Logical Connectives and Fuzzy Reasoning Contexts"
15h30-16h00 Michał Sochański and Dorota Leszczyńska-Jasion
15h30-16h00 Michał Sochański and Dorota Leszczyńska-Jasion
16h00-16h30: COFFEE BREAK
16h00-16h30: COFFEE BREAK
16h30-17h00 Zoe McConaughey, "The dialogical syllogistic: formalizing Aristotle’s logic in the dialogical framework"
16h30-17h00 Zoe McConaughey, "The dialogical syllogistic: formalizing Aristotle’s logic in the dialogical framework"
17h00-17h30 Guillaume Aucher, Université de Rennes, France, "Generalized Keisler Theorems about Definability and Axiomatizability"
17h00-17h30 Guillaume Aucher, Université de Rennes, France, "Generalized Keisler Theorems about Definability and Axiomatizability"
17h30-18h00 Vedat Kamer, University of Istanbul, Turkey, "Reconsidering Applications Provided in Logic Curriculums"
17h30-18h00 Vedat Kamer, University of Istanbul, Turkey, "Reconsidering Applications Provided in Logic Curriculums"
18h30-19h00: PIANO CONCERT BY Lúcia Donatella Jenei (Fire Place Room)
18h30-19h00: PIANO CONCERT BY Lúcia Donatella Jenei (Fire Place Room)
19h DINNER
19h DINNER
Sunday, April 10
Sunday, April 10
9h30-10h00 David Fuenmayor, University of Luxembourg, "Bridging Legal Argumentation and Automated Theorem Proving"
9h30-10h00 David Fuenmayor, University of Luxembourg, "Bridging Legal Argumentation and Automated Theorem Proving"
10h00-10h30 Sylvain Lavelle, ICAM Paris – Center for Ethics, Technology and Society (CETS), School for Advanced Studies in Social Sciences (EHESS - GSPR), "Elements of Special and General Dialectics"
10h00-10h30 Sylvain Lavelle, ICAM Paris – Center for Ethics, Technology and Society (CETS), School for Advanced Studies in Social Sciences (EHESS - GSPR), "Elements of Special and General Dialectics"
11h00-11h30 COFFEE BREAK
11h00-11h30 COFFEE BREAK
11h30 - 12h00 Fabrice Pataut, CNRS – UMR 8011 Sciences, Normes, Décision, Paris, France, "Which logic for the self-ascription of attitudes?"
11h30 - 12h00 Fabrice Pataut, CNRS – UMR 8011 Sciences, Normes, Décision, Paris, France, "Which logic for the self-ascription of attitudes?"
12h00- 12h30 Vincent Degauquier, University of Namur, Belgium, "The Ways of Partiality and Paraconsistency"
12h00- 12h30 Vincent Degauquier, University of Namur, Belgium, "The Ways of Partiality and Paraconsistency"
12h30 - 13h00 Davide Liga, University of Bologna and University of Luxembourg, "Argumentative Sequence Labelling using Transfer Learning"
12h30 - 13h00 Davide Liga, University of Bologna and University of Luxembourg, "Argumentative Sequence Labelling using Transfer Learning"
13h00-14h00: LUNCH
13h00-14h00: LUNCH
14h05-14h45 KEYNOTE LECTURE Eunsuk Yang, Jeonbuk National University, South Korea ,"Implicational partial gaggles and their representations" (Joint work with the late J. M.Dunn)
14h05-14h45 KEYNOTE LECTURE Eunsuk Yang, Jeonbuk National University, South Korea ,"Implicational partial gaggles and their representations" (Joint work with the late J. M.Dunn)
14h45-15h15 Sándor Jenei, University of Pécs, Hungary, "Amalgamation and Densification in Classes of Involutive Commutative Residuated Lattices"
14h45-15h15 Sándor Jenei, University of Pécs, Hungary, "Amalgamation and Densification in Classes of Involutive Commutative Residuated Lattices"
15h15-15h45 Laurent Dubois, Belgium, "How to build an oscillating number. Introduction of non-standard objects in a standard theory."
15h15-15h45 Laurent Dubois, Belgium, "How to build an oscillating number. Introduction of non-standard objects in a standard theory."
15h45-16h00: COFFEE BREAK
15h45-16h00: COFFEE BREAK
16h00-16h30 Torben Bräuner, Roskilde University, Denmark, "Case study: Logical and mathematical understanding in comparison to other academic competences".
16h00-16h30 Torben Bräuner, Roskilde University, Denmark, "Case study: Logical and mathematical understanding in comparison to other academic competences".
16h30-17h00 Andrzej Pietruszczak, Mateusz Klonowski and Yaroslav Petrukhin, University of Torun and Lodz, Poland, "A valuation semantics for some modal logics"
16h30-17h00 Andrzej Pietruszczak, Mateusz Klonowski and Yaroslav Petrukhin, University of Torun and Lodz, Poland, "A valuation semantics for some modal logics"
17h-18h SECRET SPEAKER
17h-18h SECRET SPEAKER
19h: DINNER
19h: DINNER
! On Monday the General Session will be split in two paralled sessions !
! On Monday the General Session will be split in two paralled sessions !
Monday, April 11 GS-1 (Fire Place Room)
Monday, April 11 GS-1 (Fire Place Room)
9h30-10h15 KEYNOTE LECTURE Anne-Françoise Schmid, Ecole des Mines, Paris, France, "Logic and algebra in the exchanges between Bertrand Russell and Louis Couturat"
9h30-10h15 KEYNOTE LECTURE Anne-Françoise Schmid, Ecole des Mines, Paris, France, "Logic and algebra in the exchanges between Bertrand Russell and Louis Couturat"
10h15-10h45 Raja Natarajan, School of Technology & Computer Science, Tata Institute of Fundamental Research, Mumbai India, "Voting Theory and Semantics of Computation"
10h15-10h45 Raja Natarajan, School of Technology & Computer Science, Tata Institute of Fundamental Research, Mumbai India, "Voting Theory and Semantics of Computation"
10h45-11h15 Byeong-uk Yi, "Al-Fārābī and Existential Import of Categorical Propositions"
10h45-11h15 Byeong-uk Yi, "Al-Fārābī and Existential Import of Categorical Propositions"
11h15-11h30 COFFEE BREAK
11h15-11h30 COFFEE BREAK
11h30 - 12h00 Bartosz Wesół, University of Warsaw, Poland, "Łukasiewicz’ Many-Valued Logic in Quantum Mechanics – Philosophical Considerations"
11h30 - 12h00 Bartosz Wesół, University of Warsaw, Poland, "Łukasiewicz’ Many-Valued Logic in Quantum Mechanics – Philosophical Considerations"
12h00 - 12h30 James S. Wolper, Idaho State University, Pocatello, ID, USA, "Reconstructing Constructivism"
12h00 - 12h30 James S. Wolper, Idaho State University, Pocatello, ID, USA, "Reconstructing Constructivism"
12h30 - 13h MauricioVieira Kritz , School of Biological Sciences, FBMH, University of Manchester, UK, "Mathematics, Perception and Creativity
12h30 - 13h MauricioVieira Kritz , School of Biological Sciences, FBMH, University of Manchester, UK, "Mathematics, Perception and Creativity
13h00- 14h00: LUNCH
13h00- 14h00: LUNCH
Monday, April 11 GS-2 (Library Room)
Monday, April 11 GS-2 (Library Room)
9h30-10h00 Arnaud Plagnol, Université Paris 8 Vincennes-Saint-Denis, LPPC, France, "Logical Bases of Modal Navigation"
9h30-10h00 Arnaud Plagnol, Université Paris 8 Vincennes-Saint-Denis, LPPC, France, "Logical Bases of Modal Navigation"
10h30-11h00 Krzysztof Wójtowicz, University of Warsaw, Poland, "Existence and explanation in mathematics"
10h30-11h00 Krzysztof Wójtowicz, University of Warsaw, Poland, "Existence and explanation in mathematics"
11h00-11h30 COFFEE BREAK
11h00-11h30 COFFEE BREAK
11h30 - 12h00 Maria Regina Brioschi, University of Milan (Università degli Studi di Milano), Italy, "Peirce’s Regenerated Logic: the Dismissal of Substance and Being"
11h30 - 12h00 Maria Regina Brioschi, University of Milan (Università degli Studi di Milano), Italy, "Peirce’s Regenerated Logic: the Dismissal of Substance and Being"
12h00 - 12h30 Tin Adlesic, Croatia, "A modern rigorous approach to stratification in NF/NFU"."
12h00 - 12h30 Tin Adlesic, Croatia, "A modern rigorous approach to stratification in NF/NFU"."
12h30 - 13h Sankha S.Basu, Indraprastha Institute of Information and Technology, Dehli, India, "Restricted rules of inference and paraconsistency"
12h30 - 13h Sankha S.Basu, Indraprastha Institute of Information and Technology, Dehli, India, "Restricted rules of inference and paraconsistency"
13h00- 14h00: LUNCH
13h00- 14h00: LUNCH