Ukrainian Logic Society

The Ukrainian Logic Society was created on January 14, 2019 – on the First World Logic Day – by the initiative group consisting of

Prof. Mykola Nikitchenko was elected Chairman of Society,

Dr. Yaroslav Kokhan was elected Secretary of Society.

The aim of The Ukrainian Logic Society is to brings together academics and practitioners interested in various areas of logic and its applications.

E-mail address: logicukraine@gmail.com

Activities

2018

Організаційне оформлення логічної спільноти України

В Україні є логіки, але не існує єдиної логічної спільноти. Допомогти утворенню такої спільноти могла б відповідна організація як об'єднання учених. Наразі маємо ініціативну групу в Київському університеті на факультеті комп'ютерних наук та кібернетики, яка збирається вже найближчим часом втілити ідею створення української логічної організації в життя. Повідомлення від організаторів (увага: змінено адресу ел. пошти!):

Шановні колеги!

Запрошуємо вас взяти участь у засіданні, присвяченому Всесвітньому Дню Логіки

(http://www.logica-universalis.org/wld)

Засідання відбудеться 14 січня 2019 року, у 10:30, в аудиторії 01, на факультеті комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка (Київ, Україна).

Адреса проведення:

03680, м. Київ, проспект Глушкова, 4д.

Порядок денний засідання:

1. Створення Українського логічного товариства.

2. Семінар «Логіка та її застосування».

Учасникам семінару пропонується подати реферат (до однієї сторінки англійською мовою) на адресу ukrainianlogicalsociety@gmail.com

Можлива SKYPE-презентація.

Щиро Ваш,

Голова оргкомітету
Проф. Микола Нікітченко

(http://www.cyb.univ.kiev.ua/departments.ttp.nikitchenko.html)

* * *

Dear Colleagues!

We invite you to take part in a meeting devoted to the World Logic Day

(http://www.logica-universalis.org/wld)

The meeting is to be held on January 14, 2019, 10:30, Room 01, Faculty of Computer Science and Cybernetics of the Taras Shevchenko National University of Kyiv, Ukraine

Address:

03680, Kyiv, Hlushkova Avenue, 4d.

The agenda of the meeting:

1. Establishing of the Ukrainian Logical Society.

2. Workshop “Logic and its Applications”.

The participants of the workshop are invited to submit an abstract (up to one page, in English) to ukrainianlogicalsociety@gmail.com

Online participation via SKYPE can be possible.

Sincerely yours,

The chairman of the organizing committee
Prof Dr Mykola Nikitchenko

(http://www.cyb.univ.kiev.ua/en/departments.ttp.nikitchenko.html)

2019

Всесвітній День логіки

Нагадуємо всім колегам, що нещодавно запропоновано відзначати 14 січня як Всесвітній День логіки. Ініціатива належить дослідникам з Logica Universalis Association.

Дата 14 січня прив'язана до двох символічних подій у світі логіки: народження Альфреда Тарського та смерті Курта Ґьоделя.

На даний момент до ініціативи відзначення долучилися професійні осередки у 34 країнах світу. Причому, в країнах з потужними науковими школами відзначення відбуватиметься в багатьох місцях одразу. Так, у Польщі заявлені заходи у 8 різних закладах, розташованих у 7 містах цієї країни.

Офіційна сторінка 1-го (цьогорічного) Всесвітнього Дня логіки в Інтернеті (з переліком усіх, хто долучається до відзначення):

http://www.logica-universalis.org/wld

В Україні зголосилися відзначати поки тільки в Київському національному університеті імені Тараса Шевченка на факультеті комп'ютерних наук та кібернетики. Як вказано у попередній новині, заплановано провести науковий семінар (з можливістю дистанційного відеопідключення) та установчі збори Українського логічного товариства.

Якщо ви бажаєте долучитися, або паралельно провести якісь заходи, присвячені Всесвітньому Дню логіки, у своєму навчальному чи науковому закладі та місті, сповістіть, будь ласка, організаторів, написавши на ел. адресу, вказану в попередній новині.

Workshop “Logic and its Applications”

[en] As we planned, the theoretical workshop “Logic and its Applications” was organized in Taras Shevchenko National University of Kyiv at the Faculty of Computer Science and Cybernetics on January 14 within the framework of the celebration of the 1st World Logic Day.

The workshop had 15 talks, including two remote ones, made in a teleconference mode (from Moldova and Australia). A summary of abstracts and the topics presented at the workshop can be found in the file attached to this page.


[uk] Як і було заплановано, 14 січня цього року в рамках відзначення 1-го Всесвітнього Дня логіки в Київському національному університеті імені Тараса Шевченка на факультеті комп'ютерних наук та кібернетики було проведено теоретичний семінар «Логіка та її застосування».

На семінарі було 15 виступів, у тому числі два віддалених, в режимі телеконференції (з Молдови та Австралії). Зведену збірку тез та тем виступів, здійснених на семінарі, можна знайти в долученому до цієї сторінки файлі.

ПереглядПричіплений файлРозмір
Book of Abstracts.pdf212.73 КБ

Українське логічне товариство

14 січня цього року, в 1-ий Всесвітній День логіки в Києві ініціативною групою логіків було утворено Українське логічне товариство (УЛТ) як неформальне об'єднання логіків України.

На даний момент Товариство є неформальною спільнотою, тобто, не має статусу юридичної особи. Приєднатися можуть всі охочі фахівці: учені, філософи, інженери — професійна робота або особисті інтереси яких лежать в області логіки та суміжних дисциплін (як з боку математики, так і з боків філософії, інформаційних технологій, мовознавства та психології). Вступ до УЛТ не накладає ніяких зобов'язань.

Головою УЛТ обрано Нікітченка Миколу Степановича, доктора фізико-математичних наук, професора, завідувача кафедри теорії та технології програмування факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шеченка.

Електронна адреса Товариства: UkrainianLogicSociety@gmail.com

Звертаємо увагу на те, що адреса змінилася з часу утворення (тези для участі в семінарі «Логіка та її застосування» надсилалися на скриньку з дещо іншою назвою). Це пов'язано з вибором англомовної версії назви Товариства. Після нещодавнього нетривалого обговорення було погоджено, що офіційна назва УЛТ англійською має бути такою: Ukrainian Logic Society (ULS) [а не «Logical», як було запропоновано попередньо].

Запрошуємо долучатися до Товариства всіх охочих фахівців. Найближчим часом буде оголошено про майбутні заходи УЛТ.

Всесвітній день логіки отримав визнання з боку ЮНЕСКО

Нині маємо чудовий привід привітати всю логічну спільноту: тепер ми офіційно маємо професійне свято. Всесвітній день логіки, який ми святкували цього року по всьому світу в рамках внутрішньої ініціативи у середовищі логіків, офіційно визнано ЮНЕСКО.

На 40-ій сесії Загальної конференції ЮНЕСКО, що проходила цього листопада у Парижі, день 14 січня офіційно оголошено Всесвітнім днем логіки, з приводу чого видано окрему прокламацію.

Жан-Ів Безйо, ініціатор проголошення 14 січня Всесвітнім днем логіки, нині — президент Бразильської академії філософії, розіслав з приводу рішення ЮНЕСКО лист, де він пише:

After the adoption of January 14 as the World Logic Day by the Executive Council of UNESCO on October 17, 2019, January 14 was officially proclaimed as the World Logic Day at the 40th session of the General Conference of UNESCO in Paris, November 12-27, 2019.
See below extracts of the text, related to the paper reporting the first edition celebrated in about 60 localities all around the world:
1st World Logic Day: 14 January 2019
https://link.springer.com/article/10.1007/s11787-019-00221-5
We encourage everybody to organize a celebration of the World Logic Day on January 14 2020 under the auspices of UNESCO.
Info about all the celebrations will be gathered in a single webpage with links to all the celebrations in the world as it was done for the 1st edition.
http://logica-universalis.org/wld
Here one of them already announced:
https://epimenides.usal.es/?q=en/programa-2020

Best Wishes
Jean-Yves Beziau
Editor-in-Chief Logica Universalis
President of the Brazilian Academy of Philosophy

Далі він цитує прокламацію ЮНЕСКО, повний текст якої такий:

United Nations Educational, Scientific and Cultural Organization
General Conference
40th session, Paris, 2019

40 C/74
13 November 2019

PROCLAMATION OF A WORLD LOGIC DAY

OUTLINE

Source: 207 EX/Decision 42.

Background: At its 207th session, in 207 EX/Decision 42, the Executive Board recommended “that UNESCO’s General Conference, at its 40th session,proclaim 14 January “World Logic Day”, in association with the International Council for Philosophy and Human Sciences (CIPSH)”.

Purpose: The report explains the historical, cultural and intellectual importance of logic for philosophy and the sciences; argues that the proclamation of World Logic Day would contribute to the development of logic, through teaching and research, as well as to public dissemination of the discipline and to the promotion of international cooperation in the field; and offers a rationale for UNESCO celebration of World Logic Day without financial implications, in close synergy with World Philosophy Day, drawing on the commitment of existing academic networks, and working in collaboration with the CIPSH.

Decision required: Paragraph 7.

1. The ability to think is one of the most defining features of humankind. In different cultures, the definition of humanity is associated with concepts such as consciousness, knowledge and reason. According to the classic western tradition, human beings are defined as “rational” or “logical animals”. Logic, as the investigation on the principles of reasoning, has been studied by many civilizations throughout history and, since its earliest formulations, logic has played an important role in the development of philosophy and the sciences.

2. Despite its undeniable relevance to the development of knowledge, sciences and technologies, there is little public awareness on the importance of logic. The proclamation of World Logic Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH), intends to bring the intellectual history, conceptual significance and practical implications of logic to the attention of interdisciplinary science communities and the broader public.

3. A dynamic and global annual celebration of World Logic Day aims at fostering international cooperation, promoting the development of logic, in both research and teaching, supporting the activities of associations, universities and other institutions involved with logic, and enhancing public understanding of logic and its implications for science, technology and innovation. Furthermore, the celebration of World Logic Day can also contribute to the promotion of a culture of peace, dialogue and mutual understanding, based on the advancement of education and science.

4. On 14 January 2019, the first World Logic Day was celebrated as an initiative of universities, research institutes, foundations and associations active in the fields of mathematics, philosophy, computer sciences, engineering, economics and cognitive sciences. The existence of these networks, and their commitment to future annual celebrations of World Logic Day, offer credible assurance that the proclamation of the Day by UNESCO, in association with the relevant member organizations of the CIPSH, will lead to a solid action plan towards impact and added value. UNESCO’s commitment to World Logic Day will ensure that it has a broader and more geographically diverse orientation and connects organically to established programme priorities in the humanities.

5. The initiative has no financial implications for UNESCO. Celebrations would be organized, drawing on their own resources, by institutions in Member States and by international partners, including especially CIPSH member organizations, in particular the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST). The work of the Secretariat to coordinate World Logic Day would be absorbed within the human capacities already assigned to development of humanities workstreams, in close synergy with the annual celebration of World Philosophy Day. Coordinated planning of the two days will ensure a stronger presence of philosophy throughout UNESCO’s calendar, consolidate relations with academic stakeholders through the association with the CIPSH, and thus contribute to the strengthening of the humanities called for by the General Conference in 39 C/Resolution 29. Organization of specific activities by UNESCO, in particular at Headquarters, would be conditional on extrabudgetary support.

6. The Executive Board considered the above matter at its 207th session and recommended, in 207 EX/Decision 42, that the General Conference proclaim 14 January “World Logic Day”, in association with CIPSH.

Proposed draft resolution

7. In light of the above, the General Conference may wish to adopt a resolution along the following lines:

The General Conference,

Having examined 40 C/74,

Noting the recommendation of the Executive Board as contained in 207 EX/Decision 42,

Recalling UNESCO’s mandate in education, sciences and culture,

Also recalling that logic, as a discipline that encourages rational and critical thinking, is of paramount importance for the development of human knowledge, science and technology,

Further recalling that the dissemination of logic, a discipline that was developed by different civilizations and is based on the virtues of discourse and argumentation, can contribute to the achievement of a culture of peace, dialogue and mutual understanding among nations,

Noting that the proclamation of world logic day will have no financial implications for UNESCO,

Convinced that the proclamation of world logic day would contribute to the development of logic, through teaching and research, as well as to public dissemination of the discipline and to the promotion of international cooperation in the field,

1. Invites the Member States of UNESCO to celebrate world logic day every year, organizing national events on 14 January with the active participation of governmental and non-governmental, public and private institutions concerned, such as schools, universities, research institutes, philosophical and scientific associations, and others,

2. Invites the Director-General to encourage and publicize initiatives taken in this regard at the national, regional and international levels, working closely with the International Council for Philosophy and Human Sciences (CIPSH),

3. Proclaims 14 January “World Logic Day”, in association with the International Council for Philosophy and Human Sciences (CIPSH).

Другий семінар, присвячений Всесвітньому дню логіки

Маємо приємність повідомити колегам, що, оскільки міжнародне відзначення Всесвітнього дня логіки отримало офіційне визнання ЮНЕСКО, Українське логічне товариство започатковує традицію проводити 14 січня кожного року, у Всесвітній логічний день, теоретичний семінар з логіки та її застосувань.

Перший такий семінар ми провели цього року. Другий семінар з логіки та її застосувань відбудеться 14 січня вже наступного 2020 року.

Місце проведення: Київський національний університет імені Тараса Шевченка, факультет комп'ютерних наук та кібернетики, пр-т Академіка Глушкова, корп. 4Д, ауд. 01 (з холу прямо вниз сходами).

Початок семінару: 10:30.

Прохання до всіх зацікавлених подавати тези (1 стор.) на адресу logicukraine@gmail.com до 12 січня 2020 року.

2020

2nd World Logic Day in Kyiv

On January 14, 2020 Ukrainian logicians celebrated the Second World Logic Day at the Taras Shevchenko National Kyiv University. The main scientific institutions of Ukraine were represented.

Two events took place:

1. The Winter meeting of the board of the Ukrainian Logic Society: results of 2019, plans for 2020.

2. The workshop “Logic and its Applications” (14 presentations).

The talks were of the following directions:

  • Philosophical Logic (3 presentations);
  • Mathematical Logic (3 presentations);
  • Logic in Computer Science (5 presentations);
  • Logic and Education (3 presentations).

Discussions were devoted to inductive definitions over special domains and consequence relations for epistemic logics.

The book of abstracts (partly in English) was prepared to summarize the results of the workshop.

World Logic Day Workshop 2020-Book of Abstracts.pdf (328 KB)

Ukrainian Logic Society Prize – 2020

Ukrainian Logic Society Prize – 2020

logicukraine@gmail.com

The Ukrainian Logic Society announces the contest for young scientists.

1) The Prize will be awarded every two years.

2) Contestants should submit an unpublished paper (between 10 and 30 pages) in any area of logic, written in English. The paper should have at most two authors (both young scientists).

