dr Piotr Wilkin

Piotr Wilkin jest doktorantem w Instytucie Informatyki UW oraz w Instycie Filozofii UW.

Adres e-mail: pwl [at] mimuw.edu.pl

 

Temat pracy magisterskiej

  • Automatyzacja dowodzenia twierdzeń w systemie Coq, grudzień 2007, Wydział Matematyki i Informatyki UW

Zainteresowania naukowe

  • logika informatyczna
  • teoria typów
  • teoria dowodu
  • rachunek lambda
  • filozofia języka
  • teorie znaczenia
  • filozofia I. Kanta
  • gramatyki kategorialne

 

Doświadczenia dydaktyczne

 

  • Podstawy matematyki (Instytut Informatyki MIMUW)

 

Wybrane publikacje

  • (z Tadeuszem Ciecierskim) „Dlaczego logik modalny nie musi przejmować się argumentacją Quine’a?” (Przegląd Filozoficzny, w druku).

 

Referaty i wystąpienia

  • Relacja komprehensji – między umysłem a rzeczywistością, Zlot Filozoficzny 2007
  • Pojęcia a język – czy reprezentacje umysłowe wyznaczają znaczenia językowe, Studenckie Forum Badań nad Językiem, Warszawa 2008 (referat, w przygotowaniu publikacja pokonferencyjna)
  • The Calculus of Constructions as a basis for natural language semantics, Annual Ludwig Wittgenstein Symposium, Kirschberg am Wechsel, Austria 2008 (referat oraz publikacja w Preproceedings of the Annual Ludwig Wittgenstein Symposium)


Strona internetowahttp://www.mimuw.edu.pl/~pwl/

Dodaj komentarz

Twój adres email nie zostanie opublikowany. Pola, których wypełnienie jest wymagane, są oznaczone symbolem *

This site uses Akismet to reduce spam. Learn how your comment data is processed.