![Applied Logic: How, What and Why [electronic resource] : Logical Approaches to Natural Language /](/search/themes/bootstrap3/images/libros.png)
Applied Logic: How, What and Why [electronic resource] : Logical Approaches to Natural Language /
A selection of papers presented at the international conference `Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term `applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain. The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation. The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Dordrecht : Springer Netherlands : Imprint: Springer,
1995
|
| Subjects: | Philosophy., Logic., Language and languages, Computational linguistics., Semantics., Syntax., Language Translation and Linguistics., Philosophy of Language., |
| Online Access: | http://dx.doi.org/10.1007/978-94-015-8533-0 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:201306 |
|---|---|
| record_format |
koha |
| spelling |
KOHA-OAI-TEST:2013062018-07-30T23:28:12ZApplied Logic: How, What and Why [electronic resource] : Logical Approaches to Natural Language / Pólos, László. editor. Masuch, Michael. editor. SpringerLink (Online service) textDordrecht : Springer Netherlands : Imprint: Springer,1995.engA selection of papers presented at the international conference `Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term `applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain. The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation. The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.Pragmatic Reasoning. A Model-Based Theory -- Verb-Phrase Ellipsis in Dynamic Semantics -- Optimization of Deduction for Multi-Modal Logics -- Are Types Needed for Natural Language? -- Indexical Dynamics -- Implicit and Explicit Definability in Modal and Temporal Logics -- Evolving Algebras and Mathematical Models of Language -- Information States in Situation Theory -- Logic Finite Automata -- Dynamic Aspect Trees -- Logic as a Foundation for a Cognitive Theory of Modality Assignment -- Meeting a Modality? Restricted Permutation for the Lambek Calculus -- Update Semantics for Propositional Texts.A selection of papers presented at the international conference `Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term `applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain. The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation. The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.Philosophy.Logic.Language and languagesComputational linguistics.Semantics.Syntax.Philosophy.Logic.Language Translation and Linguistics.Semantics.Philosophy of Language.Syntax.Springer eBookshttp://dx.doi.org/10.1007/978-94-015-8533-0URN:ISBN:9789401585330 |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Philosophy. Logic. Language and languages Computational linguistics. Semantics. Syntax. Philosophy. Logic. Language Translation and Linguistics. Semantics. Philosophy of Language. Syntax. Philosophy. Logic. Language and languages Computational linguistics. Semantics. Syntax. Philosophy. Logic. Language Translation and Linguistics. Semantics. Philosophy of Language. Syntax. |
| spellingShingle |
Philosophy. Logic. Language and languages Computational linguistics. Semantics. Syntax. Philosophy. Logic. Language Translation and Linguistics. Semantics. Philosophy of Language. Syntax. Philosophy. Logic. Language and languages Computational linguistics. Semantics. Syntax. Philosophy. Logic. Language Translation and Linguistics. Semantics. Philosophy of Language. Syntax. Pólos, László. editor. Masuch, Michael. editor. SpringerLink (Online service) Applied Logic: How, What and Why [electronic resource] : Logical Approaches to Natural Language / |
| description |
A selection of papers presented at the international conference `Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term `applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain. The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation. The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics. |
| format |
Texto |
| topic_facet |
Philosophy. Logic. Language and languages Computational linguistics. Semantics. Syntax. Philosophy. Logic. Language Translation and Linguistics. Semantics. Philosophy of Language. Syntax. |
| author |
Pólos, László. editor. Masuch, Michael. editor. SpringerLink (Online service) |
| author_facet |
Pólos, László. editor. Masuch, Michael. editor. SpringerLink (Online service) |
| author_sort |
Pólos, László. editor. |
| title |
Applied Logic: How, What and Why [electronic resource] : Logical Approaches to Natural Language / |
| title_short |
Applied Logic: How, What and Why [electronic resource] : Logical Approaches to Natural Language / |
| title_full |
Applied Logic: How, What and Why [electronic resource] : Logical Approaches to Natural Language / |
| title_fullStr |
Applied Logic: How, What and Why [electronic resource] : Logical Approaches to Natural Language / |
| title_full_unstemmed |
Applied Logic: How, What and Why [electronic resource] : Logical Approaches to Natural Language / |
| title_sort |
applied logic: how, what and why [electronic resource] : logical approaches to natural language / |
| publisher |
Dordrecht : Springer Netherlands : Imprint: Springer, |
| publishDate |
1995 |
| url |
http://dx.doi.org/10.1007/978-94-015-8533-0 |
| work_keys_str_mv |
AT poloslaszloeditor appliedlogichowwhatandwhyelectronicresourcelogicalapproachestonaturallanguage AT masuchmichaeleditor appliedlogichowwhatandwhyelectronicresourcelogicalapproachestonaturallanguage AT springerlinkonlineservice appliedlogichowwhatandwhyelectronicresourcelogicalapproachestonaturallanguage |
| _version_ |
1756267546225410048 |