3) The jury consists of Ukrainian researchers from different regions of the country who represent various areas of logic.

4) The prize, besides being an honor, will support the winner's participation in the World Congress of Universal Logic and the publication of the paper in the Logica Universalis journal, Birkhauser. The prize is a part of the project A PRIZE OF LOGIC IN EVERY COUNTRY.

5) Contestants must be from 18 to 35 years old. Contestants should live in Ukraine and be affiliated with a university (or other educational institution) in Ukraine.

6) Jury of the logic contest:

  • Prof. Dr. Anatoliy Petravchuk – Taras Shevchenko National University of Kyiv (Chairman)
  • Prof. Dr. Ihor Dutsyak – Lviv Polytechnic National University
  • Dr. Yaroslav Kokhan – Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine
  • Prof. Dr. Michael Lvov – Kherson State University
  • Prof. Dr. Mykola Nikitchenko – Taras Shevchenko National University of Kyiv
  • Prof. Dr. Grygoriy Zholtkevych – V. N. Karazin Kharkiv National University

7) Deadline for paper submission: November 01, 2020. The paper and the author’s CV with a list of publications should be sent to logicukraine@gmail.com

Ukrainian Logic Society Prize-2021

Короновірусна пандемія вносить серйозні корективи у календар проведення наукових заходів. І стосується це не тільки конференцій та інших очних зібрань. Український конкурс на найкращу роботу з логіки для молодих учених також вирішено перенести на наступний рік. З відповідною поправкою в датуванні. Однак, звертаємо увагу на те, що строк подачі, все ж, завершується в кінці нинішнього року. Тим не менше, у охочих взяти участь з'являється додатковий час, щоб завершити дослідження і вивірити текст. Публікуємо офіційне оголошення:

