Logic Matters 2008-07-29
A blast from the past
After an electrical storm, my new MacBook Air suddenly stopped recognizing the wireless network at home. It could pick up a signal from about six neighbouring houses, but not the Airport base station a few feet away, while the old laptop had no problems. I tore my hair trying everything I could think for a few frustrating hours. No luck.Eventually I phoned Apple Care. And after re-trying one or two other things, the guy at the end said "Restart, holding down Command-Option-P-R". Wow. Zapping the PRAM!Which takes me right back to 1990 and my first Mac (a IIsi, since you ask). In those days, zapping the Parameter RAM was a fairly frequent dodge, used whenever the poor thing got a bit confused. But I can't have done it for a decade or more. I'd long forgotten it was even an ...
read more 1 hitmore 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