PLANETPHILOSOPHY.com

more posts from Logic Matters

• 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