This is an old revision of the document!

Project meetings and seminars

Project meetings and presentations:

1st year
  • 2nd project meeting was held in three parts: on December 5 and 7, 2015, at the Institute of Philosophy in Zagreb, and online on December 10, 2015. Discussion on the research results and on the plan for the finish of the first year of the research.
  • Public presentation of the project, December 7, 2015, at the Institute of Philosophy in Zagreb, Presentations by Srećko Kovač, Kordula Świętorzecka, and Berislav Žarnić.
  • Discussion on research results. March 9, 2016, online, and March 12, 2016 at the Institute of Philosophy, Zagreb and online.
  • 3rd project meeting and workshop. April 2, 2016, at the Institute of Philosophy, Zagreb, and online.
2nd year
  • 1st project meeting. September 14-15, 2016, at the Institute of Philosophy, online.
  • 2nd project meeting, symposium and workshop. December 10, 2016, at the Institute of Philosophy.

PhD Project Seminar at the Institute of Philosophy, Zagreb:

Regular participants: S. Kovač, G. Lojkić, I. Restović, K. Šekrst.

1st year
  • Lecture: Srećko Kovač, Kant's Logic. Discussion. July 11, 2015.
  • Presentation: Goran Lojkić, Concepts in Ramified Type Theory. Discussion. December 5, 2015.
  • Comments and discussion on Whitehead, Russell: Principia Mathematica I, The hierarchy of types (*12). December 19, 2015.
  • Comments and discussion on Whitehead, Russell: Principia Mathematica I, The axiom of reducibility (Introduction, Chapter II, 6–7). January 30, 2016.
  • Comments and discussion on L. E. J. Brouwer: "Consciousness, philosophy, and mathematics" (integral text 1948), consciousness, time, mind. February 19, 2016.
  • Comments and discussion on L. E. J. Brouwer: "Consciousness, philosophy, and mathematics" (integral text 1948), causality, cooperation, principle of excluded middle. March 5, 2016.
2nd year
  • Analysis and comments on M. Fitting: "Possible world semantics for first-order logic of proofs", Annals of Pure and Applied Logic 165 (2014), 225-240:
  1. Introduction and axiomatic system, September 9, 2016,
  2. Comparison with the axiomatics of S. Artemov and T. Yavorskaya, "First-Order Logic of Proofs" (2011, TR-2011005, CUNY PhD Program in Computer Science), semantics, skeleton, model, truth, September 16, 2016,
  3. Language extensions, canonical models, September 23, 2016,
  4. Completeness, Mkrtychev models, October 14, 2016.
  • Analysis and comments on K. Świętorzecka and J. Czermak, "Some calculus for a logic of change", Journal of Applied Non-Classical Logics (2012), 1-8:
  1. Introduction, language, axiomatics, semantics, October 18, 2016,
  2. Soundness, $G$-changes, October 28, 2016,
  3. Temporal logic (operator N) and change, November 4, 2016,
  4. Completeness, types of histories, November 16, 2016 — with the online participation of K. Świętorzecka.
  • Analysis and comments on M. Fitting: "First-order intensional logic", Annals of Pure and Applied Logic 127 (2004), 171-193:
  1. First-order modal models and intensions, FOIL language and models, December 2, 2016.