Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Formalne teorie prawdy i niestandardowe modele arytmetyki

2014/13/N/HS1/02058

Słowa kluczowe:

aksjomatyczne teorie prawdy semantyczne teorie prawdy arytmetyka Peano słabe arytmetyki arytmetyka drugiego rzędu modele niestandardowe rekurencyjne nasycenie arytmetyczne nasycenie klasy spełniania aksjomaty indukcji

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • ST1_1: Logika i podstawy matematyki
  • HS1_3: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

Michał Godziszewski 

Liczba wykonawców projektu: 2

Konkurs: PRELUDIUM 7 - ogłoszony 2014-03-17

Przyznana kwota: 82 800 PLN

Rozpoczęcie projektu: 2015-03-05

Zakończenie projektu: 2017-09-04

Planowany czas trwania projektu: 30 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (3)
  • Teksty w publikacjach pokonferencyjnych (2)
  1. Short Elementary Cuts in Countable Models of Compositional Arithmetical Truth
    Autorzy:
    Michał Tomasz Godziszewski
    Czasopismo:
    Notre Dame Journal of Formal Logic , Wydawca: University of Notre Dame
    Status:
    Złożona
  2. Computable quotient presentations of models of arithmetic and set theory
    Autorzy:
    Michał Tomasz Godziszewski, Joel David Hamkins
    Czasopismo:
    Publications of RIMS (rok: 2017, tom: -, strony: 45306), Wydawca: Kyoto University
    Status:
    Przyjęta do publikacji
  3. A Note on Models of Locally Disquotational Theory of Truth
    Autorzy:
    Michał Tomasz Godziszewski
    Czasopismo:
    Notre Dame Journal of Formal Logic , Wydawca: University of Notre Dame
    Status:
    Złożona
  1. Cofinal Elementary Cuts in Countable Models of Compositional Arithmetical Truth
    Autorzy:
    Michał Tomasz Godziszewski
    Konferencja:
    ESSLLI (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 15.08 - 26.08
    Status:
    Złożona
  2. Computable quotient presentations of models of arithmetic and set theory
    Autorzy:
    Michał Tomasz Godziszewski, Joel David Hamkins
    Konferencja:
    Workshop in Logic, Language, Information and Computation 2017 (rok: 2017, ), Wydawca: Springer-Verlag Berlin Heidelberg
    Data:
    konferencja 18 - 22 lipca
    Status:
    Opublikowana