Applied Logic: How, What and Why, L?szl? P?los; M. Masuch

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

Автор: L?szl? P?los; M. Masuch
Название: Applied Logic: How, What and Why
ISBN: 9048145368 ISBN-13(EAN): 9789048145362
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A selection of papers presented at the international conference Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain.
The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation.
The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.

Автор: W. Marciszewski
Название: Dictionary of Logic as Applied in the Study of Language
ISBN: 9024721237 ISBN-13(EAN): 9789024721238
Издательство: Springer
Рейтинг:
Цена: 256220.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Each article is divided into numbered sections, the numbers, in boldface type, being addresses to which we refer. Main sections are further subdivided, the subsections being numbered by numerals added to the main section number, e.g.

Автор: Priest
Название: Logic
ISBN: 0192893203 ISBN-13(EAN): 9780192893208
Издательство: Oxford Academ
Рейтинг:
Цена: 8440.00 T
Наличие на складе: Невозможна поставка.
Описание: An introduction to modern formal logic, this book explores the philosophical roots of the subject, explaining how it deals with issues ranging from the existence of God and the reality of time, to paradoxes of probability and decision theory. Each chapter takes some philosophical problem, and explains how it may be handled in modern logic.

Автор: Fitting
Название: First-Order Modal Logic
ISBN: 0792353358 ISBN-13(EAN): 9780792353355
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Нет в наличии.
Описание: Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, 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; and more.

Автор: Greg Restall
Название: Logic
ISBN: 0415400686 ISBN-13(EAN): 9780415400688
Издательство: Taylor&Francis
Рейтинг:
Цена: 39800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning.