A Note on Intensionalization

Building on Ben-Avi and Winter's (2007) work, this paper provides a general "intensionalization" procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating "truly intensional" lexical items without changing the c...

Full description

Saved in:
Bibliographic Details
Published in:Journal of logic, language, and information Vol. 22; no. 2; pp. 173 - 194
Main Authors: de Groote, Philippe, Kanazawa, Makoto
Format: Journal Article
Language:English
Published: Dordrecht Springer 01.04.2013
Springer Netherlands
Springer Verlag
Subjects:
Computer Science
Education
Induction assumption
Information Systems Applications (incl.Internet)
Intensionality
Logic
Logic in Computer Science
Mathematical constants
Mathematical expressions
Modal realism
Model theory
Montague Grammar
Natural language
Object languages
Philosophy
Semantics
Syntactics
Intensionalization
Montague semantics
ISSN:0925-8531, 1572-9583
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract Building on Ben-Avi and Winter's (2007) work, this paper provides a general "intensionalization" procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating "truly intensional" lexical items without changing the compositional semantic rules. We prove some formal properties of this procedure and clarify its relation to the procedure implicit in Montague's (1973) PTQ.
AbstractList Building on Ben-Avi and Winter’s ( 2007 ) work, this paper provides a general “intensionalization” procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating “truly intensional” lexical items without changing the compositional semantic rules. We prove some formal properties of this procedure and clarify its relation to the procedure implicit in Montague’s ( 1973 ) PTQ.
Building on Ben-Avi and Winter's (2007) work, this paper provides a general "intensionalization" procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating "truly intensional" lexical items without changing the compositional semantic rules. We prove some formal properties of this procedure and clarify its relation to the procedure implicit in Montague's (1973) PTQ.
Building on Ben-Avi and Winter's (2007) work, this paper provides a general "intensionalization" procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating "truly intensional" lexical items without changing the compositional semantic rules. We prove some formal properties of this procedure and clarify its relation to the procedure implicit in Montague's (1973) PTQ. Adapted from the source document
Author Kanazawa, Makoto
de Groote, Philippe
Author_xml – sequence: 1
  givenname: Philippe
  surname: de Groote
  fullname: de Groote, Philippe
– sequence: 2
  givenname: Makoto
  surname: Kanazawa
  fullname: Kanazawa, Makoto
BackLink https://inria.hal.science/hal-00909207$$DView record in HAL
BookMark eNp9kM1KAzEURoNUsK0-gKDQpS5Gb5LJ37IUtYWiG12HNJPRKdOkJjOCPr0pI126SUI433e5Z4JGPniH0CWGOwwg7hMGWaoCMC0UFvk4QWPMBCkUk3SExqAIKySj-AxNUtoCABMSj9HVfPYcOjcLfrbynfOpCd60zY_p8uMcndamTe7i756it8eH18WyWL88rRbzdWFLKrvCAbGUSsa5kYxxgYFsNkJx5gDb2qmqMkDrCmTNbVUJ6wTnhJSbijFBbSXpFN0OvR-m1fvY7Ez81sE0ejlf68MfgMoLgPjCmb0Z2H0Mn71Lnd41ybq2Nd6FPmlclgokJYRmFA-ojSGl6OpjNwZ9sKYHazpb0wdrWuUMGTIps_7dRb0NfcxK0r-h6yG0TV2Ixykl4ZQTRekvTn132A
CODEN JLLIEN
Cites_doi 10.1017/CBO9781107050884
10.1515/9783110852820.361
10.1017/S0960129505004871
ContentType Journal Article
Copyright 2013 Springer Science+Business Media
The Author(s) 2013
licence_http://creativecommons.org/publicdomain/zero
Copyright_xml – notice: 2013 Springer Science+Business Media
– notice: The Author(s) 2013
– notice: licence_http://creativecommons.org/publicdomain/zero
DBID C6C
AAYXX
CITATION
7T9
1XC
DOI 10.1007/s10849-013-9173-9
DatabaseName Springer Nature Link
CrossRef
Linguistics and Language Behavior Abstracts (LLBA)
Hyper Article en Ligne (HAL)
DatabaseTitle CrossRef
Linguistics and Language Behavior Abstracts (LLBA)
DatabaseTitleList


