Institute of Philosophy
Russian Academy of Sciences




  Seminar of the Logical Center of the IPh RAS
Home Page » » Department of Logic » Seminar of the Logical Center of the IPh RAS

Seminar of the Logical Center of the IPh RAS

Русскоязычная версия страницы

The Department of logic holds the research seminar of the Logical Center of the Institute of Philosophy of the Russian Academy of Sciences.иук

Phone: (8495) 697-96-65

E-mail: seminar.logic @ gmail.com

 

Reports:

 

  • 6 February 2020. V. Shalack, D.Sc. in Philosophy,  Leading research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "Algorithmic Phenomena in Nature: a Model of Explanation".
  • 23 December 2019. Alex Citkin, Ph.D., CIO of Metropolitan Communications, New York, USA. "Deductive Systems With Unified Multiple-Conclusion Rules".
  • 13 September 2019. Mariusz Urbański, Ph.D, Director of the Institute of Psychology, Head of the Department of Logic and Cognitive Science, Head of the Reasoning Research Group, Adam Mickiewicz University, Poznań, Poland. "Formal Modelling of Human Reasoning: The story of a hunter-gatherer".
  • 6 February 2019. V. Shalack, D.Sc. in Philosophy, Leading research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "C.S. Peirce's thesis: logical analysis and ontological consequences".
  • 14 November 2018. G. Japaridze, Ph.D., Professor of Computer Science, Computing Sciences Department, Villanova University. "Arithmetics based on Computability Logic".
  • 9 October 2018. V. Dolgorukov, Ph.D in Philosophy, deputy head at International Laboratory for Logic, Linguistics and Formal Philosophy, NRU HSE. "The Ontological Square and type-theoretical semantics".
  • 20 June 2018. Dr. Natasha Alechina, Associate Professor, School of Computer Science, The University of Nottingham, Nottingham. "Epistemic logics with group and coalition announcements".
  • 29 March 2018. A. Rodin, Ph.D in Philosophy, Senior research scientist at the Department of Philosophical Problems in Natural Science of Institute of Philosophy of Russian Academy of Sciences. "Model-theoretical and proof-theoretical semantics of logical inference: ontological and epistemological corollaries".
  • 22 February 2018. V. Shalack, D.Sc. in Philosophy, Leading research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "Analysis vs Deduction".
  • 21 December 2017.  N. Prelovskiy, Ph.D. in Philosophy, Senior research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "On equivalence of Goldbach's conjecture to a statement regarding classes of tautologies in certain sequences of logical matrices".
  • 19 October 2017. G. Japaridze, Ph.D., Professor of Computer Science, Computing Sciences Department, Villanova University. "Computability logic: Giving Caesar what belongs to Caesar".
  • 9 March 2017. V. Shalack, D.Sc. in Philosophy,  Leading research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "Social software. Synthesis of social programs. Goal analysis".
  • 12 May 2016. A. Kopylova, Postgraduate student, School of Philosophy, National Research University Higher School of Economics, "Validity of temporalized propositions in terminist logic".
  • 10 March 2016. N. Tomova, Ph.D. in Philosophy,  Senior research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "Two modus ponens rules: new logical systems".
  • 7 April 2015 г. Karpenko A.S., D.Sc. in Philosophy, Head of the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "The lattices of the four-valued modal logics"
  • 12 February 2015. V. Shalack, D.Sc. in Philosophy,  Leading research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "On some applied theories definitionally embeddable into first order predicate logic".
  • 30 October 2014. V. Shalack, D.Sc. in Philosophy,  Leading research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "Syntax-oriented interpretation of the categorical attributive propositions".
  • 26 June 2014. A. Ishmuratov, D.Sc. in Philosophy, Professor at Taras Shevchenko National University of Kyiv. "Logic and Metaphysics".
  • 24 April 2014. N. Arkhiereev, Ph.D. in Philosophy, Assistant professor of the Department of Informational law, Informatics and Mathematics of The Russian Law Academy of the Russian Federation Ministry of Justice. "Extensional semantics for some non-classical logics".
  • 27 March 2014. A. Banovac, Ph.D. candidate, Institute of Philosophy of Russian Academy of Sciences. "Topological description of interconnections between logical form and intensional properties of logical objects".
  • 6 March 2014. A. Migla, PhD, research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "Structural realism and the Ramsey Sentence".
  • 5 December 2013. V. Shalack, D.Sc. in Philosophy,  Leading research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "Protologic and its structure".
  • 12 November 2013. N. Nepeivoda, Doctor of Ph.-Math. Sci, Professor, Leading research scientist at Program System Institute of Russian Academy of Sciences, Pereslavl-Zalessky. "On the logic of rights and responsibilities".
  • 14 March 2013. A. Rodin, PhD, senior research scientist at the Department of Philosophical Problems in Natural Science of Russian Academy of Sciences. "Genetic axiomatic method, the Curry-Howard Isomorphism and Voevodsky's univalent foundations".
  • 24 January 2013. V. Stepanov, scientist at the Dorodnicyn Computing Centre of the Russian Academy of Sciences. "Klein four-group in the semantics of auto-referent sentences".
  • 4 October 2012. V. Shalack, D.Sc. in Philosophy,  Leading research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "Chaitin's theorem. Logico-methodological analysis".
  • 20 September 2012. N. Prelovskiy, PhD, research scientist at the Department of Logic of the IPh RAS. "On continuality of sets of closed classes contained in some weak three-valued logics".
  • 26 April 2012. L. Devyatkin, PhD, research scientist at the Department of Logic of the IPh RAS. "Equivalence of matrices in respect of logical consequence".
  • 12 May 2011. V. Stepanov, research scientist at the Dorodnicyn Computing Centre of the Russian Academy of Sciences. "Many-valued logics in the dynamic semantic of the atomic auto-referent sentences".
  • 28 April 2011. N. Prelovskiy, postgraduate student at the Department of Logic of the IPh RAS. "Non-Carthesian logics and paraconsistency"
  • 17 February 2011. V. Shalack, PhD, senior research scientist at the Department of Logic of the IPh RAS. "Logic and the objects of thought".
  • 2 December 2010. L. Devyatkin, PhD, research scientist at the Department of Logic of the IPh RAS. "On the functional properties three-valued matrices for the classical logic".
  • 20 May 2010. A. Vladimirov, Ph.D. in Ph.-Math. Sci., Senior research scientist at the Dorodnicyn Computing Centre of the Russian Academy of Sciences. "Markov's Stepwise Semantics".
  • 6 May 2010. V. Shalack, D.Sc. in Philosophy,  Senior research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "Introduction to the combinatory logic and Church's lambda calculus".
  • 22 April 2010. N. Tomova, Ph.D. in Philosophy,  Research scientist at the Department of Logic of the Institute of Philosophy of Russian Academy of Sciences. "Implicative expansions of the regular Kleene logics".