LXII Konferencja Historii Logiki
Konferencja Filozofii Nauki i Metod Formalnych w Filozofii

Komunikat I (wersja do druku)

Instytut Filozofii Uniwersytetu Jagiellońskiego organizuje Konferencję Historii Logiki (KHL) w dniach 25-26 października 2016 roku oraz Konferencję na temat Filozofii Nauki i Metod Formalnych Filozofii (KFNMFF) w dniach 27-28 października 2016 roku. Obydwie konferencje odbędą się w Krakowie pod auspicjami Polskiego Towarzystwa Logiki i Filozofii Nauki a ich dodatkowym celem (obok naukowego) jest integracja polskiego środowiska logików i filozofów nauki. Liczymy na liczny udział zarówno nestorów, którzy przed laty bywali na konferencji historii logiki, jak i młodych naukowców, dla których będzie to, mamy nadzieję, okazja do poznania osób pracujących nad podobnymi zagadnieniami w innych ośrodkach. Zapraszamy do udziału w obu konferencjach.

Abstrakty wystąpień, przygotowane do oceny z zachowaniem anonimowości, należy przesłać na adres dlg@iphils.uj.edu.pl, z zaznaczeniem na którą konferencję referat jest przeznaczony (KHL czy KFNMFF), do dnia 1.09.2016. Abstrakty nie mogą przekraczać 1 strony A4 (czcionka 12pt).

Istotne daty:

  • 1.09.2016 – termin nadsyłania streszczeń referatów
  • 15.09.2016 – informacja o decyzji w sprawie akceptacji referatu