UKRAINIAN LOGIC SOCIETY PRIZE – 2021

The Ukrainian Logic Society announces the contest for young scientists.

1) The Prize will be awarded every three years.

2) Contestants should submit an unpublished paper (between 10 and 30 pages) in any area of logic, written in English. The paper should have at most two authors (both young scientists).

3) The jury cosists of Ukrainian researchers from different regions of the country who represent various areas of logic.

4) The prize, besides being an honor, will support the winner's participation in the World Congress of Universal Logic and the publication of the paper in the Logica Universalis journal, Birkhauser. The prize is a part of the project A PRIZE OF LOGIC IN EVERY COUNTRY.

5) Contestants must be from 18 to 35 years old. Contestants should live in Ukraine and be affiliated with a university (or other educational institution) in Ukraine.

6) Jury of the logic contest:

  • Prof. Dr. Anatoliy Petravchuk – Taras Shevchenko National University of Kyiv (Chairman)
  • Prof. Dr. Ihor Dutsyak – Lviv Polytechnic National University
  • Dr. Yaroslav Kokhan – Skovoroda Institute of Philosophy of the National
    Academy of Sciences of Ukraine
  • Prof. Dr. Michael Lvov – Kherson State University
  • Prof. Dr. Mykola Nikitchenko – Taras Shevchenko National University of Kyiv
  • Prof. Dr. Grygoriy Zholtkevych – V. N. Karazin Kharkiv National University

