• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
The Establishment of Petrine-Pushkinian Russia: A Philosophical Perspective

Kantor V.

Russian Studies in Philosophy. 2019. Vol. 57. No. 3. P. 228-240.

Book chapter
The Revolution of Nikolai Lobachevsky

Karpenko I.

In bk.: The Foundations of Geometry: Works on Non-Euclidean Geometry. Montreal: Minkowski Institute Press, 2019. P. iii-viii.

Working paper
Childhood in Medieval Autobiography

Zaretsky Y.

SSRN Working Paper Series. SSRN Working Paper Series. Social Science Research Network, 2019

Tag "Reporting an event" – News

Formal Philosophy 2019

Formal Philosophy 2019
The International conference “Formal Philosophy 2019” was held on 27-28 June 2019. The conference was attended by scientists from Russia, USA, Brazil, Poland, Germany, Austria, Portugal and South Korea. It is planned that the conference will be a regular annual event.

Vitaliy Dolgorukov Made a Report at the University of Lisbon

Vitaliy Dolgorukov Made a Report at the University of Lisbon
Vitaliy Dolgorukov made the report "Irony, Deception and Lying: an Epistemic Taxonomy for Assertions" at a scientific seminar of research group LangCog (Language, Mind and Cognition) of University of Lisbon.

Andrei Rodin Made a Report on the Conference in Tübingen

Andrei Rodin Made a Report on the Conference in Tübingen
Andrei Rodin made a presentation at the Third Tübingen Conference on Proof-Theoretic Semantics.

"Constructive Knowledge - 8: Formal Representation of Mathematics" Workshop

Andrei Rodin, the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, together with Sergei Kovalev gave a presentation on "Formal Epistemology and Computational Representation of Knowledge"

World Logic Day on January 14

World Logic Day on January 14
On January 14 International Laboratory for Logic, Linguistics and Formal Philosophy (HSE), Department of Logic of Faculty of Philosophy (MSU), Department of Logic of Institute of Philosophy Russian Academy of Sciences held the 50th meeting of Theoretical Seminar "Formal Philosophy": the round table“Formal Philosophy: Foundations and Prospects”, devoted to the application of formal methods in philosophy.

Gala V. Maksudova-Eliseeva Made a Report on the Conference in Krakow

Gala V. Maksudova-Eliseeva Made a Report on the Conference in Krakow
Gala V. Maksudova-Eliseeva made a report on the conference, which was dedicated to Frege and Wittgenstein

Vladimir L. Vasyukov Made a Report at the Conference in Crete, Greece

Vladimir L. Vasyukov Made a Report at the Conference in Crete, Greece
The Leading Research Fellow Vladimir L. Vasyukov made a report at the conference in Crete, Greece.

Formal Philosophy – 48: «Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations»

Formal Philosophy – 48: «Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations»
On the 24th of October Andrei Rodin, Senior Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report “Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations” on the 48th session of theoretical seminar “Formal Philosophy”.

Vitaliy Dolgorukov Made a Report in the RAS Institute of Philosophy

Vitaliy Dolgorukov Made a Report in the RAS Institute of Philosophy
On October 9, Vitaliy Dolgorukov, the Deputy Head of the Laboratory, made a report “The Ontological Square and Type-Theoretic Semantics”

The Photos from the Conference “Formal Philosophy”

The Photos from the Conference “Formal Philosophy”
On the 1-2 of October the International Conference “Formal Philosophy” was held in the Higher School of Economics. This conference was organized by the International Laboratory for Logic, Linguistics and Formal Philosophy.