Cambridge University Press (2007)

Authors
Jouko A Vaananen
University of Helsinki
Abstract
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic
Keywords First-order logic
Categories (categorize this paper)
Buy this book $33.54 new   Amazon page
Call number BC128.V33 2007
ISBN(s) 9780521876599   0521876591   9780521700153   0521700159
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Ethics of Nudge.Luc Bovens - 2008 - In Mats J. Hansson & Till Grüne-Yanoff (eds.), Preference Change: Approaches from Philosophy, Economics and Psychology. Berlin: Springer, Theory and Decision Library A. pp. 207-20.
Questions as Information Types.Ivano Ciardelli - 2018 - Synthese 195 (1):321-365.
On Definability in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
From If to Bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.

View all 47 citations / Add more citations

Similar books and articles

Logic for Philosophy.Theodore Sider - 2010 - Oxford, England: Oxford University Press.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Quantum Logic as a Fragment of Independence-Friendly Logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
A Remark on Negation in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2011 - Notre Dame Journal of Formal Logic 52 (1):55-65.
On Definability in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.

Analytics

Added to PP index
2009-01-28

Total views
50 ( #230,410 of 2,533,484 )

Recent downloads (6 months)
3 ( #200,167 of 2,533,484 )

How can I increase my downloads?

Downloads

My notes