7) It is expected that the papers should be presented at the Third World Logic Day in Ukraine on January 14, 2021.

8) Deadline for paper submission: December 28, 2020. The paper and the author’s CV with a list of publications should be sent to logicukraine@gmail.com

2021

3-ій Всесвітній день логіки

[en] Congratulations on our professional holiday—World Logic Day—to colleagues and everyone involved! And we wish you professional achievements! Further, we remind you that this year the celebration of the World Logic Day in Ukraine takes place online as part of the MFOI conference (for links, see the conference program).

We also would like to remind you that numerous events are being held at the international level to commemorate the 3rd World Logic Day (see here), in particular, at 17:00-17:20 (Kyiv time) there will be a live broadcast of the International Welcome Ceremony of the World Logic Day on YouTube.

We encourage colleagues to join the celebration!


Плакат у форматі PDF

[uk] Поздоровляємо колег та усіх причетних з нашим професійним святом — Всесвітнім днем логіки — і бажаємо професійних звершень! Нагадуємо, що цього року відзначення Дня логіки в Україні відбувається онлайн в рамках конференції MFOI (посилання для приєднання див. у програмі конференції).

Також нагадуємо, що на міжнародному рівні проводяться численні заходи з відзначення вже 3-го Всесвітнього дня логіки (див. тут), зокрема, в 17:00-17:20 за Києвом відбудеться пряма трансляція урочистої церемонії з цього приводу на платформі YouTube.

