MATEMATINĖ TIESA BE REFERENCIJOS

Autor: Colin McCullough-Benner
Jazyk: English<br />Lithuanian
Rok vydání: 2015
Předmět:
Zdroj: Problemos (2015)
Druh dokumentu: article
ISSN: 1392-1126
2424-6158
DOI: 10.15388/Problemos.2014.0.4926
Popis: 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.
Databáze: Directory of Open Access Journals