<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Logic Matters</title>
	<atom:link href="http://www.logicmatters.net/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.logicmatters.net</link>
	<description>logical reflections and prejudices : enthusiasms and sceptical thoughts : and my logic books</description>
	<lastBuildDate>Tue, 09 Mar 2010 03:00:22 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.9</generator>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
			<item>
		<title>Postcard from Sumner</title>
		<link>http://www.logicmatters.net/2010/03/postcard-from-sumner/</link>
		<comments>http://www.logicmatters.net/2010/03/postcard-from-sumner/#comments</comments>
		<pubDate>Tue, 09 Mar 2010 03:00:22 +0000</pubDate>
		<dc:creator>Peter Smith</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://www.logicmatters.net/?p=1012</guid>
		<description><![CDATA[

Some wonderful late summer weather. So much New Zealand, so little time to explore.
]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.logicmatters.net/wp-content/uploads/2010/03/DSCF2739.jpg"><br />
<img class="aligncenter size-full wp-image-1013" title="DSCF2739" src="http://www.logicmatters.net/wp-content/uploads/2010/03/DSCF2739.jpg" alt="" width="450" height="340" /></a></p>
<p>Some wonderful late summer weather. So much New Zealand, so little time to explore.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.logicmatters.net/2010/03/postcard-from-sumner/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>More Parsons, more Gödel</title>
		<link>http://www.logicmatters.net/2010/03/more-parsons-more-godel/</link>
		<comments>http://www.logicmatters.net/2010/03/more-parsons-more-godel/#comments</comments>
		<pubDate>Thu, 04 Mar 2010 21:57:35 +0000</pubDate>
		<dc:creator>Peter Smith</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://www.logicmatters.net/?p=1008</guid>
		<description><![CDATA[The second instalment of my revised comments on Parsons is here.
And the first five episodes of the revised Gödel Without (Too Many) Tears are now online  here.
So it isn&#8217;t all sun, scenery, and Pinot Noir for me in NZ!
]]></description>
			<content:encoded><![CDATA[<p>The second instalment of my revised comments on Parsons is <a href="/resources/pdfs/parsons/Parsons2-chap2.pdf">here</a>.</p>
<p>And the first five episodes of the revised <em>Gödel Without (Too Many) Tears</em> are now online  <a href="http://www.logicmatters.net/igt/godel-without-tears/">here</a>.</p>
<p>So it isn&#8217;t all sun, scenery, and Pinot Noir for me in NZ!</p>
]]></content:encoded>
			<wfw:commentRss>http://www.logicmatters.net/2010/03/more-parsons-more-godel/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>The paleographer and the managers: a tale of modern times</title>
		<link>http://www.logicmatters.net/2010/03/the-paleographer-and-the-managers-a-tale-of-modern-times/</link>
		<comments>http://www.logicmatters.net/2010/03/the-paleographer-and-the-managers-a-tale-of-modern-times/#comments</comments>
		<pubDate>Thu, 04 Mar 2010 21:35:47 +0000</pubDate>
		<dc:creator>Peter Smith</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://www.logicmatters.net/?p=1005</guid>
		<description><![CDATA[Brian Leiter&#8217;s estimable blog has already posted Iain Pears&#8217;s terrific essay on the KCL cuts as a sign of the times: The palaeographer and the managers. But if you haven&#8217;t read it, do. It is the best single thing I&#8217;ve read on the subject. (I was much struck by the reference to Djilas when discussing [...]]]></description>
			<content:encoded><![CDATA[<p>Brian Leiter&#8217;s estimable blog has already posted Iain Pears&#8217;s terrific essay on the KCL cuts as a sign of the times: <a href="http://leiterreports.typepad.com/files/the-palaeographer-and-the-manager.rtf">The palaeographer and the managers</a>. But if you haven&#8217;t read it, do. It is the best single thing I&#8217;ve read on the subject. (I was much struck by the reference to Djilas when discussing the rise of the new class of university managers, who have expropriated an extraordinarily rapidly inflating amount of public cash into their own pockets. A blast from the past there for those of us who remember discussing Djilas in left circles decades ago.)</p>
]]></content:encoded>
			<wfw:commentRss>http://www.logicmatters.net/2010/03/the-paleographer-and-the-managers-a-tale-of-modern-times/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Parsons, Mathematical Thought again &#8212; 1</title>
		<link>http://www.logicmatters.net/2010/02/parsons-mathematical-thought-again-1/</link>
		<comments>http://www.logicmatters.net/2010/02/parsons-mathematical-thought-again-1/#comments</comments>
		<pubDate>Sat, 27 Feb 2010 02:36:52 +0000</pubDate>
		<dc:creator>Peter Smith</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://www.logicmatters.net/?p=999</guid>
		<description><![CDATA[While I&#8217;m in Christchurch, we&#8217;re having a reading group on Charles Parsons&#8217;s Mathematical Thought and Its Objects. I&#8217;ve blogged about this challenging book before, when we had a reading group in Cambridge. But, with inspiration from new NZ colleagues and some very helpful emails from Charles Parsons himself, I&#8217;m having a bash at rewriting (some [...]]]></description>
			<content:encoded><![CDATA[<p>While I&#8217;m in Christchurch, we&#8217;re having a reading group on Charles Parsons&#8217;s <em>Mathematical Thought and Its Objects. </em>I&#8217;ve blogged about this challenging book before, when we had a reading group in Cambridge. But, with inspiration from new NZ colleagues and some very helpful emails from Charles Parsons himself, I&#8217;m having a bash at rewriting (some of) my earlier notes, and trying to come to a better understanding of both the book and the topics it is discussing.</p>
<p>So, for anyone interested, <a href="/resources/pdfs/parsons/Parsons2-chap1.pdf">here&#8217;s my revised comments on the first chapter</a>.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.logicmatters.net/2010/02/parsons-mathematical-thought-again-1/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Back to logic</title>
		<link>http://www.logicmatters.net/2010/02/back-to-logic/</link>
		<comments>http://www.logicmatters.net/2010/02/back-to-logic/#comments</comments>
		<pubDate>Tue, 23 Feb 2010 02:22:41 +0000</pubDate>
		<dc:creator>Peter Smith</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://www.logicmatters.net/?p=993</guid>
		<description><![CDATA[I have to start singing for my supper today, and earning my keep as an Erskine Fellow. This  means giving a dozen lectures on Gödel, plus a few talks to various seminars. The Gödel lectures kick off today, and I&#8217;ve started updating/extending the notes to accompany the lectures. The notes are now called &#8212; perhaps [...]]]></description>
			<content:encoded><![CDATA[<p>I have to start singing for my supper today, and earning my keep as an Erskine Fellow. This  means giving a dozen lectures on Gödel, plus a few talks to various seminars. The Gödel lectures kick off today, and I&#8217;ve started updating/extending the notes to accompany the lectures. The notes are now called &#8212; perhaps more honestly &#8212; <em>Gödel Without (Too Many) Tears</em>. The first instalment of the new version can be found <a href="http://www.logicmatters.net/igt/godel-without-tears/">here</a>, where further episodes will be posted at the rate of two a week for the next six weeks.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.logicmatters.net/2010/02/back-to-logic/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Postcard from Arthur&#8217;s Pass</title>
		<link>http://www.logicmatters.net/2010/02/980/</link>
		<comments>http://www.logicmatters.net/2010/02/980/#comments</comments>
		<pubDate>Sun, 21 Feb 2010 07:31:17 +0000</pubDate>
		<dc:creator>Peter Smith</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://www.logicmatters.net/?p=980</guid>
		<description><![CDATA[
The guidebooks say that the four hour train journey from Christchurch, up through the Southern Alps over Arthur&#8217;s Pass and on down to Greymouth is one of the great railway journeys of the world. The guidebooks are right. Especially when the weather is a perfect summer&#8217;s day.
]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.logicmatters.net/wp-content/uploads/2010/02/DSCF2503.jpg"><img src="http://www.logicmatters.net/wp-content/uploads/2010/02/DSCF2503-300x225.jpg" alt="" title="At Arthurs Pass" width="440" height="330" class="aligncenter size-medium wp-image-979" /></a><br />
The guidebooks say that the four hour train journey from Christchurch, up through the Southern Alps over Arthur&#8217;s Pass and on down to Greymouth is one of the great railway journeys of the world. The guidebooks are right. Especially when the weather is a perfect summer&#8217;s day.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.logicmatters.net/2010/02/980/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Postcard from Christchurch Art Gallery</title>
		<link>http://www.logicmatters.net/2010/02/postcard-from-christchurch-art-gallery/</link>
		<comments>http://www.logicmatters.net/2010/02/postcard-from-christchurch-art-gallery/#comments</comments>
		<pubDate>Thu, 18 Feb 2010 06:11:20 +0000</pubDate>
		<dc:creator>Peter Smith</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://www.logicmatters.net/?p=962</guid>
		<description><![CDATA[Another rainy day   &#8212; so we made a first foray to the rather impressive Christchurch Art Gallery.
The building is terrific: it sits handsomely into the surroundings, without shouting its modernity too loudly. And inside it is just wonderfully light and airy.
The contrast with the modern buildings of the Los Angeles County Museum of Art [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.logicmatters.net/wp-content/uploads/2010/02/christchurchurch_artgallery8105445.jpg"><img class="alignleft size-medium wp-image-963" title="christchurch art gallery" src="http://www.logicmatters.net/wp-content/uploads/2010/02/christchurchurch_artgallery8105445-224x300.jpg" alt="" width="224" height="300" /></a>Another rainy day   &#8212; so we made a first foray to the rather impressive Christchurch Art Gallery.</p>
<p>The building is terrific: it sits handsomely into the surroundings, without shouting its modernity too loudly. And inside it is just wonderfully light and airy.</p>
<p>The contrast with the modern buildings of the Los Angeles County Museum of Art couldn&#8217;t be greater. Those are just depressingly blocky, and thoroughly unwelcoming: inside the galleries are bleak and barnlike. Here, the curves of the building draw you in and the foyer is a delightful space: and galleries are divided into rooms on a human scale where you want to linger.</p>
<p>There couldn&#8217;t be much more contrast between the curating, either. LACMA has some wonderful pictures. <a style="text-decoration: none;" href="http://www.logicmatters.net/wp-content/uploads/2010/02/foyer-view-sth1-copy.jpg"><img class="alignright size-medium wp-image-965" title="foyer-view-sth1-copy" src="http://www.logicmatters.net/wp-content/uploads/2010/02/foyer-view-sth1-copy-199x300.jpg" alt="" width="199" height="300" /></a> But they are, so to speak, just plonked on the walls, in a take-it-leave it spirit, without description or scene-setting or comment. Christchurch of course has to try a whole lot harder, as the collection lacks the Rembrandts and the Picassos. But the result is that it thoughtfully displays what it <em>does</em> have with intelligent and illuminating commentaries. Or it puts together little groupings of old and new, of New Zealanders visiting Europe and Europeans visiting New Zealand, of western-influenced and Maori-influenced in ways that make you <em>look</em>. (Though some of the really contemporary stuff was the usual pseud-ery, worth about twelve seconds contemplation.)</p>
<p>So we&#8217;ll certainly be back to do more of the galleries the next wet day: and the restaurant wasn&#8217;t bad either!<a href="http://www.logicmatters.net/wp-content/uploads/2010/02/gallery2.jpg"><img class="aligncenter size-medium wp-image-970" title="gallery" src="http://www.logicmatters.net/wp-content/uploads/2010/02/gallery2-300x198.jpg" alt="" width="450" height="297" /></a></p>
]]></content:encoded>
			<wfw:commentRss>http://www.logicmatters.net/2010/02/postcard-from-christchurch-art-gallery/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Another office, another view</title>
		<link>http://www.logicmatters.net/2010/02/another-office-another-view/</link>
		<comments>http://www.logicmatters.net/2010/02/another-office-another-view/#comments</comments>
		<pubDate>Wed, 17 Feb 2010 06:58:43 +0000</pubDate>
		<dc:creator>Peter Smith</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://www.logicmatters.net/?p=955</guid>
		<description><![CDATA[The view from my office in Christchurch is quite terrific &#8212; over the wonderful trees on the campus out towards the Banks Peninsula (I think!). The best office view I&#8217;ve had since the long off days in the Hugh Owen Building in Abersytwyth where I had a panoramic view looking over Cardigan Bay.
It&#8217;s the beginning [...]]]></description>
			<content:encoded><![CDATA[<p>The view from my office in Christchurch is quite terrific &#8212; over the wonderful trees on the campus out towards the Banks Peninsula (I think!). The best office view I&#8217;ve had since the long off days in the Hugh Owen Building in Abersytwyth where I had a panoramic view looking over Cardigan Bay.</p>
<p>It&#8217;s the beginning of the academic year here, and the campus is overflowing with lost-looking freshers. Somehow they look younger (and seem to be trying less hard to be cool) than their Cambridge equivalents. Almost deserted when we arrived last week,  there&#8217;s now a nice buzz about the place.</p>
<p><a href="http://www.logicmatters.net/wp-content/uploads/2010/02/DSCF2417sm.jpg"><img class="aligncenter size-medium wp-image-956" title="DSCF2417sm" src="http://www.logicmatters.net/wp-content/uploads/2010/02/DSCF2417sm-300x225.jpg" alt="" width="450" height="337" /></a></p>
<p>NZ coffee culture note. More or less every place we&#8217;ve drunk coffee so far has had what <em>looks</em> like a proper espresso machine. And suitable tamping and steaming and frothing all <em>seems</em> to be going on. So you take ceremonious delivery of what is <em>supposed</em> to be an espresso macchiato. But not once &#8212; yet &#8212; have I had anything that would pass muster as even an approximation to what you get in the humblest corner cafe bar in Italy. Very odd. But I&#8217;m reliably told that the bar opposite the art gallery does the real thing: so here&#8217;s hoping &#8230;</p>
]]></content:encoded>
			<wfw:commentRss>http://www.logicmatters.net/2010/02/another-office-another-view/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Logic, Pinot Noir, and a little sun</title>
		<link>http://www.logicmatters.net/2010/02/logic-pinot-noir-and-a-little-sun/</link>
		<comments>http://www.logicmatters.net/2010/02/logic-pinot-noir-and-a-little-sun/#comments</comments>
		<pubDate>Mon, 15 Feb 2010 09:54:28 +0000</pubDate>
		<dc:creator>Peter Smith</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://www.logicmatters.net/?p=950</guid>
		<description><![CDATA[A surprising coincidence: Christchurch is 43° 32&#8242; south, Siena (where we&#8217;ve spent a lot of time in recent years) is 43° 33&#8242; north. The latitude explains why, when the sun does come out, it is burning hot. But since we&#8217;ve been here it has mostly been overcast, and the temperature then drops sharply.
We&#8217;ve been consoling [...]]]></description>
			<content:encoded><![CDATA[<p>A surprising coincidence: Christchurch is 43° 32&#8242; south, Siena (where we&#8217;ve spent a lot of time in recent years) is 43° 33&#8242; north. The latitude explains why, when the sun <em>does</em> come out, it is burning hot. But since we&#8217;ve been here it has mostly been overcast, and the temperature then drops sharply.</p>
<p>We&#8217;ve been consoling ourselves for the lack of summer weather by sampling bottles of Otago Pinot Noir. The local and rather impressive supermarket has some pretty upscale bottles if we can trust <a href="http://www.bobswinereviews.com/pinot-noir/nz-central-otago/">these ratings</a>: so far, though, the bottles we&#8217;ve tried have been quaffable rather than outstanding &#8212; and seemingly all put on the market too young. When I&#8217;m feeling zippier, I&#8217;ll have to find a wine shop with earlier vintages on sale: but at the moment, we&#8217;re still just a touch jet-lagged and slightly weary.</p>
<p>Hence concentration hasn&#8217;t been terrific for work. But the last day or so, to get into the swing again, I&#8217;ve been re-reading Smullyan&#8217;s <em>First-Order Logic. </em>I&#8217;ve been struck once more what a <em>fantastic</em> book that is (and three cheers to Dover for republishing it too): if you don&#8217;t know it, and are logically inclined, put it on your &#8220;must read&#8221; list.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.logicmatters.net/2010/02/logic-pinot-noir-and-a-little-sun/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Postcard from Christchurch</title>
		<link>http://www.logicmatters.net/2010/02/postcard-from-christchurch/</link>
		<comments>http://www.logicmatters.net/2010/02/postcard-from-christchurch/#comments</comments>
		<pubDate>Fri, 12 Feb 2010 06:52:54 +0000</pubDate>
		<dc:creator>Peter Smith</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://www.logicmatters.net/?p=942</guid>
		<description><![CDATA[There couldn&#8217;t be much greater a contrast between LA and Christchurch &#8212; and, for us, the differences all favour Christchurch, hands down. It is human-scaled, wonderfully green, relaxed, and somehow comfortingly familiar in its almost-Englishness.
Though there are more than enough small differences to savour. For example, the early settlers obviously didn&#8217;t mess about when clearing [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.logicmatters.net/wp-content/uploads/2010/02/DSCF2396sm.jpg"><img class="alignleft size-medium wp-image-943" title="DSCF2396sm" src="http://www.logicmatters.net/wp-content/uploads/2010/02/DSCF2396sm-300x225.jpg" alt="" width="300" height="225" /></a>There couldn&#8217;t be much greater a contrast between LA and Christchurch &#8212; and, for us, the differences all favour Christchurch, hands down. It is human-scaled, wonderfully green, relaxed, and somehow comfortingly familiar in its almost-Englishness.</p>
<p>Though there are more than enough small differences to savour. For example, the early settlers obviously didn&#8217;t mess about when clearing the native bush. So the great park near the centre of Christchurch could have been transported from an English city, with avenues of planes, and great oaks and limes (and there are mallard ducks on the ponds, and house sparrows hopping around as you sit outside a cafe). But, for all that, as you walk through the shade on a sunny summer&#8217;s day, the racket of the cicadas sounds entirely unEnglish.</p>
<p>It is nice, too, to be understood first time in shops and cafes (LA was occasionally  hard work &#8212; The Daughter reports the same from Miami, where she has to get her Italian partner to arrange complicated things as the locals find his English a lot easier to understand). And what they say about Kiwi friendliness is all true.</p>
<p>I think I&#8217;m really going to enjoy it here.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.logicmatters.net/2010/02/postcard-from-christchurch/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>
