The Semantics of Mathematical Language
{'Code': '08080301', 'Directorate': {'Abbreviation': 'BIO', 'LongName': 'Direct For Biological Sciences'}, 'Division': {'Abbreviation': 'DBI', 'LongName': 'Div Of Biological Infrastructure'}}
{'SignBlockName': 'Alicia Armstrong', 'PO_EMAI': 'aarmstro@nsf.gov', 'PO_PHON': '7032924743'}
The central question which motivates Professor Goodman's study is               what is the nature of mathematical reality.  Professor Goodman is               seeking in his research to develop a philosophy of mathematics which            embodies the central insights of both the classical and the                     constructive traditions.  Such a philosophy would be "Platonistic" in           its ontology but constructivist in its epistemology.   He found a way           to accomplish this goal by using Lewis' "S4" semantics as the                   underlying logic which allowed for a reconciliation of the classical            and intuitionistic positions.  Under this grant, Professor Goodman              will fill in his argument for the classical mathematical realism from           the "hardness" and objectivity of mathematical statements and the               empirical verifiability of their consequences.  He will argue that              experience with these features of mathematics allows us to move from            assertability conditions to truth conditions, but that assertability            conditions still play an indispensable role in the semantics of                 irreducibly intentional parts of mathematics.  Using epistemic                  theories which Professor Goodman interprets as combining truth and              assertability conditions, he will attempt a systematic account of               actual mathematical discourse.  This research project combines                  Professor Goodman's deep understanding of mathematics with subtle               philosophical analysis.  His prior work clearly demonstrates his                ability to present clear, well-organized and provocative arguments              for his positions.  His study promises to make a significant                    contribution to our understanding of the nature of mathematical                 realism and its implication in ordinary mathematical language as it             is found in textbooks, monographs and journals.
{'FirstName': 'Nicolas', 'LastName': 'Goodman', 'PI_MID_INIT': 'D', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Nicolas D Goodman', 'EmailAddress': None, 'NSF_ID': '000271113', 'StartDate': '07/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'SUNY at Buffalo', 'CityName': 'AMHERST', 'ZipCode': '142282577', 'PhoneNumber': '7166452634', 'StreetAddress': '520 LEE ENTRANCE STE 211', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY', 'CONGRESSDISTRICT': '26', 'CONGRESS_DISTRICT_ORG': 'NY26', 'ORG_UEI_NUM': 'LMCJKRFW5R81', 'ORG_LGL_BUS_NAME': 'RESEARCH FOUNDATION FOR THE STATE UNIVERSITY OF NEW YORK, THE', 'ORG_PRNT_UEI_NUM': 'GMZUKXFDJMA9'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '1353', 'Text': 'Hist & Philosophy of SET'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1986&All=true', 'xml': '8617607.xml'}