Skip to main content

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...
  • Meaning, Agency and the Making of a Social World

    Themes in the Philosophy of Social Science

    This book explores a vital but neglected element in the philosophy of social science – the complex nature of the social world. By a systematic philosophical engagement, it conceives the social world in terms of three basic concerns: epistemic, methodological and ethical. It examines how we cognize, study and ethically interact with the social world. As such, it demonstrates that a discussion of ... Read more

    $88.99 CAD

  • Games, Norms and Reasons

    Logic at the Crossroads

    Series series Philosophy and Religion (R0)
    Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic ... Read more

    $115.99 CAD

  • Proof, Computation and Agency

    Logic at the Crossroads

    Series series Philosophy and Religion (R0)
    Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social ... Read more

    $179.99 CAD

People who read these also enjoyed

  • One Hundred Prisoners and a Light Bulb

    Series series Mathematics and Statistics (R0)
    A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no ... Read more

    $25.99 CAD

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

    Series series Computer Science (R0)
    The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the ... Read more

    $154.99 CAD

  • Hybrid Logic and its Proof-Theory

    Series series Mathematics and Statistics (R0)
    This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a ... Read more

    $115.99 CAD

  • Truth and Falsehood

    An Inquiry into Generalized Logical Values

    Series series Mathematics and Statistics (R0)
    The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a ... Read more

    $115.99 CAD

  • David Makinson on Classical Methods for Non-Classical Problems

    Edited by Sven Ove Hansson ...
    Series series Philosophy and Religion (R0)
    The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its ... Read more

    $179.99 CAD

  • J. Michael Dunn on Information Based Logics

    Edited by Katalin Bimbo ...
    Series series Philosophy and Religion (R0)
    This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly supplying both or neither. He later published a related interpretation of the logic R-mingle, which turned ... Read more

    $115.99 CAD

  • Towards a General Theory of Classifications

    Series series Mathematics and Statistics (R0)
    This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which would be available to any kind of them: hierarchical or non-hierarchical, ordinary or fuzzy, overlapping or non-overlapping, finite or infinite, and so on, establishing a basis for all possible divisions ... Read more

    $115.99 CAD

  • Dag Prawitz on Proofs and Meaning

    Edited by Heinrich Wansing ...
    Series series Philosophy and Religion (R0)
    This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main ... Read more

    $115.99 CAD

  • Russell's Philosophy of Logical Analysis, 1897-1905

    by J. Galaugher ...
    Series series Philosophy and Religion (R0)
    This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics ... Read more

    $64.99 CAD