## Logic: A Very Short IntroductionLogic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, the basics of formal logic are explained in simple, non-technical terms, showing that logic is a powerful and exciting part of modern philosophy. In this new edition Graham Priest expands his discussion to cover the subjects of algorithms and axioms, and proofs in mathematics. ABOUT THE SERIES: The Very Short Introductions series from Oxford University Press contains hundreds of titles in almost every subject area. These pocket-sized books are the perfect way to get ahead in a new subject quickly. Our expert authors combine facts, analysis, perspective, new ideas, and enthusiasm to make interesting and challenging topics highly readable. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Validity what follows from what? | 1 |

Truth functionsor not? | 7 |

Names and quantifiers is nothing something? | 17 |

Descriptions and existencedid the Greeks worship Zeus? | 24 |

Selfreference what is this chapter about? | 30 |

Necessity and possibility what will be must be? | 37 |

Conditionals whats in an if ? | 45 |

The future and the past is time real? | 53 |

Maybe it is truebut you cant prove it | 110 |

A little history and some further reading | 119 |

Glossary | 127 |

Problems | 133 |

Problem solutions | 137 |

149 | |

151 | |

155 | |

Identity and change is anything ever the same? | 61 |

Vagueness how do you stop sliding down a slippery slope? | 68 |

Probability the strange case of the missing reference class | 76 |

Inverse probability you cant be indifferent about it | 84 |

Decision theory great expectations | 92 |

Halt What goes there? | 100 |

SOCIAL MEDIA Very Short Introduction | 157 |

Beauty A Very Short Introduction | 158 |

Critical Theory A Very Short Introduction | 159 |

German Philosophy A Very Short Introduction | 160 |

### Other editions - View all

### Common terms and phrases

algorithm amoeba ANAERICAN Argument to Design axiom system bike Church–Turing Thesis code number compound tenses conclusion conditional probability conjunction consider cosmos David deductively valid disjunction evaluate its validity everything example existence fact following inference given gives Gödel's Halting Theorem Hence Holmes identity incompleteness theorem inductive inference is valid input invalid inverse probabilities John kind km/h Leibniz Leibniz's Law liar paradox Löb's Theorem logicians Logicians call Main ideas mathematician mathematics McTaggart Michael modal operators modern logic modus ponens negation number of days person who won Peter philosopher pigs can fly predicate premisses are true Principle of Indifference problem proof prove quantifiers Queen is rich rain reasoning reference class Roger Scruton self-reference Short Introduction someone sorites statement suppose Symbolize the following Tand F tense operators theory things Tjust true or false truth functions truth table truth value value F value Tjust won the race