Tematyka KHL, obok tytułowej historii logiki, obejmuje między innymi następujące dyscypliny: logika filozoficzna, logika matematyczna, logika prawnicza, metalogika, teoria modeli, teoria prawdy, teoria dowodu, teoria obliczeń, filozofia logiki, filozofia matematyki, podstawy matematyki, teoria mnogości. (dokładniejsze informacje o profilu konferencji KHL można znaleźć na stronie http://www.filozofia.uj.edu.pl/konferencja-historii-logiki).
Tematyka KFNMFF to ogólna filozofia i metodologia nauki i filozofia nauk szczegółowych. Przykładowe metody formalne filozofii to logika, teorie prawdopodobieństwa czy topologia.

Opłata konferencyjna: KHL – 100 zł; KFNMFF – 70 zł; obie konferencje – 150 zł.

Więcej informacji na temat obu konferencji podamy w następnych komunikatach oraz na stronie konferencji http://www.filozofia.uj.edu.pl/konferencja-historii-logiki. Prosimy też kontaktować się z organizatorami mailowo, pisząc na adres: dlg@iphils.uj.edu.pl

Komitet Naukowy Konferencji Historii Logiki 2016:
prof. Andrzej Wroński (przewodniczący)
dr hab. Cezary Cieśliński, prof. Janusz Czelakowski, dr hab. Joanna Golińska-Pilarek,
dr hab. prof. UW Marcin Mostowski, prof. Jerzy Pogonowski, dr hab. Tomasz Połacik,
prof. Wojciech Suchoń, prof. Kazimierz Trzęsicki, prof. Andrzej Wiśniewski,
prof. Jan Woleński, dr hab. Anna Wójtowicz, prof. Jan Zygmunt.

Komitet Organizacyjny (dla obu konferencji):
prof. Tomasz Placek (przewodniczący)
prof. Wojciech Suchoń, dr hab. Jan Czerniawski, dr hab. Jerzy Gołosz,
dr hab. Katarzyna Kijania-Placek, dr hab. prof. UW Marcin Mostowski, dr Jerzy Hanusek,
Paweł Banaś, Bartosz Janik, Joanna Luc, Agnieszka Proszewska, Izabela Skoczeń, Jacek Wawer.

I edycja konkursu o Nagrodę Naukową im. Jana Łukasiewicza

Polskie Towarzystwo Logiki i Filozofii Nauki ogłasza I 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 2015 roku i jest to jej pierwsze wydanie.

Nagrodę stanowią: dyplom (lub medal) oraz nagroda pieniężna w wysokości co najmniej 2000 zł.

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 papierowej i elektronicznej do 30 czerwca 2016 roku na adres:

Polskie Towarzystwo Logiki i Filozofii Nauki
Nowy Świat 72
00-330 Warszawa
email: ptlifn.sekretarz@gmail.com

Oceny zgłoszonych prac dokonuje Kapituła w składzie:

  • dr hab. Tomasz Bigaj (Uniwersytet Warszawski),
  • prof. dr hab. Adam Grobler (Uniwersytet Opolski),
  • prof. dr hab.Andrzej Indrzejczak  (Uniwersytet Łódzki),
  • prof. dr hab. Roman Murawski (UAM w Poznaniu),
  • prof. dr hab. Damian Niwiński (Uniwersytet Warszawski),
  • prof. dr hab. Jerzy Pogonowski (UAM w Poznaniu),
  • prof. dr hab. Andrzej Wroński (Uniwersytet Jagielloński).

Rozstrzygnięcie konkursu nastąpi do dnia 31 grudnia 2016 roku.

Szczegółowe zasady konkursu określa  Regulamin

Załączniki/pliki do pobrania:

Aspects of Defeasible Reasoning

W środę 4 maja 2016 na Uniwersytecie w Konstancji (Niemcy) odbędą się warsztaty Aspects of Defeasible Reasoning.

Program warsztatów

 

I Krakowskie Sympozjum Filozofii Biologii

Zakład Filozofii Nauk Przyrodniczych serdecznie zaprasza na I Krakowskie Sympozjum Filozofii Biologii, które odbędzie się w dniu 8 kwietnia 2016 r. od godz. 11.00 w sali 25 Instytutu Filozofii UJ (Kraków, ul Grodzka 52).

Program sympozjum

The Emergence of Structuralism and Formalism – Call for Papers

The Emergence of Structuralism and Formalism

June 24.- 26. 2016
Prague, Czech Republic

http://www.ktf.cuni.cz/KTF-1347.html

Call for papers

 

SYNTAX MEETS SEMANTICS (SYSMICS 2016) – Call for abstracts

======================================================
SYNTAX MEETS SEMANTICS (SYSMICS 2016)
======================================================
5-9 September 2016, Barcelona (Spain)

http://sysmics-16.iiia.csic.es/

***** CALL FOR ABSTRACTS *****

Scope
———
Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Intuitionistic, many-valued, linear logics, are typical examples. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the first of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

Featured topics
———————
Contributed talks can be on any topic related to substructural logic.
This includes, but is not limited to, the following areas:

* Algebraic structures in CS
* Algebraic logic
* Coalgebraic aspects of logic
* Categorical methods in logic
* Gentzen systems
* Lattice theory
* Lattices with operators
* Linear logic
* Mathematical fuzzy logic
* Non-classical logics
* Ordered algebraic structures
* Proofs and Types
* Stone-type dualities
* Topological semantics

Programme Committee
——————————
Stefano Aguzzoli (University of Milano)
Nick Bezhanishvili (University of Amsterdam)
Agata Ciabattoni (Vienna University of Technology)
Petr Cintula (Czech Academy of Sciences)
Pilar Dellunde (Autonomous University of Barcelona)
Brunella Gerla (University of Insubria)
Lluis Godo (CSIC – IIIA Barcelona)
Ramon Jansana (University of Barcelona)
Jan Kühr (University of Olomouci)
Antonio Ledda (University of Cagliari)
George Metcalfe (University of Bern)
Carles Noguera (Czech Academy of Sciences)
Luca Spada (University of Salerno, chair)

Organising Committee
——————————
Pilar Dellunde (Autonomous University of Barcelona)
Joan Gispert (University of Barcelona)
Ramon Jansana (University of Barcelona)
Lluis Godo, (CSIC – IIIA Barcelona, Chair)
Diego Valota (CSIC – IIIA Barcelona)

Dates
—————————
Deadline for submissions 30 April 2016
Notification of acceptance 30 May 2016
Conference dates 5-9 September 2016

Submissions
——————————
The Programme Committee accepts submissions of abstracts ranging from 2 to 4 pages. The abstracts should be formatted according to EasyChair style, instructions can be found at: http://easychair.org/publications/easychair.zip .
Abstracts can be submitted at the following address:
https://easychair.org/conferences/?conf=sysmics2016
A short text-only abstract will also be requested during submission.

Expression of interest
——————————
Expressions of interests will be greatly appreciated, please fill in the simple form on the conference web site under „Express Interest”. This will help the Organising Committee with their planning. You can also opt-out from receiving future announcements by following the instructions on the conference web site.

More Information
———————–
SYSMICS 2016 web site: http://sysmics-16.iiia.csic.es/

Use this site for local information, including hotel accommodations, for travel information and registration.

Queries regarding registration, hotel accommodations, financial support and reimbursements, technology infrastructure, abstract submission guidelines, etc. should be sent to sysmics-oc@iiia.csic.es.

Ocena listy punktowanych czasopism

Walne Zebranie Towarzystwa w dn. 30.01.2016 podjęło uchwałę negatywnie oceniającą  listę punktowanych czasopism opublikowaną przez MNiSW.

Bardziej wyczerpujące stanowisko zawierają pismo Instytutu Filozofii Uniwersytetu Warszawskiego oraz list dra hab. Jerzego Gołosza, vice-dyrektora Instytutu Filozofii Uniwersytetu Jagiellońskiego.

Na stronie UW  można przeczytać o proponowanych  przez Instytut Filozofii UW oraz Radę Wydziału Filozofii i Socjologii UW zmianach w kategoryzacji czasopism (uchwały z listopada 2014).

Informujemy szerzej o tej sprawie namawiając Państwa, aby za pośrednictwem swych jednostek, odpowiedziały (do 15.02) na apel MNiSW (pod adresem: http://www.nauka.gov.pl/komunikaty/uwagi-i-zastrzezenia-do-wykazu-czasopism-naukowych.html) o przesyłanie uwag na temat wspomnianej listy.

Władze Towarzystwa (2016-2019)

ZARZĄD


  • prof. dr hab. Tomasz Placek, prezes Zarządu
  • prof. dr hab. Andrzej Wiśniewski, wiceprezes
  • mgr Jacek Wawer, sekretarz
  • dr hab. Jan Czerniawski, skarbnik
  • prof. dr hab. Janusz Czelakowski, poprzedni prezes
  • prof. dr hab. Kazimierz Trzęsicki, członek Zarządu
  • dr hab. Jerzy Gołosz, członek Zarządu
  • dr Joanna Golińska-Pilarek, członek Zarządu

KOMISJA REWIZYJNA


  • dr hab. Cezary Cieśliński,  członek Komisji
  • dr hab. Marcin Miłkowski, członek Komisji
  • dr hab. Dariusz Surowik, członek Komisji

Walne Zebranie Członków PTLiFN (30.01.2016)

Dnia 30 stycznia w Warszawie odbyło się Walne Zebranie Polskiego Towarzystwa Logiki i Filozofii Nauki połączone z sesją jubileuszową z okazji 85 urodzin profesora Witolda Marciszewskiego. Wybrano nowe władze:

T. Placek – prezes
A. Wiśniewski – vice-prezes
J Wawer – sekretarz
J. Czerniawski – skarbnik
J. Czelakowski – członek zarządu
J. Golińska-Pilarek – członek zarządu
J. Gołosz – członek zarządu
K. Trzęsicki – członek zarządu

W skład Komisji Rewizyjnej weszli: C. Cieśliński, M. Miłkowski i dr hab. D. Surowik.

Zgromadzenie podjęło również uchwałę dotyczące punktacji czasopism logicznych i z zakresu filozofii nauki.

Protokół

Dualities for Structures of Applied Logics

Nakładem wydawnictwa College Publications ukazała się książka Ewy Orłowskiej, Anny Radzikowskiej i Ingrid Rewitzky pt. Dualities for Structures of Applied Logics.

orlowska