|
|
libcats.org
A manual of intensional logicJohan van BenthemIntensional logic is the technical study of such "intensional" phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called "possible worlds semantics," a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, ^IManual of Intensional Logic^R presents the major "classical" topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, ^IManual of Intensional Logic^R takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
История брата РашаАвтор: Автор неизвестенКатегория: Европейская старинная литература, Эзотерика
Размер книги: 207 Kb
Optima and equilibria: an introduction to nonlinear analysisАвтор: Jean-Pierre Aubin, Автор: S. WilsonКатегория: Mathematics, Optimization and control
Размер книги: 1.99 Mb
Низкотемпературная плазма: Томография плазмыАвтор: Пикалов, Автор: Мельникова.
Размер книги: 3.75 Mb
Search Computing: Challenges and Directions (Lecture Notes in Computer Science Information Systems and Applications, incl. Internet Web, and HCI)Автор: Stefano Ceri, Автор: Marco BrambillaКатегория: Компьютеры
Размер книги: 8.39 Mb
Climate Change: Global Risks, Challenges and DecisionsАвтор: Katherine Richardson, Автор: Will Steffen, Автор: Diana Liverman
Размер книги: 8.36 Mb
Abstract Algebra: Applications to Galois Theory, Algebraic Geometry and CryptographyАвтор: Gerhard Rosenberger, Автор: Benjamin Fine, Автор: Celine Carstensen
Размер книги: 1.57 Mb
|
|
|