====== Project meetings and seminars ======

<panel type="default" title="Project meetings and presentations:">

==1st year==

  ***1st project meeting** was held on September 5, 2015, at the Institute of Philosophy in Zagreb. [[project_activities:project_meetings:2015|Talks by all team members. Discussion.]]

  * **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.
</panel>

<panel type="default" title="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:
  - Introduction and axiomatic system, September 9, 2016,
  - 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,
  - Language extensions, canonical models, September 23, 2016,
  - 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:
  - Introduction, language, axiomatics, semantics, October 18, 2016,
  - Soundness, $G$-changes, October 28, 2016,
  - Temporal logic (operator //N//) and change, November 4, 2016,
  - 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:
   - First-order modal models and intensions, FOIL language and models, December 2, 2016
   - additional analysis and discussion on December 21, 2016
  * Comments and discussion on A. Church: Comparison of Rusell's resolution of the semantical antinomies with that of Tarski", //The Journal of Symbolic Logic// (1976), 747-760
   - analysis and discussion on January 18, 2017
   - analysis and discussion on January 27, 2017
   - analysis and discussion on February 10, 2017
   - analysis and discussion on February 24, 2017
   - analysis and discussion on March 3, 2017
   - analysis and discussion on March 10, 2017
   - analysis and discussion on March 24, 2017
  * Comments and discussion on M. Fitting: "A quantified logic of evidence", //Annals of Pure and Applied Logic// (2008), 67-83
   - analysis and discussion on March 31, 2017
   - analysis and discussion on April 7, 2017
   - analysis and discussion on April 14, 2017
  * Marcin Łyczak, Warszaw: //LCG&B logic of changing beliefs//, a seminar presentation and discussion.
  * Comments and discussion on M. Fitting: "A quantified logic of evidence", //Annals of Pure and Applied Logic// (2008), 67-83	
   - analysis and discussion on May 12, 2017
   - analysis and discussion on May 19, 2017
   - analysis and discussion on June 2, 2017
   - analysis and discussion in July 2017, 2017
  * Comments and discussion on K. Świętorzecka: //Classical Conceptions of the Changeability of Situations and Things//, I.1.
   - analysis and discussion on October 13, 2017
   - analysis and discussion on October 20, 2017
</panel>