Open AccessMATEMATINĖ TIESA BE REFERENCIJOS
Author(s) -
Colin McCullough-Benner
Publication year - 2014
Publication title -
problemos
Language(s) - Lithuanian
Resource type - Journals
SCImago Journal Rank - 0.144
H-Index - 5
eISSN - 2424-6158
pISSN - 1392-1126
DOI - 10.15388/problemos.2014.0.4926
Subject(s) - philosophy
Pagal kanoninį argumentą, remiantį matematinį platonizmą, vieninga semantika, apimanti matematinę ir nematematinę kalbą, įmanoma tik jei matematikos singuliarinius terminus laikysime nurodančiais objektus, o kvantorius – apimančiais tokių objektų sritį, todėl jei matematikos teiginius laikome teisingais tiesiogine prasme, tai įpareigoja mus pripažinti (nuo mąstymo nepriklausomų, abstrakčių) matematinių objektų egzistavimą. Šiame straipsnyje siekiama įrodyti, kad jei mes galime sukurti vieningą semantiką reikšmingai daliai kasdienės nematematinės kalbos, tai galime sukurti vieningą semantiką apimančią matematinę ir nematematinę kalbą, neįsipareigodami matematinių objektų egzistavimui.