Logicism, Intuitionism, and Formalism, Sten Lindstr?m; Erik Palmgren; Krister Segerberg;

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 16051.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.

Автор: Cappelen Herman
Название: Philosophy Without Intuitions
ISBN: 0198703023 ISBN-13(EAN): 9780198703020
Издательство: Oxford Academ
Рейтинг:
Цена: 4909.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The standard view of philosophical methodology is that philosophers rely on intuitions as evidence. Herman Cappelen argues that this claim is false, and reveals how it has encouraged pseudo-problems, presented misguided ideas of what philosophy is, and misled exponents of metaphilosophy and experimental philosophy.

Автор: Portner H Paul, Partee H Barbara H, Stephenson Car
Название: Formal Semantics
ISBN: 0631215425 ISBN-13(EAN): 9780631215424
Издательство: Wiley
Рейтинг:
Цена: 6236.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal Semantics: The Essential Readings is a collection of seminal papers that have shaped the field of formal semantics in linguistics.

Автор: Maddy Penelope
Название: The Logical Must: Wittgenstein on Logic
ISBN: 0199391750 ISBN-13(EAN): 9780199391752
Издательство: Oxford Academ
Рейтинг:
Цена: 6097.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Logical Must is an examination of Wittgenstein`s philosophy of logic, early and late, from an austere naturalistic perspective called "Second Philosophy."

Автор: P.I. Bystrov; V. Sadovsky
Название: Philosophical Logic and Logical Philosophy
ISBN: 904814762X ISBN-13(EAN): 9789048147625
Издательство: Springer
Рейтинг:
Цена: 22354.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Smirnov played an important role at the Institute of Philosophy of Russian Academy of Sciences being the Head of Department of Epistemology, Logic and Philosophy of Science and Technology, and the Head of Section of Logic. At the Department of Philosophy of Moscow State University and at the Institute of Philosophy V.

Автор: Cann, Ronnie
Название: Formal semantics
ISBN: 0521376106 ISBN-13(EAN): 9780521376105
Издательство: Cambridge Academ
Рейтинг:
Цена: 6811.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework.

Автор: I. Paul; V. Phillips; Lisa Travis
Название: Formal Issues in Austronesian Linguistics
ISBN: 0792360680 ISBN-13(EAN): 9780792360681
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Austronesian languages have long raised interesting questions for generative theories of syntax and morphology. The papers in this volume show that as formal theories become more precise, a wider range of language data can be captured, and as the inventory of language data grows, the accuracy of formal linguistic theories improves.

Автор: I. Paul; V. Phillips; Lisa Travis
Название: Formal Issues in Austronesian Linguistics
ISBN: 9048153573 ISBN-13(EAN): 9789048153572
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Austronesian languages have long raised interesting questions for generative theories of syntax and morphology. The papers in this volume show that as formal theories become more precise, a wider range of language data can be captured, and as the inventory of language data grows, the accuracy of formal linguistic theories improves.

Автор: Cocchiarella, Nino B.; Freund, Max A.
Название: Modal Logic
ISBN: 0195366573 ISBN-13(EAN): 9780195366570
Издательство: Oxford Academ
Рейтинг:
Цена: 7839.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for
sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills.

A separate sentential modal logic of logical necessity in logical atomism is also constructed and shown to be complete and decidable. On the first-order level of the logic of logical necessity, the modal thesis of anti-essentialism is valid and every de re sentence is provably equivalent to a de
dicto sentence.

An elegant extension of the standard sentential modal logics into several first-order modal logics is developed. Both a first-order modal logic for possibilism containing actualism as a proper part as well as a separate modal logic for actualism alone are constructed for a variety of modal systems.
Exercises on this level show the connections between modal laws and quantifier logic regarding generalization into, or out of, modal contexts and the conditions required for the necessity of identity and non-identity.

Two types of second-order modal logics, one possibilist and the other actualist, are developed based on a distinction between existence-entailing concepts and concepts in general. The result is a deeper second-order analysis of possibilism and actualism as ontological frameworks. Exercises regarding
second-order predicate quantifiers clarify the distinction between existence-entailing concepts and concepts in general.

Modal Logic is ideally suited as a core text for graduate and undergraduate courses in modal logic, and as supplementary reading in courses on mathematical logic, formal ontology, and artificial intelligence.