Linguistics and Language Behavior Abstracts (LLBA)
DeliveryMethod fulltext_linktorsrc
Discipline Languages & Literatures
Philosophy
Education
Computer Science
EISSN 1572-9583
EndPage 194
ExternalDocumentID oai:HAL:hal-00909207v1
10_1007_s10849_013_9173_9
42636293
GroupedDBID -~C
.86
.DC
.VR
06D
0R~
0VY
1N0
203
29K
2J2
2JN
2JY
2KG
2KM
2LR
2~H
30V
4.4
406
408
409
40D
40E
5GY
5VS
67Z
6NX
8TC
95-
95.
95~
96X
AAAVM
AABHQ
AACDK
AAHCP
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AAPKM
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYTO
AAYZH
ABAKF
ABBBX
ABBHK
ABBRH
ABBXA
ABDBE
ABDZT
ABECU
ABECW
ABFSG
ABFTD
ABFTV
ABHLI
ABHQN
ABIVO
ABJNI
ABJOX
ABKCH
ABKTR
ABMNI
ABMQK
ABNWP
ABQBU
ABQSL
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABWNU
ABXPI
ABXSQ
ACAOD
ACBXY
ACDTI
ACGFS
ACHSB
ACHXU
ACKNC
ACMDZ
ACMLO
ACNXV
ACOKC
ACOMO
ACPIV
ACSNA
ACSTC
ACZOJ
ADHHG
ADHIR
ADHKG
ADKFA
ADKNI
ADKPE
ADPTO
ADRFC
ADTPH
ADULT
ADURQ
ADYFF
ADZKW
AEBTG
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEKMD
AEMSY
AEOHA
AEPYU
AESKC
AETLH
AEUPB
AEVLU
AEXYK
AEZWR
AFBBN
AFDZB
AFGCZ
AFHIU
AFLOW
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGJBK
AGMZJ
AGQEE
AGQMX
AGQPQ
AGRTI
AGWIL
AGWZB
AGYKE
AHBYD
AHEXP
AHPBZ
AHSBF
AHWEU
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AIXLP
AJBLW
AJRNO
AJZVZ
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMXSW
AMYLF
AMYQR
AOCGG
ARMRJ
ASPBG
ATHPR
AVWKF
AXYYD
AYFIA
AYQZM
AZFZN
B-.
BA0
BDATZ
BGNMA
BSONS
CS3
CSCUP
D-I
DDRTE
DL5
DNIVK
DPUIP
DU5
EBLON
EBS
EIOEI
EJD
ESBYG
FEDTE
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FWDCC
GGCAI
GGRSB
GJIRD
GNWQR
GQ7
GQ8
GXS
H13
HF~
HG5
HG6
HMJXF
HQYDN
HRMNR
HVGLF
HZ~
I09
IJ-
IKXTQ
IPSME
ITM
IWAJR
IXC
IXE
IZIGR
IZQ
I~X
I~Z
J-C
J0Z
JAAYA
JAB
JBMMH
JBSCW
JCJTX
JENOY
JHFFW
JKQEH
JLEZI
JLXEF
JPL
JST
JZLTJ
KDC
KOV
LAK
LLZTM
M4Y
MA-
N2Q
N9A
NB0
NPVJJ
NQJWS
NU0
O9-
O93
O9G
O9I
OAM
P19
P2P
P9Q
PF0
PT4
PT5
QOK
QOS
R-Y
R89
R9I
RHV
ROL
RPX
RSV
S16
S27
S3B
SA0
SAP
SDA
SDH
SDM
SHS
SHX
SISQX
SJYHP
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TSG
TSK
TSV
TUC
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W23
W48
WH7
WK8
YLTOR
Z45
ZMTXR
~EX
-51
-5C
-5G
-BR
-EM
-Y2
1SB
2.D
28-
2P1
2VQ
5QI
AANTL
ACYUM
ADINQ
AEFIE
AFEXP
AGGDS
AHAVH
AHKAY
AZRUE
BBWZM
BHNFS
C6C
CAG
COF
GPZZG
GQ6
IHE
JSODD
KOW
NDZJH
O-J
OVD
R4E
RNI
RZC
RZD
RZK
S1Z
S26
S28
SCLPG
T16
TEORI
WK6
ZWUKE
AAYXX
ABRTQ
AFOHR
CITATION
7T9
1XC
ID FETCH-LOGICAL-c438t-e02c338566a85567102bb7965e01cfe9dda03fd08f6cdd7ce766224bd5573cd83
IEDL.DBID RSV
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000209640600002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0925-8531
IngestDate Wed Nov 05 08:10:00 EST 2025
Sun Nov 09 09:52:29 EST 2025
Sat Nov 29 02:54:48 EST 2025
Fri Feb 21 02:35:22 EST 2025
Thu Jun 19 15:03:40 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 2
Keywords Intensionalization
Montague semantics
Language English
License http://creativecommons.org/licenses/by/2.0
licence_http://creativecommons.org/publicdomain/zero/: http://creativecommons.org/publicdomain/zero
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c438t-e02c338566a85567102bb7965e01cfe9dda03fd08f6cdd7ce766224bd5573cd83
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
OpenAccessLink https://link.springer.com/10.1007/s10849-013-9173-9
PQID 1449083223
PQPubID 23478
PageCount 22
ParticipantIDs hal_primary_oai_HAL_hal_00909207v1
proquest_miscellaneous_1449083223
crossref_primary_10_1007_s10849_013_9173_9
springer_journals_10_1007_s10849_013_9173_9
jstor_primary_42636293
PublicationCentury 2000
PublicationDate 2013-04-01
PublicationDateYYYYMMDD 2013-04-01
PublicationDate_xml – month: 04
  year: 2013
  text: 2013-04-01
  day: 01
