Author: Alex Silk
Publisher: Cambridge University Press
ISBN: 1108875173
Category : Language Arts & Disciplines
Languages : en
Pages : 282
Book Description
This pioneering study combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context - assignment variables - in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of 'shifting' phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and non-local contextual dependencies with quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative philosophically informed compositional semantics compatible with the truth-conditional paradigm. At the forefront of contemporary interdisciplinary research into meaning and communication, Semantics with Assignment Variables is essential reading for researchers and students in a diverse range of fields.
Semantics with Assignment Variables
Author: Alex Silk
Publisher: Cambridge University Press
ISBN: 1108875173
Category : Language Arts & Disciplines
Languages : en
Pages : 282
Book Description
This pioneering study combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context - assignment variables - in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of 'shifting' phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and non-local contextual dependencies with quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative philosophically informed compositional semantics compatible with the truth-conditional paradigm. At the forefront of contemporary interdisciplinary research into meaning and communication, Semantics with Assignment Variables is essential reading for researchers and students in a diverse range of fields.
Publisher: Cambridge University Press
ISBN: 1108875173
Category : Language Arts & Disciplines
Languages : en
Pages : 282
Book Description
This pioneering study combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context - assignment variables - in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of 'shifting' phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and non-local contextual dependencies with quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative philosophically informed compositional semantics compatible with the truth-conditional paradigm. At the forefront of contemporary interdisciplinary research into meaning and communication, Semantics with Assignment Variables is essential reading for researchers and students in a diverse range of fields.
Semantics with Assignment Variables
Author: Alex Silk
Publisher: Cambridge University Press
ISBN: 1108836011
Category : Language Arts & Disciplines
Languages : en
Pages : 281
Book Description
Pioneers an innovative framework for theorizing about meaning in natural language and the role of context in interpretation.
Publisher: Cambridge University Press
ISBN: 1108836011
Category : Language Arts & Disciplines
Languages : en
Pages : 281
Book Description
Pioneers an innovative framework for theorizing about meaning in natural language and the role of context in interpretation.
Compositional Semantics
Author: Pauline Jacobson
Publisher: OUP Oxford
ISBN: 0191664839
Category : Language Arts & Disciplines
Languages : en
Pages : 448
Book Description
This book provides an introduction to compositional semantics and to the syntax/semantics interface. It is rooted within the tradition of model theoretic semantics, and develops an explicit fragment of both the syntax and semantics of a rich portion of English. Professor Jacobson adopts a Direct Compositionality approach, whereby the syntax builds the expressions while the semantics simultaneously assigns each a model-theoretic interpretation. Alongside this approach, the author also presents a competing view that makes use of an intermediate level, Logical Form. She develops parallel treatments of a variety of phenomena from both points of view with detailed comparisons. The book begins with simple and fundamental concepts and gradually builds a more complex fragment, including analyses of more advanced topics such as focus, negative polarity, and a variety of topics centering on pronouns and binding more generally. Exercises are provided throughout, alongside open-ended questions for students to consider. The exercises are interspersed with the text to promote self-discovery of the fundamentals and their applications. The book provides a rigorous foundation in formal analysis and model theoretic semantics and is suitable for advanced undergraduate and graduate students in linguistics, philosophy of language, and related fields.
Publisher: OUP Oxford
ISBN: 0191664839
Category : Language Arts & Disciplines
Languages : en
Pages : 448
Book Description
This book provides an introduction to compositional semantics and to the syntax/semantics interface. It is rooted within the tradition of model theoretic semantics, and develops an explicit fragment of both the syntax and semantics of a rich portion of English. Professor Jacobson adopts a Direct Compositionality approach, whereby the syntax builds the expressions while the semantics simultaneously assigns each a model-theoretic interpretation. Alongside this approach, the author also presents a competing view that makes use of an intermediate level, Logical Form. She develops parallel treatments of a variety of phenomena from both points of view with detailed comparisons. The book begins with simple and fundamental concepts and gradually builds a more complex fragment, including analyses of more advanced topics such as focus, negative polarity, and a variety of topics centering on pronouns and binding more generally. Exercises are provided throughout, alongside open-ended questions for students to consider. The exercises are interspersed with the text to promote self-discovery of the fundamentals and their applications. The book provides a rigorous foundation in formal analysis and model theoretic semantics and is suitable for advanced undergraduate and graduate students in linguistics, philosophy of language, and related fields.
The Routledge Handbook of Semantics
Author: Nick Riemer
Publisher: Routledge
ISBN: 1317412451
Category : Language Arts & Disciplines
Languages : en
Pages : 550
Book Description
The Routledge Handbook of Semantics provides a broad and state-of-the-art survey of this field, covering semantic research at both word and sentence level. It presents a synoptic view of the most important areas of semantic investigation, including contemporary methodologies and debates, and indicating possible future directions in the field. Written by experts from around the world, the 29 chapters cover key issues and approaches within the following areas: meaning and conceptualisation; meaning and context; lexical semantics; semantics of specific phenomena; development, change and variation. The Routledge Handbook of Semantics is essential reading for researchers and postgraduate students working in this area.
Publisher: Routledge
ISBN: 1317412451
Category : Language Arts & Disciplines
Languages : en
Pages : 550
Book Description
The Routledge Handbook of Semantics provides a broad and state-of-the-art survey of this field, covering semantic research at both word and sentence level. It presents a synoptic view of the most important areas of semantic investigation, including contemporary methodologies and debates, and indicating possible future directions in the field. Written by experts from around the world, the 29 chapters cover key issues and approaches within the following areas: meaning and conceptualisation; meaning and context; lexical semantics; semantics of specific phenomena; development, change and variation. The Routledge Handbook of Semantics is essential reading for researchers and postgraduate students working in this area.
The Semantics of Media
Author: J. Ross
Publisher: Springer Science & Business Media
ISBN: 9401156506
Category : Language Arts & Disciplines
Languages : en
Pages : 143
Book Description
Media are objects with content and character that we describe using in- phrases: in the story, in the picture, in the movie, in the dream... Like the propositional attitudes, these objects present a variety of hard problems for semantic and philosophical analysis. The Semantics of Media is an organized exploration of fundamental questions in the semantics of media. The first three chapters set out a straightforward model within the possible-worlds framework, and consider how it might account for a range of notions applying to media generally: implicit vs. explicit content, propositional vs. individual content, causal vs. intentional content and the idea of a single World of the Medium. The final three chapters examine ways of elaborating the model to cover a range of phenomena keyed to the functionality of particular forms of media. Chapter Four is a discussion of fiction and our apparent reference to fictional characters. Chapter Five deals with the phenomenon of viewpoint in pictorial media. Chapter Six is a study of interactions between users and characters of media centering on the puzzling case of seeing in films. The Semantics of Media will be of interest to specialists in the fields of linguistics, philosophy and communications.
Publisher: Springer Science & Business Media
ISBN: 9401156506
Category : Language Arts & Disciplines
Languages : en
Pages : 143
Book Description
Media are objects with content and character that we describe using in- phrases: in the story, in the picture, in the movie, in the dream... Like the propositional attitudes, these objects present a variety of hard problems for semantic and philosophical analysis. The Semantics of Media is an organized exploration of fundamental questions in the semantics of media. The first three chapters set out a straightforward model within the possible-worlds framework, and consider how it might account for a range of notions applying to media generally: implicit vs. explicit content, propositional vs. individual content, causal vs. intentional content and the idea of a single World of the Medium. The final three chapters examine ways of elaborating the model to cover a range of phenomena keyed to the functionality of particular forms of media. Chapter Four is a discussion of fiction and our apparent reference to fictional characters. Chapter Five deals with the phenomenon of viewpoint in pictorial media. Chapter Six is a study of interactions between users and characters of media centering on the puzzling case of seeing in films. The Semantics of Media will be of interest to specialists in the fields of linguistics, philosophy and communications.
Language, Form, and Logic
Author: Peter Ludlow
Publisher: Oxford University Press
ISBN: 0199591539
Category : Language Arts & Disciplines
Languages : en
Pages : 444
Book Description
This book takes an idea first explored by medieval logicians 800 years ago and revisits it armed with the tools of contemporary linguistics, logic, and computer science. The idea - the Holy Grail of the medieval logicians - was the thought that all of logic could be reduced to two very simple rules that are sensitive to logical polarity (for example, the presence and absence of negations). Ludlow and Živanović pursue this idea and show how it has profound consequences for our understanding of the nature of human inferential capacities. They also show its consequences for some of the deepest issues in contemporary linguistics, including the nature of quantification, puzzles about discourse anaphora and pragmatics, and even insights into the source of aboutness in natural language. The key to their enterprise is a formal relation they call "p-scope" - a polarity-sensitive relation that controls the operations that can be carried out in their Dynamic Deductive System. They show that with p-scope in play, deductions can be carried out using sublogical operations like those they call COPY and PRUNE - operations that are simple syntactic operations on sentences. They prove that the resulting deductive system is complete and sound. The result is a beautiful formal tapestry in which p-scope unlocks important properties of natural language, including the property of "restrictedness," which they prove to be equivalent to the semantic notion of conservativity. More than that, they show that restrictedness is also a key to understanding quantification and discourse anaphora, and many other linguistic phenomena.
Publisher: Oxford University Press
ISBN: 0199591539
Category : Language Arts & Disciplines
Languages : en
Pages : 444
Book Description
This book takes an idea first explored by medieval logicians 800 years ago and revisits it armed with the tools of contemporary linguistics, logic, and computer science. The idea - the Holy Grail of the medieval logicians - was the thought that all of logic could be reduced to two very simple rules that are sensitive to logical polarity (for example, the presence and absence of negations). Ludlow and Živanović pursue this idea and show how it has profound consequences for our understanding of the nature of human inferential capacities. They also show its consequences for some of the deepest issues in contemporary linguistics, including the nature of quantification, puzzles about discourse anaphora and pragmatics, and even insights into the source of aboutness in natural language. The key to their enterprise is a formal relation they call "p-scope" - a polarity-sensitive relation that controls the operations that can be carried out in their Dynamic Deductive System. They show that with p-scope in play, deductions can be carried out using sublogical operations like those they call COPY and PRUNE - operations that are simple syntactic operations on sentences. They prove that the resulting deductive system is complete and sound. The result is a beautiful formal tapestry in which p-scope unlocks important properties of natural language, including the property of "restrictedness," which they prove to be equivalent to the semantic notion of conservativity. More than that, they show that restrictedness is also a key to understanding quantification and discourse anaphora, and many other linguistic phenomena.
Subjectivity and Perspective in Truth-theoretic Semantics
Author: Peter Lasersohn
Publisher: Oxford University Press
ISBN: 0199573670
Category : Language Arts & Disciplines
Languages : en
Pages : 293
Book Description
This book explores linguistic and philosophical issues presented by sentences expressing personal taste, such as Roller coasters are fun, and examines how truth-theoretic semantics can account for expressions of this type. It provides a detailed and explicit formal grammar paired with semantic analysis and pragmatic theory.
Publisher: Oxford University Press
ISBN: 0199573670
Category : Language Arts & Disciplines
Languages : en
Pages : 293
Book Description
This book explores linguistic and philosophical issues presented by sentences expressing personal taste, such as Roller coasters are fun, and examines how truth-theoretic semantics can account for expressions of this type. It provides a detailed and explicit formal grammar paired with semantic analysis and pragmatic theory.
Alternatives in Semantics
Author: A. Falaus
Publisher: Springer
ISBN: 1137317248
Category : Philosophy
Languages : en
Pages : 282
Book Description
This volume offers a survey of the use of alternatives in semantics and pragmatics, and an overview of current approaches and applications of alternative-based semantics, from both theoretical and experimental perspectives.
Publisher: Springer
ISBN: 1137317248
Category : Philosophy
Languages : en
Pages : 282
Book Description
This volume offers a survey of the use of alternatives in semantics and pragmatics, and an overview of current approaches and applications of alternative-based semantics, from both theoretical and experimental perspectives.
Information Systems Security
Author: Venkat Venkatakrishnan
Publisher: Springer Science & Business Media
ISBN: 3642351301
Category : Computers
Languages : en
Pages : 365
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Information Systems Security, ICISS 2012, held in Guwahati, India, in December 2012. The 18 revised full papers and 3 short papers presented were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on software security, acces control, covert communications, network security, and database and distributed systems security.
Publisher: Springer Science & Business Media
ISBN: 3642351301
Category : Computers
Languages : en
Pages : 365
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Information Systems Security, ICISS 2012, held in Guwahati, India, in December 2012. The 18 revised full papers and 3 short papers presented were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on software security, acces control, covert communications, network security, and database and distributed systems security.
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Author: Doron A. Peled
Publisher: Springer
ISBN: 3540361359
Category : Computers
Languages : en
Pages : 382
Book Description
The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci?cation, testing, and veri?cation of distributed systems and communication protocols. The main topics are: – FDT-based system and protocol engineering. – Semantical foundations. – Extensions of FDTs. – Formal approaches to concurrent/distributed object-oriented systems. – Real-time and probability aspects. – Performance modeling and analysis. – Quality of service modeling and analysis. – Veri?cation and validation. – Relations between informal and formal speci?cation. – FDT-based protocol implementation. – Software tools and support environments. – FDT application to distributed systems. – Protocol testing, including conformance testing, interoperability testing, and performance testing. – Test generation, selection, and coverage. – Practical experience and case studies. – Corporate strategic and ?nancial consequences of using formal methods. A total of 61 papers were submitted to FORTE 2002, and reviewed by m- bers of the program committee and additional reviewers. The program committee selected 22 regular papers, two tool papers, and two posters for presentation at the conference. The program also included three tutorials and ?ve invited talks.
Publisher: Springer
ISBN: 3540361359
Category : Computers
Languages : en
Pages : 382
Book Description
The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci?cation, testing, and veri?cation of distributed systems and communication protocols. The main topics are: – FDT-based system and protocol engineering. – Semantical foundations. – Extensions of FDTs. – Formal approaches to concurrent/distributed object-oriented systems. – Real-time and probability aspects. – Performance modeling and analysis. – Quality of service modeling and analysis. – Veri?cation and validation. – Relations between informal and formal speci?cation. – FDT-based protocol implementation. – Software tools and support environments. – FDT application to distributed systems. – Protocol testing, including conformance testing, interoperability testing, and performance testing. – Test generation, selection, and coverage. – Practical experience and case studies. – Corporate strategic and ?nancial consequences of using formal methods. A total of 61 papers were submitted to FORTE 2002, and reviewed by m- bers of the program committee and additional reviewers. The program committee selected 22 regular papers, two tool papers, and two posters for presentation at the conference. The program also included three tutorials and ?ve invited talks.