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 |
Externí odkaz: |