Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
project_activities:project_meetings [2016/12/14 13:17] Srećko Kovač |
project_activities:project_meetings [2017/10/22 11:52] (current) Kristina Šekrst |
||
|---|---|---|---|
| Line 26: | Line 26: | ||
| ==1st year== | ==1st year== | ||
| - | * Lecture: Srećko Kovač, //Kant's Logic//. Discussion. July 11, 2015. | + | * Lecture: Srećko Kovač, //Kant's Logic//. Discussion. July 11, 2015 |
| - | * Presentation: Goran Lojkić, //Concepts in Ramified Type Theory//. Discussion. December 5, 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 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 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), 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. | + | * Comments and discussion on L. E. J. Brouwer: "Consciousness, philosophy, and mathematics" (integral text 1948), causality, cooperation, principle of excluded middle. March 5, 2016 |
| Line 45: | Line 45: | ||
| - 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, | - 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, | - Language extensions, canonical models, September 23, 2016, | ||
| - | - Completeness, Mkrtychev models, October 14, 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: | * 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: | ||
| Line 54: | Line 54: | ||
| * Analysis and comments on M. Fitting: "First-order intensional logic", //Annals of Pure and Applied Logic // 127 (2004), 171-193: | * 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. | + | - 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> | </panel> | ||