Logic Matters 2008-04-09
Non-Classical Logic
I've just picked up a copy of the second edition of Graham Priest's An Introduction to Non-Classical Logic from the CUP bookshop. More than twice the length of the first edition which just covered propositional logics, this covers their extensions with quantifiers and identity too.I thought the first edition was terrific: so this is a hugely welcome expansion. And I'm delighted to report that CUP has published this as a paperback in their Cambridge Introductions to Philosophy Series at just £18.99/$34.99, which is surely an amazing bargain for a well-produced 613 page book. So three cheers to the Press, and in particular to Hilary Gaskin the philosophy editor, for that!A must-buy, and a must-read!
read more 2 hitsmore posts from Logic Matters
- Welcoming Aatu to the blogosphere
- Sitting in the UL tearoom ...
- Parsons's Mathematical Thought: Sec. 50, Induction and impredicativity
- Parsons's Mathematical Thought: Sec. 49, Uniqueness and communication, continued
- Parsons's Mathematical Thought: Sec. 49, Uniqueness and communication
- Advances in education
- RAE 2008 again
- Another great day for obscurantism and stupidity
- Parsons's Mathematical Thought: Sec. 48, The problem of the uniqueness of the number structure: Nonstandard models
- RAE 2008
- Parsons's Mathematical Thought: Sec. 47, Induction and the concept of natural number (continued)
- Parsons's Mathematical Thought: Sec. 47, Induction and the concept of natural number
- Parsons's Mathematical Thought: Secs. 40-45, Intuitive arithmetic and its limits
- What have I missed?
- Meanwhile, reading Giaquinto
- Darwin Day!
- Fraser MacBride moving to Cambridge
- Richter's Schubert
- Parsons again
- Back to Parsons
- Reading Russell's Introduction to Mathematical Logic
- Why you should sometimes ask your local logicians ...
- Yes we can ... can't we?
- Logic keeps you sane
- Congratulations to Luca Incurvati
- The Gowers' Companion/Davenport's Higher Arithmetic
- Bafflement
- Peanuts on intuition ...
- Parsons's Mathematical Thought: Sec. 35, Intuition of finite sets
- D960 for a desert island?
- Parsons's Mathematical Thought: Secs 33, 34, Finite sets and intuitions of them
- Life is too short ...
- Survived!
- LaTeX for Logicians
- Online logic texts resources
- iTunes: why?
- Mathematics and games, again
- If you were a set
- Mathematics and games
- On the irritation of reading Wittgenstein
- Things
- Blackburn vs Polkinghorne
- Parsons's Mathematical Thought: Secs 31, 32, Numbers as objects
- LHC: so far, so good ...
- Burgess reviews Parsons
- The Princeton Companion to Mathematics
- Quine's Mathematical Logic revisited
- Parsons's Mathematical Thought: A footnote on intuition
- Parsons's Mathematical Thought: Secs 27-30, Intuition, continued
- Contributing off the cuff?
- Honest Toil
- Naturalism in the Philosophy of Mathematics
- Mediocrity and bullshit
- Back to Sammartini
- MacBook Air, one month on
- Parsons's Mathematical Thought: Secs 24-26, Intuition
- Shoesmith and Smiley to be reprinted
- Parsons's Mathematical Thought: Secs 19-23, A problem about sets
- Parsons's Mathematical Thought: Sec. 18, A noneliminative structuralism
- Parsons's Mathematical Thought: Secs 16, 17, Modalism
- The joys of Italian TV
- Killing Time
- Parsons's Mathematical Thought: Sec. 15, Mathematical modality
- Parsons's Mathematical Thought: Sec 14, Structuralism and application
- One book done, another started ...
- Wittgenstein's trousers
- IFL again
- [P] Portishead live at La musicale
- Sounding off (x 50)
- A blast from the past
- Logic's Lost Genius again
- MacBook Air!
- Smorynski on Hilbert's Programme
- Parsons's Mathematical Thought: Sec 13, Nominalism and second-order logic
- Once upon a time ...
- Logic's Lost Genius
- What language is this?
- Parsons's Mathematical Thought: Sec. 12, Nominalism
- Telling your epis from your monos.
- Declutter your Mac!
- You can fool most of the people most of the time.
- A Tuscan wine list ...
- Parsons's Mathematical Thought: Secs 8 - 11
- Geektastic: Finite Simple Group (of Order Two)
- An Introduction to Gödel's Theorems revamped!
- Galois connections again
- The Review of Symbolic Logic
- Conference: Computation and Cognitive Science
- Back in Cambridge. Sigh.
- Postcard from Siena - 8
- Awodey's Category Theory: Ch. 2
- Postcard from Siena - 7
- Parsons's Mathematical Thought: Sec. 7
- Postcard from Siena - 6
- Parsons's Mathematical Thought: Sec. 6, 'Being and existence'
- Postcard from Siena - 5
- Awodey's Category Theory: Ch. 1
- Parsons's Mathematical Thought: Sec. 5
- Postcard from Siena - 4
- Postcard from Siena - 3
- Parsons's Mathematical Thought: Secs. 1-4
- Postcard from Siena - 2
- Postcard from Siena - 1
- The delights of moving semicolons
- Revisiting IFL
- Good news re IFL, again
- Religion and evil, again
- Galois connections
- Folklore
- Three cheers for Alan Sokal
- Believing in
- The hollow halls of academe
- Good news re IFL?
- Write a book and get rich ...
- Philosophy of Religion 15: Enough already!
- Philosophy of Religion 14: Miracles?
- Philosophy of Religion 13: Big Bang vs Steady State
- [P]
- Philosophy of Religion 12: Evil and the ad hoc
- Religion and evil
- Philosophy of Religion 11: Which problem of evil?
- Faculty colloquium
- Sigma_1 functions and properties
- [P] Portishead in Portishead
- [P]
- Gödel exercises
- Philosophy of Religion 10: Anti-theistic arguments
- Non-Classical Logic
- Order and ordinals
- Philosophy of Religion 9: Theistic arguments
- The joy of The Joy of Sets
- Philosophy of Religion 8: Pluralism
- Philosophy of Religion (an aside)
- Philosophy of Religion 7: Religious experience
- Oh, bother ...
- Philosophy of Religion 6: Faith
- Philosophy of Religion 5: Incarnation
- Philosophy of Religion 4: Lord, Liar, Lunatic
- Absolute Generality 25: Indefinitely extensible concepts, "big" and "small"
- Three Cheers for Gambero Rosso Italian Wines 2008
- Philosophy of Religion 3a: The Trinity
- Philosophy of Religion #2
- Spluttering into my coffee again
- Absolute Generality 24: Parsons concluded
- Absolute Generality 23: The Williamson argument again
- Absolute Generality 22: Parsons on varieties of Russell's paradox
- Philosophy of Religion #1
- Religion and The Philosophy of Religion
- Absolute Generality 21: Parsons on metaphysical realism
- Absolute Generality 20: Linnebo on sets, properties, etc.
- Absolutely Generality again: new readers start here!
- "The Atheist Delusion"?
- Logical Options, in retrospect
- Phew ... the end of another term
- Theories, models and Galois connections
- Job done
- Forthcoming attractions ...
- Gödel corrections/exercises
- Cost benefit analysis
- Gödel book reprinting ...
- Mathematics, Models and Modality
- Logical Options, 5/6
- I wish I'd said that ...
- Asking another philosopher
- Logical Options, 5
- I must stop reading!
- Who knows what these ratings mean ...
- Mathematical Thought and Its Objects
- Seminar styles
- Logical Options, 4
- Three cheers for Andy Clark
- Three cheers for Jonathan Bennett
- Logic Options, 2: Reprise
- Another day, another logic lecture
- Logic Options, 3: Reading Dummett
- Kilvert's Diary
- Theories, models and Galois Connections
- An Even Shorter Model Theory
- Superdegree theories of vagueness
- Stewart Shapiro, “Computability, Proof, and Open-Texture”
- Starting the shorter Hodges
- Logical Options, 2
- Philosophy of Mathematics: Five Questions
- Lists
- Godard ... and model theory
- Three cheers for the CUP bookshop sale
- "The best thing out there"
- Logical Options, 1
- Back to the grindstone
- Absolute Generality 19: Lavine on McGee's argument
- Simple things are best.
- Absolute Generality 18: More on schematic generality
- If you are reading this ....
- Three cheers for the Stanford Encyclopedia
- Absolute Generality 17: Schematic generality
- Absolute Generality 16: Lavine on the problems, continued
- More introductions to forcing
- Three cheers for Radio 3
- Absolute Generality 15: Lavine on the problems
- Blog roll ... and thanks to Monica Vitti
- Absolute Generality 14: A rule for 'everything'
- Logic tests
- Absolute Generality 13: Skepticism about the quantifiers in particular
- Absolute Generality 12: McGee on semantic scepticism
- Meanwhile, in Iraq ...
- Absolute Generality 11: Indefinitely expanding?
- Mathematical Knowledge
- Absolute Generality 10: Expanding background domains
- Hartley Slater goes off-piste
- L'Eclisse
- Absolute Generality 9: Restricting quantifiers
- Twaddle about religion and science
- Absolute Generality 8: Glanzberg on contextualism
- Absolute Generality again
- Forcing myself back to logic!
- Postcard from Milan #3
- Postcard from Milan 2
- Postcard from Milan
- Boolos, Burgess and Jeffrey, 5th edn.
- Logic lives?
- Losses
- ACA0, #7: The last word
- I'm with Turgenev
- Looking on the bright side, logically speaking
- Back from Oxford
- "We segwayed"
- Ahem .... Leopard stacks icons
- Homeopathy
- CMS at twilight
- Logical excitements ...
- Who needs an iPhone? ...
- Soothing the troubled brow
- No names, no pack-drill
- ACA0 again
- Such a rarity, this blogging lark!
- So, not Manzano ... but who?
- Callas, Tosca ... and YouTube
- Oh no .... more geekery
- More books -- free this time
- Leopard, second impressions
- Spread the word!
- Ray Gravell
- Leopard, first impressions
- G. C. Lichtenberg
- The art of ordinal analysis
- Not Leopard
- Mocking the pomos
- In bed with a Trollope
- Anjan gets real
- Harmless geekery
- Starting philosophy
- Semantics, Toyota style
- Gödel: chapter one online
- Eating ice cream in Naples
- Blackburn, religion and respect
- ACA0, #6: ACA0 vs ACA, and more
- ACA0, #5: An aside on PA + Th versus T(PA)
- We’re off!
- Giving it to ’em with both barrels
- Of making many books (again)
- Suddenly there is bustle ....
- ACA0, #4: And what about ACA?
- As I was saying, of making many books there is indeed no end!
- Of making many books there is no end ...
- Atheists, quaffing wine
- Remembrance of photos past, #2
- ACA0, #3: Finite axiomatizability
- Remembrance of photos past
- Bourbaki and friends
- ACA0, 2: Are the coding tricks horribly artificial?
- Another book, another blog
- What are those parameters doing?
- What are those parameters doing?
- Philosophical atheists
- Three books
- Corrections page started
- Staring in disbelief ...
- Forthcoming book of interviews on philosophy of mathematics
- Gödel forums
- Eat your heart out again
- Dievole
- Absolute Generality 7: Hellman on talking donkeys
- Negative Type Theory
- Bella Toscana
- Absolute Generality 6: Hellman on ontologies
- Eat your heart out ...
- Absolute Generality 5: Hellman on extensibility
- Two new logic books ....
- Absolute Generality 4: Hellman on the problem
- Gentzen book details
- Arnie Koslow in Cambridge
- Fixing Frege
- Absolute Generality 3: Postulational modality
- One hundred and counting ...
- Absolute Generality 2: Showing and saying
- Me and J.K. Rowling
- Isaacson again
- Absolute Generality 1: Kit Fine and the All in One Principle
- Gödel mangled
- Hurry, hurry, while stocks last ...
- Forthcoming attractions ...
- Normal service will be soon resumed ...
- Church’s Thesis 15: Three last papers
- Church’s Thesis 14: Open texture and computability
- It's tough being a philosophy student ...
- Quackery and the philosophy of science
- Church’s Thesis 13: Gödel on Turing
- Church’s Thesis 12: Kreisel, Church
- Diversions: Stripes, Bach, cats and soup
- Church’s Thesis 11: Its status, once more
- Hemlock all round?
- Church’s Thesis 10: Precision and pretension
- Damned squiggles
- Church’s Thesis 9: Epistemic arithmetic, algorithms, and an argument of Kleene’s
- Church’s Thesis 8: Formalizing the thesis
- Gruesome ravens
- Good heavens, a decent meal in Cambridge
- Hand engraved examination scripts
- The Symposium
- Church’s Thesis 7: Physical computability
- Tesco’s shows unexpected taste and discrimination
- At last, again ...
- Church’s Thesis 6: Concepts, extensions, and proofs
- England in May