Polski Zjazd Filozoficzny

wrzesień, 2019

2019śr11wrz17:3018:00Problem definicji w prototetyce Stanisława Leśniewskiegodr Ryszard Miszczyński (Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie)17:30 - 18:00 CTW-304 (Centrum Transferu Wiedzy) organizator: Sekcja Metodologii i Filozofii Nauki

abstrakt

Prototetyka stanowi podstawową teorię logiczną w zbudowanym przez Stanisława Leśniewskiego systemie podstaw matematyki. Teoria stanowi uogólnienie klasycznego rachunku zdań. Ten problem u Leśniewskiego nie występuje w normalnych rozważaniach prowadzonych w języku naturalnym. W zasadzie pojawia się dopiero w T.E. XLIV (terminologicznym wyjaśnieniu): jednym z czterdziestu dziewięciu określeń, za pomocą których Leśniewski przeprowadza procedurę formalizacyjną prototetyki.

dzień i godzina

(środa) 17:30 - 18:00

sala

CTW-304 (Centrum Transferu Wiedzy)

organizator

Sekcja Metodologii i Filozofii NaukiPrzewodniczący Sekcji: prof. dr hab. Ryszard Kleszcz (UŁ)
Sekretarz Sekcji: dr Marcin Będkowski (UW)

obradom przewodniczy

Michał Będkowski

Dodaj komentarz

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

Font Resize
Contrast
X