Skip to Content

Workshop "Logic and its application" Program

Сб, 13/01/2024 - 23:54 — logic

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

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

Ср, 27/12/2023 - 19:47 — logic

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

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

Ср, 27/12/2023 - 01:51 — logic

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

У 2019 році UNESCO визнало 14 січня Всесвітнім днем логіки. Це трапилось 13 листопада 2019 року:

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

Зараз готується святкування 6-го дня логіки:

https://worldlogicday.com/events

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

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

присвяченому Всесвітньому дню логіки.
Засідання відбудеться дистанційно 15 січня 2024 року у 16:00 за київським часом; посилання:
https://us04web.zoom.us/j/76469615569?pwd=ePLEG6LxmgSqXEm6ZsXed4p36Y6Lac.1

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

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

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

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

Зображення користувача Ярослав Кохан.

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

Вт, 11/07/2023 - 21:18 — Ярослав Кохан

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

У непростий воєнний час українські логіки продовжують працювати над науковими дослідницькими темами та діляться отриманими результатами з колегами. Зокрема, цього року Українське логічне товариство провело у Всесвітній день логіки черговий науковий семінар «Логіка та її застосування».

Але наукова робота триває, тому нині прийнято рішення провести цього року ще один семінар «Логіка та її застосування» 8 листопада.

Запрошуємо усіх колег до участі в семінарі. Тези планованого виступу просимо надсилати на адресу logicukraine@gmail.com до 5 листопада 2023 року включно.

Звертаємо увагу, що семінар націлений не лише на проведення доповідей, але й на збір текстових матеріалів для їхнього подальшого опублікування.

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

Пт, 20/01/2023 - 18:28 — logic

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

Зображення користувача Ярослав Кохан.

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

Чт, 01/12/2022 - 23:18 — Ярослав Кохан

 

 

 

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

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

Зображення користувача Ярослав Кохан.

100 grants for a logic summer school in Brazil

Сб, 22/10/2022 - 19:00 — Ярослав Кохан

Останнім часом у світі намітилася сумна тенденція публікувати оголошення про вакансії та грантові програми настільки близько до дедлайну, що піди ще встигни податися. Публікуємо таке оголошення „для прудких“ з Бразилії:

Contemporary Logic, Rationality and Information
 https://www.cle.unicamp.br/splogic/

February 6 to 17, 2023 there will at the University of Campinas in Brazil a summer school celebrating the 90 years of Newton da Costa and the 45 years of the Centre of Logic.

100 grants for undergraduate, graduate students, postdoctoral fellows (up to 5 years after completion of the Ph.D) are available.

Funding includes airfare, medical insurance, accommodation, and meals throughout the event.

The deadline to apply is October 30th:
https://www.cle.unicamp.br/splogic/index.php/call-for-entries/
Welcome to Brazil !

Jean-Yves Beziau
Federal University of Rio de Janeiro
Editor-in-Chief Logica Universalis
http://www.jyb-logic.org/

Зображення користувача Ярослав Кохан.

An opportunity to work on logic in Slovakia

Нд, 03/07/2022 - 23:55 — Ярослав Кохан

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

Dear members of the Ukrainian Logic Society,

I am a researcher working on logic at the Slovak Academy of Sciences. I am writing to you in order to mention an opportunity for Ukrainian students or researchers to spend a period in Slovakia thanks to the following grant schema (the next deadline is 31 October 2022):

Зображення користувача Ярослав Кохан.

Математична логіка та програмування. Досвід викладання

Сб, 18/06/2022 - 04:23 — Ярослав Кохан

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

До збірки увійшли, зокрема, тексти, що відображають доповіді, виголошені на цьогорічному семінарі «Логіка та її застосування», організованому й проведеному Українським логічним товариством у рамках відзначення 4-го Всесвітнього дня логіки 14 січня.

 

A position at the Jagiellonian University Department of Logic

Вт, 17/05/2022 - 21:26 — logic

З Польщі надійшла термінова інформація про наявність викладацької вакансії з логіки в Ягеллонському університеті (вакансія ось-ось має бути закрита). Подача заявок від українців усіляко вітається. З отриманого нами повідомлення мовою оригіналу:

4 World Logic Day – ULS seminar

Пн, 10/01/2022 - 20:51 — logic

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

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

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

 

Симпозіум з логіки та штучного інтелекту – запрошені лекції

Пн, 10/01/2022 - 20:28 — logic
Шановні колеги!

В рамках Всесвітнього Дня Логіки
https://wld.cipsh.international/wld2022.html
організовано Симпозіум з логіки та штучного інтелекту
https://slai2022.islai.org/
(13-15 січня 2022 року, програму долучено)

ZOOM link to All SLAI-2022 sessionS:
https://zoom.us/j/2022131415
Time is EET (Romania-Moldova-Ukraine time)

Запрошуємо колег, аспірантів та студентів долучитись до Симпозіуму та до наступних запрошених лекцій:

David Makinson (London, UK):
Logicians like climbing trees
Friday, January 14 at 20:00 (EET)
Leora Morgenstern (Palo Alto, USA):
From text to battle simulations using formal representations: How NLP, logic, and planning work together in COMBAT
Thursday, January 13 at 18:00 (EET)
Irina Perfilieva (Ostrava, Czech Republic):
Fuzzy sets, fuzzy partitions and manifolds
Thursday, January 13 at 16:00 (EET)
Anatol Reibold (Darmstadt, Hessen, Germany):
Deep learning as a special case of abductive reasoning
Saturday, January 15 at 16:00 (EET)
Dimiter Vakarelov (Sofia, Bulgaria):
Region-based theories of space and time
Saturday, January 15 at 18:00 (EET)

 

З повагою,
Микола Нікітченко

Зображення користувача Ярослав Кохан.

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

Пн, 01/11/2021 - 22:28 — Ярослав Кохан
Шановні колеги!

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

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

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

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

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

Зображення користувача Ярослав Кохан.

Symposium on Logic and Artificial Intelligence • 2022

Ср, 30/06/2021 - 23:32 — Ярослав Кохан

The Symposium on Logic and Artificial Intelligence (“Symposium on L&AI” or “SLAI”) is annually organized by the International Society for Logic and Artificial Intelligence (ISLAI) in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. Round tables are planned to ensure an open debate on the state of the art and new directions.

Зображення користувача Ярослав Кохан.

7th WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC

Ср, 14/04/2021 - 03:17 — Ярослав Кохан

Наступного, 2022-го року на грецькому Криті заплановано проведення чергових, вже 7-их Всесвітніх конгресу та школи з універсальної логіки. Вже маємо сайт події та повідомлення від організаторів:

RSS-матеріал


by Dr. Radut