Закликаємо колег долучатися до відзначення!

Results of Ukrainian Logic Society Prize – 2021

Results of Ukrainian Logic Society Prize – 2021

Four papers were submitted for the Prize:

  • Dr. Andrii Kryvolap. Investigating Separation Logic as Logic of Quasiary Predicates;
  • Dr. Ievgen Ivanov. On Induction Principles for Partial Orders;
  • PhD students Maksym Poltorackiy and Yuliia Tarasich. Formation of Requirements for the Verification System of Formal Models of Programs;
  • PhD student Tohrul Mamedov. Application of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition.

Ukrainian Logic Society formed a Jury of the logic contest consisting of:

  • Prof. Dr. Anatoliy Petravchuk – Taras Shevchenko National University of Kyiv (Chairman)
  • Prof. Dr. Ihor Dutsyak – Lviv Polytechnic National University
  • Dr. Yaroslav Kokhan – Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine
  • Prof. Dr. Michael Lvov – Kherson State University
  • Prof. Dr. Mykola Nikitchenko – Taras Shevchenko National University of Kyiv
  • Prof. Dr. Grygoriy Zholtkevych – V. N. Karazin Kharkiv National University

On the 3rd World Logic Day the Chairman of the Jury Prof. Anatoliy Petravchuk announced the results of The Ukrainian Logic Society Contest for young scientists:

The Winner was declared Dr. Ievgen_Ivanov for the paper “On Induction Principles for Partial Orders”.

Our congratulations to Dr. Ievgen Ivanov!

The Winner presented his paper during celebration of the 3rd World Logic Day at the VI International Conference on Mathematical Foundations of Informatics MFOI-2020.

Abstract of the paper:

Inductive proofs are widely used in mathematics and computer science. Ordinary induction by a natural number parameter and its generalizations have applications in different domains and frequently appear in formal (computer assisted) mathematics and in formal methods which deal with modeling of the behavior of hardware and software systems and verification of such systems. Formalizations of mathematical results, algorithms, and systems in such computer proof assistant as Isabelle and Coq frequently use induction principles.

Induction by a parameter which takes discrete values is the most widely known. However, in the literature one can find principles of induction over a continuous (or not necessarily discrete) parameter, which have a certain analogy with an ordinary mathematical induction, and which are usually called real or continuous induction. The topic of this work is investigation of generalizations of such principles to partially ordered sets, i. e. we study the construction of inductive proofs by a parameter which takes values in a partially ordered set, without assuming that these values are in a certain sense discrete.

CV of Dr. Ievgen Ivanov

Nationality: Ukrainian
Academic Record
Dates: 2010 – 2014
Name of institutions: Taras Shevchenko National University of Kyiv and Paul Sabatier University, Toulouse
Qualification: PhD degree in informatics (“Investigation of abstract systems with inputs and outputs as partial functions of time”)
Dates: 2008 – 2010
Name of institution: Taras Shevchenko National University of Kyiv
Qualification: Master’s degree with honors, informatics
Dates: 2004 – 2008
Name of institution: Taras Shevchenko National University of Kyiv
Qualification: Bachelor’s degree with honors, applied mathematics

