Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language, IfCoLog Journal of Logics and their Applications. Special Issue Dedicated to the Memory of Grigori Mints. Guest Editors: Dov Gabbay and Oleg Prosorov, Volume 4, Number 4, May 2017, pp. 1357–1410, London, UK. College Publications. ISBN 978‑1‑84890‑240‑4, ISSN (E) 2055‑3714, ISSN (P) 2055‑3706.
- Full text in PDF (Download)
- BiBTeX entry (Show/Hide)
@ARTICLE{P:2017a,
author = {Prosorov, O.},
title = {{T}opologies and {S}heaves {A}ppeared as {S}yntax and {S}emantics of {N}atural {L}anguage},
journal = {{IfCoLog} {J}ournal of {L}ogics and their {A}pplications. {S}pecial {I}ssue {D}edicated to the {M}emory of {G}rigori {M}ints. {G}uest {E}ditors: {D}ov {G}abbay and {O}leg {P}rosorov},
volume = {4},
number = {4},
month = {May},
year = {2017},
pages = {1357--1410},
address = {{L}ondon, {UK}},
note = {{ISBN} 978-1-84890-240-4, {ISSN (E)} 2055-3714, {ISSN (P)} 2055-3706},
keywords = {sense, meaning, phonocentric topology, linguistic universals, sheaf of fragmentary meanings, compositionality principle, contextuality principle, bundle of contextual meanings, {F}rege duality, dynamic semantics},
source = {http://www.collegepublications.co.uk/journals/ifcolog/?00013}
}
author = {Prosorov, O.},
title = {{T}opologies and {S}heaves {A}ppeared as {S}yntax and {S}emantics of {N}atural {L}anguage},
journal = {{IfCoLog} {J}ournal of {L}ogics and their {A}pplications. {S}pecial {I}ssue {D}edicated to the {M}emory of {G}rigori {M}ints. {G}uest {E}ditors: {D}ov {G}abbay and {O}leg {P}rosorov},
volume = {4},
number = {4},
month = {May},
year = {2017},
pages = {1357--1410},
address = {{L}ondon, {UK}},
note = {{ISBN} 978-1-84890-240-4, {ISSN (E)} 2055-3714, {ISSN (P)} 2055-3706},
keywords = {sense, meaning, phonocentric topology, linguistic universals, sheaf of fragmentary meanings, compositionality principle, contextuality principle, bundle of contextual meanings, {F}rege duality, dynamic semantics},
source = {http://www.collegepublications.co.uk/journals/ifcolog/?00013}
}
Preface, In O. Prosorov (Ed.), Proceedings of the International Conference “Philosophy, Mathematics, Linguistics: Aspects of Interaction, 2012” (PhML-2012). Euler International Mathematical Institute, St. Petersburg, May 22–25, 2012, Vol. 70 of Studies in Logic, pp. vii–x, London, UK, 2017. College Publications. ISBN 978‑1‑84890‑256‑5.
- Full text in PDF (Download)
- BiBTeX entry (Show/Hide)
@INPROCEEDINGS{P:2017b,
author = {Prosorov, O.},
title = {{P}reface},
booktitle = {{P}roceedings of the {I}nternational {C}onference “{P}hilosophy, {M}athematics, {L}inguistics: {A}spects of {I}nteraction, 2012” ({PhML}-2012). {E}uler {I}nternational {M}athematical {I}nstitute, {S}t. {P}etersburg, {M}ay 22–25, 2012},
year = {2017},
editor = {Prosorov, O.},
volume = {70},
series = {{S}tudies in {L}ogic},
pages = {vii--x},
address = {{L}ondon, {UK}},
publisher = {{C}ollege {P}ublications},
note = {{ISBN} 978-1-84890-256-5},
source = {http://www.collegepublications.co.uk/logic/?00037}
}
author = {Prosorov, O.},
title = {{P}reface},
booktitle = {{P}roceedings of the {I}nternational {C}onference “{P}hilosophy, {M}athematics, {L}inguistics: {A}spects of {I}nteraction, 2012” ({PhML}-2012). {E}uler {I}nternational {M}athematical {I}nstitute, {S}t. {P}etersburg, {M}ay 22–25, 2012},
year = {2017},
editor = {Prosorov, O.},
volume = {70},
series = {{S}tudies in {L}ogic},
pages = {vii--x},
address = {{L}ondon, {UK}},
publisher = {{C}ollege {P}ublications},
note = {{ISBN} 978-1-84890-256-5},
source = {http://www.collegepublications.co.uk/logic/?00037}
}
Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language, In O. Prosorov (Ed.), Proceedings of the International Conference “Philosophy, Mathematics, Linguistics: Aspects of Interaction, 2012” (PhML-2012). Euler International Mathematical Institute St. Petersburg, May 22–25, 2012, Vol. 70 of Studies in Logic, pp. 183–243, London, UK, 2017. College Publications. ISBN 978‑1‑84890‑256‑5.
- Full text in PDF (Download)
- BiBTeX entry (Show/Hide)
@INPROCEEDINGS{P:2017c,
author = {Prosorov, O.},
title = {{T}opologies and {S}heaves {A}ppeared as {S}yntax and {S}emantics of {N}atural {L}anguage},
booktitle = {{P}roceedings of the {I}nternational {C}onference “{P}hilosophy, {M}athematics, {L}inguistics: {A}spects of {I}nteraction, 2012” ({PhML}-2012). {E}uler {I}nternational {M}athematical {I}nstitute, {S}t. {P}etersburg, {M}ay 22–25, 2012,},
year = {2017},
editor = {Prosorov, O.},
volume = {70},
series = {{S}tudies in {L}ogic},
pages = {183--243},
address = {{L}ondon, {UK}},
publisher = {{C}ollege {P}ublications},
note = {{ISBN} 978-1-84890-256-5},
source = {http://www.collegepublications.co.uk/logic/?00037}
}
author = {Prosorov, O.},
title = {{T}opologies and {S}heaves {A}ppeared as {S}yntax and {S}emantics of {N}atural {L}anguage},
booktitle = {{P}roceedings of the {I}nternational {C}onference “{P}hilosophy, {M}athematics, {L}inguistics: {A}spects of {I}nteraction, 2012” ({PhML}-2012). {E}uler {I}nternational {M}athematical {I}nstitute, {S}t. {P}etersburg, {M}ay 22–25, 2012,},
year = {2017},
editor = {Prosorov, O.},
volume = {70},
series = {{S}tudies in {L}ogic},
pages = {183--243},
address = {{L}ondon, {UK}},
publisher = {{C}ollege {P}ublications},
note = {{ISBN} 978-1-84890-256-5},
source = {http://www.collegepublications.co.uk/logic/?00037}
}
Quotation Analysis as Based on Sheaf-Theoretic Formal Semantics I. PDMI Preprint – 15/2014, pp. 1–18, St. Petersburg, December 24, 2014, St. Petersburg Department of V. A. Steklov Institute of Mathematics RAS.
- Russian and English abstracts in HTML (Link)
- Full English text in PDF (Download)
- BiBTeX entry (Show/Hide)
@TECHREPORT{P:2014b,
author = {Prosorov, O.},
title = {{Q}uotation {A}nalysis as {B}ased on {S}heaf-{T}heoretic {F}ormal {S}emantics {I}},
type = {{PDMI} preprint},
number = {15/2014},
pages = {1--18},
address = {St. Petersburg},
month = {December},
day = {24},
year = {2014},
institution = {{S}t. {P}etersburg {D}epartment of {V}. {A}. {S}teklov {I}nstitute of {M}athematics {RAS}},
source = {http://ftp.pdmi.ras.ru/pub/publicat/preprint/2014/15-14.pdf.gz}
}
author = {Prosorov, O.},
title = {{Q}uotation {A}nalysis as {B}ased on {S}heaf-{T}heoretic {F}ormal {S}emantics {I}},
type = {{PDMI} preprint},
number = {15/2014},
pages = {1--18},
address = {St. Petersburg},
month = {December},
day = {24},
year = {2014},
institution = {{S}t. {P}etersburg {D}epartment of {V}. {A}. {S}teklov {I}nstitute of {M}athematics {RAS}},
source = {http://ftp.pdmi.ras.ru/pub/publicat/preprint/2014/15-14.pdf.gz}
}
Un regard philosophique sur la réalité virtuelle,. Мысль (Журнал Санкт-Петербургского философского общества), Том 17, 2014 / Ред. кол. Д. Н. Разеев (Гл. ред.) и др. — СПб.: Изд‑во Санкт-Петербургского государственного университета, стр. 104–110. ISSN 1029‑8037.
English translation of the above reference is:
A philosophical view of virtual reality. In D. N. Razeev et al (Eds.), Thought (Journal of the Saint-Petersburg Philosophical Society). Vol. 17, 2014, pp. 104–110. ISSN 1029‑8037. (In French).
- English abstract in PDF (Download)
- Russian abstract in PDF (Download)
- Full French text in PDF (Download)
- BiBTeX entry (Show/Hide)
@ARTICLE{P:2014a,
author = {Prosorov, O.},
title = {A philosophical view on virtual reality},
journal = {Thought (Journal of the St. Petersburg Philosophical Society)},
editor = {D. N. Razeev et al},
year = {2014},
volume = {17},
pages = {104--110},
note = {ISSN 1029-8037. (In French)}
}
author = {Prosorov, O.},
title = {A philosophical view on virtual reality},
journal = {Thought (Journal of the St. Petersburg Philosophical Society)},
editor = {D. N. Razeev et al},
year = {2014},
volume = {17},
pages = {104--110},
note = {ISSN 1029-8037. (In French)}
}
La réalité virtuelle comme un terrain de jeu pour notre volonté et nos représentations, a contributed talk given at the French-Russian Seminar 2014: Quality and quantity methods in historial and social epistemology. Problems and perspectives organized by the Institute of Philosophy of the St. Petersburg State University, June 24, 2014, St. Petersburg.
- French abstract in PDF (Download)
Linguistic Universals of Topological Nature, In G. Mints, O. Prosorov (Eds.), Proceedings of International Interdisciplinary Conference “Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014” (PhML-2014). Euler International Mathematical Institute, St. Petersburg, April 21–25, 2014, pp. 55–68, St. Petersburg, Russia, 2014. Publisher VVM. ISBN 978‑5‑9651‑0829‑9.
- Conference webpage of all abstracts in HTML (Link)
Announcement of International Conference “Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014, (21–25 April 2014, St. Petersburg, Russia)”. In N. Artemenko et al (Eds.), HORIZON. Studies in Phenomenology, Vol. 2 (2), pp. 225–228, St. Petersburg State University, Russia, 2013. ISSN 2226‑5260.
Russian translation of the above reference is:
Анонс международной конференции «Философия, математика, лингвистика: аспекты взаимодействия 2014, (21–25 апреля 2014, Санкт-Петербург Россия)», HORIZON. Феноменологические исследования, Том 2 (2), стр. 225–228 / Ред. кол. Н. Артёменко (Гл. ред.) и др. — СПб.: Изд-во Санкт-Петербургского государственного университета, 2013. ISSN 2226‑5260.
- Full English text in PDF (Download)
Обзор международной конференции «Философия, математика, лингвистика: аспекты взаимодействия 2012, (22–25 мая 2012, Санкт-Петербург Россия)», HORIZON. Феноменологические исследования, Том 2 (1), стр. 170–175 / Ред. кол. Н. Артёменко (Гл. ред.) и др. — СПб.: Изд-во Санкт-Петербургского государственного университета, 2013. ISSN 2226‑5260.
English translation of the above reference is:
Review of International Conference “Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012, (22–25 May 2012, St. Petersburg, Russia)”. In N. Artemenko et al (Eds.), HORIZON. Studies in Phenomenology, Vol. 2 (1), pp. 170–175, St. Petersburg State University, Russia, 2013. ISSN 2226‑5260.
- Full Russian text in PDF (Download)
Quotation Analysis in Sheaf–Theoretic Formal Semantics, In Program & Abstracts of the International Workshop “Quotation: Perspectives from Philosophy and Linguistics”, Ruhr–University Bochum, September 27–29 , 2012, pp. 28–29, Bochum, Germany.
- Abstract in PDF (Download)
Topologies and Sheaves appeared as Syntax and Semantics of Natural language, In O. Prosorov (Ed.), Proceedings of International Interdisciplinary Conference “Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012” (PhML-2012). Euler International Mathematical Institute, St. Petersburg, May 22–25, 2012. pp. 146–163, St. Petersburg, Russia, 2012. Publisher VVM. ISBN 978‑5‑9651‑0642‑4.
- Conference webpage of all abstracts in HTML (Link)
A Sheaf–Theoretic Framework for Dynamic Semantics, In A. Butler (Ed.), Proceedings of the 8th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 8), pp. 52–67, ISBN 978‑4‑915905‑45‑2 C3004(JSAI), held as one of workshops of the International Symposia on Artificial Intelligence (JSAI-isAI 2011), sponsored by The Japanese Society for Artificial Intelligence (JSAI) , December 1–3, 2011, Sunport Hall Takamatsu, Kagawa, Japan.
- Slides in PDF (Download)
- BiBTeX entry (Show/Hide)
@INPROCEEDINGS{P:2011,
author = {Prosorov, O.},
title = {{A} {S}heaf-{T}heoretic {F}ramework for {D}ynamic {S}emantics},
booktitle = {{P}roceedings of the {E}ight {I}nternational {W}orkshop of {L}ogic and {E}ngineering of {N}atural {L}anguage {S}emantics {(LENLS 8)}},
year = {2011},
editor = {Butler, A.},
pages = {52--67},
address = {{T}akamatsu, {J}apan},
publisher = {{JSAI}},
isbn = {978-4-915905-45-2}
}
author = {Prosorov, O.},
title = {{A} {S}heaf-{T}heoretic {F}ramework for {D}ynamic {S}emantics},
booktitle = {{P}roceedings of the {E}ight {I}nternational {W}orkshop of {L}ogic and {E}ngineering of {N}atural {L}anguage {S}emantics {(LENLS 8)}},
year = {2011},
editor = {Butler, A.},
pages = {52--67},
address = {{T}akamatsu, {J}apan},
publisher = {{JSAI}},
isbn = {978-4-915905-45-2}
}
Формальная герменевтика как семантика текстов. Сб. ст. «Философия в диалоге культур». / Ред. кол. Ю. Н. Солонин (предс.) и др. — СПб.: Изд‑во Санкт-Петербургского государственного университета, стр. 351–359, 2010. ISBN 978‑5‑288‑05112‑8.
English translation of the above reference is:
Formal hermeneutics as semantics of texts. In Yu. N. Solonin et al (Eds.), Philosophy in the dialogue of cultures, pp. 351–359, Publisher St. Petersburg State University, Russia, 2010. ISBN 978‑5‑288‑05112‑8.
- Russian and English abstracts in PDF (Download)
- BiBTeX entry (Show/Hide)
@INCOLLECTION{P:2010a,
author = {Prosorov, O. B.},
title = {{F}ormal hermeneutics as semantics of texts},
booktitle = {{P}hilosophy in the dialogue of cultures},
publisher = {{S}t. {P}etersburg {S}tate {U}niversity},
year = {2010},
editor = {Solonin, Yu. N.},
pages = {351--359},
address = {{R}ussia},
note = {{I}n {R}ussian}
}
author = {Prosorov, O. B.},
title = {{F}ormal hermeneutics as semantics of texts},
booktitle = {{P}hilosophy in the dialogue of cultures},
publisher = {{S}t. {P}etersburg {S}tate {U}niversity},
year = {2010},
editor = {Solonin, Yu. N.},
pages = {351--359},
address = {{R}ussia},
note = {{I}n {R}ussian}
}
Topologies and Sheaves in Linguistics, a short communication given on August 27, 2010 at The International Congress of Mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010, In Rajendra Bhatia (Ed.); Arup Pal, G. Rangarajan, V. Srinivas, M. Vanninathan (Co-Eds.); Pablo Gastesi (Tech-Ed.), Abstracts of Short Communications and Posters, pp. 623–624, Hindustan Book Agency, 2010.
- Schedule of Short Communications in PDF (Download)
- Abstracts of Short Communications and Posters in PDF (Download)
- BiBTeX entry (Show/Hide)
@INPROCEEDINGS{P:2010b,
author = {Prosorov, O.},
title = {{T}opologies and {S}heaves in {L}inguistics},
booktitle = {{T}he {I}nternational {C}ongress of {M}athematicians {({ICM} 2010)}. {A}bstracts of {S}hort {C}ommunications and {P}osters},
year = {2010},
editor = {Bhatia, R.},
pages = {623--624},
address = {{H}yderabad, {I}ndia},
publisher = {{H}industan {B}ook {A}gency},
source = {http://www.wias-berlin.de/imu/archive/ICM2010/www.icm2010.in/wp-content/icmfiles/abstracts/Contributed-Abstracts-5July2010.pdf}
}
author = {Prosorov, O.},
title = {{T}opologies and {S}heaves in {L}inguistics},
booktitle = {{T}he {I}nternational {C}ongress of {M}athematicians {({ICM} 2010)}. {A}bstracts of {S}hort {C}ommunications and {P}osters},
year = {2010},
editor = {Bhatia, R.},
pages = {623--624},
address = {{H}yderabad, {I}ndia},
publisher = {{H}industan {B}ook {A}gency},
source = {http://www.wias-berlin.de/imu/archive/ICM2010/www.icm2010.in/wp-content/icmfiles/abstracts/Contributed-Abstracts-5July2010.pdf}
}
Formal hermeneutics as semantics of texts, In O. Prosorov (Ed.), Proceedings of International Interdisciplinary Conference “Philosophy, Mathematics, Linguistics: Aspects of Interaction 2009” (PhML-2009). Euler International Mathematical Institute, St. Petersburg, November 19–22, 2009, pp. 152–163, St. Petersburg, Russia, 2009. Publisher VVM. ISBN 978‑5‑9651‑0386‑7.
- Conference webpage of all abstracts in HTML (Link)
Topologies et faisceaux en sémantique des textes. Pour une herméneutique formelle, Thèse de doctorat en sciences du langage, Université Paris 10. École doctorale Connaissance, langage et modélisation (Nanterre), Paris, France, soutenue le 17 décembre 2008. Publié dans la source d'information Internet thesis.fr gérée par l'Agence Bibliographique de l'Enseignement Supérieur (ABES) (in French).
- French and English abstracts in HTML (Link)
- Full French text in PDF (Download)
- BiBTeX entry (Show/Hide)
@PHDTHESIS{P:2008,
author = {Prosorov, O.},
title = {Topologies et faisceaux en s{\'{e}}mantique des textes. {P}our une herm{\'{e}}neutique formelle},
school = {Universit{\'{e}} {P}aris 10. {\'{E}}cole doctorale {C}onnaissance, langage et mod{\'{e}}lisation ({N}anterre)},
year = {2008},
type = {Th{\`{e}}se de doctorat en Sciences du langage},
address = {{P}aris, {F}rance},
pages = {1--239},
month = {soutenue le 17 d{\'{e}}cembre},
note = {(in French)},
abstract = {{T}his thesis aims to establish a discourse interpretation theory named formal hermeneutics that applies rigorous mathematical methods in studying the process of interpretation of natural language texts supposed to be written ``with a good grace'' as the messages intended for human understanding; we call them admissible. {I}n the phonocentric paradigm, a natural language is described in the category of textual spaces {L}ogos. {A} particular genre of texts defines there a full subcategory of formal discourse schemes. {F}or a given admissible text {X}, we introduce the category {Schl(X)} of sheaves of fragmentary meanings, called category of {S}chleiermacher, in termes of which a generalized {F}rege's compositionality principle is formulated; and we also introduce the category {Context(X)} of {\'{e}}tale bundles of contextual meanings, in termes of which a generalized {F}rege's contextuality principle is formulated. {E}stablished by the section-functor and the germ-functor, an equivalence of categories {Schl(X)}~$\rightleftarrows$~{Context(X)}, called {F}rege duality, gives rise to a functional representation for fragmentary meanings that allows one to describe the process of text understanding. {W}e consider as linguistic universals the connectidness and the {K}olmogoroff's {T0}–separability of the phonocentric topology underlying to a text. {I}n the logocentric paradigm of interpretation, our approach describes a natural language in a category named textual site, which is a category endowed with a {G}rothendieck topology by means of covering families of fragmentary explications; a generalized {F}rege's compositionality principle states that any presheaf of fragmentary explications on a textual site is really a sheaf.},
keywords = {{S}{\'{e}}mantique des textes, {T}opologie phonocentrique, {F}aisceau des significations fragmentaires, {P}rincipe compositionnel g{\'{e}}n{\'{e}}ralis{\'{e}}, {E}space {\'{e}}tal{\'{e}} des significations contextuelles, {P}rincipe contextuel g{\'{e}}n{\'{e}}ralis{\'{e}}, {D}ualit{\'{e}} de {F}rege, {U}niversaux linguistiques, {T}opologie logocentrique, {L}inguistique, {S}{\'{e}}mantique, {H}erm{\'{e}}neutique},
source = {http://www.theses.fr/2008PA100145}
}
author = {Prosorov, O.},
title = {Topologies et faisceaux en s{\'{e}}mantique des textes. {P}our une herm{\'{e}}neutique formelle},
school = {Universit{\'{e}} {P}aris 10. {\'{E}}cole doctorale {C}onnaissance, langage et mod{\'{e}}lisation ({N}anterre)},
year = {2008},
type = {Th{\`{e}}se de doctorat en Sciences du langage},
address = {{P}aris, {F}rance},
pages = {1--239},
month = {soutenue le 17 d{\'{e}}cembre},
note = {(in French)},
abstract = {{T}his thesis aims to establish a discourse interpretation theory named formal hermeneutics that applies rigorous mathematical methods in studying the process of interpretation of natural language texts supposed to be written ``with a good grace'' as the messages intended for human understanding; we call them admissible. {I}n the phonocentric paradigm, a natural language is described in the category of textual spaces {L}ogos. {A} particular genre of texts defines there a full subcategory of formal discourse schemes. {F}or a given admissible text {X}, we introduce the category {Schl(X)} of sheaves of fragmentary meanings, called category of {S}chleiermacher, in termes of which a generalized {F}rege's compositionality principle is formulated; and we also introduce the category {Context(X)} of {\'{e}}tale bundles of contextual meanings, in termes of which a generalized {F}rege's contextuality principle is formulated. {E}stablished by the section-functor and the germ-functor, an equivalence of categories {Schl(X)}~$\rightleftarrows$~{Context(X)}, called {F}rege duality, gives rise to a functional representation for fragmentary meanings that allows one to describe the process of text understanding. {W}e consider as linguistic universals the connectidness and the {K}olmogoroff's {T0}–separability of the phonocentric topology underlying to a text. {I}n the logocentric paradigm of interpretation, our approach describes a natural language in a category named textual site, which is a category endowed with a {G}rothendieck topology by means of covering families of fragmentary explications; a generalized {F}rege's compositionality principle states that any presheaf of fragmentary explications on a textual site is really a sheaf.},
keywords = {{S}{\'{e}}mantique des textes, {T}opologie phonocentrique, {F}aisceau des significations fragmentaires, {P}rincipe compositionnel g{\'{e}}n{\'{e}}ralis{\'{e}}, {E}space {\'{e}}tal{\'{e}} des significations contextuelles, {P}rincipe contextuel g{\'{e}}n{\'{e}}ralis{\'{e}}, {D}ualit{\'{e}} de {F}rege, {U}niversaux linguistiques, {T}opologie logocentrique, {L}inguistique, {S}{\'{e}}mantique, {H}erm{\'{e}}neutique},
source = {http://www.theses.fr/2008PA100145}
}
Principe local–global en sémantique comme la base d'un critère d'identité des significations, a contributed talk given at the International Conference : Construction of Identity and Process of Identification organized by the University François Rabelais, November 29–30, 2007, Tours, France.
- Full French text in PDF (Download)
Topologies et faisceaux en sémantique des textes : pour une herméneutique formelle, an invited talk given at the Seminar of Centre de Recherche en Épistémologie Appliquée (CREA) – UMR 7656 de l'École Polytechnique – CNRS, November 27, 2007, Paris, France.
- Saved webpage of the Seminar in HTM (Link)
Sheaf–Theoretic Approach to Context Modeling, In Ch. Henning (Ed.), Doctorial Consortium of Sixth International and Interdisciplinary Conference on Modeling and Using Context, August 20, 2007, pp. 72–85, Roskilde, Denmark, 2007. Roskilde University.
- Proceedings in PDF (Download)
- BiBTeX entry (Show/Hide)
@INPROCEEDINGS{P:2007a,
author = {Prosorov, O.},
title = {{S}heaf-{T}heoretic {A}pproach to {C}ontext {M}odeling},
booktitle = {{D}octoral {C}onsortium of {S}ixth {I}nternational and {I}nterdisciplinary {C}onference on {M}odeling and {U}sing {C}ontext, {A}ugust 20, 2007},
year = {2007},
editor = {Henning, {C}h.},
pages = {72--85},
address = {Roskilde, Denmark},
publisher = {Roskilde University}
}
author = {Prosorov, O.},
title = {{S}heaf-{T}heoretic {A}pproach to {C}ontext {M}odeling},
booktitle = {{D}octoral {C}onsortium of {S}ixth {I}nternational and {I}nterdisciplinary {C}onference on {M}odeling and {U}sing {C}ontext, {A}ugust 20, 2007},
year = {2007},
editor = {Henning, {C}h.},
pages = {72--85},
address = {Roskilde, Denmark},
publisher = {Roskilde University}
}
Semantic Topologies as Linguistic Universals, In T. Stolz (Ed.), Proceedings of 39th annual meeting of theSocietas Linguistica Europae (SLE). Relativism and Universalism in Linguistcsi, organized by the Department of Linguistics and the Institute of General and Applied Linguistics (IAAS) at the University of Bremen, August 30–September 2, 2006, pp. 109–110, Bremen, Germany.
- Proceedings in PDF (Download)
- BiBTeX entry (Show/Hide)
@INPROCEEDINGS{P:2006b,
author = {Prosorov, O.},
title = {{S}emantic {T}opologies as {L}inguistic {U}niversals},
booktitle = {{T}he 39th {A}nnual {M}eeting of the {S}ocietas {L}inguistica {E}uropaea ({SLE}). {R}elativism and {U}niversalism in {L}inguistcs},
year = {2006},
editor = {Stolz, T.},
pages = {109--110},
address = {{B}remen, {G}ermany},
publisher = {{IAAS}}
}
author = {Prosorov, O.},
title = {{S}emantic {T}opologies as {L}inguistic {U}niversals},
booktitle = {{T}he 39th {A}nnual {M}eeting of the {S}ocietas {L}inguistica {E}uropaea ({SLE}). {R}elativism and {U}niversalism in {L}inguistcs},
year = {2006},
editor = {Stolz, T.},
pages = {109--110},
address = {{B}remen, {G}ermany},
publisher = {{IAAS}}
}
Contextuality as Defined via Topological Structure. In Abstracts of the SKY Symposium “Structure and Context”, organized by the Linguistic Association of Finland, August 21–22, 2006, p. 33, Turku, Finland, 2006. Åbo Akademi University.
- Program in PDF (Download)
- Abstracts in PDF (Download)
- BiBTeX entry (Show/Hide)
@INPROCEEDINGS{P:2006c,
author = {Prosorov, O.},
title = {{C}ontextuality as {D}efined via {T}opological {S}tructure},
booktitle = {{A}bstracts of the {SKY} {S}ymposium ``{S}tructure and {C}ontext'', organized by the {L}inguistic {A}ssociation of {F}inland, {A}ugust 21-22, 2006},
year = {2006},
pages = {33},
address = {{T}urku, {F}inland},
publisher = {{\AA}bo {A}kademi {U}niversity},
source = {http://www.ling.helsinki.fi/sky/tapahtumat/context/context.shtml}
}
author = {Prosorov, O.},
title = {{C}ontextuality as {D}efined via {T}opological {S}tructure},
booktitle = {{A}bstracts of the {SKY} {S}ymposium ``{S}tructure and {C}ontext'', organized by the {L}inguistic {A}ssociation of {F}inland, {A}ugust 21-22, 2006},
year = {2006},
pages = {33},
address = {{T}urku, {F}inland},
publisher = {{\AA}bo {A}kademi {U}niversity},
source = {http://www.ling.helsinki.fi/sky/tapahtumat/context/context.shtml}
}
Topologies and Sheaves in Discourse Analysis, a contributed talk given at The fourth Rencontres de Sémantique et Pragmatique (RSP4) organised by the « Faculté des Lettres et des Sciences Humaines » of the University of Orleans, June 13–15, 2006, Orleans, France.
- Program in PDF (Download)
- Extended abstract in PDF (Download)
Sheaf–Theoretic Formal Semantics, TRAMES, A Journal of the Humanities and Social Sciences, Vol. 10, No 1, 2006, pp. 57–80, published by the Estonian Academy of Sciences and Tartu University, ISSN 1406‑0922.
- Full text in PDF (Download)
- BiBTeX entry (Show/Hide)
@ARTICLE{P:2006a,
author = {Prosorov, O.},
title = {Sheaf-theoretic formal semantics},
journal = {{TRAMES} {J}ournal of the {H}umanities and {S}ocial {S}ciences},
year = {2006},
volume = {10},
number = {1},
pages = {57--80},
note = {{ISSN} 1406-0922},
source = {http://www.kirj.ee/public/trames/trames-2006-1-5.pdf}
}
author = {Prosorov, O.},
title = {Sheaf-theoretic formal semantics},
journal = {{TRAMES} {J}ournal of the {H}umanities and {S}ocial {S}ciences},
year = {2006},
volume = {10},
number = {1},
pages = {57--80},
note = {{ISSN} 1406-0922},
source = {http://www.kirj.ee/public/trames/trames-2006-1-5.pdf}
}
Sheaf–Theoretic Formal Semantics, a contributed talk given at the Third International Workshop on Semantics, Pragmatics, and Rhetoric (SPR–05) organized by the Institute for Logic, Cognition, Language and Information (ILCLI) of the University of the Basque Country (UPV–EHU), November 10–12,2005, Donostia - San Sebastián, Spain.
- Extended abstract in PDF (Download)
Compositionality and contextuality as adjoint principles, In M. Werning, E. Machery, and G. Schurz (Eds.), The compositionality of meaning and content, Vol. II : Applications to Linguistics, Psychology and Neuroscience, pp. 149–175, Frankfurt: Ontos–Verlag, 2005, ISBN 3‑937202‑53‑6.
- Article text online (De Gruyter's reprint of the book in 2013) (Link)
- Book text online (Google Books) (Link)
- BiBTeX entry (Show/Hide)
@INCOLLECTION{P:2005b,
author = {Prosorov, O.},
year = {2005},
title = {{C}ompositionality and {C}ontextuality as {A}djoint {P}rinciples},
editor = {Werning, M. and Machery, E. and Schurz, G.},
booktitle = {The {C}ompositionality of {M}eaning and {C}ontent, ({V}ol.~{II}~: {A}pplications to {L}inguistics, {P}sychology and {N}euroscience)},
pages = {149--175},
address = {Frankfurt},
publisher = {Ontos-Verlag},
note = {ISBN} 3-937202-53-6}
}
author = {Prosorov, O.},
year = {2005},
title = {{C}ompositionality and {C}ontextuality as {A}djoint {P}rinciples},
editor = {Werning, M. and Machery, E. and Schurz, G.},
booktitle = {The {C}ompositionality of {M}eaning and {C}ontent, ({V}ol.~{II}~: {A}pplications to {L}inguistics, {P}sychology and {N}euroscience)},
pages = {149--175},
address = {Frankfurt},
publisher = {Ontos-Verlag},
note = {ISBN} 3-937202-53-6}
}
Formal hermeneutics based on Frege duality, In E. Maier, C. Bary, and J. Huitink (Eds.), Proceedings of SuB9. (A collection of papers presented at the 9th “Sinn und Bedeutung”, the 9th annual meeting of the Gesellschaft für Semantik) November 1–3, 2004, Radboud University Nijmegen, The Netherlands, pp. 286–298, Published by the Nijmegen Centre of Semantics (NCS), April 11, 2005, ISBN 90‑9019356‑1.
- Full text in PDF (Download)
- BiBTeX entry (Show/Hide)
@INPROCEEDINGS{P:2005a,
author = {Prosorov, O.},
title = {{F}ormal {H}ermeneutics {B}ased on {F}rege {D}uality},
booktitle = {Proceedings of {S}u{B}9},
year = {2005},
editor = {Maier, E. and Bary, C. and Huitink, J.},
pages = {286--298},
address = {{N}ijmegen, {T}he {N}etherlands},
publisher = {{N}ijmegen {C}entre of {S}emantics ({NCS})},
note = {ISBN} 90-9019356-1}
}
author = {Prosorov, O.},
title = {{F}ormal {H}ermeneutics {B}ased on {F}rege {D}uality},
booktitle = {Proceedings of {S}u{B}9},
year = {2005},
editor = {Maier, E. and Bary, C. and Huitink, J.},
pages = {286--298},
address = {{N}ijmegen, {T}he {N}etherlands},
publisher = {{N}ijmegen {C}entre of {S}emantics ({NCS})},
note = {ISBN} 90-9019356-1}
}
Compositionnalité et contextualité, deux principes de Frege en adjonction, PDMI Preprint – 8/2004, pp. 1–49, Saint-Pétersbourg, le 7 juin 2004, l'Institut Mathématique Steklov de l'Académie des Sciences de la Russie.
- Full French text in PDF (Download)
- French abstract in HTML (Link)
- BiBTeX entry (Show/Hide)
@TECHREPORT{P:2004b,
author = {Prosorov, O.},
title = {Compositionnalit{\'{e}} et contextualit{\'{e}}, deux principes de Frege en adjonction},
type = {{PDMI} preprint},
number = {8/2004},
pages = {1--49},
address = {Saint-P{\'{e}}tersbourg},
month = {juin},
day = {le 7},
year = {2004},
institution = {l'{I}nstitut {M}ath{\'{e}}matique {S}teklov de l'{A}cad{\'{e}}mie des {S}ciences de la {R}ussie},
note = {(in French)},
source = {ftp://ftp.pdmi.ras.ru/pub/publicat/preprint/2004/08-04.ps.gz}
}
author = {Prosorov, O.},
title = {Compositionnalit{\'{e}} et contextualit{\'{e}}, deux principes de Frege en adjonction},
type = {{PDMI} preprint},
number = {8/2004},
pages = {1--49},
address = {Saint-P{\'{e}}tersbourg},
month = {juin},
day = {le 7},
year = {2004},
institution = {l'{I}nstitut {M}ath{\'{e}}matique {S}teklov de l'{A}cad{\'{e}}mie des {S}ciences de la {R}ussie},
note = {(in French)},
source = {ftp://ftp.pdmi.ras.ru/pub/publicat/preprint/2004/08-04.ps.gz}
}
Compositionality and Contextuality as Adjoint Principles. In M. Werning, E. Machery, and G. Schurz, (Eds.), Programme & Abstracts of Interdisciplinary Conference in Cognitive Science “Compositionality, Concepts & Cognition”. Heinrich-Heine University, Düsseldorf, February 28–March 3, 2004, p. 44, Düsseldorf, Germany, 2004. Heinrich-Heine University.
- Program & Abstracts in PDF (Download)
- BiBTeX entry (Show/Hide)
@INPROCEEDINGS{P:2004a,
author = {Prosorov, O.},
title = {{C}ompositionality and {C}ontextuality as {A}djoint {P}rinciples},
booktitle = {{P}rogramme \& {A}bstracts of {I}nterdisciplinary {C}onference in {C}ognitive {S}cience ``{C}ompositionality, {C}oncepts \& {C}ognition''. {H}einrich-{H}eine {U}niversity, {D}{\"{u}}sseldorf, {F}ebruary 28 - {M}arch 3, 2004},
editor = {Werning, M. and Machery, E. and Schurz, G.},
year = {2004},
pages = {44},
address = {{D}{\"{u}}sseldorf, {G}ermany},
publisher = {{H}einrich-{H}eine {U}niversity},
source = {https://www.phil-fak.uni-duesseldorf.de/fileadmin/Redaktion/Institute/Philosophie/Theoretische_Philosophie/Werning/misc/Program.pdf}
}
author = {Prosorov, O.},
title = {{C}ompositionality and {C}ontextuality as {A}djoint {P}rinciples},
booktitle = {{P}rogramme \& {A}bstracts of {I}nterdisciplinary {C}onference in {C}ognitive {S}cience ``{C}ompositionality, {C}oncepts \& {C}ognition''. {H}einrich-{H}eine {U}niversity, {D}{\"{u}}sseldorf, {F}ebruary 28 - {M}arch 3, 2004},
editor = {Werning, M. and Machery, E. and Schurz, G.},
year = {2004},
pages = {44},
address = {{D}{\"{u}}sseldorf, {G}ermany},
publisher = {{H}einrich-{H}eine {U}niversity},
source = {https://www.phil-fak.uni-duesseldorf.de/fileadmin/Redaktion/Institute/Philosophie/Theoretische_Philosophie/Werning/misc/Program.pdf}
}
Formal hermeneutics and Frege Duality, PDMI Preprint – 5/2003, March 12, 2003, pp. 1–24.
- Abstract in HTML (Link)
- Full text in PDF (Download)
- BiBTeX entry (Show/Hide)
@TECHREPORT{P:2003,
author = {Prosorov, O. B.},
title = {{F}ormal {H}ermeneutics and {F}rege {D}uality},
institution = {{S}teklov {M}athematical {I}nstitute},
year = {2003},
month = {March},
day = {12},
type = {{PDMI} preprint},
number = {5/2003},
address = {St. Petersburg},
note = {pp. 1--24},
howpublished = {ftp://ftp.pdmi.ras.ru/pub/publicat/preprint/2003/05-03.ps.gz}
}
author = {Prosorov, O. B.},
title = {{F}ormal {H}ermeneutics and {F}rege {D}uality},
institution = {{S}teklov {M}athematical {I}nstitute},
year = {2003},
month = {March},
day = {12},
type = {{PDMI} preprint},
number = {5/2003},
address = {St. Petersburg},
note = {pp. 1--24},
howpublished = {ftp://ftp.pdmi.ras.ru/pub/publicat/preprint/2003/05-03.ps.gz}
}
Herméneutique formelle et principe de Frege généralisé, dans la colonne Dits et inédits en texto ! Textes & Cultures – Revue électronique sous la direction de François Rastier. Publiée par l'Institut Ferdinand de Saussure. Programme Sémantique des textes. ISSN 1773‑0120, pp. 1–54, 2002.
English title of the above reference is:
Formal hermeneutics and Frege's principle generalized. – This article is a slightly modified and corrected version of a previous work appeared as PDMI Preprint – 4/2002.
- Full French text in PDF (Download)
Herméneutique de soi, Échos du Collège : Dialogue franco-russe #4, pp. 60–70, décembre, 2002.
- BiBTeX entry (Show/Hide)
@ARTICLE{P:2002a,
author = {Prosorov, O.},
year = {2002},
title = {Herm{\'{e}}neutique de soi},
journal = {\'{E}chos du {C}oll{\`{e}}ge : {D}ialogue franco-russe},
volume = {4},
pages = {60--70}
}
author = {Prosorov, O.},
year = {2002},
title = {Herm{\'{e}}neutique de soi},
journal = {\'{E}chos du {C}oll{\`{e}}ge : {D}ialogue franco-russe},
volume = {4},
pages = {60--70}
}
Herméneutique formelle et principe de Frege généralisé, PDMI Preprint – 4/2002, pp. 1–55, le 31 janvier, 2002.
- Full French text in PS (Download)
- English abstract in HTML (Link)
- BiBTeX entry (Show/Hide)
@TECHREPORT{P:2002a,
author = {Prosorov, O.},
title = {Herm{\'{e}}neutique formelle et principe de Frege g{\'{e}}n{\'{e}}ralis{\'{e}}},
type = {{PDMI} preprint},
number = {4/2002},
pages = {1--55},
address = {Saint-P{\'{e}}tersbourg},
month = {janvier},
day = {le 31},
year = {2002},
institution = {l'{I}nstitut {M}ath{\'{e}}matique {S}teklov de l'{A}cad{\'{e}}mie des {S}ciences de la {R}ussie},
note = {(in French)},
source = {ftp://ftp.pdmi.ras.ru/pub/publicat/preprint/2002/04-02.ps.gz}
}
author = {Prosorov, O.},
title = {Herm{\'{e}}neutique formelle et principe de Frege g{\'{e}}n{\'{e}}ralis{\'{e}}},
type = {{PDMI} preprint},
number = {4/2002},
pages = {1--55},
address = {Saint-P{\'{e}}tersbourg},
month = {janvier},
day = {le 31},
year = {2002},
institution = {l'{I}nstitut {M}ath{\'{e}}matique {S}teklov de l'{A}cad{\'{e}}mie des {S}ciences de la {R}ussie},
note = {(in French)},
source = {ftp://ftp.pdmi.ras.ru/pub/publicat/preprint/2002/04-02.ps.gz}
}
Esquisse d'une herméneutique formelle, Échos du Collège : Dialogue franco-russe, #2, pp. 9–29, février, 2001.
- BiBTeX entry (Show/Hide)
@ARTICLE{P:2001,
author = {Prosorov, O.},
year = {2001},
title = {Esquisse d'une herméneutique formelle},
journal = {\'{E}chos du {C}oll{\`{e}}ge : {D}ialogue franco-russe},
volume = {2},
pages = {9--29}
}
author = {Prosorov, O.},
year = {2001},
title = {Esquisse d'une herméneutique formelle},
journal = {\'{E}chos du {C}oll{\`{e}}ge : {D}ialogue franco-russe},
volume = {2},
pages = {9--29}
}