First-Order Modal Logic

ISBN: 9783031407130
Код товара 160225

Fitting

First-Order Modal Logic

First-Order Modal Logic

ISBN: 9783031407130
Код товара 160225

16 769 ₽

Доставка под заказ

Если Вы закажете книгу до 15.09.2025, то мы привезём её ориентировочно 30.10.2025.

  • Автор

    Fitting

  • Издатель

    Springer

  • Тип обложки

    Hardback

  • Размеры

    235 x 155

  • Год издания

    2023

  • ISBN

    9783031407130

  • Язык

    ENG

  • Кол-во страниц

    460

О чём книга?

This revised edition of the highly recommended book First-Order Modal Logic , originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants and function symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms. Review of the First Edition: This Text is an excellent and most useful volume. It is pitched correctly: the exercises are just right... It sets a high standard for anything following. It is to be highly recommended. (Bulletin of Symbolic Logic, 8:3)

Preface.- Acknowledgments.- Part I. Background: Propositional Classical Logic. 1. Background: Propositional Language.- 2. Background: Propositional Axiomatics.- 3. Background: Propositional Tableaus.- Part II. Propositional Modal Logic. 4. Modal Logic, an
Похожие книги
Counter-cartographies
изд. 2025

Leon J. Hilton / Леон Хилтон Counter-cartographies

  • ENG
  • изд. 2025
How to remake the world with neurodivergence at its heart What if we embraced neurodivergent ways of being not as deviations to be corrected but as vital ways of inhabiting the world' What new realities might emerge' Bringing a much-needed humanistic perspective to the study of autism and ...
3 386 ₽
ECG made practical, 8 ed
изд. 2025

Hampton, John (emeritus Professor Of Cardiology, U / Джон Хэмптон ECG made practical, 8 ed

  • изд. 2025
For junior doctors, qualified nurses, paramedics and GPs who already understand the basics of the electrocardiogram (ECG), this reference guide will support diagnosis and treatment decisions.The ECG Made Practical, Eighth Edition is a clinically-orientated book, showing how the ECG can help in the d...
5 487 ₽
Аллергия: пособие для врача
изд. 2025

Попова Н.И. Аллергия: пособие для врача

  • RUS
  • изд. 2025
Это практическое пособие написано аллергологом для врачей всех специальностей, которым приходится иметь дело с аллергией. Здесь нет долгих размышлений о патогенезе и длинного списка ссылок с их обсуждением. Только то, что требуется врачу при работе с пациентом. Кратко рассказано, что такое аллерг...
Essentials of General Surgery and Surgical Specialties
изд. 2025

Jessica B O'Connell, Matthew R Smeds, Peter F Lawr / Джессика Б. О'Коннелл, Мэтью Р Essentials of General Surgery and Surgical Specialties

  • ENG
  • изд. 2025
Combining general surgery and the specialties in one volume, Essentials of General Surgery and Surgical Specialties, 7th Edition, focuses on the information all medical students need to know to pass the NBME surgery shelf or other surgery rotation examinations.
 
Lawrence’s popular text offers concise,...
10 809 ₽
Handbook of Dialysis
изд. 2025

John T. Daugirdas, Peter Blake, Todd S. Ing / Джон Т. Даугирдас, Питер Блейк Handbook of Dialysis

  • ENG
  • изд. 2025
Packed with evidence-based, practical information on all aspects of dialysis training and therapy, Handbook of Dialysis, 6th Edition, covers everything from preparation and procedures to surgery, problems, and side effects. Edited by Drs. John T. Daugirdas, Peter G. Blake, and Todd S. Ing, and authored...
10 466 ₽
Bladder Pathology 2e
изд. 2025

Cheng, Liang (Brown University, Providence, RI) Lo / Люн Чинг Bladder Pathology 2e

  • ENG
  • изд. 2025
Understand and diagnose pathologies of the bladder with this essential reference With emphasis on the scientific validation of current diagnostic methods and their direct application in clinical practice, Bladder Pathology is a cutting-edge resource that offers contemporary, comprehensive, and evide...
36 741 ₽
Рекомендации Европейского общества кардиологов. Краткие Рекомендации ESC 2023
изд. 2025

Рекомендации Европейского общества кардиологов. Краткие Рекомендации ESC 2023

  • RUS
  • изд. 2025
Рекомендации Европейского общества кардиологов. Краткие Рекомендации ESC 2023: кардиомиопатия, острый коронарный синдром, инфекционный эндокардит, острая и хроническая сердечная недостаточность, сердечно-сосудистое заболевание и сахарный диабет / пер. с англ.; под ред. В.А. Кокорина. — М.: Логосфера...
2 990 ₽
Pathophysiology of Heart Disease: An Introduction to Cardiovascular Medicine
изд. 2025

Leonard S. Lilly / Леонард Лилли Pathophysiology of Heart Disease: An Introduction to Cardiovascular Medicine

  • ENG
  • изд. 2025
Designed to effectively prepare readers for their first encounters with patients with cardiovascular disease, Pathophysiology of Heart Disease: An Introduction to Cardiovascular Medicine is an award-winning text consistently preferred by medical students and faculty worldwide. In this fully revised ...
9 093 ₽
Stone Island
изд. 2020

Rabkin Eugene / Эжен Рабкен Stone Island

  • ENG
  • изд. 2020
The first book on the iconic, urban-inspired streetwear brand.
9 075 ₽