Main publications

  1. I. Ivanov. On representations of abstract systems with partial inputs and outputs. Theory and Applications of Models of Computation - 11th Annual Conference, TAMC 2014, Lecture Notes in Computer Science, Vol. 8402, Springer, pp. 104-123, 2014.
  2. I. Ivanov. On a strong notion of viability for switched systems. Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, CEUR-WS.org, Vol. 1356, pp. 396-407, 2015.
  3. I. Ivanov. On local characterization of global timed bisimulation for abstract continuous-time systems. Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Springer, pp. 216-234, 2016.
  4. I. Ivanov. On the underapproximation of reach sets of abstract continuous-time systems. Electronic Proceedings in Theoretical Computer Science, Vol. 247, pp. 46-51, 2017.
  5. I. Ivanov. On induction for diamond-free directed complete partial orders. Proceedings of the 16th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Volume 2: Workshops, CEUR-WS.org, Vol. 2732, pp. 70-73, 2020.

Scopus publications: 23

Scopus h-index: 6

Work experience:

2019 – present: Taras Shevchenko National University of Kyiv, Faculty of Information Technology, Docent
2014 – 2019: Taras Shevchenko National University of Kyiv, Faculty of Information Technology, Assistant

Scientific interests: Systems theory; formal methods; program logics

Information about Ukrainian Logic Society Prize – 2021

2022

Семінар «Логіка та її застосування» у Всесвітній день логіки

Шановні колеги!

У 2019 році UNESCO визнало 14 січня Всесвітнім днем логіки. Це трапилось 13 листопада 2019 року https://unesdoc.unesco.org/ark:/48223/pf0000371483
(Головні положення наведено далі).

Запрошуємо вас взяти участь у семінарі Українського логічного товариства

«Логіка та її застосування»

присвяченому Всесвітньому дню логіки.
Засідання відбудуться дистанційно 13-15 січня 2022 року.

Учасникам семінару пропонується подати до 27 грудня 2021 року статтю або
реферат (англійською або українською мовою ) на адресу

logicukraine@gmail.com

В ці дні також відбудуться засідання Міжнародного симпозіуму з логіки та
штучного інтелекту. Запрошуємо подавати статті на цей симпозіум:

https://slai2022.islai.org/

Інформація про попередні Всесвітні дні логіки подана в

Участь Українського логічного товариства у святкуванні Днів логіки висвітлено у

Щиро Ваш,
Голова Українського логічного товариства
Проф. Микола Нікітченко


Proclamation of a World Logic Day

UNESCO. General Conference, 40th, 2019 [1179]

1. The ability to think is one of the most defining features of humankind. In different cultures, the definition of humanity is associated with concepts such as consciousness, knowledge and reason. According to the classic western tradition, human beings are defined as “rational” or “logical animals”. Logic, as the investigation on the principles of reasoning, has been studied by many civilizations throughout history and, since its earliest formulations, logic has played an important role in the development of philosophy and the sciences.

2. Despite its undeniable relevance to the development of knowledge, sciences and technologies, there is little public awareness on the importance of logic. The proclamation of World Logic Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH), intends to bring the intellectual history, conceptual significance and practical implications of logic to the attention of interdisciplinary science communities and the broader public.

3. A dynamic and global annual celebration of World Logic Day aims at fostering international cooperation, promoting the development of logic, in both research and teaching, supporting the activities of associations, universities and other institutions involved with logic, and enhancing public understanding of logic and its implications for science, technology and innovation. Furthermore, the celebration of World Logic Day can also contribute to the promotion of a culture of peace, dialogue and mutual understanding, based on the advancement of education and science.

4. On 14 January 2019, the first World Logic Day was celebrated as an initiative of universities, research institutes, foundations and associations active in the fields of mathematics, philosophy, computer sciences, engineering, economics and cognitive sciences. The existence of these networks, and their commitment to future annual celebrations of World Logic Day, offer credible assurance that the proclamation of the Day by UNESCO, in association with the relevant member organizations of the CIPSH, will lead to a solid action plan towards impact and added value. UNESCO’s commitment to World Logic Day will ensure that it has a broader and more geographically diverse orientation and connects organically to established programme priorities in the humanities.

5. The initiative has no financial implications for UNESCO. Celebrations would be organized, drawing on their own resources, by institutions in Member States and by international partners, including especially CIPSH member organizations, in particular the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST). The work of the Secretariat to coordinate World Logic Day would be absorbed within the human capacities already assigned to development of humanities workstreams, in close synergy with the annual celebration of World Philosophy Day. Coordinated planning of the two days will ensure a stronger presence of philosophy throughout UNESCO’s calendar, consolidate relations with academic stakeholders through the association with the CIPSH, and thus contribute to the strengthening of the humanities called for by the General Conference in 39 C/Resolution 29. Organization of specific activities by UNESCO, in particular at Headquarters, would be conditional on extrabudgetary support.

6. The Executive Board considered the above matter at its 207th session and recommended, in 207 EX/Decision 42, that the General Conference proclaim 14 January “World Logic Day”, in association with CIPSH.

Full text is here:
https://unesdoc.unesco.org/ark:/48223/pf0000371483

4 World Logic Day – ULS seminar

The 4th World Logic Day
https://wld.cipsh.international/wld2022.html
is celebrated on January 14, 2022.

One of the events is online seminar of the Ukrainian Logic Society

“Logic and its applications”

http://logic.net.ua/

Zoom Link:
https://us04web.zoom.us/j/2677425181?pwd=Z0pzUVdQYTVrMXlsY1BvRFJyWlVzdz09
Conference Identifier: 267 742 5181
Pass Code: AQ3p8P

Date and time of the Seminar:

January 14, 2022, 10:00–13:00 EET.

Program of the Seminar:

  • Ievgen Ivanov. On Induction Principles with Weak Basis.
  • Ihor Dutsyak. On Correctness of Formalization of the Legal Principle "What is not Forbidden is Allowed" in Deontic Logic.
  • Mykola Nikitchenko. Three-Level Scheme of Teaching the Course "Mathematical Logic".
  • Stepan Shkilniak. Program-based Conception of Teaching the Course "Mathematical Logic".
  • Yaroslav Kokhan. A System of Alternatives as a Theoretical Object of Logic.
  • Ivan Basarab. Finite-convergent and Cyclic Functions, Collatz and Goodstein Sequences.

 

В рамках 4-го Всесвітнього Дня Логіки
14 січня 2022 року
https://wld.cipsh.international/wld2022.html
Українським Логічним Товариством організовано дистанційний семінар

«Логіка та її застосування»

http://logic.net.ua/

Zoom Link:
https://us04web.zoom.us/j/2677425181?pwd=Z0pzUVdQYTVrMXlsY1BvRFJyWlVzdz09
Ідентифікатор конференції: 267 742 5181
Код доступу: AQ3p8P

Дата і час проведення Семінару:

14 січня 2022 року, 10:00–13:00

Програма семінару:

  • Євген Іванов. Про принципи індукції із слабким базисом.
  • Ігор Дуцяк. Про коректність формалізації правничого принципу «незаборонене дозволено» в деонтичній логіці.
  • Микола Нікітченко. Трирівнева схема викладання курсу «Математична логіка».
  • Степан Шкільняк. Програмно-обумовлена концепція викладання курсу «Математична логіка».
  • Ярослав Кохан. Система альтернатив як теоретичний об’єкт логіки.
  • Іван Басараб. Скінченно-збіжні та циклічні функції, послідовності Коллатца і Гудстейна.

 

2023

Семінар «Логіка та її застосування» у 5-ий Всесвітній день логіки

 

 

 

On January 14, 2023, the global logic community will celebrate its professional holiday: World Logic Day—for the fifth time. As part of the celebration of this date, the Ukrainian Logic Society plans to hold a workshop «Logic and its Applications».

We invite all colleagues to participate. To do this, please submit abstracts of your speech (in English or Ukrainian) by January 10, 2023 to the address logicukraine@gmail.com

Current information:

14 Jan 2023: Ukrainian Logic Society «Logic and its Applications» Seminar

Time: 14:00 EET, reference to the seminar: https://meet.google.com/hue-byce-jpt

Speakers:

  • Prof. Mykola Nikitchenko
  • Prof. Ihor Dutsyak
  • Prof. Grygoriy Zholtkevych
  • Prof. Anatoliy Petravchuk
  • Prof. Stepan Shkilniak
  • Dr. Yaroslav Kokhan
  • Dr. Ievgen Ivanov

14 січня майбутнього 2023 року світова логічна спільнота вже уп'яте відзначатиме своє професійне свято: Всесвітній день логіки. В рамках відзначення цієї дати Українське логічне товариство планує провести семінар «Логіка та її застосування».

Запрошуємо всіх колег до участі. Для цього просимо подавати тези виступу (англійською або українською мовою) до 10 січня 2023 року на адресу logicukraine@gmail.com

Попередній список вже зголошених доповідачів див. вище в англійській частині допису.

Report on celebration of the 5th World Logic Day in Ukraine

