Formal Methods and Science in Philosophy IV
The conference Formal Methods and Science in Philosophy IV will be held at the Inter-University Center, Dubrovnik, Croatia, April 21, 2022 – April 23, 2022.
For further information please visit the conference website: https://philevents.org/event/show/94873
Zmarł Profesor Don Pigozzi
Z żalem zawiadamiamy o śmierci profesora Dona Pigozziego. W 1970 obronił on pod kierunkiem Alfreda Tarskiego pracę doktorską dotyczącą algebr cylindrycznych. Przez większość życia związany był z Instytutem Matematyki Iowa State University. Był jedną z najważniejszych postaci dla logiki algebraicznej; wraz z W. Blokiem napisał podstawowe dla tej dziedziny refleksji dzieło, 'Algebraizable logics’ (1989). Uzyskał wiele rezultatów ważnych dla badaczy z rozmaitych dziedzin logiki i informatyki.
Dyskusja naukowa „Discussion after the 1st Workshop on Relating Logic”
Dnia 26 lutego 2021 odbędzie się dyskusja naukowa „Discussion after the 1st Workshop on Relating Logic: Do we really need relation R to be directly incorporated into the language of relating logic?”
Organizatorzy: Katedra Logiki, UMK, Toruń
Uczestnicy:
- Alessandro Giordani (Uniwersytet Katolicki w Mediolanie)
- Igor Sedlar (Czeska Akademia Nauk, Praga)
- Tomasz Jarmużek, Mateusz Klonowski (UMK, Toruń)
Termin: 26 luty 2021, 11:30
Logowanie przez stronę: https://vc.umk.pl/b/tom-zjd-edt
Konferencja naukowa z okazji wręczenia Nagrody im. Jana Łukasiewicza
Polskie Towarzystwo Logiki i Filozofii Nauki oraz Katedra Logiki UMK mają zaszczyt zaprosić do udziału w konferencji naukowej z okazji wręczenia Nagrody im. Jana Łukasiewicza prof. Andrzejowi Pietruszczakowi za monografię Foundations of the Theory of Parthood.
Konferencja odbędzie się online 11.02.2021 (szczegóły poniżej).
Program konferencji:
11.00-11.15 Powitanie zebranych przez prezesa PTLiFN prof. Cezarego Cieślińskiego, Dyrektora Instytutu Filozofii UMK prof. Zbigniewa Nerczuka oraz Kierownika Katedry Logiki UMK prof. Tomasza Jarmużka.
11.15-11.30 Werdykt i uzasadnienie werdyktu przez Przewodniczącego Kapituły prof. Damiana Niwińskiego. Wręczenie nagrody.
11.30-12.30. Referat laureata prof. Andrzeja Pietruszczaka (UMK) „Różne oblicza teorii części”.
12.30-13.15. prof. Rafał Gruszczyński (UMK) „Metody formalne w bezpunktowych teoriach przestrzeni”.
(Przerwa obiadowa)
14.15-15.00. prof. Jacek Malinowski (PAN) „Boolowskie Logiki Koneksywne”.
15.00-15.45 prof. Krystyna Mruczek-Nasieniewska i prof. Marek Nasieniewski (UMK) „Logika Jaśkowskiego i systemy z nią powiązane”.
15.45-16.30 Alicja Kowalewska (CMU), prof. Rafał Urbaniak (UG) ,”Mierzenie koherencji za pomocą sieci Bayesowskich”.
16.30 -16.40 Zamknięcie konferencji przez prof. Tomasz Jarmużka i prof. Cezarego Cieślińskiego.
Konferencja odbędzie się za pomocą systemu Big Blue Button. W celu dołączenia wystarczy w dniu konferencji kliknąć na link https://vc.umk.pl/b/tom-zjd-edt (nie jest wymagane pobieranie żadnej aplikacji do obsługi BBB).
Będziemy wdzięczni za rozpowszechnianie tej informacji.
Zmarł Profesor David Charles McCarty
Ze smutkiem zawiadamiamy, że w dniu 25 listopada 2020 zmarł prof. David Charles McCarty, profesor filozofii z Indiana University.
Wspomnienie o profesorze: https://www.allencares.com/obituaries/David-Mccarty-3/#!/Obituary
IV edycja konkursu o Nagrodę Naukową im. Jana Łukasiewicza – werdykt
Kapituła Nagrody Naukowej im. Jana Łukasiewicza postanowiła przyznać Nagrodę prof. dr hab. Andrzejowi Pietruszczakowi za monografię Foundations of the Theory of Parthood.
IV edycja konkursu o Nagrodę Naukową im. Jana Łukasiewicza – nominacja do nagrody
Kapituła IV edycji konkursu o Nagrodę Naukową im. Łukasiewicza, działając zgodnie z par. 3 pkt. 4 Regulaminu Konkursu, zdecydowała o udzieleniu nominacji do nagrody książce:
Andrzej Pietruszczak, Foundations of the Theory of Parthood, Springer 2020.
IV edycja konkursu o Nagrodę Naukową im. Jana Łukasiewicza
Polskie Towarzystwo Logiki i Filozofii Nauki ogłasza IV edycję konkursu o Nagrodę Naukową im. Jana Łukasiewicza za wybitną monografię naukową z zakresu logiki, filozofii nauki, zastosowań logiki w podstawach matematyki, informatyce i lingwistyce.
Patronem Nagrody jest wybitny polski logik i filozof Jan Łukasiewicz, jeden z twórców Szkoły Lwowsko-Warszawskiej, autor logiki trójwartościowej i notacji polskiej.
Ogólne zasady konkursu
Przedmiotem nagrody może być monografia naukowa z dziedzin statutowo wspieranych przez PTLiFN, która została opublikowana nie wcześniej niż w 2018 roku i jest to jej pierwsze wydanie.
Nagrodę stanowią: dyplom, medal oraz nagroda pieniężna w wysokości 6000 zł brutto.
Wnioski o Nagrodę mogą zgłaszać rady jednostek naukowych, członkowie PTLiFN oraz autorzy.
Wniosek o przyznanie Nagrody wraz z wymaganymi załącznikami należy przesłać w wersji elektronicznej do 31 lipca 2020 roku na adres:
email: ptlifn.sekretarz@gmail.com
Oceny zgłoszonych prac dokonuje Kapituła w składzie:
- Zofia Adamowicz (Instytut Matematyczny PAN, Warszawa),
- Tomasz Bigaj (Uniwersytet Warszawski),
- Andrzej Indrzejczak (Uniwersytet Łódzki),
- Roman Murawski (UAM w Poznaniu),
- Damian Niwiński (Uniwersytet Warszawski),
- Ewa Orłowska (Instytut Łączności, Warszawa),
- Jerzy Pogonowski (UAM w Poznaniu).
Rozstrzygnięcie konkursu nastąpi do dnia 20 grudnia 2020 roku.
Szczegółowe zasady konkursu określa Regulamin
Załączniki/pliki do pobrania:
Międzynarodowa konferencja „Logiczna struktura świata. Aksjologiczna wizja patriotyzmu. W XXV. rocznicę śmierci o. J. M. Bocheńskiego”
W dniu 18.10.2019 Senat Rzeczypospolitej Polskiej ustanowił rok 2020 Rokiem Ojca Józefa M. Bocheńskiego, aby „w 25. rocznicę śmierci oddać hołd temu wybitnemu naukowcowi, kapłanowi i patriocie”. W te obchody wpisuje się konferencja organizowana przez Instytut Filozofii Uniwersytetu Kardynała Stefana Wyszyńskiego w Warszawie oraz Instytut Filozofii Uniwersytetu Warszawskiego. W konferencji wezmą udział zagraniczni goście: prof. Johannes Czermak (Salzburg), prof. Edward Świderski (Fryburg), prof. Paul Wiengartner (Salzburg), oraz wybitni polscy filozofowie i logicy interesujący się twórczością J. M. Bocheńskiego. W ramach konferencji będą poruszane zagadnienia należące do następujących dziedzin: historia filozofii i logiki, filozofia logiczna, logika filozoficzna, politologia.
Organizatorzy: Instytut Filozofii UKSW, Instytut Filozofii UW
Termin: 24.04. – 25.04.2020
Miejsce: Instytut Filzofii UKSW. Wóycickiego 1/3, Warszawa; budynek 23, sala 201
Opłata: 250 PLN/ 60 Euro
Termin nadsyłania zgłoszeń: 10.03.2020
Informacje o konferencji:
https://sites.google.com/site/bochenskikonferencja2020/
https://sites.google.com/site/bochenskiconference2020/
Kontakt: bochenskiconf2020@gmail.com
Logic Colloquium 2020
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, that in 2020 will be held from 13th to 18th of July at the Adam Mickiewicz University, Poznań, Poland. It is organized jointly by the AMU Faculties: of Psychology and Cognitive Science and of Mathematics and Computer Science.
The latest meetings took place in Helsinki (2015), Leeds (2016), Stockholm (2017), Udine (2018) and Prague (2019).
The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.
Important dates
January 31st, 2020 – registration opens
March 31st, 2020 – deadline for abstract submission
April 13th, 2020 – deadline for student travel awards applications
April 30th, 2020 – notifications
May 25th, 2020 – camera-ready abstracts due
June 13th, 2020 – early payments deadline
July 7th, 2020 – late payments deadline