Dag Westerståhl – författare
Visar alla böcker från författaren Dag Westerståhl. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
Häftad, Engelska, 2024
377 kr
Skickas inom 5-8 vardagar
A comprehensive introduction to logic’s central concepts.This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleteness Theorems, and Turing's analysis of computability. In addition to the central text, an appendix explains the required technical terminology and facts. The main ideas behind the three cornerstones are explained in a simple, easy-to-grasp manner, and it is possible to select among the chapters and sections so that the reader becomes familiar with these ideas, even if some technicalities are skipped or postponed. A wealth of exercises accompany a wide selection of materials, including the histories and philosophical implications of the three main premises, making it useful as a textbook for undergraduate or graduate courses focusing on any of the three main themes. The material is rigorous and detailed but keeps the main ideas in sight, and there are numerous excursions into more advanced material for curious readers to explore.
Inbunden, Engelska, 2006
1 417 kr
Skickas inom 3-6 vardagar
Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, and many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.Quantifiers in Language and Logic is intended for everyone with a scholarly interest in the exact treatment of meaning. It presents a broad view of the semantics and logic of quantifier expressions in natural languages and, to a slightly lesser extent, in logical languages. The authors progress carefully from a fairly elementary level to considerable depth over the course of sixteen chapters; their book will be invaluable to a broad spectrum of readers, from those with a basic knowledge of linguistic semantics and of first-order logic to those with advanced knowledge of semantics, logic, philosophy of language, and knowledge representation in artificial intelligence.
Häftad, Engelska, 2008
857 kr
Skickas inom 7-10 vardagar
Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.
Inbunden, Engelska, 1994
2 156 kr
Skickas inom 10-15 vardagar
This collection of 38 papers gives a cross-section of ongoing research in philosophy of science and philosophical logic. The papers, written by active researchers in the field, are drawn from around 650 papers that were contributed to the 9th International Congress of Logic, Methodology and Philosophy of Science in Uppsala, Sweden, 1991. Some of the speakers whose contributions attracted special interest were invited to contribute their papers to this volume. A few papers appear here more or less as they were presented at the Congress, whereas others are expansions or elaborations of the talks given. There is one section with five papers on philosophical logic. The other papers deal with many different aspects of philosophy of science, including general methodological questions, problems of probability, induction and decision theory, and ethics of science and technology, as well as foundational problems about particular sciences. Five special sections are concerned with logic, mathematics and computer science, the physical sciences, the biological sciences, cognitive science, and linguistics, respectively.Finally, there is a section on the history of logic, methodology and philosophy of science. The book should be of interest to philosophers of science and logicians, as well as to all researchers interested in the foundations of their disciplines.
Del 13524 - Lecture Notes in Computer Science
Dynamics in Logic and Language
Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers
Häftad, Engelska, 2023
598 kr
Skickas inom 10-15 vardagar
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, which was held virtually in April 2022.The 9 full papers presented in this volume were carefully reviewed and selected from 13 submissions. The workshop covers a wide range of topics such as dynamic semantics, logical dynamics, Dynamic Epistemic Logic, Discourse Representation Theory, formal semantics, free choice inference, update semantics, and donkey sentences.
Del 15410 - Lecture Notes in Computer Science
Connectives in Logic and Language
4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers
Häftad, Engelska, 2025
598 kr
Skickas inom 10-15 vardagar
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, China during in March 29-31, 2024.The 8 full papers were carefully reviewed and selected from 49 submissions. This workshop also focused on the apparently simpler connectives expressing (various versions of) conjunction, disjunction, and negation.
Häftad, Engelska, 2020
782 kr
Skickas inom 10-15 vardagar
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020.
Häftad, Engelska, 2010
2 156 kr
Skickas inom 10-15 vardagar
This collection of 38 papers gives a cross-section of ongoing research in philosophy of science and philosophical logic. The papers, written by active researchers in the field and published here for the first time, are drawn from around 650 papers that were contributed to the 9th International Congress of Logic, Methodology and Philosophy of Science in Uppsala, Sweden, 1991. Some of the speakers whose contributions attracted special interest were invited to contribute their papers to this volume. A few papers appear here more or less as they were presented at the Congress, whereas others are expansions or elaborations of the talks given. There is one section with five papers on philosophical logic. The other papers deal with many different aspects of philosophy of science, including general methodological questions, problems of probability, induction and decision theory, and ethics of science and technology, as well as foundational problems about particular sciences. Five special sections are concerned with logic, mathematics and computer science, the physical sciences, the biological sciences, cognitive science, and linguistics, respectively.Finally, there is one section on the history of logic, methodology and philosophy of science. The book will be of interest to philosophers of science and logicians, as well as to all researchers interested in the foundations of their disciplines.