Report on celebration of the 5th World Logic Day in Ukraine

The 5th World Logic Day on January 14, 2023 turned out to be a tragic day for Ukraine. The Russian Army attacked by missiles many regions of the country. This led to numerous victims among civil citizens and blackouts. Despite these difficulties the Ukrainian Logic Society decided not to cancel the seminar “Logic and its Applications” devoted to the 5th World Logic Day.

The following talks were presented at the seminar:

  • Prof. Grygoriy Zoltkevich. Determining Trace Semantics in the Case of Coalgebras for omega-Continuous Endofunctors.
  • Prof. Ihor Dutsyak. Generalized Notation of Boolean Functions for an Arbitrary Number of Arguments.
  • Prof. Stepan Shkilniak. Pure First-Order Logics of Quasiary Predicates with Equality: their Varieties, Semantic Properties, and Sequent Calculi.
  • Dr. Yaroslav Kokhan. Systems of Alternatives and Their Relations.
  • Dr. Ievgen Ivanov. Towards a Generalized Theory of Inductive Definitions.
  • Prof. Mykola Nikitchenko. Philosophical Aspects in Foundations of Mathematical Logic.

The members of the Society also joined some other events devoted to the World Logic Day.

Mykola Nikitchenko,
Chairman of the Ukrainian Logic Society

2024

Workshop "Logic and its application" on the 6th World Logic Day

Dear colleagues!

In 2019, UNESCO declared January 14 as World Logic Day. This happened on November 13, 2019:

https://unesdoc.unesco.org/ark:/48223/pf0000371483

The celebration of the 6th day of logic is now being prepared:

https://worldlogicday.com/events

We invite you to participate in the workshop of the Ukrainian Logic Society

"Logic and its application"

dedicated to World Logic Day.
The meeting will be held remotely on January 15, 2024, at 4:00 p.m. Kyiv time; link:
https://us04web.zoom.us/j/76469615569?pwd=ePLEG6LxmgSqXEm6ZsXed4p36Y6Lac.1

Workshop participants are invited to submit the title and abstract (in English or Ukrainian) by January 10, 2024 to
logicukraine@gmail.com.

Information on previous World Logic Days:

Participation of the Ukrainian Logic Society in the celebration of Logic Days:

Sincerely,
Head of the Ukrainian Logic Society
Prof. Mykola Nikitchenko

Workshop "Logic and its application" Program

Workshop "Logic and its application", devoted to the celebration of the 6th World Logic Day, will be held on Monday, January 15, 2024. Starts at 16:00 Kyiv time, duration of the talk is 10–15 minutes. Talks may be presented in English or Ukrainian.

Program of the workshop

  1. Mykola Nikitchenko. On Predicate Logics with Uncertainties.
  2. Yaroslav Kokhan. Relations are not Graphs.
  3. Lukasz T. Stepien. On Inconsistency of Classical Logic.
  4. Stepan Shkilniak. First-order Logics of Partial Quasiary Predicates with Weak Equality and Strong Equality.
  5. Ihor Dutsiak. The Ambiguity of Logic Semantics as a Source of Paradoxes of Material Implication.
  6. Vitaly Zubenko. On a Procedural Platform for the Theory of Algorithms and Church's Thesis.
  7. Oksana Shkilniak. Мodal Logics of Partial Non-monotonic Predicates with Equality.

Official webpage of the event:
https://worldlogicday.com/events/2024/logic-and-its-application-6th-world-logic-day

Link for the meeting:
https://us04web.zoom.us/j/76469615569?pwd=ePLEG6LxmgSqXEm6ZsXed4p36Y6Lac.1

Logic Prize

UKRAINIAN LOGIC SOCIETY PRIZE

The Ukrainian Logic Society announces the contest for young scientists.

1) The Prize will be awarded every three years.

2) Contestants should submit an unpublished paper (between 10 and 30 pages) in any area of logic, written in English. The paper should have at most two authors (both young scientists).

3) The jury cosists of Ukrainian researchers from different regions of the country who represent various areas of logic.

4) The prize, besides being an honor, will support the winner's participation in the World Congress of Universal Logic and the publication of the paper in the Logica Universalis journal, Birkhauser. The prize is a part of the project A PRIZE OF LOGIC IN EVERY COUNTRY.

5) Contestants must be from 18 to 35 years old. Contestants should live in Ukraine and be affiliated with a university (or other educational institution) in Ukraine.

6) Competition jury is formed together with the announcement of each contest.

7) Competitors papers should be presented during the World Logic Day on January 14.

Winners of the Ukrainian Logic Society Prize

2021 — Ievgen Ivanov