Foundational issues
Author(s)
Bibliographic Information
Foundational issues
（Studies in linguistics and philosophy, v. 38 . Properties,
Kluwer Academic Publishers, c1989
- : hard
- : set
Related Bibliography 2 items
Available at / 46 libraries
-
No Libraries matched.
- Remove all filters.
Note
Based on a conference on property theory, type theory and semantics held in Amherst on March 13-16, 1986--Pref
Includes bibliographies and indexes
Description and Table of Contents
Description
ThiscollectionofpapersstemsoriginallyfromaconferenceonProperty Theory,TypeTheoryandSemanticsheldinAmherstonMarch13-16 1986.The conference brought together logicians,philosophers, com- puter scientists and linguists who had been working on these issues (often in isolation from one another).Ourintent wastoboostdebate and exchange of ideas on these fundamental issuesat a time ofrapid changeinsemanticsandcognitivescience. The paperspublished in thiswork have evolved substantially since their original presentation at the conference. Given their scope, we thought it convenient to divide the work into two volumes.The first deals primarily withlogicaland philosophical foundations, the second with more empirical semantic issues.Whilethere isa common set of issuestyingthetwovolumestogether, theyareboth self-containedand canbereadindependentlyofoneanother. Twoofthepapersinthepresentcollection(vanBentheminvolume Iand ChierchiainvolumeII)werenotactuallyread attheconference. They are nevertheless included here for their direct relevance to the topicsofthevolumes.
Regrettably, some of the papers that were presented (Feferman, Klein,and Plotkin) could not be included in the presentwork due to timingproblems. Wenevertheless thank theauthorsfortheircontribu- tionintermsofideasandparticipationinthedebate. The conference had a group of invited discussants whichincluded Emmon Bach,JanetFodor,Erhard Hinrichs, Angelika Kratzer, Fred Landman, Richard Larson,Godehard Link, Chris Menzel,Uwe Mon- nich,andCarlPollard.Wethankthemall(alongwiththeotherpartici- pants)fortheirstimulatingandlivelypresence.
Table of Contents
Algebraic Semantics for Intensional Logics, I.- Motivating Ramified Type Theory.- Two Issues in the Foundations of Semantic Theory.- Self-Reference, Attitudes and Paradox.- On Properties and Property Theory.- Fine-Grained Type-Free Intensionality.- Semantic Type-Change and Syntactic Recognition.- Index of Names.- Index of Subjects.
by "Nielsen BookData"
