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.
Context and Coherence
Author: Una Stojnić
Publisher: Academic
ISBN: 0198865465
Category : Language Arts & Disciplines
Languages : en
Pages : 230
Book Description
Natural languages are riddled with context-sensitivity. One and the same string of words can express many different meanings on occasion of use, and yet we understand one another effortlessly, on the fly. How do we do so? What fixes the meaning of context-sensitive expressions, and how are we able to recover the meaning so effortlessly? This book offers a novel response: we can do so because we draw on a broad array of subtle linguistic conventions that determine the interpretation of context-sensitive items. Contrary to the dominant tradition, which maintains that the meaning of context-sensitive language is underspecified by grammar and that interpretation relies on non-linguistic cues and speakers' intentions, this book argues that meaning is determined entirely by discourse conventions, rules of language that have largely been missed and the effects of which have been mistaken for extra-linguistic effects of an utterance situation on meaning. The linguistic account of context developed here sheds a new light on the nature of linguistic content and the interaction between content and context. At the same time, it provides a novel model of context that should constrain and help evaluate debates across many subfields of philosophy where appeal to context has been common, often leading to surprising conclusions such as epistemology, ethics, value theory, metaphysics, metaethics, and logic.
Publisher: Academic
ISBN: 0198865465
Category : Language Arts & Disciplines
Languages : en
Pages : 230
Book Description
Natural languages are riddled with context-sensitivity. One and the same string of words can express many different meanings on occasion of use, and yet we understand one another effortlessly, on the fly. How do we do so? What fixes the meaning of context-sensitive expressions, and how are we able to recover the meaning so effortlessly? This book offers a novel response: we can do so because we draw on a broad array of subtle linguistic conventions that determine the interpretation of context-sensitive items. Contrary to the dominant tradition, which maintains that the meaning of context-sensitive language is underspecified by grammar and that interpretation relies on non-linguistic cues and speakers' intentions, this book argues that meaning is determined entirely by discourse conventions, rules of language that have largely been missed and the effects of which have been mistaken for extra-linguistic effects of an utterance situation on meaning. The linguistic account of context developed here sheds a new light on the nature of linguistic content and the interaction between content and context. At the same time, it provides a novel model of context that should constrain and help evaluate debates across many subfields of philosophy where appeal to context has been common, often leading to surprising conclusions such as epistemology, ethics, value theory, metaphysics, metaethics, and logic.
Mathematical Logic
Author: Wei Li
Publisher: Springer
ISBN: 3034808623
Category : Mathematics
Languages : en
Pages : 303
Book Description
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines.
Publisher: Springer
ISBN: 3034808623
Category : Mathematics
Languages : en
Pages : 303
Book Description
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines.
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.
Names and Context
Author: Dolf Rami
Publisher: Bloomsbury Publishing
ISBN: 1350180637
Category : Philosophy
Languages : en
Pages : 281
Book Description
Dolf Rami contributes to contemporary debates about the meaning and reference of proper names by providing an overview of the main challenges and developing a new contextualist account of names. Questions about the use and semantic features of proper names are at the centre of philosophy of language. How does a single proper name refer to the same thing in different contexts of use? What makes a thing a bearer of a proper name? What is their meaning? Guided by these questions, Rami discusses Saul Kripke's main contributions to the debate and introduces two new ways to capture the rigidity of names, proposing a pluralist version of the causal chain picture. Covering popular contextualist accounts of names, both indexical and variabilist, he presents a use-sensitive alternative based on a semantic comparison between names, pronouns and demonstratives. Extending and applying his approach to a wide variety of uses, including names in fiction, this is a comprehensive explanation of why we should interpret proper names as use-sensitive expressions.
Publisher: Bloomsbury Publishing
ISBN: 1350180637
Category : Philosophy
Languages : en
Pages : 281
Book Description
Dolf Rami contributes to contemporary debates about the meaning and reference of proper names by providing an overview of the main challenges and developing a new contextualist account of names. Questions about the use and semantic features of proper names are at the centre of philosophy of language. How does a single proper name refer to the same thing in different contexts of use? What makes a thing a bearer of a proper name? What is their meaning? Guided by these questions, Rami discusses Saul Kripke's main contributions to the debate and introduces two new ways to capture the rigidity of names, proposing a pluralist version of the causal chain picture. Covering popular contextualist accounts of names, both indexical and variabilist, he presents a use-sensitive alternative based on a semantic comparison between names, pronouns and demonstratives. Extending and applying his approach to a wide variety of uses, including names in fiction, this is a comprehensive explanation of why we should interpret proper names as use-sensitive expressions.
Philosophy of Logic
Author:
Publisher: Elsevier
ISBN: 008046663X
Category : Mathematics
Languages : en
Pages : 1219
Book Description
The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert's program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.- Written by leading logicians and philosophers- Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic- Clear, in-depth expositions of technical detail- Progressive organization from general considerations to informal to symbolic logic to nonclassical logics- Presents current work in symbolic logic within a unified framework- Accessible to students, engaging for experts and professionals- Insightful philosophical discussions of all aspects of logic- Useful bibliographies in every chapter
Publisher: Elsevier
ISBN: 008046663X
Category : Mathematics
Languages : en
Pages : 1219
Book Description
The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert's program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.- Written by leading logicians and philosophers- Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic- Clear, in-depth expositions of technical detail- Progressive organization from general considerations to informal to symbolic logic to nonclassical logics- Presents current work in symbolic logic within a unified framework- Accessible to students, engaging for experts and professionals- Insightful philosophical discussions of all aspects of logic- Useful bibliographies in every chapter
Programming Smalltalk – Object-Orientation from the Beginning
Author: Johannes Brauer
Publisher: Springer
ISBN: 365806823X
Category : Computers
Languages : en
Pages : 439
Book Description
A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years. Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to use and create algorithms (reusable rules for problem-solving) and the basic building blocks of software. It goes on to explain how to develop complete applications and has a whole chapter on web applications as well as case studies. Now translated into English, this edition was completely revised to be consistent with the latest version of Cincom® VisualWorks®, a professional Smalltalk environment. All examples were created using VisualWorks, which is available without cost for educational purposes, and can be downloaded and installed on any up-to-date computer.
Publisher: Springer
ISBN: 365806823X
Category : Computers
Languages : en
Pages : 439
Book Description
A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years. Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to use and create algorithms (reusable rules for problem-solving) and the basic building blocks of software. It goes on to explain how to develop complete applications and has a whole chapter on web applications as well as case studies. Now translated into English, this edition was completely revised to be consistent with the latest version of Cincom® VisualWorks®, a professional Smalltalk environment. All examples were created using VisualWorks, which is available without cost for educational purposes, and can be downloaded and installed on any up-to-date computer.
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.
Classical First-Order Logic
Author: Stewart Shapiro
Publisher: Cambridge University Press
ISBN: 1108991521
Category : Philosophy
Languages : en
Pages : 89
Book Description
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof theory and model theory. The authors provide theorems about the system they developed, such as unique readability and the Lindenbaum lemma. They also discuss the meta-theory for the system, and provide several results there, including proving soundness and completeness theorems. The second half of the Element compares first-order classical logic to other systems: classical higher order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet.
Publisher: Cambridge University Press
ISBN: 1108991521
Category : Philosophy
Languages : en
Pages : 89
Book Description
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof theory and model theory. The authors provide theorems about the system they developed, such as unique readability and the Lindenbaum lemma. They also discuss the meta-theory for the system, and provide several results there, including proving soundness and completeness theorems. The second half of the Element compares first-order classical logic to other systems: classical higher order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet.