David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Cambridge University Press (2007)
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
|Categories||categorize this paper)|
|Buy the book||$16.98 used (91% off) $33.20 new (82% off) $176.00 direct from Amazon Amazon page|
|Call number||BC128.V33 2007|
|Through your library||Configure|
Similar books and articles
Theodore Sider (2010). Logic for Philosophy. Oxford University Press.
Juha Kontinen & Jouko Väänänen (2010). A Remark on Negation in Dependence Logic. Notre Dame Journal of Formal Logic 52 (1):55-65.
Matti Eklund & Daniel Kolak (2002). Is Hintikka's Logic First-Order? Synthese 131 (3):371 - 388.
Allen L. Mann (2011). Independence-Friendly Logic: A Game-Theoretic Approach. Cambridge University Press.
Jaakko Hintikka (2002). Quantum Logic as a Fragment of Independence-Friendly Logic. Journal of Philosophical Logic 31 (3):197-209.
Gabriel Sandu (2009). Dependence Logic: A New Approach to Independence Friendly Logic – by Juokko Väänänen. Theoria 75 (1):52-64.
Fredrik Engström (2012). Generalized Quantifiers in Dependence Logic. Journal of Logic, Language and Information 21 (3):299-324.
Juha Kontinen & Jouko Väänänen (2009). On Definability in Dependence Logic. Journal of Logic, Language and Information 18 (3):317-332.
Added to index2009-01-28
Total downloads26 ( #55,322 of 1,004,648 )
Recent downloads (6 months)1 ( #64,617 of 1,004,648 )
How can I increase my downloads?