Dag Westerståhl – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
Häftad, Engelska, 2024
382 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 487 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
888 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 168 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
600 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
600 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
785 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. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held online.The workshop covers a wide range of topics where monotonicity is discussed in the context of logic, causality, belief revision, quantification, polarity, syntax, comparatives, and various semantic phenomena in particular languages.
Del 236 - Synthese Library
Logic and Philosophy of Science in Uppsala
Häftad, Engelska, 2010
2 164 kr
Skickas inom 10-15 vardagar
The International Congresses of Logic, Methodology and Philosophy of Science, which are held every fourth year, give a cross-section of ongoing research in logic and philosophy of science. Both the invited lectures and the many contributed papers are conductive to this end. At the 9th Congress held in Uppsala in 1991 there were 54 invited lectures and around 650 contributed papers divided into 15 different sections. Some of the speakers who presented contributed papers that attracted special interest were invited to submit their papers for publication, and the result is the present 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 at the Congress. A selection of this kind, containing 38 papers drawn from the 650 contributed papers presented at the Uppsala Congress, cannot do justice to all facets of the field as it appeared at the Congress. But it should allow the reader to get a representative survey of contemporary research in large areas of philosophical logic and philosophy of science. About half of the papers of the volume appear in sections listed at the Congress under the heading Philosophical and Foundational Problems about the Sciences. The section Foundations of Logic, Mathematics and Computer Science is represented by three papers, Foundations of Physical Sciences by six papers, Foundations of Biological Sciences by three papers, Foundations of Cognitive Science and AI by one paper, and Foundations of Linguistics by three papers.