PublicationDecade 2010
PublicationPlace Dordrecht
PublicationPlace_xml – name: Dordrecht
PublicationTitle Journal of logic, language, and information
PublicationTitleAbbrev J of Log Lang and Inf
PublicationYear 2013
Publisher Springer
Springer Netherlands
Springer Verlag
Publisher_xml – name: Springer
– name: Springer Netherlands
– name: Springer Verlag
References von Fintel, K., & Heim, I. (2011). Intensional semantics. http://mit.edu/fintel/fintel-heim-intensional.pdf, online lecture notes.
ParteeBRoothMBäuerleRSchwarzeCvon StechowAGeneralized conjunction and type ambiguityMeaning, Use, and Interpretation of Language1983Berlinde Gruyter361383
HeimIKratzerASemantics in generative grammar1998OxfordBlackwell
van EijckJUngerCComputational semantics with functional programming2011CambridgeCambridge University Press
Montague, R. (1973). The proper treatment of quantification in ordinary English. In J. Hintikka, J. Moravcsik, & P. Suppes (Eds.), Approaches to natural language: Proceedings of the 1970 stanford workshop on grammar and semantics (pp. 221–242). Dordrecht: D. Reidel.
di CosmoRA short survey of isomorphisms of typesMathematical Structures in Computer Science20051582583810.1017/S0960129505004871
Gallin, D. (1975). Intensional and higher-order modal logic: With applications to Montague semantics. Amsterdam: North-Holland.
BlackburnPde RijkeMVenemaYModal logic2001CambridgeCambridge University Press
Ben-Avi, G., & Winter, Y. (2007). The semantics of intensionalization In R. Muskens (Ed.) Workshop on new directions in type-theoretic grammars (pp. 98–112).
R Cosmo di (9173_CR3) 2005; 15
9173_CR4
J Eijck van (9173_CR8) 2011
9173_CR6
9173_CR9
I Heim (9173_CR5) 1998
B Partee (9173_CR7) 1983
9173_CR1
P Blackburn (9173_CR2) 2001
References_xml – reference: HeimIKratzerASemantics in generative grammar1998OxfordBlackwell
– reference: von Fintel, K., & Heim, I. (2011). Intensional semantics. http://mit.edu/fintel/fintel-heim-intensional.pdf, online lecture notes.
– reference: ParteeBRoothMBäuerleRSchwarzeCvon StechowAGeneralized conjunction and type ambiguityMeaning, Use, and Interpretation of Language1983Berlinde Gruyter361383
– reference: di CosmoRA short survey of isomorphisms of typesMathematical Structures in Computer Science20051582583810.1017/S0960129505004871
– reference: Gallin, D. (1975). Intensional and higher-order modal logic: With applications to Montague semantics. Amsterdam: North-Holland.
– reference: Ben-Avi, G., & Winter, Y. (2007). The semantics of intensionalization In R. Muskens (Ed.) Workshop on new directions in type-theoretic grammars (pp. 98–112).
– reference: BlackburnPde RijkeMVenemaYModal logic2001CambridgeCambridge University Press
– reference: van EijckJUngerCComputational semantics with functional programming2011CambridgeCambridge University Press
– reference: Montague, R. (1973). The proper treatment of quantification in ordinary English. In J. Hintikka, J. Moravcsik, & P. Suppes (Eds.), Approaches to natural language: Proceedings of the 1970 stanford workshop on grammar and semantics (pp. 221–242). Dordrecht: D. Reidel.
– volume-title: Modal logic
  year: 2001
  ident: 9173_CR2
  doi: 10.1017/CBO9781107050884
– start-page: 361
  volume-title: Meaning, Use, and Interpretation of Language
  year: 1983
  ident: 9173_CR7
  doi: 10.1515/9783110852820.361
– ident: 9173_CR1
– ident: 9173_CR4
– ident: 9173_CR6
– ident: 9173_CR9
– volume: 15
  start-page: 825
  year: 2005
  ident: 9173_CR3
  publication-title: Mathematical Structures in Computer Science
  doi: 10.1017/S0960129505004871
– volume-title: Semantics in generative grammar
  year: 1998
  ident: 9173_CR5
– volume-title: Computational semantics with functional programming
  year: 2011
  ident: 9173_CR8
SSID ssj0005781
Score 1.9160273
Snippet Building on Ben-Avi and Winter's (2007) work, this paper provides a general "intensionalization" procedure that turns an extensional semantics for a language...
Building on Ben-Avi and Winter’s ( 2007 ) work, this paper provides a general “intensionalization” procedure that turns an extensional semantics for a language...
SourceID hal
proquest
crossref
springer
jstor
SourceType Open Access Repository
Aggregation Database
Index Database
Publisher
StartPage 173
SubjectTerms Computer Science
Education
Induction assumption
Information Systems Applications (incl.Internet)
Intensionality
Logic
Logic in Computer Science
Mathematical constants
Mathematical expressions
Modal realism
Model theory
Montague Grammar
Natural language
Object languages
Philosophy
Semantics
Syntactics
Title A Note on Intensionalization
URI https://www.jstor.org/stable/42636293
https://link.springer.com/article/10.1007/s10849-013-9173-9
https://www.proquest.com/docview/1449083223
https://inria.hal.science/hal-00909207
Volume 22
WOSCitedRecordID wos000209640600002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAVX
  databaseName: SpringerLINK Contemporary 1997-Present
  customDbUrl:
  eissn: 1572-9583
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0005781
  issn: 0925-8531
  databaseCode: RSV
  dateStart: 19970101
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB5s9dCLj2o1WiWKeFACee5ujkUsPYRSfJTeQrK7QS-JNGnBf-9sHq0VPeglhzCEZWZ355vMNzMA1zaLPJkIy6DSpIZLqW_EHIMVFkkpbS4is6zwngZ0PGazmT-p67jzhu3epCTLm_pLsRtzFbdHZYspPlqwjd6OqdP4-DRd8zpoOZnU9G3PQF9kNanMnz6x4Yxar4oKWbESN_DmtxRp6XmGe_9a8z7s1kBTH1Q74wC2ZNpVM5prPkcXjoP6V2Wu3-jBqrty3oXOpJlv8HEI_YE-zgqpZ6le091L7F5Vbx7By_Dh-X5k1CMVDO46rDCkaXMMShHDRczziIIXcUx94knT4on0BRrHSYTJEsKFoFxSQtDJx8LzqMMFc3rQTrNUnoDOMaz2BF4QhMRu5JLIibjDE7wgBHEtHmtw2-g2fK86Z4TrHslKLyHqJVR6CX0NrlD7KznV83o0CEL1DkEg2tKkS0uDXmmclZhqNk8Qr2hw2VgrxNOhUh5RKrNFjoGNSmzimlDmrjFRWB_T_Pf1nP5J-gw6djklQxF6-tAu5gt5Djt8Wbzl84tye34CxXzbUQ
linkProvider Springer Nature
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB5sFezFR7VarRpFPCiBPHeTYxFLxViK1tLbkuxu0EsiTVvw3zubJq0VPeglhzCEZWZ355vMNzMAl5YXujIWpk6lQXWHUl-POAYrXiiltLgIjbzCexjQXs8bjfx-UcedlWz3MiWZ39Rfit08R3F7VLaY4qMC6w46LMXje3oeLnkdNJ9MaviWq6MvMstU5k-fWHFGlVdFhZyzElfw5rcUae55Otv_WvMObBVAU2vPd8YurMmkrmY0F3yOOhwExa_KTLvSgkV35awOtX453-BjD1ptrZdOpJYmWkF3z7H7vHpzH146d4Pbrl6MVNC5Y3sTXRoWx6AUMVzouS5R8CKKqE9caZg8lr5A49ixMLyYcCEol5QQdPKRcF1qc-HZDagmaSIPQeMYVrsCLwhCIid0SGiH3OYxXhCCOCaPmnBd6pa9zztnsGWPZKUXhnphSi_Mb8IFan8hp3ped9sBU-8QBKItDTozm9DIjbMQU83mCeKVJpyX1mJ4OlTKI0xkOs0wsFGJTVwTytyUJmLFMc1-X8_Rn6TPYLM7eAxYcN97OIaalU_MUOSeFlQn46k8gQ0-m7xl49N8q34CFiTeNQ
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8NAEB5sFenFR7Van1HEgxKa525yLGqpGErBB70tye4GvaSlSQv-e2fzaFX0IF5yCENYZnZ3vsl8MwNwYXmhK2Nh6lQaVHco9fWIY7DihVJKi4vQyCu8XwI6GHijkT8s55ymFdu9SkkWNQ2qS1OSdSYi7nwqfPMcxfNRmWOKjxqsOmpmkArXH1-WHA-aTyk1fMvV0S-ZVVrzp098cUy1V0WLLBiKX7Dnt3Rp7oV6m_9e_xZslABU6xY7ZhtWZNJUs5tLnkcT9oLyF2aqXWrBouty2oTGsJp78L4DR11tMM6kNk60kgafY_qiqnMXnnt3Tzd9vRy1oHPH9jJdGhbHYBWxXei5LlGwI4qoT1xpmDyWvkCj2bEwvJhwISiXlBB0_pFwXWpz4dktqCfjRO6DxjHcdgVeHIRETuiQ0A65zWO8OARxTB614arSM5sUHTXYsney0gtDvTClF-a34RwtsZBTvbD73YCpdwgO0a4GnZttaOWGWoipJvQEcUwbzirLMTw1KhUSJnI8SzHgUQlPXBPKXFfmYuXxTX9fz8GfpE9hfXjbY8H94OEQGlY-SENxfo6gnk1n8hjW-Dx7S6cn-a79AJdj5xk
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Note+on+Intensionalization&rft.jtitle=Journal+of+logic%2C+language%2C+and+information&rft.au=de+Groote%2C+Philippe&rft.au=Kanazawa%2C+Makoto&rft.date=2013-04-01&rft.issn=0925-8531&rft.volume=22&rft.issue=2&rft.spage=173&rft.epage=194&rft_id=info:doi/10.1007%2Fs10849-013-9173-9&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0925-8531&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0925-8531&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0925-8531&client=summon